more from this thinker
|
more from this text
Single Idea 9187
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
]
Full Idea
There are two ways of characterizing logical truths and correct inference. Proof-theoretic or syntactic characterizations, if the formalization admits of proof or derivation; and model-theoretic or semantic versions, being true in all interpretations.
Gist of Idea
Logical truths and inference are characterized either syntactically or semantically
Source
Michael Dummett (The Philosophy of Mathematics [1998], 3.1)
Book Ref
'Philosophy 2: further through the subject', ed/tr. Grayling,A.C. [OUP 1998], p.136
A Reaction
Dummett calls this distinction 'fundamental'. The second one involves truth, and hence meaning, where the first one just responds to rules. ..But how can you have a notion of correctly following a rule, without a notion of truth?
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]
|