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