Declaração (lógica)

Em lógica uma declaração ou é (a) uma sentença declarativa significativa que é ou verdadeira ou falsa, ou (b) que é afirmada ou criada pelo uso de uma sentença declarativa.

No último caso, uma declaração é distinta de uma sentença em que uma sentença é apenas uma formulação de uma declaração, ao passo que pode haver muitas outras formulações expressando a mesma declaração.

O filósofo da linguagem, Peter Strawson defendeu o uso do termo "declaração" no sentido (b) em detrimento de proposição. Strawson usou o termo "declaração" para ser tal que duas sentenças declarativas fazem a mesma declaração se dizem o mesmo da mesma coisa. Deste modo o termo "declaração" pode se referir a uma sentença ou algo feito (expresso) por uma sentença. Em ambos os casos são pretendidas portadoras da verdade.

Exemplos de sentenças que são (ou fazem) declarações:

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

As primeiras duas (fazem declarações que) são verdadeiras, a terceira é (ou faz uma declaração que é) falsa.

Exemplos de sentenças que não são (ou não fazem) declarações:

• "Quem são vocês?"
• "Corra!"
• "A verdura perambula"
• "Tive um grunch exceto a beringela ali em cima."
• "O Rei da França é sensato."
• "Pégaso existe."

Os dois primeiros exemplos não são sentenças declarativas e portanto não são (ou não fazem) declarações.

O terceiro e quarto são sentenças declarativas mas, sem significado, não são nem verdadeiras nem falsas e portanto não são (ou não fazem) declarações. O quinto e o sexto exemplos são sentenças declarativas significativas. Russell sustentou que a quinta que era falsa mas Strawson sustentou que ela não era verdadeira nem falsa já que ela não fazia uma declaração.

Declaração como uma entidade abstrata

Em alguns tratamentos a "declaração" é introduzida a fim de distinguir uma sentença deste conteúdo informativo. A declaração é considerada como o conteúdo informativo de uma sentença que traz informação. Deste modo, uma sentença é relacionada à declaração que ela conduz como um numeral ao número a que ele se refere. Declarações são abstratas, entidades lógicas, enquanto sentenças são as gramaticais.

Ver também

• Proposição;
• Sentença (lógica matemática);
• Crença;
• Conceito.

Referências

1. ↑ Rouse
2. ↑ Ruzsa 2000, p. 16

Referências

