Results for 'intuitionist balancing'

1000+ found
Order:
  1.  53
    1. Intuitionistic sentential calculus with iden-tity.Intuitionistic Sentential Calculus - 1990 - Bulletin of the Section of Logic 19 (3):92-99.
  2. Fred Richman New Mexico State University.Intuitionism As Generalization - 1990 - Philosophia Mathematica (1-2):128.
  3. Adamiani da tradicʻia.Revaz Balančʻivaże - 1977 - Tʻbilisi: Gamomcʻemloba "Sabčotʻa Sakʻartʻvelo".
    No categories
     
    Export citation  
     
    Bookmark  
  4. Adamianis pʻilosopʻiuri koncʻepʻcʻia kʻartʻul mxatvrul literaturaši.Revaz Balančʻivaże - 1977 - Tʻbilisi: Mecʻniereba.
     
    Export citation  
     
    Bookmark  
  5. Adamiani, tʻavisupʻleba, pasuxismgebloba.Revaz Balančʻivaże - 1976
     
    Export citation  
     
    Bookmark  
  6. Value pluralism and coherentist justification of ethical advice.Ellen-Marie Forsberg - 2007 - Journal of Agricultural and Environmental Ethics 20 (1):81-97.
    Liberal societies are characterized by respect for a fundamental value pluralism; i.e., respect for individuals’ rights to live by their own conception of the good. Still, the state must make decisions that privilege some values at the cost of others. When public ethics committees give substantial ethical advice on policy related issues, it is therefore important that this advice is well justified. The use of explicit tools for ethical assessment can contribute to justifying advice. In this article, I will discuss (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7. James B.-** ro* K in context.Paul D. Maclean Women, A. More Balanced Brain & Rodney Holmes - forthcoming - Zygon.
  8. Rights of inequality: Rawlsian justice, equal opportunity, and the status of the family.Justin Schwartz - 2001 - Legal Theory 7 (1):83-117.
    Is the family subject to principles of justice? In "A Theory of Justice", John Rawls includes the (monogamous) family along with the market and the government as among the, "basic institutions of society", to which principles of justice apply. Justice, he famously insists, is primary in politics as truth is in science: the only excuse for tolerating injustice is that no lesser injustice is possible. The point of the present paper is that Rawls doesn't actually mean this. When it comes (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  41
    Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.
    This paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper develops a manageable model theory for this consequence and its extensions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  10.  6
    Reasons, Rights, and Values.Robert Audi - 2015 - Cambridge, United Kingdom: Cambridge University Press.
    A central concern in recent ethical thinking is reasons for action and their relation to obligations, rights, and values. This collection of recent essays by Robert Audi presents an account of what reasons for action are, how they are related to obligation and rights, and how they figure in virtuous conduct. In addition, Audi reflects in his opening essay on his theory of reasons for action, his common-sense intuitionism, and his widely debated principles for balancing religion and politics. Reasons (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Philosophical Logic.John P. Burgess - 2009 - Princeton, NJ, USA: Princeton University Press.
    Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances the (...)
  12.  14
    Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.
    This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  13.  77
    Breve storia dell'etica.Sergio Cremaschi - 2012 - Roma RM, Italia: Carocci.
    The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  26
    We Will Show Them: Essays in Honour of Dov Gabbay.S. Artemov, H. Barringer, A. Garcez, L. Lamb & J. Woods (eds.) - 2005 - London: College Publications.
    This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of modal logic, intuitionistic logic, logic and language, nonmonotonic logic and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic and artificial intelligence, abduction, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  44
    Straight out of Durkheim? Haidt’s Neo-Durkheimian Account of Religion and the Cognitive Science of Religion.Steve Clarke - 2018 - Sophia:1-14.
    Jon Haidt, a leading figure in contemporary moral psychology, advocates a participation-centric view of religion, according to which participation in religious communal activity is significantly more important than belief in explaining religious behaviour and commitment. He describes the participation-centric view as ‘Straight out of Durkheim’. I argue that this is a misreading of Durkheim, who held that religious behaviour and commitment are the joint products of belief and participation, with neither belief nor participation being considered more important than the other. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  30
    Straight out of Durkheim? Haidt’s Neo-Durkheimian Account of Religion and the Cognitive Science of Religion.Steve Clarke - 2020 - Sophia 59 (2):197-210.
    Jon Haidt, a leading figure in contemporary moral psychology, advocates a participation-centric view of religion, according to which participation in religious communal activity is significantly more important than belief in explaining religious behaviour and commitment. He describes the participation-centric view as ‘Straight out of Durkheim’. I argue that this is a misreading of Durkheim, who held that religious behaviour and commitment are the joint products of belief and participation, with neither belief nor participation being considered more important than the other. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Classical utilitarianism.John Rawls - 1988 - In Samuel Scheffler (ed.), Consequentialism and its critics. New York: Oxford University Press.
    There are many forms of utilitarianism, and the development of the theory has continued in recent years. I shall not survey these forms here, nor take account of the numerous refinements found in contemporary discussions. My aim is to work out a theory of justice that represents an alternative to utilitarian thought generally and so to all of these different versions of it. I believe that the contrast between the contract view and utilitarianism remains essentially the same in all these (...)
     
    Export citation  
     
    Bookmark   1 citation  
  18. Welfare Economics and the Welfare State in Historical Perspective.Karen Knight - manuscript
    Although the economic thought of Marshall and Pigou was united by ethical positions broadly considered utilitarian, differences in their intellectual milieu led to degrees of difference between their respective philosophical visions. This change in milieu includes the influence of the little understood period of transition from the early idealist period in Great Britain, which provided the context to Marshall’s intellectual formation, and the late British Idealist period, which provided the context to Pigou’s intellectual formation. During this latter period, the pervading (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  69
    Frege's content-principle and relevant deducibility.Neil Tennant - 2003 - Journal of Philosophical Logic 32 (3):245-258.
    Given the harmony principle for logical operators, compositionality ought to ensure that harmony should obtain at the level of whole contents. That is, the role of a content qua premise ought to be balanced exactly by its role as a conclusion. Frege's contextual definition of propositional content happens to exploit this balance, and one appeals to the Cut rule to show that the definition is adequate. We show here that Frege's definition remains adequate even when one relevantizes logic by abandoning (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  20.  11
    O poglądach Floriana Bochwica. Rozdział z dziejów myśli polskiej.Jacek Juliusz Jadacki - 2004 - Roczniki Filozoficzne 52 (2):209-224.
    The paper depicts the philosophical views of F. Bochwic (1799-1856) which are as follows: ontology, anthropology, epistemology, ethics, and education. The world, according to Bochwic, was created by God (creationism) and is divided into two spheres: spiritual and carnal (ontological dualism). The factor that unites them is man. His purpose, as a free creature, is his tendency to perfection. The sources of human knowledge are the following: unreliable senses and reliable conscience (intuitionism). Conscience is the source of our presentiments with (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Intuitionistic Modal Algebras.Sergio A. Celani & Umberto Rivieccio - 2024 - Studia Logica 112 (3):611-660.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Intuitionism, Realism, Relativism and Rhubarb.Crispin Wright - 2006 - In Patrick Greenough & Michael Lynch (eds.), Truth and realism. Clarendon Press. pp. 38--60.
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  23. 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   324 citations  
  24.  50
    Intuitionistic Public Announcement Logic with Distributed Knowledge.Ryo Murai & Katsuhiko Sano - 2024 - Studia Logica 112 (3):661-691.
    We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. 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   71 citations  
  26. 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 disputed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  27. 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 the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   75 citations  
  29.  27
    Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  30. Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  31. Intuitionism.A. Heyting - 1971 - Amsterdam,: North-Holland Pub. Co..
  32. 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, (...)
     
    Export citation  
     
    Bookmark   2 citations  
  33.  13
    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   8 citations  
  34. 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  
  35.  63
    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 be rejected (...)
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  36.  44
    Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.
    In the pioneering article and two papers, written jointly with McKinsey, Tarski developed the so-called algebraic and topological frameworks for the Intuitionistic Logic and the Lewis modal system. In this paper, we present an outline of modern systems with a topological tinge. We consider topological interpretation of basic systems GL and G of the provability logic in terms of the Cantor derivative and the Hausdorff residue.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  37.  49
    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   5 citations  
  38.  28
    Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   119 citations  
  39. Moderate intuitionism and the epistemology of moral judgment.Robert Audi - 1998 - Ethical Theory and Moral Practice 1 (1):15-44.
    This paper outlines and defends a moderate intuitionism. The point of departure is the intuitionism of W. D. Ross (1930) in The Right and the Good, conceived as ethically pluralist and epistemologically rationalist. The paper articulates a conception of self-evidence – including mediate as well as immediate kinds – appropriate to a moderate intuitionism, explores some of the resources and varieties of that position, and considers some problems and prospects for a rationalist version of intuitionism. The final section addresses the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  40.  45
    Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.
    The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Moral Intuitionism Defeated?Nathan Ballantyne & Joshua C. Thurow - 2013 - American Philosophical Quarterly 50 (4):411-422.
    Walter Sinnott-Armstrong has developed and progressively refined an argument against moral intuitionism—the view on which some moral beliefs enjoy non-inferential justification. He has stated his argument in a few different forms, but the basic idea is straightforward. To start with, Sinnott-Armstrong highlights facts relevant to the truth of moral beliefs: such beliefs are sometimes biased, influenced by various irrelevant factors, and often subject to disagreement. Given these facts, Sinnott-Armstrong infers that many moral beliefs are false. What then shall we think (...)
     
    Export citation  
     
    Bookmark   9 citations  
  42. 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. The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  43.  35
    Intuitionistic Logic is a Connexive Logic.Davide Fazio, Antonio Ledda & Francesco Paoli - 2023 - Studia Logica 112 (1):95-139.
    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  
  44.  64
    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  
  45.  34
    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   20 citations  
  46. 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 universal moral (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  48.  13
    An intuitionistic fixed point theory.Wilfried Buchholz - 1997 - Archive for Mathematical Logic 37 (1):21-27.
    In this article we prove that a certain intuitionistic version of the well-known fixed point theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\widehat{\rm ID}_1$\end{document} is conservative over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mbox{\sf HA}$\end{document} for almost negative formulas.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  30
    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  
  50.  16
    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  
1 — 50 / 1000