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