A importância da lógica

«Um argumento é válido se tiver a seguinte propriedade: se as premissas forem verdadeiras, a conclusão será verdadeira. Por que razão estamos especialmente interessados na validade? Acontece que a validade é uma propriedade fundamental do argumento. Pois se o leitor raciocinar validamente e se partir de premissas verdadeiras, nunca será conduzido ao erro. Os argumentos válidos preservam a verdade. Se começar com verdades e raciocinar validamente, aquilo a que chegar será verdade.»

H. W.Newton-Smith, Lógica

A insuficiência da tabela de verdade e o Inspetor de circunstâncias.

A tabela de verdade aplicada aos argumentos pode dizer-nos se estes são tautológicos, contraditórios ou contingentes.

A tautologia e a contradição na maioria dos argumentos é evidente, percebemos intuitivamente,  qual o seu valor lógico.

O problema apresenta-se nas contingências - o que significa que o argumento pode ou não ter condições para ser válido. 

Ora, acontece que se submetermos esse argumento ao inspetor de circunstâncias, rapidamente saberemos se é válido ou é inválido.

O inspetor de circunstâncias é adequado para avaliar a validade lógica do argumento.

A tabela de verdade é muito mais adequada para determinar equivalências entre proposições.

A formalização simbólica de proposições e argumentos. EXEMPLOS

A formalização simbólica de proposições e argumentos. EXEMPLOS

Nota: por problemas de software a conjunção tem o símbolo &.

Atividade: Formalizar argumentos - associa a cada um a formalização correspondente abaixo apresentada.

Ponto de Partida: 1ª tarefa: identificar a CONCLUSÃO do argumento. Esta tarefa é a mais enganadora: pensamos ser fácil e muitas vezes não é.

a) Se souber lógica, então saberei avaliar o argumento. Sei lógica. Daí que saiba avaliar o argumento.

b) Se souber lógica, constato a validade deste argumento. Mas não constato a validade deste argumento. Logo, não sei lógica.

c) Se for à praia e tomar banho, leio um livro. Sucede que não leio um livro, portanto não vou à praia e tomo banho.

d) Está a chover, uma vez que se não chovesse as pessoas não estavam molhadas e as pessoas estão molhadas.

e) A Ana não está contente, pois quando tira positiva num teste fica contente e sempre que fica contente canta. Acontece que a Ana não canta. 

((~P → ~Q) & R) → P
((P → Q) & P) → Q
((P → Q) & ~P) → ~Q
((P & Q) → R) & ~R) → ~ (P & Q)
(((P → Q) & (Q → R)) & ~R) → ~Q

Definição de Filosofia

Catarina Oliveira - 10.º C

Filosofia - definição from Isaque Tomé