more from this thinker
|
more from this text
Single Idea 22295
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
]
Full Idea
In the modern definition, a 'logical truth' is true under every interpretation of the non-logical words it contains.
Gist of Idea
Modern logical truths are true under all interpretations of the non-logical words
Source
Michael Potter (The Rise of Analytic Philosophy 1879-1930 [2020], 19 'Frege's')
Book Ref
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.131
A Reaction
What if the non-logical words are nonsense, or are used inconsistently ('good'), or ambiguously ('bank'), or vaguely ('bald'), or with unsure reference ('the greatest philosopher' becomes 'Bentham')? What qualifies as an 'interpretation'?
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]
|