more from Edwin D. Mares

Single Idea 18782

[catalogued under 5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives]

Full Idea

In studying the logical connectives, philosophers of logic typically adopt the perspective of either model theory (givng truth conditions of various parts of the language), or of proof theory (where use in a proof system gives the connective's meaning).

Gist of Idea

The connectives are studied either through model theory or through proof theory


Edwin D. Mares (Negation [2014], 1)

Book Reference

'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.182

A Reaction

[compressed] The commonest proof theory is natural deduction, giving rules for introduction and elimination. Mates suggests moving between the two views is illuminating.