JSTOR Daily

Classical Harmony: Rules of Inference and the Meaning of the Logical Constants

The thesis that, in a system of natural deduction, the meaning of a logical constant is given by some or all of its introduction and elimination rules has been developed recently in the work of ...
JSTOR Daily

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

Studia Logica: An International Journal for Symbolic Logic, Vol. 102, No. 6, Gentzen's and Jaśkowski's Heritage 80 Years of Natural Deduction and Sequent Calculi (December 2014), pp. 1185-1216 (32 ...
lse

Introduction to Logic

This course is compulsory on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in Politics and Philosophy. This ...
lse

Introduction to Logic

This course is compulsory on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics, BSc in Philosophy, Politics and Economics ...