Filosofia

Apresentar a lógica como ciência formal das condições de coerência, do pensamento e do discurso
LINGUAGEM PENSAMENTO Termo ---------------------------------------------------------------- Conceito Proposições--------------------------------------------------------------Juízo Argumento-------------------------------------------------------------Raciocínio
O que é a Lógica Formal?
Lógica Formal - estudo das condições de coerência do pensamento e do discurso.
A lógica formal estuda argumentos, procurando estabelecer a relação entre a forma de um argumento e a sua validade.
A lógica ensina a distinguir argumentos de não-argumentos e argumentos válidos de argumentos não-válidos.
Distinguir a validade e a verdade
As proposições são frases que podem ser consideradas verdadeiras ou falsas.
Verdade  matéria ou conteúdo das proposições
Os argumentos são válidos ou não-válidos.
Validade  forma
A validade de um argumento decorre exclusivamente do tipo de relação (forma lógica) que se estabelece entre as premissas e a conclusão, sendo independente do conteúdo das proposições (ou seja, da sua verdade ou falsidade).
Assim sendo, um argumento é válido quando a conclusão decorre necessariamente da relação estabelecida entre as premissas.
Um argumento é não-válido (inválido) quando a conclusão não decorre necessariamente das premissas.
Quando um argumento é válido, se tem as premissas verdadeiras, tem uma conclusão necessariamente verdadeira (é o caso da dedução correta).

- Válidos mas não verdadeiros
Argumentos podem ser - Verdadeiros mas não válidos - Falsos e inválidos - Verdadeiros e válidos (argumento sólido)

Esclarecer o que é uma proposição e um argumento
Proposição – Expressão linguística do juízo.
Argumento – Expressão linguística do raciocínio.
Caracterizar indução e dedução
Dedução –