more from Engelbretsen,G/Sayward,C

Single Idea 13849

[catalogued under 5. Theory of Logic / A. Overview of Logic / 6. Classical Logic]

Full Idea

Classical logic rests on the concepts of truth and falsity (and usually makes use of a semantic theory based on models), whereas constructivist logic accounts for inference in terms of defense and refutation.

Gist of Idea

Classical logic rests on truth and models, where constructivist logic rests on defence and refutation


Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Intro)

Book Reference

Engelbretsen,G/Sayward,C: 'Philosophical Logic: Intro to Advanced Topics' [Continuum 2011], p.2

A Reaction

My instincts go with the classical view, which is that inferences do not depend on the human capacity to defend them, but sit there awaiting revelation. My view isn't platonist, because I take the inferences to be rooted in the physical world.