Question

O que é um enunciado verdadeiro

Answer 1

Os padrões formais do raciocínio correto são expressos na linguagem comum. O raciocínio abaixo é expresso em linguagem comum:
Todo homem é mortal.Sócrates é homem.Logo, Sócrates é mortal.Mas a linguagem não serve apenas aos raciocínios lógicos, ela tem diversas finalidades.

Para podermos analisar logicamente um enunciado, é preciso que as proposições possam ser verdadeiras ou falsas. Vejamos os seguintes enunciados:
Abram os cadernos.Passou a chuva?Que coisa terrível!O ferro é um metal.Desses enunciados, o primeiro expressa uma ordem, o segundo é uma pergunta, o terceiro é uma exclamação. Apenas o último enunciado é uma proposição. Perguntas, ordens ou exclamações não podem ser julgadas verdadeiras ou falsas.

O uso expressivo da linguagem, para expressar sentimentos ou manifestar desejos não se aplica à análise lógica. Os enunciados que usamos para dar ordens, pedir conselhos, ou fazer perguntas ou conseguir alguma coisa de nosso interlocutor também não fazem parte do repertório dos enunciados lógicos.

Mas então como é a linguagem usada em lógica? É a linguagem usada para afirmar ou negar alguma coisa, para dizer algo sobre o mundo, para apresentar argumentos. Deve ter uma função informativa ou referencial. O discurso informativo é usado para descrever o mundo e raciocinar sobre ele.

O uso informativo da linguagem envolve um esforço para comunicar algum conteúdo. O discurso passível de análise lógica chama-se discurso apofântico, isto é, que pode ser verdadeiro ou falso. É composto de enunciados que afirmam ou negam coisas.