Sentence examples for atomic statement from inspiring English sources

Simons dubs the truth functional mechanism whereby the negation of an atomic statement gets the value true, "truth by default" (2008: 14).

As noted above, Adams takes any modal statement containing a name as, in effect, an atomic statement that predicates a modal property of the referent of the name.

The idea is that $\osim p$ may be inferred if the exhaustive search for a proof of the atomic statement $p$ failed.

There is no fact described by conjunctions and existential statements over and above the facts that make the atomic conjuncts true and the facts that are described by the atomic statement from which the existential statement can be inferred.

The Horty-Thomason-Touretzky system does satisfy special cases of Cut and Cautious Monotony: if A is an atomic statement (a link from an individual to a category), then if graph G supports A, then for any statement B, G ∪ {A} supports B if and only if G supports B. Another form of inference that is not supported by semantic inheritance networks is that of reasoning by cases or by dilemma.

It enables modular specification of hybrid systems by means of a large set of atomic statements and operators for combining these.

This approach is extended to handle longer, more complex premises by segmenting these utterances into a set of atomic statements entailed through natural logic.

A probabilistic spatio-temporal (PST) knowledge base (KB) contains atomic statements of the form "Object o is/was/will be in region r at time t with probability in the interval [ℓ,u]".

Lewis also argues that we can't stop here—just giving up maximalism for optimalism because even the truth-makers for atomic statements conflict with Humeanism.

So we cannot posit facts as truth-makers for contingent (atomic) statements without going against Humeanism (Lewis 1992: 200, 1998: 215 6, 2001: 611).

The logic must be free because it deals with an empty singular term, and it must be positive, because only on a positive semantics can empty-termed atomic statements be true.