Truth-conditional semantics is an approach to semantics of natural language that sees meaning (or at least the meaning of assertions) as being the same as, or reducible to, their truth conditions. This approach to semantics is principally associated with Donald Davidson, and attempts to carry out for the semantics of natural language what Tarski's semantic theory of truth achieves for the semantics of logic.
Truth-conditional theories of semantics attempt to define the meaning of a given proposition by explaining when the sentence is true. So, for example, because 'snow is white' is true if and only if snow is white, the meaning of 'snow is white' is snow is white.
The first truth-conditional semantics was developed by Donald Davidson in Truth and Meaning (1967). It applied Tarski's semantic theory of truth to a problem it was not intended to solve, that of giving the meaning of a sentence.
Scott Soames has harshly criticized truth-conditional semantics on the grounds that it is either wrong or uselessly circular.
Under its traditional formulation, truth-conditional semantics gives every necessary truth precisely the same meaning, for all of them are true under precisely the same conditions (namely, all of them). And since the truth conditions of any unnecessarily true sentence are equivalent to the conjunction of those truth conditions and any necessary truth, any sentence means the same as its meaning plus a necessary truth. For example, if "snow is white" is true if and only if snow is white, then it is trivially the case that "snow is white" is true if and only if snow is white and 2+2=4, therefore under truth-conditional semantics "snow is white" means both that snow is white and that 2+2=4.
Soames argues further that reformulations that attempt to account for this problem must beg the question. In specifying precisely which of the infinite number of truth-conditions for a sentence will count towards its meaning, one must take the meaning of the sentence as a guide.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's "linguistic turn". These writers were followed by Ludwig Wittgenstein (Tractatus Logico-Philosophicus), the Vienna Circle, logical positivists, and Willard Van Orman Quine.
Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic, mathematics and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars.