more from this thinker
|
more from this text
Single Idea 18754
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
]
Full Idea
Logically valid sentences are a species of analytic sentence, being true not just in virtue of the meanings of their words, but true in virtue of the meanings of their logical words.
Gist of Idea
Logically valid sentences are analytic truths which are just true because of their logical words
Source
Vann McGee (Logical Consequence [2014], 4)
Book Ref
'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.36
A Reaction
A helpful link between logical truths and analytic truths, which had not struck me before.
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]
|