Article

Logical Consequence From a Constructivist View

Dag Prawitz

in The Oxford Handbook of Philosophy of Mathematics and Logic

Published in print June 2007 | ISBN: 9780195325928
Published online September 2009 | | DOI: http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0022

Series: Oxford Handbooks

Logical Consequence From a Constructivist View

More Like This

Show all results sharing these subjects:

  • Philosophy
  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

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.

Keywords: logical consequence; model theory; proof theory; notion of logic; basic intuitions; constructivist view

Article.  11204 words. 

Subjects: Philosophy ; Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.