Results 241 to 250 of about 1,604 (278)
Some of the next articles are maybe not open access.
2000
Abstract Intuitionism, the second type of descriptivism, is the theory that the truth conditions of moral statements depend on irreducible moral properties, which must be defined in moral terms. The intuitionist claims that we have knowledge of moral truths derived from moral intuition. However, because it is a subjective experience, one
exaly +2 more sources
Abstract Intuitionism, the second type of descriptivism, is the theory that the truth conditions of moral statements depend on irreducible moral properties, which must be defined in moral terms. The intuitionist claims that we have knowledge of moral truths derived from moral intuition. However, because it is a subjective experience, one
exaly +2 more sources
Journal of Philosophical Logic, 1998
It is well known that there are serious obstacles to obtain constructive completeness results for intuitionistic (predicate) logic IL since completeness for IL with respect to intuitionistic validity implies a form of the Markov principle. The author studies so-called natural (also called intuitive or internal) interpretations of IL which are based on ...
openaire +2 more sources
It is well known that there are serious obstacles to obtain constructive completeness results for intuitionistic (predicate) logic IL since completeness for IL with respect to intuitionistic validity implies a form of the Markov principle. The author studies so-called natural (also called intuitive or internal) interpretations of IL which are based on ...
openaire +2 more sources
One Hundred Years of Intuitionism (1907–2007) [PDF]
, 2008 With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development ...
Van Atten, Mark +2 more
exaly +1 more source
2014
After a brief survey of Godel’s personal contacts with Brouwer and Heyting, examples are discussed where intuitionistic ideas had a direct influence on Godel’s technical work. Then it is argued that the closest rapprochement of Godel to intuitionism is seen in the development of the Dialectica Interpretation, during which he came to accept the notion ...
openaire +5 more sources
After a brief survey of Godel’s personal contacts with Brouwer and Heyting, examples are discussed where intuitionistic ideas had a direct influence on Godel’s technical work. Then it is argued that the closest rapprochement of Godel to intuitionism is seen in the development of the Dialectica Interpretation, during which he came to accept the notion ...
openaire +5 more sources
2018
Ultimately, mathematical intuitionism gets its name and its epistemological parentage from a conviction of Kant: that intuition reveals basic mathematical principles as true a priori. Intuitionism’s mathematical lineage is that of radical constructivism: constructive in requiring proofs of existential claims to yield provable instances of those claims;
openaire +2 more sources
Ultimately, mathematical intuitionism gets its name and its epistemological parentage from a conviction of Kant: that intuition reveals basic mathematical principles as true a priori. Intuitionism’s mathematical lineage is that of radical constructivism: constructive in requiring proofs of existential claims to yield provable instances of those claims;
openaire +2 more sources
The continuum hypothesis in intuitionism
Journal of Symbolic Logic, 1981Although Brouwer became famous for his vehement attacks upon classical logic and set theory, his work did not develop in a vacuum and strongly depended on that of Cantor.His mind bent on shifting aside nonconstructive arguments, he tried to rebuild Cantor's edifice along new, intuitionistic lines.
Gielen, W. +2 more
openaire +2 more sources
Brouwer and Fraenkel on Intuitionism
Bulletin of Symbolic Logic, 2000In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.The mutual appreciation at the outset is beyond question.
openaire +2 more sources
Synthese, 2005
The main ideas behind Brouwer’s philosophy of Intuitionism are presented. Then some critical remarks against Intuitionism made by William Tait in “Against Intuitionism” [Journal of Philosophical Logic, 12, 173–195] are answered.
openaire +1 more source
The main ideas behind Brouwer’s philosophy of Intuitionism are presented. Then some critical remarks against Intuitionism made by William Tait in “Against Intuitionism” [Journal of Philosophical Logic, 12, 173–195] are answered.
openaire +1 more source