Chapter

Three-valued and Intuitionist Logic

A. N. Prior

in Formal Logic

Published in print March 1963 | ISBN: 9780198241560
Published online October 2011 | e-ISBN: 9780191680373 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780198241560.003.0009
Three-valued and Intuitionist Logic

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

It is possible to give many other arithmetical interpretations of the symbols of the propositional calculus that preserve the truth of its axioms and the validity of its rules. Some of these involve only the numbers 1 and 0, but others involve some other numbers as well. The first section of this chapter describes two-valued and three-valued arithmetic. The second section compares two-valued and three-valued systems to sailing. It also clarifies the relations between these systems and ordinary propositional calculus. The last section considers intuitionist calculus.

Keywords: intuitionist calculus; arithmetic; two-valued logic; three-valued logic; propositional calculus; sailing

Chapter.  10832 words. 

Subjects: 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.