Search results
Results from the WOW.Com Content Network
The fundamental distinguishing characteristic of intuitionism is its interpretation of what it means for a mathematical statement to be true. In Brouwer's original intuitionism, the truth of a mathematical statement is a subjective claim: a mathematical statement corresponds to a mental construction, and a mathematician can assert the truth of a statement only by verifying the validity of that ...
[3] The main aim of the book is to provide a systematic account of the principles of commonsense morality. The three general methods of making ethical choices commonly used in ordinary morality are intuitionism (following general principles), egoism (promoting one's own well-being) and utilitarianism (promoting everyone's well-being).
Brouwer founded intuitionism, a philosophy of mathematics that challenged the then-prevailing formalism of David Hilbert and his collaborators, who included Paul Bernays, Wilhelm Ackermann, and John von Neumann (cf. Kleene (1952), p. 46–59). A variety of constructive mathematics, intuitionism is a philosophy of the foundations of mathematics ...
Ethical intuitionism (also called moral intuitionism) is a view or family of views in moral epistemology (and, on some definitions, metaphysics).It is foundationalism applied to moral knowledge, the thesis that some moral truths can be known non-inferentially (i.e., known without one needing to infer them from other truths one believes).
Prichard gave an influential defence of ethical intuitionism in his "Does Moral Philosophy Rest on a Mistake?" (1912), wherein he contended that moral philosophy rested chiefly on the desire to provide arguments, starting from non-normative premises, for the principles of obligation that we pre-philosophically accept, such as the principle that one ought to keep one's promises or that one ...
Intuitionism is a position advanced by L. E. J. Brouwer in philosophy of mathematics derived from Kant's claim that all mathematical knowledge is knowledge of the pure forms of the intuition—that is, intuition that is not empirical.
In moral psychology, social intuitionism is a model that proposes that moral positions are often non-verbal and behavioral. [1] Often such social intuitionism is based on "moral dumbfounding" where people have strong moral reactions but fail to establish any kind of rational principle to explain their reaction.
Heyting arithmetic can be characterized just like the first-order theory of Peano arithmetic, except that it uses the intuitionistic predicate calculus for inference. In particular, this means that the double-negation elimination principle, as well as the principle of the excluded middle, do not hold.