more from this thinker
|
more from this text
Single Idea 9771
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
]
Full Idea
If language is like a tree, then penumbral connection (logic holding among indefinite sentences) is the seed from which the tree grows, for it provides an initial repository of truths that are to be retained throughout all growth.
Gist of Idea
Logic holding between indefinite sentences is the core of all language
Source
Kit Fine (Vagueness, Truth and Logic [1975], 2)
Book Ref
'Vagueness: a Reader', ed/tr. Keefe,R /Smith,P [MIT 1999], p.129
A Reaction
A nice incidental insight arising from his investigation of vagueness. People accept one another's reasons even when they are confused, or hopeless at expressing themselves. Nice.
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]
|