more from this thinker     |     more from this text

Single Idea 10638

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

Full Idea

The defining features of a pure logic are its absolute generality (the objects of discourse are irrelevant), and its formality (logical truths depend on form, not matter), and its cognitive primacy (no extra-logical understanding is needed to grasp it).

Gist of Idea

A pure logic is wholly general, purely formal, and directly known

Source

Øystein Linnebo (Plural Quantification [2008], 3)

Book Ref

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.10

A Reaction

[compressed] This strikes me as very important. The above description seems to contain no ontological commitment at all, either to the existence of something, or to two things, or to numbers, or to a property. Pure logic seems to be 'if-thenism'.

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]