Results for 'intuitionism'

1000+ found
Order:
  1.  41
    1. Intuitionistic sentential calculus with iden-tity.Intuitionistic Sentential Calculus - 1990 - Bulletin of the Section of Logic 19 (3):92-99.
  2. 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   297 citations  
  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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  4. 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   69 citations  
  5. Social intuitionists answer six questions about morality.Jonathan Haidt & Fredrik Bjorklund - 2008 - In W. Sinnott-Armstrong (ed.), Moral Psychology Vol. 2. MIT Press.
    We review the state of the art in moral psychology to answer 6 questions: 1) Where do moral beliefs and motivations come from? 2) How does moral judgment work? 3) What is the evidence for the social intuitionist model? 4) What exactly are the moral intuitions? 5) How does morality develop? And 6) Why do people vary in their morality? We describe the intuitionist approach to moral psychology. The mind makes rapid affective evaluations of everything it encounters, and these evaluations (...)
    Direct download  
     
    Export citation  
     
    Bookmark   73 citations  
  6. Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  7. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  9.  21
    Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  10. Brouwerian intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.
    The aims of this paper are twofold: firstly, to say something about that philosophy of mathematics known as 'intuitionism' and, secondly, to fit these remarks into a more general message for the philosophy of mathematics as a whole. What I have to say on the first score can, without too much inaccuracy, be compressed into two theses. The first is that the intuitionistic critique of classical mathematics can be seen as based primarily on epistemological rather than on meaning-theoretic considerations. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  11.  15
    Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.Will Stafford & Victor Nascimento - 2023 - Analysis 83 (3):507-516.
    Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz’s 1973paper ‘Towards a foundation of a general proof theory’ and refined by Schroeder-Heister in ‘Validity concepts in proof-theoretic semantics’ (2006). We will call the new notion generalized proof-theoretic validity and show (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  55
    Ethical Intuitionism: Re-Evaluations.Philip Stratton-Lake (ed.) - 2002 - Oxford University Press UK.
    Ethical Intuitionism was the dominant moral theory in Britain for much of the 18th, 19th and the first third of the twentieth century. However, during the middle decades of the twentieth century ethical intuitionism came to be regarded as utterly untenable. It was thought to be either empty, or metaphysically and epistemologically extravagant, or both. This hostility led to a neglect of the central intuitionist texts, and encouraged the growth of a caricature of intuitionism that could easily (...)
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  13.  33
    Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
    Conditional logics have traditionally been intended to formalize various intuitively correct modes of reasoning involving conditional expressions in natural language. Although conditional logics have by now been thoroughly studied in a classical context, they have yet to be systematically examined in an intuitionistic context, despite compelling philosophical and technical reasons to do so. This paper addresses this gap by thoroughly examining the basic intuitionistic conditional logic ICK, the intuitionistic counterpart of Chellas’ important classical system CK. I give ICK both worlds (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  10
    Intuitionism.David Kaspar - 2012 - New York: Continuum.
    Thinking about morality -- Story of contemporary intuitionism -- Moral knowledge -- New challenges to intuitionism -- Grounds of morality -- Right and the good reconsidered -- Intuitionism's rivals -- Being moral: how and why.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  15. 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 (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  41
    Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.
    This paper is a reaction to the following remark by grzegorczyk: "the compound sentences are not a product of experiment. they arise from reasoning. this concerns also negations; we see that the lemon is yellow, we do not see that it is not blue." generally, in science the truth is ascertained as indirectly as falsehood. an example: a litmus-paper is used to verify the sentence "the solution is acid." this approach gives rise to a (very intuitionistic indeed) conservative extension of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  17. Ethical Intuitionism and Moral Skepticism.Clayton Littlejohn - 2011 - In Jill Graper Hernandez (ed.), The New Intuitionism.
    In this paper, I defend a non-skeptical intuitionist approach to moral epistemology from recent criticisms. Starting with Sinnott-Armstrong's skeptical attacks, I argue that a familiar sort of skeptical argument rests on a problematic conception of the evidential grounds of our moral judgments. The success of his argument turns on whether we conceive of the evidential grounds of our moral judgments as consisting entirely of non-normative considerations. While we cannot avoid skepticism if we accept this conception of our evidential grounds, that's (...)
     
    Export citation  
     
    Bookmark   2 citations  
  18.  52
    Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox.Carlo Proietti - 2012 - Journal of Philosophical Logic 41 (5):877-900.
    The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what follows we outline an answer to (2) and give a model-theoretic definition of the operator K. This will shed some light also on (1), since it turns out that K, defined as we do, fulfills the properties of a necessity operator for a normal modal logic. The interest of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  34
    Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
    The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [ 4 ] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  65
    Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.
    The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded mathematicians (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  99
    Why Intuitionistic Relevant Logic Cannot Be a Core Logic.Joseph Vidal-Rosset - 2017 - Notre Dame Journal of Formal Logic 58 (2):241-248.
    At the end of the 1980s, Tennant invented a logical system that he called “intuitionistic relevant logic”. Now he calls this same system “Core logic.” In Section 1, by reference to the rules of natural deduction for $\mathbf{IR}$, I explain why $\mathbf{IR}$ is a relevant logic in a subtle way. Sections 2, 3, and 4 give three reasons to assert that $\mathbf{IR}$ cannot be a core logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Perceptual Intuitionism.Robert Cowan - 2013 - Philosophy and Phenomenological Research 90 (1):164-193.
    In the recent metaethical literature there has been significant interest in the prospects for what I am denoting ‘Perceptual Intuitionism’: the view that normal ethical agents can and do have non-inferential justification for first-order ethical beliefs by having ethical perceptual experiences, e.g., Cullison 2010, McBrayer 2010, Vayrynen 2008. If true, it promises to constitute an independent a posteriori intuitionist epistemology, providing an alternative to intuitionist accounts which posit a priori intuition and/or emotion as sources of non-inferentially justified ethical beliefs. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  23.  48
    Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
    In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  24.  83
    Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
    We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  25. Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
    This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.
    Direct download  
     
    Export citation  
     
    Bookmark   207 citations  
  26.  19
    Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   115 citations  
  27.  37
    Intuitionistic hybrid logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
    Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  28.  52
    Intuitionism and conservatism.Mark T. Nelson - 1990 - Metaphilosophy 21 (3):282-293.
    I define ethical intuitionism as the view that it is appropriate to appeal to inferentially unsupported moral beliefs in the course of moral reasoning. I mention four common objections to this view, including the view that all such appeals to intuition make ethical theory politically and noetically conservative. I defend intuitionism from versions of this criticism expressed by R.B. Brandt, R.M. Hare and Richard Miller.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  29
    Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  30.  74
    Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
    We define a system IR of first-order intuitionistic relevant logic. We show that intuitionistic mathematics (on the assumption that it is consistent) can be relevantized, by virtue of the following metatheorem: any intuitionistic proof of A from a setX of premisses can be converted into a proof in IR of eitherA or absurdity from some subset ofX. Thus IR establishes the same inconsistencies and theorems as intuitionistic logic, and allows one to prove every intuitionistic consequence of any consistent set of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  50
    Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
    We show that, if a suitable intuitionistic metatheory proves that consistency implies satisfiability for subfinite sets of propositional formulas relative either to standard structures or to Kripke models, then that metatheory also proves every negative instance of every classical propositional tautology. Since reasonable intuitionistic set theories such as HAS or IZF do not demonstrate all such negative instances, these theories cannot prove completeness for intuitionistic propositional logic in the present sense.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  32. An intuitionistic defence of Berkeley’s master argument.Conor McGlynn - 2019 - Analysis 79 (2):236-242.
    Berkeley’s ‘master argument’ for idealism has been the subject of extensive criticism. Two of his strongest critics, A.N. Prior and J.L. Mackie, argue that due to various logical confusions on the part of Berkeley, the master argument fails to establish his idealist conclusion. Prior argues that Berkeley’s argument ‘proves too little’ in its conclusion, while Mackie contends that Berkeley confuses two different kinds of self-refutation in his argument. This paper proposes a defence of the master argument based on intuitionistic argument. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Ethical Intuitionism: A Structural Critique.Danny Frederick - 2016 - Journal of Value Inquiry 50 (3):631-47.
    Ethical intuitionists regard moral knowledge as deriving from moral intuition, moral observation, moral emotion and inference. However, moral intuitions, observations and emotions are cultural artefacts which often differ starkly between cultures. Intuitionists attribute uncongenial moral intuitions, observations or emotions to bias or to intellectual or moral failings; but that leads to sectarian ad hominen attacks. Intuitionists try to avoid that by restricting epistemically genuine intuitions, observations or emotions to those which are widely agreed. That does not avoid the problem. It (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  41
    An Intuitionistic Reformulation of Mally’s Deontic Logic.Gert-Jan C. Lokhorst - 2013 - Journal of Philosophical Logic 42 (4):635-641.
    In 1926, Ernst Mally proposed a number of deontic postulates. He added them as axioms to classical propositional logic. The resulting system was unsatisfactory because it had the consequence that A is the case if and only if it is obligatory that A. We present an intuitionistic reformulation of Mally’s deontic logic. We show that this system does not provide the just-mentioned objectionable theorem while most of the theorems that Mally considered acceptable are still derivable. The resulting system is unacceptable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  13
    Intuitionistic Logic is a Connexive Logic.Davide Fazio, Antonio Ledda & Francesco Paoli - forthcoming - Studia Logica:1-45.
    We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is presented as the assertional logic of a point regular variety (whose structure theory is examined in detail) that turns out to be term equivalent to the variety of Heyting algebras. We provide Hilbert-style and Gentzen-style proof systems for $$\textrm{CHL}$$ CHL ; moreover, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  19
    Intuitionistic ε- and τ-calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.
    There are several open problems in the study of the calculi which result from adding either of Hilbert's ϵ- or τ-operators to the first order intuitionistic predicate calculus. This paper provides answers to several of them. In particular, the first complete and sound semantics for these calculi are presented, in both a “quasi-extensional” version which uses choice functions in a straightforward way to interpret the ϵ- or τ-terms, and in a form which does not require extensionality assumptions. Unlike the classical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  21
    Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
    Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theory T of sentences intuitionistically valid in all T-normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic , the theory PA is a proper subtheory of Heyting arithmetic , so HA is complete but not sound for PA-normal Kripke structures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  38.  14
    Intuitionistic Propositional Logic with Galois Negations.Minghui Ma & Guiying Li - 2023 - Studia Logica 111 (1):21-56.
    Intuitionistic propositional logic with Galois negations ( \(\mathsf {IGN}\) ) is introduced. Heyting algebras with Galois negations are obtained from Heyting algebras by adding the Galois pair \((\lnot,{\sim })\) and dual Galois pair \((\dot{\lnot },\dot{\sim })\) of negations. Discrete duality between GN-frames and algebras as well as the relational semantics for \(\mathsf {IGN}\) are developed. A Hilbert-style axiomatic system \(\mathsf {HN}\) is given for \(\mathsf {IGN}\), and Galois negation logics are defined as extensions of \(\mathsf {IGN}\). We give the bi-tense (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  75
    Evolutionary Intuitionism: A Theory of the Origin and Nature of Moral Facts.Brian Zamulinski - 2007 - Ithaca: Mcgill-Queen's University Press.
    It seems impossible that organisms selected to maximize their genetic legacy could also be moral agents in a world in which taking risks for strangers is sometimes morally laudable. Brian Zamulinski argues that it is possible if morality is an evolutionary by-product rather than an adaptation.Evolutionary Intuitionism presents a new evolutionary theory of human morality. Zamulinski explains the evolution of foundational attitudes, whose relationships to acts constitute moral facts. With foundational attitudes and the resulting moral facts in place, he (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  36
    Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 13. London: College Publications. pp. 329-348.
    Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the formation of questions. Recently inquisitive logicians have considered what happens if the logic of declarative sentences is assumed to be intuitionistic rather than classical. In short, what should inquisitive logic be on an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  3
    Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Guram Bezhanishvili, Kristina Brantley & Julia Ilin - 2023 - Journal of Symbolic Logic 88 (1):427-467.
    The Gödel translation provides an embedding of the intuitionistic logic$\mathsf {IPC}$into the modal logic$\mathsf {Grz}$, which then embeds into the modal logic$\mathsf {GL}$via the splitting translation. Combined with Solovay’s theorem that$\mathsf {GL}$is the modal logic of the provability predicate of Peano Arithmetic$\mathsf {PA}$, both$\mathsf {IPC}$and$\mathsf {Grz}$admit provability interpretations. When attempting to ‘lift’ these results to the monadic extensions$\mathsf {MIPC}$,$\mathsf {MGrz}$, and$\mathsf {MGL}$of these logics, the same techniques no longer work. Following a conjecture made by Esakia, we add an appropriate version (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  22
    Intuitionistic Fixed Point Theories for Strictly Positive Operators.Christian Rüede & Thomas Strahm - 2002 - Mathematical Logic Quarterly 48 (2):195-202.
    In this paper it is shown that the intuitionistic .xed point theory equation image for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and equation image sentences over the theory equation image for α times iterated arithmetic comprehension without set parameters.This generalizes results previously due to Buchholz [5] and Arai [2].
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  19
    Bi-intuitionistic implication structures.Daniel Skurt - 2018 - Journal of Applied Non-Classical Logics 28 (1):20-34.
    In this contribution, we will present some results concerning the connectives of bi-intuitionistic logic in the setting of Arnold Koslow’s implication structures. Furthermore, we will present soundness and completeness results of Koslow’s implication structures with respect to bi-intuitionistic logic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  13
    Intuitionistic notions of boundedness in ℕ.Fred Richman - 2009 - Mathematical Logic Quarterly 55 (1):31-36.
    We consider notions of boundedness of subsets of the natural numbers ℕ that occur when doing mathematics in the context of intuitionistic logic. We obtain a new characterization of the notion of a pseudobounded subset and we formulate the closely related notion of a detachably finite subset. We establish metric equivalents for a subset of ℕ to be detachably finite and to satisfy the ascending chain condition. Following Ishihara, we spell out the relationship between detachable finiteness and sequential continuity. Most (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Intuitionism and Formalism.L. E. J. Brouwer - 1913 - Bulletin of the American Mathematical Society 20:81-96.
     
    Export citation  
     
    Bookmark   87 citations  
  46.  79
    Intuitionism and subjectivism.Mark T. Nelson - 1991 - Metaphilosophy 22 (1-2):115-121.
    I define ethical intuitionism as the view that it is appropriate to appeal to inferentially unsupported moral beliefs in the course of moral reasoning. I mention four common objections to this view, including the view that all such appeals to intuitionism collapse into “subjectivism”, i.e., that they make truth in ethical theory depend on what people believe. I defend intuitionism from versions of this criticism expressed by R.M. Hare and Peter Singer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  18
    Intuitionistic N-Graphs.M. Quispe-Cruz, A. G. de Oliveira, R. J. G. B. de Queiroz & V. de Paiva - 2014 - Logic Journal of the IGPL 22 (2):274-285.
    The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  87
    Intuitionistic Quantum Logic of an n-level System.Martijn Caspers, Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2009 - Foundations of Physics 39 (7):731-759.
    A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Intuitionism.Anthony Skelton - 2013 - In James Crimmins (ed.), Bloomsbury Encyclopedia of Utilitarianism. Bloomsbury Academic.
    An opinionated encyclopedia entry detailing and evaluating the utilitarian engagement with intuitionism.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  29
    Contracting Intuitionistic Theories.Neil Tennant - 2005 - Studia Logica 80 (2-3):369-391.
    I reformulate the AGM-account of contraction (which would yield an account also of revision). The reformulation involves using introduction and elimination rules for relational notions. Then I investigate the extent to which the two main methods of partial meet contraction and safe contraction can be employed for theories closed under intuitionistic consequence.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000