Declaração (lógica) - Statement (logic)

Na lógica , o termo declaração é entendido de várias maneiras para significar:

  1. uma sentença declarativa significativa que é verdadeira ou falsa , ou
  2. uma proposição . Qual é a afirmação feita por (ou seja, o significado de) uma sentença declarativa verdadeira ou falsa .

No último caso, um enunciado é distinto de uma sentença no sentido de que uma sentença é apenas uma formulação de um enunciado, ao passo que pode haver muitas outras formulações que expressam o mesmo enunciado.

Visão geral

Filósofo da linguagem , Peter Strawson defendeu o uso do termo "declaração" no sentido (b) em preferência à proposição . Strawson usou o termo "Declaração" para enfatizar que duas sentenças declarativas podem fazer a mesma declaração se disserem a mesma coisa de maneiras diferentes. Assim, no uso defendido por Strawson, "Todos os homens são mortais". e "Todo homem é mortal." são duas frases diferentes que fazem a mesma afirmação.

Em ambos os casos, uma declaração é vista como portadora da verdade .

Exemplos de frases que são (ou fazem) afirmações:

  • "Sócrates é um homem."
  • "Um triângulo tem três lados."
  • "Madri é a capital da Espanha."

Exemplos de frases que não são (ou não fazem) afirmações:

  • "Quem é Você?"
  • "Corre!"
  • "O verde perambula."
  • "Eu comi um grunch, mas a berinjela ali."
  • "O rei da França é sábio."
  • "Brócolis tem um gosto bom."
  • "Pegasus existe."

Os primeiros dois exemplos não são sentenças declarativas e, portanto, não são (ou não fazem) declarações. A terceira e a quarta são sentenças declarativas mas, sem significado, não são verdadeiras nem falsas e, portanto, não são (ou não fazem) afirmações. O quinto e o sexto exemplos são sentenças declarativas significativas, mas não são declarações, mas sim questões de opinião ou gosto. Se a frase "Pegasus existe" ou não. é uma declaração é um assunto de debate entre os filósofos. Bertrand Russell sustentou que é uma afirmação (falsa). Strawson sustentou que não é uma declaração de forma alguma.

Como uma entidade abstrata

Em alguns tratamentos, a "declaração" é introduzida para distinguir uma frase de seu conteúdo informativo. Uma declaração é considerada o conteúdo informativo de uma frase contendo informação. Assim, uma frase está relacionada à afirmação que carrega como um numeral ao número a que se refere. As declarações são entidades lógicas abstratas , enquanto as sentenças são entidades gramaticais .

Veja também

Notas

Referências

  • AG Hamilton, Logic for Mathematicians , Cambridge University Press, 1980, ISBN  0-521-29291-3 .
  • Rouse, David L., "Sentences, Statements and Arguments", A Practical Introduction to Formal Logic. (PDF)
  • Ruzsa, Imre (2000), Bevezetés a modern logikába , Osiris tankönyvek, Budapeste: Osiris, ISBN 963-379-978-3
  • Xenakis, Jason (1956). "Sentença e declaração: Prof. Quine sobre o Sr. Strawson". Análise . 16 (4): 91–4. doi : 10.2307 / 3326478 . ISSN  1467-8284 . JSTOR  3326478 - via JSTOR .
  • Peter Millican , "Statements and Modality: Strawson , Quine and Wolfram", http://philpapers.org/rec/MILSAM-2/
  • PF Strawson , "On Referring" in Mind , Vol 59 No 235 (Jul 1950) PF Strawson ( http://www.sol.lu.se/common/courses/LINC04/VT2010/Strawson1950.pdf/ )