Single Idea 10638

[catalogued under 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 Reference

'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'.