Mancosu and van Stigt (4.0) “Intuitionistic Logic” part 4.0, “[Introductory material to] Intuitionistic Logic”, summary

 

by Corry Shores

 

[Search Blog Here. Index-tags are found on the bottom of the left column.]

 

[Central Entry Directory]

[Mathematics, Calculus, Geometry, Entry Directory]

[Logic and Semantics, entry directory]

[Walter P. van Stigt, entry directory]

[Paolo Mancosu, entry directory]

[Mancosu & van Stigt, “Intuitionistic Logic,” entry directory]

 

 

[The following is summary. I am not a mathematician, so please consult the original text instead of trusting my summarizations. Bracketed comments are my own. Proofreading is incomplete, so please forgive my mistakes.]

 

 

 

 

Summary of

 

Paolo Mancosu & Walter P. van Stigt

 

“Intuitionistic Logic”

 

in

 

From Brouwer to Hilbert:

The Debate on the Foundations of Mathematics in the 1920’s

 

Part IV

Intuitionistic Logic

 

Part IV’s Introduction:

“Intuitionistic Logic”

 

4.0

[Introductory material]

 

 

 

 

 

Brief summary:

(4.0.1) Quoting: “In this fourth part of the book we introduce several texts related to the emergence of intuitionistic logic. The introduction is divided into two sections. The first section, written by W. P. van Stigt, describes Brouwer’s contributions to what soon became called the “Brouwer logic.” The second section, written by P. Mancosu, analyzes several further contributions to the formalization of intuitionistic logic due to Glivenko, Heyting, and Kolmogorov” (275).

 

 

 

 

 

 

Contents

 

4.0.1

[Brief Overview of the Chapter]

 

 

 

 

 

 

Summary

 

4.0.1

[Brief Overview of the Chapter]

 

[Quoting: “In this fourth part of the book we introduce several texts related to the emergence of intuitionistic logic. The introduction is divided into two sections. The first section, written by W. P. van Stigt, describes Brouwer’s contributions to what soon became called the “Brouwer logic.” The second section, written by P. Mancosu, analyzes several further contributions to the formalization of intuitionistic logic due to Glivenko, Heyting, and Kolmogorov” (275).]

 

[ditto]

In this fourth part of the book we introduce several texts related to the emergence of intuitionistic logic. The introduction is divided into two sections. The first section, written by W. P. van Stigt, describes Brouwer’s contributions to what soon became called the “Brouwer logic.” The second section, written by P. Mancosu, analyzes several further contributions to the formalization of intuitionistic logic due to Glivenko, Heyting, and Kolmogorov.

(275)

[contents]

 

 

 

 

 

 

 

From:

 

Mancosu, Poalo & Stigt, Walter P. van. (1989). “Intuitionistic Logic” In: From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920’s, edited by Paolo Mancosu. Oxford: Oxford University.