• A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1980, ISBN 0521292913.
• Rouse, David L., «Sentences, Statements and Arguments», A Practical Introduction to Formal Logic. (PDF), consultado em 22 de novembro de 2011, cópia arquivada em |arquivourl= requer |arquivodata= (ajuda) 🔗 
• Ruzsa, Imre (2000), Bevezetés a modern logikába, ISBN 963 379 978 3. Verifique |isbn= (ajuda), Osiris tankönyvek, Budapest: Osiris 
• Jasa Xenakis, "Sentence and Statement", "Analysis" Vol. 16, No. 4 (Mar., 1956), pp. 91-94 http://www.jstor.org/pss/3326478/
• Peter Millican, "Statements and Modality: Strawson, Quine and Wolfram", http://philpapers.org/rec/MILSAM-2/
• P. F. Strawson, "On Referring" in Mind, Vol 59 No 235 (Jul 1950) P. F. Strawson (https://web.archive.org/web/20111215111621/http://www.sol.lu.se/common/courses/LINC04/VT2010/Strawson1950.pdf)

v d e Lógica
Visão global Áreas acadêmicas Axiologia Filosofia da lógica Filosofia da matemática Filosofia História da lógica Lógica filosófica Lógica informal Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da computabilidade Teoria das provas Teoria dos conjuntos Teoria dos modelos Conceitos fundamentais A priori e A posteriori Absurdo Analogia Antinomia Axioma Certeza Conceito Convicção Cosmovisão Crença Declaração Dedução Definição Descrição Dilema Escopo Falácia Forma lógica Fórmula Inferência Lema Meio termo Metateoria Indução Mundo possível Necessidade Nome Ônus da prova Organon Paradoxo Premissa Pressuposição Probabilidade Raciocínio Abdução e Dedução Razão Referência Refutação Semântica Sentença Significado Silogismo Sintaxe Sistema formal Substituição Validade Valor da verdade Verdade Verdade analítica e Verdade lógica Vinculação
Lógica filosófica Pensamento crítico e Lógica informal Análise Ambiguidade Argumento Crença Credibilidade Evidência Explicação Poder explicativo Fato Falácia Investigação Opinião Parcimônia Premissa Propaganda Prudência Raciocínio Relevância Retórica Rigor Vagueza Teorias da dedução Atomismo lógico Construtivismo Dialetismo Ficcionalismo Finitismo Formalismo Intuicionismo Logicismo Nominalismo Pragmatismo Realismo Realismo platônico
Metalógica e Metamatemática Teorema de Cantor Teorema de Church Tese de Church Consistência Método efetivo Fundamentos da matemática Teorema da completude de Gödel Teoremas da incompletude de Gödel Solidez Completude Decidabilidade Interpretação Teorema de Löwenheim–Skolem Metateorema Satisfabilidade Independência Distinção Sin-signo e Legi-signo Distinção uso–menção
Lógica matemática Geral Linguagem formal Regra de formação Sistema formal Sistema dedutivo Prova formal Semântica formal Fórmula bem formulada Conjunto Elemento Classe Lógica clássica Axioma Dedução natural Regra de inferência Relação Teorema Consequência lógica Sistema axiomático Teoria dos tipos Símbolo Sintaxe Teoria Lógica aristotélica Proposição Inferência Argumento Validade Irrefutabilidade Silogismo Quadrado das oposições Diagrama de Venn Cálculo proposicional e Lógica booliana Funções boolianas Cálculo proposicional Fórmula proposicional Conectivo lógico Tabela verdade Predicativa Primeira ordem Quantificadores Predicado Segunda ordem Cálculo do predicado monádico Teoria dos conjuntos Conjunto Conjunto vazio Enumeração Extensionabilidade Conjunto finito Função Subconjunto Conjunto de partes Conjunto contável Conjunto recursivo Domínio Imagem da função Par ordenado Conjunto incontável Teoria dos modelos Modelo Interpretação Modelo não padrão Teoria do modelo finito Valor da verdade Validade Teoria da prova Prova formal Sistema dedutivo Sistema formal Teorema Consequência lógica Regra de inferência Sintaxe Teoria da computabilidade Recursão Conjunto recursivo Conjunto enumerável recursivamente Problema de decisão Tese de Church-Turing Função computável Função recursiva primitiva
Lógica não clássica Lógica modal Alética Axiológico Deôntica Doxástica Epistêmica Temporal Intuicionismo Lógica intuicionística Análise construtiva Aritmética de Heyting Teoria do tipo intuicionística Teoria do conjunto construtiva Lógica difusa Grau de verdade Regra difusa Conjunto difuso Elemento infinito difuso Operações de conjunto difusas Lógica subestrutural Regra estrutural Lógica relevante Lógica linear Lógica paraconsistente Dialeteísmo Lógica de descrição Ontologia Linguagem ontológica
Lógicos Alfarábi Anderson Algazali Al-Razi Aristóteles Averróis Avicena Bain Barwise Bernays Boole Boolos Cantor Carnap Church Crísipo de Solos Curry Dharmakirti Dignāga De Morgan Frege Geach Gentzen Gotama Kanada Gödel Hilbert Ibn al-Nafis Abzeme Ibn Taymiyyah Kleene Kripke Leibniz Löwenheim Mozi Nagarjuna Pāṇini Peano Peirce Putnam Quine Russell Schröder Scotus Skolem Smullyan Suhrawardi Tarski Turing Whitehead William of Ockham Wittgenstein Zadeh Zermelo F. C. S. Schiller
Listas Tópicos Esboço de lógica Índice de artigos sobre lógica Lógica matemática Álgebra booliana Teoria dos conjuntos Outros Lógicos Regras de inferência Paradoxos Símbolos lógicos
Categoria Portal