Results for 'Intuitionism'

1000+ found
Order:
  1. Ethical Intuitionism.Michael Huemer - 2005 - Palgrave Macmillan.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   279 citations  
  2.  38
    1. Intuitionistic Sentential Calculus with Iden-Tity.Intuitionistic Sentential Calculus - 1990 - Bulletin of the Section of Logic 19 (3):92-99.
  3. Revisionary Intuitionism.Michael Huemer - 2008 - Social Philosophy and Policy 25 (1):368-392.
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  4.  98
    Intuitionism an Introduction.Arend Heyting - 1956 - Amsterdam, Netherlands: North-Holland.
  5. Intuitionism.A. Heyting - 1966 - Amsterdam: North-Holland Pub. Co..
  6.  20
    Intuitionism.A. Heyting - 1956 - Amsterdam: North-Holland Pub. Co..
  7. Moral Intuitionism and Disagreement.Brian Besong - 2014 - Synthese 191 (12):2767-2789.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  8. The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1975 - In Truth and Other Enigmas. Cambridge: Harvard UP. pp. 215--247.
    Direct download  
     
    Export citation  
     
    Bookmark   156 citations  
  9. Elements of Intuitionism.Michael Dummett - 1977 - Oxford University Press.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   188 citations  
  10. Social Intuitionists Answer Six Questions About Morality.Jonathan Haidt & Fredrik Bjorklund - 2008 - In W. Sinnott-Armstrong (ed.), Moral Psychology Vol. 2. MIT Press.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  11.  33
    Ethical Intuitionism: Re-Evaluations.Philip Stratton-Lake (ed.) - 2002 - Oxford University Press UK.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  12.  1
    Intuitionistic Type Theory.Per Martin-Löf - 1984 - Bibliopolis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   102 citations  
  13. Perceptual Intuitionism.Robert Cowan - 2015 - Philosophy and Phenomenological Research 90 (1):164-193.
    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. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  14. Brouwerian Intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.
    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. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  15. Moral Intuitionism Meets Empirical Psychology.Walter Sinnott-Armstrong - 2006 - In Terry Horgan & Mark Timmons (eds.), Metaethics After Moore. Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark   54 citations  
  16.  6
    Intuitionism.David Kaspar - 2012 - Continuum.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  31
    Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  20.  38
    Intuitionistic Logic with Strong Negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  21.  78
    Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
    We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  22. Intuitionism, Realism, Relativism and Rhubarb.Crispin Wright - 2006 - In Patrick Greenough & Michael Lynch (eds.), Truth and Realism. Clarendon Press. pp. 38--60.
    Direct download  
     
    Export citation  
     
    Bookmark   48 citations  
  23. Ethical Intuitionism and the Linguistic Analogy.Philipp Schwind - 2018 - Canadian Journal of Philosophy 48 (2):292-311.
    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 (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Intuitionism Disproved?Timothy Williamson - 1982 - Analysis 42 (4):203--7.
    Perennial philosophers' hopes are unlikely victims of swift, natural deduction. Yet anti-realism has been thought one. Not hoping for anti-realism myself I here show it, lest it be underestimated, to survive the following argument, adapted from W. D.Hart pp. 156, 164-5; he credits first publication to Fitch).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  25.  30
    Intuitionistic Hybrid Logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
    Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  26. Intuitionism and Formalism.L. E. J. Brouwer - 1913 - Bulletin of the American Mathematical Society 20:81-96.
     
    Export citation  
     
    Bookmark   80 citations  
  27. Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
    Translate
     
     
    Export citation  
     
    Bookmark   80 citations  
  28.  97
    An Intuitionistic Defence of Berkeley’s Master Argument.Conor McGlynn - 2019 - Analysis 79 (2):236-242.
    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. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  49
    Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.
    ABSTRACT The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Moral Intuitionism Defeated?Nathan Ballantyne & Joshua C. Thurow - 2013 - American Philosophical Quarterly 50 (4):411-422.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  47
    Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox.Carlo Proietti - 2012 - Journal of Philosophical Logic 41 (5):877-900.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32. An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.
     
    Export citation  
     
    Bookmark   50 citations  
  33.  32
    Ethical Intuitionism and Naturalism: A Reconciliation.M. B. E. Smith - 1979 - Canadian Journal of Philosophy 9 (4):609 - 629.
    I argue that, If one adopts a minimal naturalism (of a kind rejected by moore, Hare, "et al".), One would adopt a methodology which yields conclusions identical to that yielded by intuitionistic methodology (of a kind employed by ross, Prichard, "et al".). I dilate upon the advantages which thus accrue to each theory, And I defend my minimal naturalism against a variety of objections.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  31
    Semi-Intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
    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}}$$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35. Moderate Intuitionism and the Epistemology of Moral Judgment.Robert Audi - 1998 - Ethical Theory and Moral Practice 1 (1):15-44.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  36.  31
    Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.
    The sequent system LDJ is formulated using the same connectives as Gentzen's intuitionistic sequent system LJ, but is dual in the following sense: (i) whereas LJ is singular in the consequent, LDJ is singular in the antecedent; (ii) whereas LJ has the same sentential counter-theorems as classical LK but not the same theorems, LDJ has the same sentential theorems as LK but not the same counter-theorems. In particular, LDJ does not reject all contradictions and is accordingly paraconsistent. To obtain a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  37.  19
    Inquisitive Intuitionistic Logic.Wesley H. Holliday - forthcoming - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. London: College Publications.
    Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the formation of questions. Recently inquisitive logicians have considered what happens if the logic of declarative sentences is assumed to be intuitionistic rather than classical. In short, what should inquisitive logic be on an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Ethical Intuitionism and Moral Skepticism.Clayton Littlejohn - 2011 - In Jill Graper Hernandez (ed.), The New Intuitionism.
    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 (...)
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  39.  32
    Full Intuitionistic Linear Logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  23
    Intuitionistic Logic, Model Theory and Forcing.Melvin Chris Fitting - 1969 - Amsterdam: North-Holland Pub. Co..
  41. Ethical Intuitionism: A Structural Critique.Danny Frederick - 2016 - Journal of Value Inquiry 50 (3):631-47.
    Ethical intuitionists regard moral knowledge as deriving from moral intuition, moral observation, moral emotion and inference. However, moral intuitions, observations and emotions are cultural artefacts which often differ starkly between cultures. Intuitionists attribute uncongenial moral intuitions, observations or emotions to bias or to intellectual or moral failings; but that leads to sectarian ad hominen attacks. Intuitionists try to avoid that by restricting epistemically genuine intuitions, observations or emotions to those which are widely agreed. That does not avoid the problem. It (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  10
    Indefiniteness in Semi-Intuitionistic Set Theories: On a Conjecture of Feferman.Michael Rathjen - 2016 - Journal of Symbolic Logic 81 (2):742-754.
    The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  18
    Intuitionistic Validity in T-Normal Kripke Structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  44.  50
    Metamathematical Investigation of Intuitionistic Arithmetic and Analysis.Anne S. Troelstra - 1973 - New York: Springer.
  45. An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.
    No categories
     
    Export citation  
     
    Bookmark   43 citations  
  46.  1
    Rossian Intuitionism Without Self-Evidence?David Kaspar - 2022 - Philosophies 7 (3):68.
    The first phase of the recent intuitionist revival left untouched Ross’s claim that fundamental moral truths are self-evident. In a recent article, Robert Cowan attempts to explain, in a plausible way, how we know moral truths. The result is that, while the broad framework of Ross’s theory appears to remain in place, the self-evidence of moral truths is thrown into doubt. In this paper, I examine Cowan’s Conceptual Intuitionism. I use his own proposal to show how he arrives at (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  48
    On Intuitionistic Modal Epistemic Logic.Timothy Williamson - 1992 - Journal of Philosophical Logic 21 (1):63--89.
  48. Social Intuitionism and the Psychology of Moral Reasoning.Hanno Sauer - 2011 - Philosophy Compass 6 (10):708-721.
    Rationalism about the psychology of moral judgment holds, among other things, that the justifying moral reasons we have for our judgments are also the causally effective reasons for why we make those judgments. This can be called the ‘effectiveness’-thesis regarding moral reasoning. The theory that best exemplifies the thesis is the traditional conscious reasoning-paradigm. Current empirical moral psychology, however, poses a serious challenge to this thesis: it argues that in fact, emotional reactions are necessary and sufficient to account for moral (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  49.  12
    Ethical Intuitionism and Naturalism: A Reconciliation.M. B. E. Smith - 1979 - Canadian Journal of Philosophy 9 (4):609-629.
    Intuitionism is most commonly defined in terms of various strong epistemological and metaphysical presuppositions, e.g., that true moral principles are synthetic a priori propositions, known by some special faculty of moral reflection, and the like. I shall not here be concerned with such views. Rather my focus will be upon the program for normative investigation which I have elsewhere argued is implicit in the intuitionists’ writings and which I take to be intuitionism's salient characteristic.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. Intuitionism.Anthony Skelton - 2013 - In James Crimmins (ed.), Bloomsbury Encyclopedia of Utilitarianism. Bloomsbury Academic.
    An opinionated encyclopedia entry detailing and evaluating the utilitarian engagement with intuitionism.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000