more from this thinker     |     more from this text

Single Idea 3746

[filed under theme 5. Theory of Logic / A. Overview of Logic / 4. Pure Logic ]

Full Idea

If sentences can have truth-values only when they occur as asserted, it would be impossible to have a truth-functional basis to logic.

Gist of Idea

Logic seems to work for unasserted sentences

Source

D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6)

Book Ref

O'Connor,D.J.: 'The Correspondence Theory of Truth' [Hutchinson 1975], p.40

The 18 ideas with the same theme [logic as a completely self-contained subject]:

19370 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R]
16486 The physical world doesn't need logic, but the mental world does [Russell]
14452 All the propositions of logic are completely general [Russell]
10048 There is no clear boundary between the logical and the non-logical [Tarski]
11062 Logic is a priori because it is impossible to think illogically [Wittgenstein]
3746 Logic seems to work for unasserted sentences [O'Connor]
13845 The various logics are abstractions made from terms like 'if...then' in English [Hacking]
2442 Inferences are surely part of the causal structure of the world [Fodor]
15404 Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess]
14187 If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read]
10690 Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
13232 Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall]
22246 A train of reasoning must be treated as all happening simultaneously [Recanati]
10638 A pure logic is wholly general, purely formal, and directly known [Linnebo]
10781 A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
11058 Logic is explanatorily and ontologically dependent on rational animals [Hanna]
11072 Logic is personal and variable, but it has a universal core [Hanna]
13850 In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]