more on this theme     |     more from this text

Single Idea 18915

[filed under theme 3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths ]

Full Idea

If there are such things as truthmakers (facts), they are not to be found in the world. As Strawson would say to Austin: there is the cat, there is the mat, but where in the world is the fact that the cat is on the mat?

Gist of Idea

If facts are the truthmakers, they are not in the world

Source

George Engelbretsen (Trees, Terms and Truth [2005], 4)

Book Ref

'The Old New Logic', ed/tr. Oderberg,David S. [MIT 2005], p.41

A Reaction

He cites Strawson, Quine and Davidson for this point.

The 14 ideas from George Engelbretsen

18913 Traditional term logic struggled to express relations [Engelbretsen]
18905 Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen]
18907 Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen]
18906 Negating a predicate term and denying its unnegated version are quite different [Engelbretsen]
18908 Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen]
18912 Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen]
18915 If facts are the truthmakers, they are not in the world [Engelbretsen]
18919 There are no 'falsifying' facts, only an absence of truthmakers [Engelbretsen]
18917 Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen]
18916 Facts are not in the world - they are properties of the world [Engelbretsen]
18918 Terms denote objects with properties, and statements denote the world with that property [Engelbretsen]
18920 'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition [Engelbretsen]
18921 Individuals are arranged in inclusion categories that match our semantics [Engelbretsen]
18922 Logical syntax is actually close to surface linguistic form [Engelbretsen]