Modern Logic

  • Mod. Log.
  • Volume 4, Number 3 (1994), 256-265.

Brouwer and Griss on intuitionistic negation

Miriam Franchella

Full-text: Open access

Abstract

During the 1940s, a debate about the intuitionistic definition of negation took place between G .F. C. Griss and L. E. J. Brouwer: namely, Griss criticized Brouwer's definition as inconsistent with the intuitionistic framework. In this paper I present firstly Brouwer's definition of negation; then Griss' criticism of it and his proposal of a "negationless" mathematics; finally Brouwer's reply to Griss.

Article information

Source
Mod. Log., Volume 4, Number 3 (1994), 256-265.

Dates
First available in Project Euclid: 6 March 2008

Permanent link to this document
https://projecteuclid.org/euclid.rml/1204835277

Mathematical Reviews number (MathSciNet)
MR1281341

Zentralblatt MATH identifier
0802.03001

Subjects
Primary: 03-03: Historical (must also be assigned at least one classification number from Section 01)
Secondary: 01A60: 20th century 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30} 03B20: Subsystems of classical logic (including intuitionistic logic) 03F55: Intuitionistic mathematics

Citation

Franchella, Miriam. Brouwer and Griss on intuitionistic negation. Mod. Log. 4 (1994), no. 3, 256--265. https://projecteuclid.org/euclid.rml/1204835277


Export citation