Statement (logic)

Short description: Declarative sentence that is true or false, or an assertion made by the sentence

In logic and semantics, the term statement is variously understood to mean either:

1. a meaningful declarative sentence that is true or false, or
2. a proposition. Which is the assertion that is made by (i.e., the meaning of) a true or false declarative sentence.

In the latter case, a statement is distinct from a sentence in that a sentence is only one formulation of a statement, whereas there may be many other formulations expressing the same statement.

By a statement, it is meant "that which one states", not one's stating of it. There are many interpretations of what the term statement means, but generally, it indicates either: a meaningful declarative sentence that is either true or false (bivalence), or: a proposition. A proposition is an assertion that is made by (i.e., the meaning of) a true or false declarative sentence. A proposition is what a statement means, it is the notion or idea that a statement expresses, i.e., what it represents. It could be said that "2 + 2 = 4" and "two plus two equals four" are two different statements that are expressing the same proposition in two different ways.[1]

## Contents

* 1 Overview
* 2 As an abstract entity
* 3 See also
* 4 Notes
* 5 References

## Overview

Philosopher of language Peter Strawson (1919–2006) advocated the use of the term "statement" in sense (b) in preference to proposition. Strawson used the term "statement" to make the point that two declarative sentences can make the same statement if they say the same thing in different ways. Thus, in the usage advocated by Strawson, "All men are mortal." and "Every man is mortal." are two different sentences that make the same statement.

In either case, a statement is viewed as a truth bearer.

Examples of sentences that are (or make) true statements:

* "Socrates is a man."
* "A triangle has three sides."
* "Madrid is the capital of Spain."

Examples of sentences that are also statements, even though they aren't true:

* "All toasters are made of solid gold."
* "Two plus two equals five."

Examples of sentences that are not (or do not make) statements:

1. "Who are you?"
2. "Run!"
3. "Greenness perambulates."
4. "I had one grunch but the eggplant over there."
5. "King Charles III is wise."
6. "Broccoli tastes good."
7. "Pegasus exists."

The first two examples are not declarative sentences and therefore are not (or do not make) statements. The third and fourth are declarative sentences but, lacking meaning, are neither true nor false and therefore are not (or do not make) statements. The fifth and sixth examples are meaningful declarative sentences, but are not statements but rather matters of opinion or taste. Whether or not the sentence "Pegasus exists." is a statement is a subject of debate among philosophers. Bertrand Russell held that it is a (false) statement.[citation needed] Strawson held it is not a statement at all.[citation needed]

## As an abstract entity

In some treatments, "statement" is introduced in order to distinguish a sentence from its informational content. A statement is regarded as the information content of an information-bearing sentence. Thus, a sentence is related to the statement it bears like a numeral to the number it refers to. Statements are abstract logical entities, while sentences are grammatical entities.[2][3]

## See also

* Belief
* Claim (logic)
* Concept
* Sentence (mathematical logic)
* Truthbearer - statements

## Notes

1. ↑ Kashef, Arman. (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1, https://www.researchgate.net/publication/366867569
2. ↑ Rouse
3. ↑ Ruzsa 2000, p. 16

## References

* A. G. 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., http://people.uvawise.edu/philosophy/Logic Text/Chapter 2 Sentences, Statements and Arguments.pdf
* Ruzsa, Imre (2000), Bevezetés a modern logikába, Osiris tankönyvek, Budapest: Osiris, ISBN 963-379-978-3
* Xenakis, Jason (1956). "Sentence and Statement: Prof. Quine on Mr. Strawson". Analysis 16 (4): 91–4. doi:10.2307/3326478. ISSN 1467-8284.
* Peter Millican, "Statements and Modality: Strawson, Quine and Wolfram"
* P. F. Strawson, "On Referring" in Mind, Vol 59 No 235 (Jul 1950)

* v
* t
* e

Philosophy of language

Index of language articles

Philosophers|

* Plato (Cratylus)
* Gorgias
* Confucius
* Xunzi
* Aristotle
* Stoics
* Pyrrhonists
* Scholasticism
* Ibn Rushd
* Ibn Khaldun
* Thomas Hobbes
* Gottfried Wilhelm Leibniz
* Johann Herder
* Ludwig Noiré
* Wilhelm von Humboldt
* Fritz Mauthner
* Paul Ricœur
* Ferdinand de Saussure
* Gottlob Frege
* Franz Boas
* Paul Tillich
* Edward Sapir
* Leonard Bloomfield
* Zhuangzi
* Henri Bergson
* Lev Vygotsky
* Ludwig Wittgenstein
* Philosophical Investigations
* Tractatus Logico-Philosophicus
* Bertrand Russell
* Rudolf Carnap
* Jacques Derrida
* Of Grammatology
* Limited Inc
* Benjamin Lee Whorf
* Gustav Bergmann
* J. L. Austin
* Noam Chomsky
* Hans-Georg Gadamer
* Saul Kripke
* A. J. Ayer
* G. E. M. Anscombe
* Jaakko Hintikka
* Michael Dummett
* Donald Davidson
* Roger Gibson
* Paul Grice
* Gilbert Ryle
* P. F. Strawson
* Willard Van Orman Quine
* Hilary Putnam
* David Lewis
* John Searle
* Joxe Azurmendi
* Scott Soames
* Stephen Yablo
* John Hawthorne
* Stephen Neale
* Paul Watzlawick

Theories|

* Causal theory of reference
* Contrast theory of meaning
* Contrastivism
* Conventionalism
* Cratylism
* Deconstruction
* Descriptivism
* Direct reference theory
* Dramatism
* Expressivism
* Linguistic determinism
* Mediated reference theory
* Nominalism
* Non-cognitivism
* Phallogocentrism
* Relevance theory
* Semantic externalism
* Semantic holism
* Structuralism
* Supposition theory
* Symbiosism
* Theological noncognitivism
* Theory of descriptions (Definite description)
* Unilalianism
* Verification theory

Concepts|

* Ambiguity
* Cant
* Linguistic relativity
* Meaning
* Language
* Truth-bearer
* Proposition
* Use–mention distinction
* Concept
* Categories
* Set
* Class
* Family resemblance
* Intension
* Logical form
* Metalanguage
* Mental representation
* Presupposition
* Principle of compositionality
* Property
* Sign
* Sense and reference
* Speech act
* Symbol
* Entity
* Sentence
* Statement
* more...

Related articles|

* Analytic philosophy
* Philosophy of information
* Philosophical logic
* Linguistics
* Pragmatics
* Rhetoric
* Semantics
* Formal semantics
* Semiotics

* Category
* Task Force
* Discussion

* v
* t
* e

Logic

* Outline
* History

Fields|

* Computer science
* Inference
* Philosophy of logic
* Proof
* Semantics
* Syntax

| Logics|

* Classical
* Informal
* Critical thinking
* Reason
* Mathematical
* Non-classical
* Philosophical

|

Theories|

* Argumentation
* Metalogic
* Metamathematics
* Set

Foundations|

* Abduction
* Analytic and synthetic propositions
* Contradiction
* Paradox
* Antinomy
* Deduction
* Deductive closure
* Definition
* Description
* Entailment
* Linguistic
* Form
* Induction
* Logical truth
* Name
* Necessity and sufficiency
* Premise
* Probability
* Reference
* Statement
* Substitution
* Truth
* Validity

Lists|

| topics|

* Mathematical logic
* Boolean algebra
* Set theory

|

other|

* Logicians
* Rules of inference
* Paradoxes
* Fallacies
* Logic symbols

*   * Category
* WikiProject (talk)
* changes

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Statement (logic). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Statement_(logic)&oldid=1027938"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template