Sentence examples for for singular terms from inspiring English sources

These terms raise complications not present for singular terms.

where t is a placeholder for singular terms in general (including parameters), and not just for @-terms.

Thus Kreisel's argument suggests we can make do with models for the purpose of characterizing validity in pure quantificational logic.[4] Classical quantificational logic allows for singular terms other than variables.

Salmon (1982) categorizes Kripke's arguments against descriptivism for singular terms under the headings 'the modal arguments', 'the epistemological arguments', and 'the semantic arguments' this categorization is useful also for the corresponding arguments against descriptivism for general terms.

The view seems to give us all that we could want: It respects our Fregean intuitions about truth-values without the sins of accepting a sense/reference distinction for singular terms like proper names, demonstratives, and indexicals.

Furthermore, a large part of the motivation for accepting a sense/reference distinction for singular terms is to ensure that substitution on the basis of an ordinary co-reference relation within the scope of an attitude verb is blocked.

In free logics, because one cannot in general derive the existential generalization '∃x φ(x)' from 'φ(t)', for singular term 't', singular terms fail to carry ontological commitment.

Another category of singular terms is definite descriptions.

The use of singular terms in inferences raised various issues.

The third mark of intentionality involves the failure of substitutivity for coextensive singular terms.

At the core of classical quantificational logic lies what we may call pure quantificational logic, which makes no provision for any singular terms other than variables.