Single Idea 10690

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

Full Idea

Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought.

Gist of Idea

Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought

Source

JC Beall / G Restall (Logical Consequence [2005], 2)

Book Reference

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


A Reaction

[compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski.