This book defends a form of ethical intuitionism, according to which (i) there are objective moral truths; (ii) we know some of these truths through a kind of immediate, intellectual awareness, or "intuition"; and (iii) our knowledge of moral truths gives us reasons for action independent of our desires. The author rebuts all the major objections to this theory and shows that the alternative theories about the nature of ethics all face grave difficulties.

I argue that, given evidence of the factors that tend to distort our intuitions, ethical intuitionists should disown a wide range of common moral intuitions, and that they should typically give preference to abstract, formal intuitions over more substantive ethical intuitions. In place of the common sense morality with which intuitionism has traditionally allied, the suggested approach may lead to a highly revisionary normative ethics.

According to moral intuitionism, at least some moral seeming states are justification-conferring. The primary defense of this view currently comes from advocates of the standard account, who take the justification-conferring power of a moral seeming to be determined by its phenomenological credentials alone. However, the standard account is vulnerable to a problem. In brief, the standard account implies that moral knowledge is seriously undermined by those commonplace moral disagreements in which both agents have equally good phenomenological credentials supporting their (...) disputed moral beliefs. However, it is implausible to think that commonplace disagreement seriously undermines moral knowledge, and thus it is implausible to think that the standard account of moral intuitionism is true. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with (...) the so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

We review the state of the art in moral psychology to answer 6 questions: 1) Where do moral beliefs and motivations come from? 2) How does moral judgment work? 3) What is the evidence for the social intuitionist model? 4) What exactly are the moral intuitions? 5) How does morality develop? And 6) Why do people vary in their morality? We describe the intuitionist approach to moral psychology. The mind makes rapid affective evaluations of everything it encounters, and these evaluations (...) (intuitions) shape and push subsequent moral reasoning. This approach to moral judgment has a variety of implications for moral philosophy and for the law in that it questions common assumptions about the reliability and causal efficacy of private, conscious reasoning. (shrink)

In this paper, I defend a non-skeptical intuitionist approach to moral epistemology from recent criticisms. Starting with Sinnott-Armstrong's skeptical attacks, I argue that a familiar sort of skeptical argument rests on a problematic conception of the evidential grounds of our moral judgments. The success of his argument turns on whether we conceive of the evidential grounds of our moral judgments as consisting entirely of non-normative considerations. While we cannot avoid skepticism if we accept this conception of our evidential grounds, that's (...) because accepting this conception of our evidential grounds is tantamount to accepting the skeptic's conclusion. We have nothing to fear from arguments for skepticism from skepticism. (shrink)

Thinking about morality -- Story of contemporary intuitionism -- Moral knowledge -- New challenges to intuitionism -- Grounds of morality -- Right and the good reconsidered -- Intuitionism's rivals -- Being moral: how and why.

Ethical Intuitionism was the dominant moral theory in Britain for much of the 18th, 19th and the first third of the twentieth century. However, during the middle decades of the twentieth century ethical intuitionism came to be regarded as utterly untenable. It was thought to be either empty, or metaphysically and epistemologically extravagant, or both. This hostility led to a neglect of the central intuitionist texts, and encouraged the growth of a caricature of intuitionism that could easily (...) be rejected before moving on to 'more serious' philosophical theories. More recently, however, this hostility towards ethical intuitionism has subsided. A wide range of moral philosophers, from Aristotelians, to rule-consequentialists, to expressivists, Kantians and deontologists, are beginning to look to the ethical intuitionists's work as a positive resource. It is, therefore, a good time to get clear on what it was that intuitionists said, and re-evaluate their contribution to our understanding of morality. This volume is the first serious engagement with ethical intuitionism in the light of contemporary developments in ethical theory. It contains essays by eminent moral philosophers working in very different traditions whose aim is to clarify and assess ethical intuitionism. Issues addressed include whether the plurality of basic principles intuitionists adhere to can be grounded in some more fundamental principle; the autonomy of ethics and self-evidence; moral realism and internalism; and the open question argument and naturalism. (shrink)

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.

In the pioneering article and two papers, written jointly with McKinsey, Tarski developed the so-called algebraic and topological frameworks for the Intuitionistic Logic and the Lewis modal system. In this paper, we present an outline of modern systems with a topological tinge. We consider topological interpretation of basic systems GL and G of the provability logic in terms of the Cantor derivative and the Hausdorff residue.

This paper outlines and defends a moderate intuitionism. The point of departure is the intuitionism of W. D. Ross (1930) in The Right and the Good, conceived as ethically pluralist and epistemologically rationalist. The paper articulates a conception of self-evidence – including mediate as well as immediate kinds – appropriate to a moderate intuitionism, explores some of the resources and varieties of that position, and considers some problems and prospects for a rationalist version of intuitionism. The (...) final section addresses the issue of how best to conceive the nature and grounds of prima facie duty, the problem of whether intuitionism can adequately deal with conflicts of prima facie duties, and the question of how satisfactorily a moderate intuitionism can account for the epistemic status of moral judgments of overall duty and their connection with rational action. (shrink)

Walter Sinnott-Armstrong has developed and progressively refined an argument against moral intuitionism—the view on which some moral beliefs enjoy non-inferential justification. He has stated his argument in a few different forms, but the basic idea is straightforward. To start with, Sinnott-Armstrong highlights facts relevant to the truth of moral beliefs: such beliefs are sometimes biased, influenced by various irrelevant factors, and often subject to disagreement. Given these facts, Sinnott-Armstrong infers that many moral beliefs are false. What then shall we (...) think of our own moral beliefs? Either we have reason to think some of our moral beliefs are reliably formed or we have no such reason. If the latter, our moral beliefs are unjustified. If we have reason to think some moral beliefs are reliably formed, then those beliefs are not non-inferentially justified, because then we’ll have reason to accept something—namely, that they are reliably formed—that entails or supports those beliefs. But then, either way, our moral beliefs are not non-inferentially justified, and so moral intuitionism is false. This paper takes issue with Sinnott-Armstrong’s interesting and widely discussed argument, which we here call the Empirical Defeat Argument (EDA). According to us, the EDA does not defeat moral intuitionism. In section 1, we will set out the argument, briefly reviewing the rationale Sinnott-Armstrong offers for the premises. Then, in section 2, we identify a critical but dubious epistemological assumption concerning the nature of defeat that undergirds the argument. Finally, in section 3, we will defend our challenge to the EDA by answering two objections. (shrink)

We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is presented as the assertional logic of a point regular variety (whose structure theory is examined in detail) that turns out to be term equivalent to the variety of Heyting algebras. We provide Hilbert-style and Gentzen-style proof systems for $$\textrm{CHL}$$ CHL ; moreover, we (...) suggest a possible computational interpretation of its connexive conditional, and we revisit Kapsner’s idea of superconnexivity. (shrink)

I define ethical intuitionism as the view that it is appropriate to appeal to inferentially unsupported moral beliefs in the course of moral reasoning. I mention four common objections to this view, including the view that all such appeals to intuition make ethical theory politically and noetically conservative. I defend intuitionism from versions of this criticism expressed by R.B. Brandt, R.M. Hare and Richard Miller.

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

The aims of this paper are twofold: firstly, to say something about that philosophy of mathematics known as 'intuitionism' and, secondly, to fit these remarks into a more general message for the philosophy of mathematics as a whole. What I have to say on the first score can, without too much inaccuracy, be compressed into two theses. The first is that the intuitionistic critique of classical mathematics can be seen as based primarily on epistemological rather than on meaning-theoretic considerations. (...) The second is that the intuitionist's chief objection to the classical mathematician's use of logic does not center on the use of particular logical principles (in particular, the law of excluded middle and its ilk). Rather on the role the classical mathematician assigns (or at least extends) generally (i.e. regardless of the particular principles used) to the use of logic in the production mathematical proofs. Thus, the intuitionist critique of logic that we shall be presenting is far more radical than that which has commonly been presented. -/- Concerning the second, more general, theme, my claim is this: some restriction of the role of logical inference in mathematical proof such as that mentioned above is necessary if one is to account for the seeming difference in the epistemic conditions of provers whose reasoning is based on genuine insight into the subject-matter being investigated, and would-be provers whose reasoning is based not on such insight, but rather on principles of inference which hold of every subject-matter indifferently. (shrink)

Conditional logics have traditionally been intended to formalize various intuitively correct modes of reasoning involving conditional expressions in natural language. Although conditional logics have by now been thoroughly studied in a classical context, they have yet to be systematically examined in an intuitionistic context, despite compelling philosophical and technical reasons to do so. This paper addresses this gap by thoroughly examining the basic intuitionistic conditional logic ICK, the intuitionistic counterpart of Chellas’ important classical system CK. I give ICK both worlds (...) semantics and algebraic semantics, and prove that these are equivalent. I give a Gödel-type embedding of ICK into CK and a Glivenko-type embedding of CK into ICK. I axiomatize ICK and prove soundness, completeness, and decidability results. Finally, I discuss extending ICK. (shrink)

Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theory T of sentences intuitionistically valid in all T-normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic , the theory PA is a proper subtheory of Heyting arithmetic , so HA is complete but not sound for PA-normal Kripke structures.

It is a central tenet of ethical intuitionism as defended by W. D. Ross and others that moral theory should reflect the convictions of mature moral agents. Hence, intuitionism is plausible to the extent that it corresponds to our well-considered moral judgments. After arguing for this claim, I discuss whether intuitionists offer an empirically adequate account of our moral obligations. I do this by applying recent empirical research by John Mikhail that is based on the idea of a (...) universal moral grammar to a number of claims implicit in W. D. Ross’s normative theory. I argue that the results at least partly vindicate intuitionism. (shrink)

In the recent metaethical literature there has been significant interest in the prospects for what I am denoting ‘Perceptual Intuitionism’: the view that normal ethical agents can and do have non-inferential justification for first-order ethical beliefs by having ethical perceptual experiences, e.g., Cullison 2010, McBrayer 2010, Vayrynen 2008. If true, it promises to constitute an independent a posteriori intuitionist epistemology, providing an alternative to intuitionist accounts which posit a priori intuition and/or emotion as sources of non-inferentially justified ethical beliefs. (...) As it is formulated, it is plausible that a necessary con- dition for the view is the truth of Ethical Perception: normal ethical agents can and do have perceptual experiences as of the instantiation of ethical properties. In this paper a sophisticated and promising account of Ethical Perception is offered. Extant objections are shown to fail. However, it will be argued that it is far from obvious that the account of Perceptual Intuitionism which emerges constitutes an independent alternative to other intuitionist accounts. This is because we have reason to think that ethical perceptual experience may be epistemically dependent on other epistemic sources, e.g. a priori intuition or emotion. (shrink)

In this paper it is shown that the intuitionistic .xed point theory equation image for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and equation image sentences over the theory equation image for α times iterated arithmetic comprehension without set parameters.This generalizes results previously due to Buchholz [5] and Arai [2].

We consider notions of boundedness of subsets of the natural numbers ℕ that occur when doing mathematics in the context of intuitionistic logic. We obtain a new characterization of the notion of a pseudobounded subset and we formulate the closely related notion of a detachably finite subset. We establish metric equivalents for a subset of ℕ to be detachably finite and to satisfy the ascending chain condition. Following Ishihara, we spell out the relationship between detachable finiteness and sequential continuity. Most (...) of the results do not require countable choice. (shrink)

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

In this article we prove that a certain intuitionistic version of the well-known fixed point theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\widehat{\rm ID}_1$\end{document} is conservative over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mbox{\sf HA}$\end{document} for almost negative formulas.

The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [ 4 ] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$.

The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating (...) in the famous Hilbert-Brouwer controversy in the 1920s. -/- The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them? To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today? These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics. (shrink)

Attributions of moral knowledge are common in everyday life. We say that we know that some actions are morally right or wrong, permitted or required. Yet, how do we know such moral claims? Moral intuitionism is a family of theories in moral epistemology that tries to answer this question. Intuitionists are not skeptics about moral knowledge. They think that there are moral truths for us to know, and further, that knowledge of these truths is possible. What distinguishes intuitionism (...) from other anti-skeptical moral epistemologies is the idea that we can know some moral truths directly, without inferring them from premises. According to many intuitionists, it is possible for us to know that keeping promises is morally right even if we do not hold this belief on the basis of further evidence or proof. While intuitionism was popular in the early twentieth century, it was since dismissed as implausible. Recently, there has been renewed interest in intuitionism. Philosophers have defended updated versions of the theory and argue that the view has been misunderstood. This chapter considers the merits of intuitionism in moral epistemology. In what follows, I examine different ways of being an intuitionist and indicate the relative strengths and weaknesses of various approaches within intuitionism. (shrink)

The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what follows we outline an answer to (2) and give a model-theoretic definition of the operator K. This will shed some light also on (1), since it turns out that K, defined as we do, fulfills the properties of a necessity operator for a normal modal logic. The interest of (...) our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, De Vidi and Solomon's proposal of formulating the verification thesis as Φ → ¬¬KΦ. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models. (shrink)

In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...) formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.

Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...

Berkeley’s ‘master argument’ for idealism has been the subject of extensive criticism. Two of his strongest critics, A.N. Prior and J.L. Mackie, argue that due to various logical confusions on the part of Berkeley, the master argument fails to establish his idealist conclusion. Prior argues that Berkeley’s argument ‘proves too little’ in its conclusion, while Mackie contends that Berkeley confuses two different kinds of self-refutation in his argument. This paper proposes a defence of the master argument based on intuitionistic argument. (...) It begins by giving a brief exposition of the master argument and Prior's and Mackie's criticism. The following section explains why we might read the master argument along intuitionistic lines. The final section demonstrates that, according to intuitionistic logic, Berkeley's argument withstands the criticisms of Prior and Mackie. (shrink)

It seems impossible that organisms selected to maximize their genetic legacy could also be moral agents in a world in which taking risks for strangers is sometimes morally laudable. Brian Zamulinski argues that it is possible if morality is an evolutionary by-product rather than an adaptation.Evolutionary Intuitionism presents a new evolutionary theory of human morality. Zamulinski explains the evolution of foundational attitudes, whose relationships to acts constitute moral facts. With foundational attitudes and the resulting moral facts in place, he (...) shows how they ground a plausible normative morality, give answers to meta-ethical questions, and provide an account of moral motivation. He explains the nature of moral intuitions and, thus, of our access to the moral facts. He shows that the theory makes confirmed empirical predictions, including the observable variation in moral views. The combination of intuitionism and evolutionary ethics enables Zamulinski to overcome the standard objections to both.Evolutionary Intuitionism is a unified theory of human morality that explains how an objective morality could develop naturally in a physical world like ours, among organisms like us. (shrink)

This paper is a reaction to the following remark by grzegorczyk: "the compound sentences are not a product of experiment. they arise from reasoning. this concerns also negations; we see that the lemon is yellow, we do not see that it is not blue." generally, in science the truth is ascertained as indirectly as falsehood. an example: a litmus-paper is used to verify the sentence "the solution is acid." this approach gives rise to a (very intuitionistic indeed) conservative extension of (...) the heyting logic satisfying natural duality laws. (shrink)

We give an intuitionistic axiomatisation of real closed fields which has the constructive reals as a model. The main result is that this axiomatisation together with just the decidability of the order relation gives the classical theory of real closed fields. To establish this we rely on the quantifier elimination theorem for real closed fields due to Tarski, and a conservation theorem of classical logic over intuitionistic logic for geometric theories.