more on this theme     |     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'.