Results for 'Intuitionism'

186 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   57 citations  
  2. 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   1 citation  
  3. 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   25 citations  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. 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   22 citations  
  6. 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  
  7.  54
    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   4 citations  
  8.  30
    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   3 citations  
  9. 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   20 citations  
  10.  73
    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  
  11.  26
    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  
  12. 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   1 citation  
  13. 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   3 citations  
  14. 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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  15.  48
    From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & Mohammad Saleh 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  
  16. 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.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  77
    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   1 citation  
  18. 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  
  19. 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   8 citations  
  20. 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   25 citations  
  21.  9
    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   1 citation  
  22.  87
    Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I).Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (2):73-88.
    In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic logic with restricted modus ponens rule.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  3
    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. 93413 Cham, Germany: 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  
  24. 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  
  25. Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.
    I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  91
    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  
  27. 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  
  28. Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  72
    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  
  31. 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  
  32. 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  
  33.  81
    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  
  34.  17
    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  
  35. Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants.Gustavo Fernández Díez - 2000 - Journal of Philosophical Logic 29 (4):409-424.
    This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of 'proof'; (2) Kreisel's explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of → can be easily and safely ameliorated; (4) the definition of → in terms of 'proofs from premises' results in a loss of the inductive character of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  10
    Set Theory INC_{∞^{#}}^{#} Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper Inductive Definitions. Application in Transcendental Number Theory.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (8):43.
    Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.
    Download  
     
    Export citation  
     
    Bookmark  
  37.  23
    Towards a New Philosophical Perspective on Hermann Weyl’s Turn to Intuitionism.Kati Kish Bar-On - forthcoming - Science in Context.
    The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. 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  
  39.  16
    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  
  40. 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  
  41. 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. 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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. 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  
  43.  22
    Book "Set Theory INC^# Based on Intuitionistic Logic with Restricted Modus Ponens Rule".Jaykov Foukzon - 2021 - LAP LAMBERT Academic Publishing.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  44. As Boys Pursue the Rainbow. Whewell’s Independent Morality Vs. Sidgwick’s Dogmatic Intuitionism.Sergio Volodia Marcello Cremaschi - 2011 - In Placido Bucolo, Roger Crisp & Bart Schultz (eds.), Proceedings of the Second World Congress on Henry Sidgwick. Ethics, Psychics, Politics. Catania, Italy: CUECM. pp. 146-235.
    I discuss Whewell’s philosophy of morality, as opposed to systematic morality, not unlike Kant’s distinction between a pure and an empirical moral philosophy. Whewell worked out a systematization of traditional normative ethics as a first step before its rational justification; he believed that the point in the philosophy of morality is justifying a few rational truths about the structure of morality such as to rule hedonism, eudemonism, and consequentialism; yet a system of positive morality cannot be derived solely from such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. 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  
  46. The Prudent Conscience View.Brian Besong - 2014 - International Philosophical Quarterly 54 (2):127-141.
    Moral intuitionism, which claims that some moral seemings are justification-conferring, has become an increasingly popular account in moral epistemology. Defenses of the position have largely focused on the standard account, according to which the justification-conferring power of a moral seeming is determined by its phenomenal credentials alone. Unfortunately, the standard account is a less plausible version of moral intuitionism because it does not take etiology seriously. In this paper, I provide an outline and defense of a non-standard account (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Are Intuitions About Moral Relevance Susceptible to Framing Effects?James Andow - 2017 - Review of Philosophy and Psychology 9 (1):115-141.
    Various studies have reported that moral intuitions about the permissibility of acts are subject to framing effects. This paper reports the results of a series of experiments which further examine the susceptibility of moral intuitions to framing effects. The main aim was to test recent speculation that intuitions about the moral relevance of certain properties of cases might be relatively resistent to framing effects. If correct, this would provide a certain type of moral intuitionist with the resources to resist challenges (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Critical Notice of Robert Audi, The Good in the Right.Anthony Skelton - 2007 - Canadian Journal of Philosophy 37 (2):305-325.
    Critical notice of Robert Audi's The Good in the Right in which doubts are raised about the epistemological and ethical doctrines it defends. It doubts that an appeal to Kant is a profitable way to defend Rossian normative intuitionism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. The Craig Interpolation Theorem for Prepositional Logics with Strong Negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  50. Co-Constructive Logic for Proofs and Refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
    This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 186