Skip to main content
12 votes

Do intutionists think the law of the excluded middle is universally, metaphysically false?

Intuitionists reject the LEM, but they don’t reject proof of negation. That is, if A can be demonstrated to imply an absurdity, then A is false to an intuitionist. See here https://ncatlab.org/nlab/...
PW_246's user avatar
  • 1,433
5 votes

Do intutionists think the law of the excluded middle is universally, metaphysically false?

In a nutshell, the answer to the title question is: no. See: Luitzen Egbertus Jan Brouwer, Unreliability of the logical principles (new English transl. of the original 1908): Now the principium ...
Mauro ALLEGRANZA's user avatar
2 votes

Do intutionists think the law of the excluded middle is universally, metaphysically false?

In systems that do not reject the law of the excluded middle, there can be undecidable propositions, which means that the syntax is incomplete. This is based on a very bad misconception. The ...
user21820's user avatar
  • 672
2 votes

What is intuitionistic mathematics?

The SEP entries on Brouwer himself, on the development of intuitionistic logic, and on constructive mathematics, including constructive and intuitionistic set theory more specifically, would probably ...
Kristian Berry's user avatar
1 vote
Accepted

What is intuitionistic mathematics?

To understand what is going on with Intuitionism, it is helpful to keep in mind the historical progression of the relevant mathematical developments. Toward the end of the 19th century, ...
Mikhail Katz's user avatar
  • 1,459
1 vote

What is intuitionistic mathematics?

A good survey about mathematical intuitionism is the section "Intuitionism" in Nicolas Goodman's paper Mathematics as an Objectiver Science. On request I can send you Goodman's paper. To me ...
Jo Wehler's user avatar
  • 33.7k
1 vote

What is intuitionistic mathematics?

I have no idea what "the empty form of the common substratum of all twoities" means, but I can respond to some of your questions. one of its consequences being that the principle of the ...
benrg's user avatar
  • 1,241

Only top scored, non community-wiki answers of a minimum length are eligible