validade e verdade (adapt. de "pensar azul", 2009, texto editores)
TRANSCRIPT
III Racionalidade Argumentativae Filosofia
1. Argumentação e Lógica Formal
Problema
O que é a lógica?
1.1 Validade e verdade
O que é a lógica?Frase declarativa e proposiçãoProposição e argumentoValidade e forma
Sumário
Lógica, inferência e argumento
Finalidadesda lógica
Formular as regras a que os argumentos devem obedecer para serem válidos
Distinguir as formas válidas das formas não válidas
Desenvolver técnicas de avaliação dos argumentos
significava simultaneamente razão/pensamento palavra
Logos
ARISTÓTELESSéculo IV a.C.Filósofo grego
LEIBNIZ1646-1716Filósofo alemão
FREGE1848-1925Matemático alemão
BOOLE1815-1864Matemático inglês
Etapas do desenvolvimento histórico da lógica
A lógica é o estudo das formas de argumentação válida:
formula as regras a que os argumentos devem obedecer para serem correctos
distingue as formas correctas das formas incorrectas desenvolve técnicas de avaliação de argumentos
O estudo da lógica permite compreender e treinar o uso das regras da lógica, aprender técnicas de avaliação da correcção dos argumentos e melhorar a capacidade de comunicação.
Um argumento é um conjunto de proposições relacionadas de modo a inferir uma conclusão a partir de premissas. É constituído por proposições (o pensamento expresso por uma frase declarativa).
Exercícios 1 e 2
Jorge MartinsLengalenga2002-2004, grafite sobre papel
Frase declarativa e proposição
Tipos de frases
manual, p. 22
Frase declarativae proposição
Frases declarativas
Exercícios 3 a 6
manual, p. 22
Proposição e argumento
Seja o seguinte enunciado:
Este enunciado contém três frases declarativas, portanto, é constituído por três proposições:
1
2
3
Conectores
Argumento
Argumentos na forma canónica, ou forma padrão
Enunciar a conclusão em primeiro lugar
Forma canónica, ou forma padrão
Argumentos na forma canónica, ou forma padrão
1
Enunciar a conclusão entre as premissas
Forma canónica, ou forma padrão
Argumentos na forma canónica, ou forma padrão
2
Intercalar considerações
Argumentos na forma canónica, ou forma padrão
3
Omitir uma ou mais premissas
Argumentos na forma canónica, ou forma padrão
4
Forma canónica, ou forma padrão
Identificar as premissas e a conclusão
Identificar as premissas e a conclusão
Exercícios 7 a 9
Validadee forma
Jorge MartinsCena de contemplação1993, óleo sobre tela
Validadee forma
Validadee forma
Validade de um argumento
George W. Hart
Validade e forma
Argumentos válidos Valor de verdade
1
2
3
Porém, se no caso 1 substituirmos
por
mudamos a estrutura do argumento. Se escrevermos as duas formas lado a lado, veremos que são formas diferentes.
por
Validade e forma
George W. Hart
Forma lógica
Jorge MartinsEntropia1998, óleo sobre tela
Forma lógica
1
Forma lógica
2
Forma lógica
3
Forma lógica
1
2
3
Forma lógica
1
Forma lógica
2
Forma lógica
3
Forma lógica
Os três argumentos diferem quanto ao conteúdo. Quanto à forma:
1
2
3
Sublinhamos as expressões que definem a forma do argumento.Repetem quando há identidade de forma e mudam quando a forma é diferente: 1 e 2 têm a mesma forma; 3 tem forma diferente.
Inferências dedutivas e validade
A lógica é o estudo das formas de argumentação válidas: formula as regras a que os argumentos devem obedecer para serem correctos, distingue as formas correctas das formas incorrectas e desenvolve técnicas de avaliação de argumentos.
O estudo da lógica permite compreender e treinar o uso das regras da lógica, aprender técnicas de avaliação da correcção dos argumentos e melhorara capacidade de comunicação.
As frases (isto é, os enunciados com sentido) podem ser declarativas, interrogativas, imperativas e exclamativas. Somente as frases declarativas expressam proposições.
O argumento é constituído por proposições: premissas, que são as razões de que se parte, e conclusão, a proposição derivada ou inferida das premissas, sendo por elas justificada.
Um argumento dedutivo é válido quando é impossível ter premissas verdadeiras e conclusão falsa.
A validade depende da forma lógica do argumento e não do conteúdo, ou matéria, das proposições que o constituem.
A forma lógica de um argumento é a sua estrutura; a matéria é o pensamento expresso pelas proposições que o constituem. Por isso, a validade é uma propriedade dos argumentos dedutivos e a verdade é uma propriedade das proposições.
A validade é condição necessária, mas não suficiente, para garantir a verdade da conclusão; por isso, só há garantia da verdade da conclusão se o argumento, além de ser válido, tiver premissas verdadeiras.
Chamamos argumento sólido a um argumento dedutivo válido e com premissas verdadeiras.
Exercícios 10 e 11