more from this thinker
|
more from this text
Single Idea 14245
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
]
Full Idea
Logical truths should be true no matter what exists, so true even if nothing exists. The classical predicate calculus, however, makes it logically true that something exists.
Gist of Idea
Logical truths are true no matter what exists - but predicate calculus insists that something exists
Source
Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.1)
Book Ref
'Metaphysics (Philosophical Perspectives 20)', ed/tr. Hawthorne,John [Blackwell 2006], p.145
The
24 ideas
with the same theme
[statements held to be true because of a logic system]:
|
16884
|
Basic truths of logic are not proved, but seen as true when they are understood
[Frege, by Burge]
|
|
18273
|
Logical truths are known by their extreme generality
[Russell]
|
|
13830
|
Logical truths are just 'by-products' of the introduction rules for logical constants
[Wittgenstein, by Hacking]
|
|
9027
|
A sentence is logically true if all sentences with that grammatical structure are true
[Quine]
|
|
18955
|
Having a valid form doesn't ensure truth, as it may be meaningless
[Putnam]
|
|
9187
|
Logical truths and inference are characterized either syntactically or semantically
[Dummett]
|
|
15091
|
Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths
[Shoemaker]
|
|
9721
|
A logical truth or tautology is a logical consequence of the empty set
[Enderton]
|
|
10049
|
Logical truths may contain non-logical notions, as in 'all men are men'
[Musgrave]
|
|
10050
|
A statement is logically true if it comes out true in all interpretations in all (non-empty) domains
[Musgrave]
|
|
11174
|
A logical truth is true in virtue of the nature of the logical concepts
[Fine,K]
|
|
9771
|
Logic holding between indefinite sentences is the core of all language
[Fine,K]
|
|
15408
|
'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics
[Burgess]
|
|
10895
|
'Logically true' (|= φ) is true for every truth-assignment
[Zalabardo]
|
|
10900
|
Logically true sentences are true in all structures
[Zalabardo]
|
|
13684
|
The semantical notion of a logical truth is validity, being true in all interpretations
[Sider]
|
|
13704
|
It is hard to say which are the logical truths in modal logic, especially for iterated modal operators
[Sider]
|
|
10971
|
A logical truth is the conclusion of a valid inference with no premisses
[Read]
|
|
22295
|
Modern logical truths are true under all interpretations of the non-logical words
[Potter]
|
|
10696
|
A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises
[Beall/Restall]
|
|
13236
|
Logical truth is much more important if mathematics rests on it, as logicism claims
[Beall/Restall]
|
|
18754
|
Logically valid sentences are analytic truths which are just true because of their logical words
[McGee]
|
|
14245
|
Logical truths are true no matter what exists - but predicate calculus insists that something exists
[Oliver/Smiley]
|
|
18809
|
Logical truths are just the assumption-free by-products of logical rules
[Rumfitt]
|