In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language.

From a logical analysis point of view, the truth or falsity of sentences in general is determined by only two things: the logical form of the sentence and the truth or falsity of its simple sentences. This is to say, for example, that the truth of the sentence "John is Greek and John is happy" is a function of the meaning of "and", and the truth values of the atomic sentences "John is Greek" and "John is happy". However, the truth or falsity of an atomic sentence is not a matter that is within the scope of logic itself, but rather whatever art or science the content of the atomic sentence happens to be talking about.[1]

Logic has developed artificial languages, for example sentential calculus and predicate calculus, partly with the purpose of revealing the underlying logic of natural-language statements, the surface grammar of which may conceal the underlying logical structure. In these artificial languages an atomic sentence is a string of symbols which can represent an elementary sentence in a natural language, and it can be defined as follows. In a formal language, a well-formed formula (or wff) is a string of symbols constituted in accordance with the rules of syntax of the language. A term is a variable, an individual constant or an n-place function letter followed by n terms. An atomic formula is a wff consisting of either a sentential letter or an n-place predicate letter followed by n terms. A sentence is a wff in which any variables are bound. An atomic sentence is an atomic formula containing no variables. It follows that an atomic sentence contains no logical connectives, variables, or quantifiers. A sentence consisting of one or more sentences and a logical connective is a compound (or molecular) sentence.



In the following examples:

Atomic sentences

These wffs are atomic sentences; they contain no free variables or conjunctions:

Atomic formulae

These wffs are atomic formulae, but are not sentences (atomic or otherwise) because they include free variables:

Compound sentences

Not to be confused with Compound sentence.

These wffs are compound sentences. They are sentences, but are not atomic sentences because they are not atomic formulae:

Compound formulae

These wffs are compound formulae. They are not atomic formulae but are built up from atomic formulae using logical connectives. They are also not sentences because they contain free variables:


Main article: Interpretation (logic)

A sentence is either true or false under an interpretation which assigns values to the logical variables. We might for example make the following assignments:

Individual constants


Sentential variables

Under this interpretation the sentences discussed above would represent the following English statements:

Translating sentences from a natural language into an artificial language

Sentences in natural languages can be ambiguous, whereas the languages of the sentential logic and predicate logics are precise. Translation can reveal such ambiguities and express precisely the intended meaning.

For example, take the English sentence “Father Ted married Jack and Jill”. Does this mean Jack married Jill? In translating we might make the following assignments: Individual Constants


Using these assignments the sentence above could be translated as follows:

To establish which is the correct translation of “Father Ted married Jack and Jill”, it would be necessary to ask the speaker exactly what was meant.

Philosophical significance

Main article: Logical atomism

Atomic sentences are of particular interest in philosophical logic and the theory of truth and, it has been argued, there are corresponding atomic facts.

An atomic sentence (or possibly the meaning of an atomic sentence) is called an elementary proposition by Ludwig Wittgenstein and an atomic proposition by Bertrand Russell:

Note the distinction between an elementary/atomic proposition and an atomic fact.

No atomic sentence can be deduced from (is not entailed by) any other atomic sentence, no two atomic sentences are incompatible, and no sets of atomic sentences are self-contradictory. Wittgenstein made much of this in his Tractatus. If there are any atomic sentences then there must be "atomic facts" which correspond to those that are true, and the conjunction of all true atomic sentences would say all that was the case, i.e., "the world" since, according to Wittgenstein, "The world is all that is the case". (TLP:1). Similarly the set of all sets of atomic sentences corresponds to the set of all possible worlds (all that could be the case).

The T-schema, which embodies the theory of truth proposed by Alfred Tarski, defines the truth of arbitrary sentences from the truth of atomic sentences.

See also


  1. ^ The Philosophy of Logic by Willard Van Orman Quine (1970).
  2. ^ "Russell's Logical Atomism". Stanford Encyclopedia of Philosophy.
  3. ^ "Wittgenstein's Logical Atomism". Stanford Encyclopedia of Philosophy.