Modern Logic

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

Brouwer and Griss on intuitionistic negation

Miriam Franchella

Full-text: Open access


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

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

First available in Project Euclid: 6 March 2008

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

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


Franchella, Miriam. Brouwer and Griss on intuitionistic negation. Mod. Log. 4 (1994), no. 3, 256--265.

Export citation