Results for 'intuitionism'

272 found
Order:
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  3. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339-348.
    Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Gödel (Kurt Gödel collected works (Volume I) Publications 1929–1936, Oxford University Press, pp 222–225, 1932), and it is proved by Jaśkowski (Actes du Congrés International de Philosophie Scientifique, VI. Philosophie des Mathématiques, Actualités Scientifiques et Industrielles 393:58–61, 1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Kripke (J Symbol Logic 24(1):1–14, 1959). Gödel’s proof gave (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian University
    The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in the context (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Ethical intuitionism and the linguistic analogy.Philipp Https://Orcidorg 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Intuitionistic Modal Algebras.Sergio A. Celani & Umberto Rivieccio - forthcoming - Studia Logica:1-50.
    Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Cooperative Intuitionism.Stephen Ingram - 2020 - The Philosophical Quarterly 70 (281):780-799.
    According to pluralistic intuitionist theories, some of our moral beliefs are non-inferentially justified, and these beliefs come in both an a priori and an a posteriori variety. In this paper I present new support for this pluralistic form of intuitionism by examining the deeply social nature of moral inquiry. This is something that intuitionists have tended to neglect. It does play an important role in an intuitionist theory offered by Bengson, Cuneo, and Shafer-Landau (forth), but whilst they invoke the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Intuitionism.Anthony Skelton - 2013 - In J. E. Crimmins & D. C. Long (eds.), Encyclopedia of Utilitarianism. Bloomsbury Academic.
    An opinionated encyclopedia entry detailing and evaluating the utilitarian engagement with intuitionism.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Should moral intuitionism go social?Marvin Backes, Matti Eklund & Eliot Michaelson - 2022 - Noûs 57 (4):973-985.
    In recent work, Bengson, Cuneo, and Shafer‐Landau (2020) develop a new social version of moral intuitionism that promises to explain why our moral intuitions are trustworthy. In this paper, we raise several worries for their account and present some general challenges for the broader class of views we call Social Moral Intuitionism. We close by reflecting on Bengson, Cuneo, and Shafer‐Landau's comparison between what they call the “perceptual practice” and the “moral intuition practice”, which we take to raise (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. From Classical to Intuitionistic Probability.Brian Weatherson - 2003 - Notre Dame Journal of Formal Logic 44 (2):111-123.
    We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions relative to that logic, coinciding with the standard probability functions in the special case of classical logic but allowing consideration of other classes of "essentially Kolmogorovian" probability functions relative to other logics. We take a broad view of the Bayesian approach as dictating inter alia that from the perspective of a given logic, rational degrees of belief are those representable (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  12. Indeterminism in physics and intuitionistic mathematics.Nicolas Gisin - 2021 - Synthese 199 (5-6):13345-13371.
    Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to “speak” of indeterminism, its inability to present us a worldview in which new information is created as time passes. In such a case, scientific determinism would only be an illusion due to the timeless mathematical language scientists use. To investigate this possibility it is necessary (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.
    Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  14. An Intuitionist Response to Moral Scepticism: A critique of Mackie's scepticism, and an alternative proposal combining Ross's intuitionism with a Kantian epistemology.Simon John Duffy - 2001 - Dissertation, University of Edinburgh
    This thesis sets out an argument in defence of moral objectivism. It takes Mackie as the critic of objectivism and it ends by proposing that the best defence of objectivism may be found in what I shall call Kantian intuitionism, which brings together elements of the intuitionism of Ross and a Kantian epistemology. The argument is fundamentally transcendental in form and it proceeds by first setting out what we intuitively believe, rejecting the sceptical attacks on those beliefs, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Intuitionistic logic and its philosophy.Panu Raatikainen - 2013 - Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy (6):114-127.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Intuitionist Reasoning in the Tri-Unitarian Theology of Nicholas of Cues (1401-1464).Antonino Drago - 2019 - Journal of Applied Logic 6 (6):1143-1186.
    The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A comparison of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Plithogenic Set, an Extension of Crisp, Fuzzy, Intuitionistic Fuzzy, and Neutrosophic Sets – Revisited.Florentin Smarandache - 2018 - Neutrosophic Sets and Systems 21:153-166.
    In this paper, we introduce the plithogenic set (as generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets), which is a set whose elements are characterized by many attributes (parameters)’ values. An attribute value v has a corresponding (fuzzy, intuitionistic fuzzy, or neutrosophic) degree of appurtenance d(x,v) of the element x, to the set P, with respect to some given criteria. In order to obtain a better accuracy for the plithogenic aggregation operators in the plithogenic set, and for a more (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.
    We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
    Download  
     
    Export citation  
     
    Bookmark  
  22. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  23. Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.
    There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against (...) from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Rossian Conceptual Intuitionism.Robert Cowan - 2017 - Ethics 127 (4):821-851.
    In this article I assess Rossian Intuitionism, which is the view that the Rossian Principles of Duty are self-evident. I begin by motivating and clarifying a version of the view—Rossian Conceptual Intuitionism—that hasn’t been adequately considered by Rossians. After defending it against a series of significant objections, I show that enthusiasm for Rossian Conceptual Intuitionism should be muted. Specifically, I argue that we lack sufficient reason for thinking that the Rossian Principles are self-evident, and that insisting that (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  26. Vagueness and Intuitionistic Logic.Ian Rumfitt - forthcoming - In Alexander Miller (ed.), Language, Logic,and Mathematics: Themes from the Philosophy of Crispin Wright. Oxford University Press.
    In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic logic is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Dagstuhl, Germany: pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  28. Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
    This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. A cut-free sequent calculus for the bi-intuitionistic logic 2Int.Sara Ayhan - manuscript
    The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. One-Step Modal Logics, Intuitionistic and Classical, Part 2.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):873-910.
    Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Logicism, Formalism, and Intuitionism.A. P. Bird - 2021 - Cantor's Paradise (00):00.
    This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).
    Download  
     
    Export citation  
     
    Bookmark  
  34. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
    This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Avicenna's Intuitionist Rationalism.Ismail Kurun - 2021 - History of Philosophy Quarterly 38 (4):317-336.
    This study is the first part of an attempt to settle a vigorous debate among historians of medieval philosophy by harnessing the resources of analytic philosophy. The debate is about whether Avicenna's epistemology is rationalist or empirical. To settle the debate, I first articulate in this article the three core theses of rationalism and one core thesis of empiricism. Then, I probe Avicenna's epistemology in his major works according to the first core thesis of rationalism (the intuition thesis). In the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Review of Ethical Intuitionism: Re-evaluations. [REVIEW]Pekka Väyrynen - 2006 - European Journal of Philosophy 14 (1):159-63.
    This piece is a short review of a volume of papers on ethical intuitionism (Ethical Intuitionism: Re-evaluations, ed. Philip Stratton-Lake, Oxford University Press, 2002).
    Download  
     
    Export citation  
     
    Bookmark  
  37. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  38. If You’re a Rawlsian, How Come You’re So Close to Utilitarianism and Intuitionism? A Critique of Daniels’s Accountability for Reasonableness.Gabriele Badano - 2018 - Health Care Analysis 26 (1):1-16.
    Norman Daniels’s theory of ‘accountability for reasonableness’ is an influential conception of fairness in healthcare resource allocation. Although it is widely thought that this theory provides a consistent extension of John Rawls’s general conception of justice, this paper shows that accountability for reasonableness has important points of contact with both utilitarianism and intuitionism, the main targets of Rawls’s argument. My aim is to demonstrate that its overlap with utilitarianism and intuitionism leaves accountability for reasonableness open to damaging critiques. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  39. Moral knowledge, epistemic externalism, and intuitionism.Daniel Star - 2008 - Ratio 21 (3):329-343.
    This paper explores the generally overlooked relevance of an important contemporary debate in mainstream epistemology to philosophers working within ethics on questions concerning moral knowledge. It is argued that this debate, between internalists and externalists about the accessibility of epistemic justification, has the potential to be both significantly influenced by, and have a significant impact upon, the study of moral knowledge. The moral sphere provides a particular type of strong evidence in favour of externalism, and mainstream epistemologists might benefit from (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  40. Psihologia morala si natura judecarii morale. O examinare critica a modelului social intuitionist.Emilian Mihailov - 2015 - In Bogdan Olaru & Andrei Holman (eds.), Contributii la psihologia morala: evaluari ale rezultatelor si noi cercetari empirice. Bucuresti, Romania: Pro Universitaria. pp. 61-74.
    În acest studiu, îmi propun să arăt că modelul social intuiţionist al judecăţii morale propus de Haidt este la rândul său prea restrictiv faţă de influenţa raţionării morale, poate tot aşa cum modelul raţionalist subestima influenţa emoţiilor morale. Mai întâi, voi prezenta modelul raţionalist despre natura judecăţii morale şi voi evidenţia rezultatele empirice care au contribuit la erodarea sa. Apoi, voi prezenta şi critica modelul social intuiţionist revigorat de revoluţia „afectivă” din psihologia morală, argumentând că rezultatele din psihologia experimentală, neuroştiinţă (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  42. Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
    A natural problem from elementary arithmetic which is so strongly undecidable that it is not even Trial and Error decidable (in other words, not decidable in the limit) is presented. As a corollary, a natural, elementary arithmetical property which makes a difference between intuitionistic and classical theories is isolated.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.
    We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Comment on David Kaspar's Intuitionism.Moti Mizrahi - 2015 - Reason Papers 37 (2):26-35.
    In his book Intuitionism, David Kaspar is after the truth. That is to say, on his view, “philosophy is the search for the whole truth” (p. 7). Intuitionism, then, “reflects that standpoint” (p. 7). My comments are meant to reflect the same standpoint. More explicitly, my aim in these comments is to evaluate the arguments for intuitionism, as I understand them from reading Kaspar’s book. In what follows, I focus on three arguments in particular, which can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Set theory INC# based on intuitionistic logic with restricted modus ponens rule.Jaykov Foukzon (ed.) - 2021 - AP LAMBERT Academic Publishing (June 23, 2021).
    In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality. Similar results for paraconsistent set theories were obtained in author papers [13]-[16].
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Set Theory INC# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper inductive definitions.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (4):22.
    In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Intuitions in 21st-Century Ethics: Why Ethical Intuitionism and Reflective Equilibrium Need Each Other.Ernesto V. Garcia - 2021 - In Discipline filosofiche XXXI 2 2021 ( L’intuizione e le sue forme. Prospettive e problemi dell’intuizionismo). pp. 275-296.
    In this paper, I attempt to synthesize the two most influential contemporary ethical approaches that appeal to moral intuitions, viz., Rawlsian reflective equilibrium and Audi’s moderate intuitionism. This paper has two parts. First, building upon the work of Audi and Gaut, I provide a more detailed and nuanced account of how these two approaches are compatible. Second, I show how this novel synthesis can both (1) fully address the main objections to reflective equilibrium, viz., that it provides neither necessary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Decidable Formulas Of Intuitionistic Primitive Recursive Arithmetic.Saeed Salehi - 2002 - Reports on Mathematical Logic 36 (1):55-61.
    By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Moral Knowledge Without Justification? A Critical Discussion of Intuitionist Moral Epistemology.Philipp Schwind - 2014 - Dissertation, University of Miami
    In this dissertation I discuss the epistemology of ethical intuitionism, in particular the claim that mature moral agents possess self-evident moral knowledge. Traditional intuitionists such as W.D. Ross have claimed that by reflection, we can acquire knowledge of our basic moral duties such as the duty of veracity or benevolence. Recent defenders of intuitionism such as Robert Audi have further developed this theory and argued that adequate understanding can be sufficient for moral knowledge. I criticize this view and (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 272