more on this theme     |     more from this thinker


Single Idea 19315

[filed under theme 5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic ]

Full Idea

In a quantified language it is possible to build new sentences by combining two expressions neither of which is itself a sentence.

Gist of Idea

In quantified language the components of complex sentences may not be sentences

Source

Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4)

Book Ref

Kirkham,Richard L.: 'Theories of Truth: a Critical Introduction' [MIT 1995], p.150


A Reaction

In propositional logic the components are other sentences, so the truth value can be given by their separate truth-values, through truth tables. Kirkham is explaining the task which Tarski faced. Truth-values are not just compositional.

Related Idea

Idea 19316 Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham]


The 7 ideas from 'Theories of Truth: a Critical Introduction'

There are at least fourteen candidates for truth-bearers [Kirkham]
A 'sequence' of objects is an order set of them [Kirkham]
If one sequence satisfies a sentence, they all do [Kirkham]
In quantified language the components of complex sentences may not be sentences [Kirkham]
An open sentence is satisfied if the object possess that property [Kirkham]
If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham]
Why can there not be disjunctive, conditional and negative facts? [Kirkham]