Results for 'intuitionism'

955 found
Order:
  1. Fred Richman New Mexico State University.Intuitionism As Generalization - 1990 - Philosophia Mathematica (1-2):128.
  2.  96
    A logic stronger than intuitionism.Sabine Görnemann - 1971 - Journal of Symbolic Logic 36 (2):249-261.
  3.  70
    (1 other version)The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
  4.  40
    The conveyability of intuitionism, an essay on mathematical cognition.Alexander George - 1988 - Journal of Philosophical Logic 17 (2):133 - 156.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5. The continuum hypothesis in intuitionism.W. Gielen, H. de Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121-136.
  6. The notion of problem, intuitionism and partiality.Pavel Materna - 2008 - Logic and Logical Philosophy 17 (4):287-303.
    Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo α- and η-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church’s conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Some Good and Bad News for Ethical Intuitionism.Pekka Väyrynen - 2008 - Philosophical Quarterly 58 (232):489–511.
    The core doctrine of ethical intuitionism is that some of our ethical knowledge is non-inferential. Against this, Sturgeon has recently objected that if ethical intuitionists accept a certain plausible rationale for the autonomy of ethics, then their foundationalism commits them to an implausible epistemology outside ethics. I show that irrespective of whether ethical intuitionists take non-inferential ethical knowledge to be a priori or a posteriori, their commitment to the autonomy of ethics and foundationalism does not entail any implausible non-inferential (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  8.  16
    L.E.J. Brouwer: Topologist, Intuitionist, Philosopher: How Mathematics is Rooted in Life.Dirk van Dalen - 2012 - Springer.
    Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer’s main interest, however, was in the foundation of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Philosophies of intuitionism: why we need them.M. Franchella - 2007 - Teorema: International Journal of Philosophy 26 (1):73-82.
  10.  64
    Metaphysics, Epistemology, Utilitarianism, Intuitionism, and Egoism: A Response to Phillips on Sidgwick.Roger Crisp - 2013 - Revue D’Études Benthamiennes 12.
    The shape of contemporary ethics owes a great deal to Henry Sidgwick, through his influence on Rawls, Parfit, and others. No one who reads David Phillips’s outstanding book can be left in the slightest doubt about Sidgwick’s continuing significance for both metaethics and normative ethics. Phillips’s scholarship and his substantive arguments are powerful and insightful, and I find them largely persuasive. So in these remarks I intend merely to raise a few questions about each of his four main..
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. What negation is not: Intuitionism and ‘0=1’.Roy T. Cook & Jon Cogburn - 2000 - Analysis 60 (1):5–12.
  12.  32
    One Hundred Years of Intuitionism (1907-2007).Jean Paul Van Bendegem - 2011 - Studia Logica 97 (3):421-425.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  61
    Equivalence between semantics for intuitionism. I.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (4):773-780.
  14. Vindication of ethical intuitionism.R. N. Karani - 1962 - Mind 71 (284):535-538.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  63
    Normativity and moral psychology : the social intuitionist model and a world without normative moral rules?Radosław Zyzik - 2011 - In Jerzy Stelmach & Bartosz Brożek, The normativity of law. Kraków: Copernicus Center Press.
    The paper pores over the recent conceptions of normative judgement developed against the background of advances in psychology and neuroscience. It begins by analyzing what normative claim of morality and law consists of before presenting and criticizing the Social Intuitionist Model of normative judgement developed by Jonathan Haidt. The model poses serious challenges for well-established normative concepts, and the concept of normativity as objective reason for action in particular. A question is asked of what the relationship between philosophical conceptions and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  52
    Extending the Conversation on Moral Judgement Development: Relations Between Social Intuitionism, Constructivism and Cultural Psychology.Alicia Viviana Barreiro & José Antonio Castorina - 2022 - Revista de Humanidades de Valparaíso 19:181-202.
    This paper aims to extend the dialogue between social intuitionism and the genetic perspectives of moral psychology, pointing out the contributions and limitations of each one to advance in the understanding of the formulation and transformation of moral judgments. An examination of how the relations between the subject and the object of knowledge have been approached in the light of the contributions of constructivist psychological tradition has been proposed. The relations between emotions, reasoning, and the specific social situation in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  84
    Language games and intuitionism.Neil Tennant - 1979 - Synthese 42 (2):297 - 314.
  18.  55
    The rationality of ethical intuitionism.Christine Swanton - 1987 - Australasian Journal of Philosophy 65 (2):172 – 181.
  19. Naturalism and the New Moral Intuitionism.Elizabeth Tropman - 2008 - Journal of Philosophical Research 33:163-84.
    The aim of this paper is to defend moral intuitionism, in its new formulations, against the criticism that there is something objectionably non-natural about its conception of moral properties. The force of this complaint depends crucially on what it means to be a non-natural property. I consider a number of ways of drawing the natural/non-natural distinction and argue that, once the notion of 'non-natural property' is sufficiently clarified, it fails to figure in a compelling argument against moral intuitionism.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. G. E. Moore and intuitionism.Joseph Margolis - 1976 - Ethics 87 (1):35-48.
  21.  29
    Rejoinder to Michael Huemer, "On Behalf of Ethical Intuitionism" (Fall 2007): Neglecting Rand's Metaethics.Fred Seddon - 2007 - Journal of Ayn Rand Studies 9 (1):185 - 186.
    Fred Seddon answers Michael Huemer's reply, focusing on two central issues in ethics: foundationalism and relativism. On the latter, he argues that Huemer neglects Rand's metaethics and her relational notion of the good.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  18
    Individuation and Heidegger’s Ontological “Intuitionism”.Mark Wrathall - 2017 - In Véronique M. Fóti & Pavlos Kontos, Phenomenology and the Primacy of the Political: Essays in Honor of Jacques Taminiaux. Cham: Springer.
    When Heidegger insists that each of us is distinctive because “the most radical individuation” is both possible and necessary for us, he might mean: it is possible and necessary to be an individual in the most radical way; or it is possible and necessary to engage in the project of becoming a distinct individual in the most radical way; or it is possible and necessary to see the distinct individual that I am, and to do so in the most radical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  39
    Maria Hämeen-Anttila* and Jan von Plato,** eds, Kurt Gödel: The Princeton Lectures on Intuitionism.Ulrich Kohlenbach - 2023 - Philosophia Mathematica 31 (1):112-119.
    This book publishes for the first time notes from two notebooks of Gödel which formed the basis of a course on intuitionism Gödel delivered at Princeton in the.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    Brouwer’s Cambridge Lectures on Intuitionism.D. van Dalen (ed.) - 1981 - Cambridge University Press.
    Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  40
    Emmy Noether’s first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism.Colin McLarty - 2011 - Archive for History of Exact Sciences 65 (1):99-117.
    Emmy Noether’s many articles around the time that Felix Klein and David Hilbert were arranging her invitation to Göttingen include a short but brilliant note on invariants of finite groups highlighting her creativity and perspicacity in algebra. Contrary to the idea that Noether abandoned Paul Gordan’s style of mathematics for Hilbert’s, this note shows her combining them in a way she continued throughout her mature abstract algebra.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. A note on the semantics of minimal intuitionism.J. M. Méndez - 1988 - Logique Et Analyse 31 (123-124):371-377.
     
    Export citation  
     
    Bookmark   1 citation  
  27. A pragmatic analysis of mathematical realism and intuitionism.Michel J. Blais - 1989 - Philosophia Mathematica (1):61-85.
  28. On Tadeusz Czeżowski\'s Ethilcal Intuitionism'.Andrzej Mikulski - 1984 - Dialectics and Humanism 11 (4):665-674.
     
    Export citation  
     
    Bookmark   1 citation  
  29.  33
    Not What It Says on the Tin: Ian Aitken (2006) Realist Film Theory and Cinema: The Nineteenth-century Lukácsian and Intuitionist Realist Traditions.Nigel Morris - 2007 - Film-Philosophy 11 (3):158-167.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  30. A brief response to Trabattoni, from the aspect of an" intuitionist"(Franco Trabattoni).Margherita Isnardi Parente - 2007 - Rivista di Storia Della Filosofia 62 (1):57-59.
    No categories
     
    Export citation  
     
    Bookmark  
  31. (1 other version)Review: A. Heyting, Intuitionism. An Introduction. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
  32. Historical Background, Principles and Methods of Intuitionism.L. E. J. Brouwer - 1954 - Journal of Symbolic Logic 19 (2):125-125.
  33. Explaining historical moral convergence: the empirical case against realist intuitionism.Jeroen Hopster - 2020 - Philosophical Studies 177 (5):1255-1273.
    Over the course of human history there appears to have been a global shift in moral values towards a broadly ‘liberal’ orientation. Huemer argues that this shift better accords with a realist than an antirealist metaethics: it is best explained by the discovery of mind-independent truths through intuition. In this article I argue, contra Huemer, that the historical data are better explained assuming the truth of moral antirealism. Realism does not fit the data as well as Huemer suggests, whereas antirealists (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  34.  45
    A Non-Classical Theory of Truth, with an Application to Intuitionism.Storrs McCall - 1970 - American Philosophical Quarterly 7 (1):83 - 88.
    Any "classical" theory of truth will satisfy tarski's criterion ("p" is true if and only if p), And the principle of bivalence (every proposition is either true or false). A non-Classical theory may be obtained by rejecting these principles: - in fact it is shown that rejection of the second entails rejection of the first. If the resulting non-Classical theory is formalized, A system structurally isomorphic to either s4 or s5 is obtained. An attempt is made to show that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Ethical Intuitionism.Michael Huemer - 2005 - New York: 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   341 citations  
  36. Pleasure and Reflection in Ross's Intuitionism.Philip Stratton-Lake - 2002 - In Ethical Intuitionism: Re-Evaluations. Oxford University Press UK. pp. 113-36.
     
    Export citation  
     
    Bookmark   23 citations  
  37. On the Notion of Truth in Mathematical Intuitionism.Zbigniew Tworak - 2010 - Filozofia Nauki 18 (4):49.
  38.  46
    Brouwer and the hypothetical judgement. Second thoughts on John Kuiper's Ideas and Explorations: Brouwer's Road to Intuitionism.Mark van Atten - 2004 - Revue Internationale de Philosophie 58 (4):501-516.
  39.  61
    MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  40.  18
    Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 , pp. 391–399.T. Thacher Robinson - 1967 - Journal of Symbolic Logic 32 (2):282.
  41. Sidgwick and the Boundaries of Intuitionism.Roger Crisp - 2002 - In Philip Stratton-Lake, Ethical Intuitionism: Re-Evaluations. Oxford University Press UK. pp. 56--75.
     
    Export citation  
     
    Bookmark   19 citations  
  42. An empirical challenge to moral intuitionism.Walter Sinnott-Armstrong - 2011 - In Jill Graper Hernandez, The New Intuitionism. London: Continuum. pp. 11--28.
     
    Export citation  
     
    Bookmark   8 citations  
  43. Errett Bishop. Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, xiii + 370 pp. - Errett Bishop. Mathematics as a numerical language. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 53–71. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
  44.  40
    Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism.Tomasz Placek - 1999 - Bulletin of Symbolic Logic 8 (4):518-520.
  45.  80
    Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism.Norman Sieroka - 2009 - Philosophia Scientiae 13 (2):85-96.
    Vers 1918 Hermann Weyl abandonnait le logicisme et donc la tentative de réduire les mathématiques à la logique et la théorie des ensembles. Au niveau philosophique, ses points de référence furent ensuite Husserl et Fichte. Dans les années 1920 il distingua leurs positions, entre une direction intuitionniste-phénoménologique d’un côté, et formaliste-constructiviste de l’autre. Peu après Weyl, Oskar Becker adopta une distinction similaire. Mais à la différence du phénoménologue Becker, Weyl considérait l’approche active du constructivisme de Fichte comme supérieure à la (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  46. Historical background, principles and methods of intuitionism.L. E. J. Brouwer - 1952 - South African Journal of Science 49:139–146.
  47.  27
    Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction.Jaime Bohórquez - 2008 - Notre Dame Journal of Formal Logic 49 (4):361-384.
    Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert's style of proof and Gentzen's deductive systems. In this context we call it CED . This deductive method promotes logical equivalence over implication and shows that there are easy ways to prove predicate formulas without the introduction of hypotheses or metamathematical tools such as the deduction theorem. Moreover, syntactic considerations have led to the "calculational style," an impressive array of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Pleasure and Reflection in Ross's Intuitionism.Philip Stratton-Lake - 2002 - In Ethical Intuitionism: Re-Evaluations. Oxford University Press UK. pp. 113-136.
     
    Export citation  
     
    Bookmark   8 citations  
  49. 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   27 citations  
  50. (1 other version)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 (8 more)  
     
    Export citation  
     
    Bookmark   74 citations  
1 — 50 / 955