Logical Consequence From a Constructivist View
Dag Prawitz · Oxford University Press eBooks · 2009
Abstract In spite of the great advancement of logic in our time and the technical sophistication of disciplines such as model theory and proof theory, the concept of logical consequence—the most basic notion of logic—is still poorly understood. Basic intuitions are often in conflict with each other, and rather few attempts have been made to sort this out in a systematic fashion. This article critically reviews some of the attempts that have been made to articulate intuitions about logical consequence, but the review makes no claim to be comprehensive or to settle the issues. Most attention is given to how the notion of logical consequence may be developed from a constructivist point of view.