more from this thinker
|
more from this text
Single Idea 13684
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
]
Full Idea
The semantical notion of a logical truth is that of a valid formula, which is true in all interpretations. In propositional logic they are 'tautologies'.
Gist of Idea
The semantical notion of a logical truth is validity, being true in all interpretations
Source
Theodore Sider (Logic for Philosophy [2010], 2.3)
Book Ref
Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.33
A Reaction
This implies that there is a proof-theoretic account of logical truth as well. Intuitively a logical truth is a sequent which holds no matter which subject matter it refers to, so the semantic view sounds OK.
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]
|