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