serviço social

A verdade lógica dos enunciados

O que é e o que não é considerado verdade lógica têm sido uma questão de esclarecimento, até mesmo no início do século XX.

Uma verdade lógica foi considerada por Ludwig Wittgenstein como um enunciado o qual é considerado verdadeiro em todos os mundos possíveis1 . Neste caso, a verdade lógica entra em contraste com um fato, sendo este verdadeiro apenas neste mundo.

Mais tarde, com o surgimento da lógica formal, uma verdade lógica foi considerada como um enunciado que é verdadeiro sobre todas as possíveis interpretações.

As verdades lógicas são necessariamente verdadeiras. Uma proposição como "Se P e Q, então P." e a proposição “Todos os maridos são casados." são consideradas como verdades lógicas, pois elas são verdadeiras devido aos seus significados e não devido a algum fato do mundo real. Elas são de tal modo que não podem ser falsificadas.

A lógica está interessada com os padrões no sentido em que podem ajudar a nos dizer se uma proposição é verdadeira ou não. Entretanto, a lógica não lida com a verdade no sentido absoluto, como por exemplo um metafísico faz. Os lógicos usam linguagens formais para expressar as verdades que eles estão interessados, e, como tal, há apenas uma verdade sob alguma interpretação ou algum sistema formal.A validade dos argumentos

Quando um argumento é relatado para provar que a sua conclusão é verdadeira (em oposição a provavelmente verdadeira), então o argumento é destinado a ser dedutível. Um argumento declarado para mostrar que sua conclusão é provavelmente verdadeira pode ser considerado como indutivo. Para dizer que um argumento é válido basta dizer que a conclusão realmente segue das premissas, isto é, um argumento é válido precisamente quando ele não pode seguir de premissas verdadeiras para uma conclusão falsa. A seguinte definição é mais utilizada:

Um argumento é válido dedutivamente se, quando todas as premissas são verdadeiras, a conclusão também é necessariamente