Results for 'choice of logic'

1000+ found
Order:
  1.  63
    The Axiom of Choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  92
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Three Dogmas of First-Order Logic and Some Evidence-Based Consequences for Constructive Mathematics of Differentiating Between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
    We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  86
    The Implicit Logic of Hesiod's Cosmogony.Mitchell Miller - 1983 - Independent Journal of Philosophy:131-142.
    A close examination of the implicit logic that guides Hesiod's account of the genesis of the cosmos in the Theogony 116-133, with special attention to his choice of Chaos as the first born and to the logical relations between opposites and between whole and parts as these emerge within, as the structuring principles of, Hesiod's ordering of the births of cosmic elements.
    Download  
     
    Export citation  
     
    Bookmark  
  5. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. C. I. Lewis: History and Philosophy of Logic.John Corcoran - 2006 - Transactions of the Charles S. Peirce Society 42 (1):1-9.
    C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Meaning and Argument. A Theory of Meaning Centred on Immediate Argumental Role.Cesare Cozzo - 1994 - Almqvist & Wiksell.
    This study presents and develops in detail (a new version of) the argumental conception of meaning. The two basic principles of the argumental conception of meaning are: i) To know (implicitly) the sense of a word is to know (implicitly) all the argumentation rules concerning that word; ii) To know the sense of a sentence is to know the syntactic structure of that sentence and to know the senses of the words occurring in it. The sense of a sentence is (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  9. Philosophy of Logic. Hilary Putnam.John Corcoran - 1973 - Philosophy of Science 40 (1):131-133.
    Putnam, Hilary FPhilosophy of logic. Harper Essays in Philosophy. Harper Torchbooks, No. TB 1544. Harper & Row, Publishers, New York-London, 1971. v+76 pp. The author of this book has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10.  42
    Means or End? On the Valuation of Logic Diagrams.Jens Lemanski - 2016 - Logic-Philosophical Studies 14:98-122.
    From the beginning of the 16th century to the end of the 18th century, there were not less than ten philosophers who focused extensively on Venn’s ostensible analytical diagrams, as noted by modern historians of logic (Venn, Gardner, Baron, Coumet et al.). But what was the reason for early modern philosophers to use logic or analytical diagrams? Among modern historians of logic one can find two theses which are closely connected to each other: M. Gardner states that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Emergence, Evolution, and the Geometry of Logic: Causal Leaps and the Myth of Historical Development. [REVIEW]Stephen Palmquist - 2007 - Foundations of Science 12 (1):9-37.
    After sketching the historical development of “emergence” and noting several recent problems relating to “emergent properties”, this essay proposes that properties may be either “emergent” or “mergent” and either “intrinsic” or “extrinsic”. These two distinctions define four basic types of change: stagnation, permanence, flux, and evolution. To illustrate how emergence can operate in a purely logical system, the Geometry of Logic is introduced. This new method of analyzing conceptual systems involves the mapping of logical relations onto geometrical figures, following (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  68
    Review of WILLARD QUINE, Philosophy of Logic, Harvard, 1970/1986. [REVIEW]John Corcoran - 1972 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39:37-39.
    This book is best regarded as a concise essay developing the personal views of a major philosopher of logic and as such it is to be welcomed by scholars in the field. It is not (and does not purport to be) a treatment of a significant portion of those philosophical problems generally thought to be germane to logic. It would be easy to list many popular topics in philosophy of logic which it does not mention. Even its (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. The Metaphysical Status of Logic.Tuomas E. Tahko - 2008 - In Michal Peliš (ed.), The Logica Yearbook 2007. Filosofia.
    The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  14. Hegel’s Modal Argument Against Spinozism. An Interpretation of the Chapter ‘Actuality’ in the Science of Logic.Franz Knappik - 2015 - Hegel Bulletin 36 (1):53-79.
    I propose a new reading of Hegel’s discussion of modality in the ‘Actuality’ chapter of the Science of Logic. On this reading, the main purpose of the chapter is a critical engagement with Spinoza’s modal metaphysics. Hegel first reconstructs a rationalist line of thought — corresponding to the cosmological argument for the existence of God — that ultimately leads to Spinozist necessitarianism. He then presents a reductio argument against necessitarianism, contending that as a consequence of necessitarianism, no adequate explanatory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Epistemic Utility Theory and the Normativity of Logic.Richard Pettigrew - manuscript
    How does logic relate to rational belief? Is logic normative for belief, as some say? What, if anything, do facts about logical consequence tell us about norms of doxastic rationality? In this paper, we consider a range of putative logic-rationality bridge principles. These purport to relate facts about logical consequence to norms that govern the rationality of our beliefs and credences. To investigate these principles, we deploy a novel approach, namely, epistemic utility theory. That is, we assume (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The Logic of Partitions: Introduction to the Dual of the Logic of Subsets: The Logic of Partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
    Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  17. A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.
    The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Russell and the Universalist Conception of Logic.Ian Proops - 2007 - Noûs 41 (1):1–32.
    The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  19. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  66
    Badiou and the Violence of Thought: Radical Choice, Subjectivity and Truth.Christopher Satoor - manuscript
    What does it mean to take “one more step, a single step” … towards universality? What does it mean to be forced to think and what kind of thought would we need in order to make the logic of the world shift? For Badiou, philosophy must be reckless or it is simply nothing at all. Thought must force a shift in the laws of a world. This recklessness is the violence of thought; it is the unknown form of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. The Inseparability of Logic and Ethics.John Corcoran - 1989 - Free Inquiry 9 (2):37-40.
    This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  43
    Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos - 2019 - Transversal: International Journal for the Historiography of Science 6:49-64.
    K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern mathematics and their (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Logic and the Autonomy of Ethics.Charles R. Pigden - 1989 - Australasian Journal of Philosophy 67 (2):127 – 151.
    My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  24.  65
    What Isn’T Obvious About ‘Obvious’: A Data-Driven Approach to Philosophy of Logic.Moti Mizrahi - 2019 - In Andrew Aberdein & Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury Press. pp. 201-224.
    It is often said that ‘every logical truth is obvious’ (Quine 1970: 82), that the ‘axioms and rules of logic are true in an obvious way’ (Murawski 2014: 87), or that ‘logic is a theory of the obvious’ (Sher 1999: 207). In this chapter, I set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. My approach is data-driven. That is to say, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Schemata: The Concept of Schema in the History of Logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.
    The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  6
    Platonic Division and the Origins of Aristotelian Logic.Justin Vlasits - 2017 - Dissertation, University of California, Berkeley
    Aristotle's syllogistic theory, as developed in his Prior Analytics, is often regarded as the birth of logic in Western philosophy. Over the past century, scholars have tried to identify important precursors to this theory. I argue that Platonic division, a method which aims to give accounts of essences of natural kinds by progressively narrowing down from a genus, influenced Aristotle's logical theory in a number of crucial respects. To see exactly how, I analyze the method of division as it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27.  93
    Note on the Significance of the New Logic.Frederique Janssen-Lauret - 2018 - The Reasoner 6 (12):47-48.
    Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'.
    Download  
     
    Export citation  
     
    Bookmark  
  28.  61
    Women and Logic: What Can Women’s Studies Contribute to the History of Formal Logic?Andrea Reichenberger & Karin Beiküfner - 2019 - Transversal. International Journal for the Historiography of Science 6:6-14.
    Download  
     
    Export citation  
     
    Bookmark  
  29. The Priority of Judging: Kant on Wolff's General Logic.Corey W. Dyck - 2016 - Estudos Kantianos 4 (2):99-118.
    In this paper, I consider the basis for Kant's praise of Wolff's general logic as "the best we have." I argue that Wolff's logic was highly esteemed by Kant on account of its novel analysis of the three operations of the mind (tres operationes mentis), in the course of which Wolff formulates an argument for the priority of the understanding's activity of judging.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  31.  61
    Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. 20th-Century Bulgarian Philosophy of Law: From Critical Acceptance of Kant’s Ideas to the Logic of Legal Reasoning.Vihren Bouzov - 2016 - In Enrico Pattaro & C. Roversi (eds.), A Treatise of Legal Philosophy and General Jurisprudence. V.12 (1), Legal Philosophy in the Twentieth Century: The Civil Law World. pp. 681-690.
    My analysis here is an attempt to bring out the main through-line in the development of Bulgarian philosophy of law today. A proper account of Bulgarian philosophy of law in the 20th century requires an attempt to find, on the one hand, a solution to epistemological and methodological problems in law and, on the other, a clear-cut influence of the Kantian critical tradition. Bulgarian philosophy of law follows a complicated path, ranging from acceptance and revision of Kantian philosophy to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  73
    Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - forthcoming - Journal of Philosophical Logic.
    ABSTRACT: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Logic, Ontological Neutrality, and the Law of Non-Contradiction.Achille C. Varzi - 2014 - In Elena Ficara (ed.), Contradictions. Logic, History, Actuality. De Gruyter. pp. 53–80.
    Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Logic. Of Descriptions. A New Approach to the Foundations of Mathematics and Science.Joanna Golińska-Pilarek & Taneli Huuskonen - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40):63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  37.  39
    Review Of: Garciadiego, A., "Emergence Of...Paradoxes...Set Theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  42
    CHOICE: An Objective, Voluntaristic Theory of Prudential Value,” Forthcoming in Philosophia, 2019.Walter Horn - forthcoming - Philosophia.
    It is customary to think that Objective List (“OL), Desire-Satisfaction (“D-S”) and Hedonistic (“HED”) theories of prudential value pretty much cover the waterfront, and that those of the three that are “subjective” are naturalistic (in the sense attacked by Moore, Ross and Ewing), while those that are “objective” must be Platonic, Aristotelian or commit the naturalist fallacy. I here argue for a theory that is both naturalistic (because voluntaristic) and objective but neither Platonic, Aristotelian, nor (I hope) fallacious. In addition, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  63
    Enriching Deontic Logic.Ilaria Canavotto & Alessandro Giordani - 2018 - Journal of Logic and Computation 1:1-23.
    It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  56
    David Gray Carlson: A Commentary to Hegel's Science of Logic[REVIEW]Christopher Yeomans - 2010 - Mind 119 (475):783-786.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Filosofia da Linguagem e da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).Marcelo Carvalho, Celso Braida, João Carlos Salles & Marcelo E. Coniglio (eds.) - 2015 - ANPOF.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Hempel’s Logic of Confirmation.Franz Huber - 2008 - Philosophical Studies 139 (2):181-189.
    This paper presents a new analysis of C.G. Hempel’s conditions of adequacy for any relation of confirmation [Hempel C. G. (1945). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press, pp. 3–51.], differing from the one Carnap gave in §87 of his [1962. Logical foundations of probability (2nd ed.). Chicago: University of Chicago Press.]. Hempel, it is argued, felt the need for two concepts of confirmation: one aiming at true hypotheses and another (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  43. Logic, Logical Form and the Disunity of Truth.Will Gamester - 2019 - Analysis 79 (1):34-43.
    Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Truth and Paradox in Late XIVth Century Logic : Peter of Mantua’s Treatise on Insoluble Propositions.Riccardo Strobino - 2012 - Documenti E Studi Sulla Tradizione Filosofica Medievale 23:475-519.
    This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  45. Logic and the Epistemic Foundations of Game Theory: Special Issue.Michael O. L. Bacharach & Philippe Mongin - 1994 - Theory and Decision 37 (1):1-6.
    An introduction to the special issue on epistemic logic and the foundations of game theory edited by Michael Bacharach and Philippe Mongin. Contributors are Michael Bacharach, Robert Stalnaker, Salvatore Modica and Aldo Rustichini, Luc Lismont and Philippe Mongin, and Hyun-Song Shin and Timothy Williamson.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Ingarden Vs. Meinong on the Logic of Fiction.Barry Smith - 1980 - Philosophy and Phenomenological Research 41 (1/2):93-105.
    For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  67
    Laws of Thought and Laws of Logic After Kant.Lydia Patton - 2018 - In Sandra Lapointe (ed.), Logic from Kant to Russell. New York: Routledge. pp. 123-137.
    George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  90
    Not Much Higher-Order Vagueness in Williamson’s ’Logic of Clarity’.Nasim Mahoozi & Thomas Mormann - manuscript
    This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps h and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49.  65
    What Would a Deontic Logic of Internal Reasons Look Like?Rufus Duits - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (4):351-373.
    The so-called ‘central problem’ of internalism has been formulated like this: one cannot concurrently maintain the following three philosophical positions without inconsistency: internalism about practical reason, moral rationalism, and moral absolutism. Since internalism about practical reason is the most controversial of these, the suggestion is that it is the one that is best abandoned. In this paper, I point towards a response to this problem by sketching a deontic logic of internal reasons that deflates moral normativity to the normativity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  17
    Single-Peakedness and Semantic Dimensions of Preferences.Daniele Porello - 2016 - Logic Journal of the IGPL 24 (4).
    Among the possible solutions to the paradoxes of collective preferences, single-peakedness is significant because it has been associated to a suggestive conceptual interpretation: a single-peaked preference profile entails that, although individuals may disagree on which option is the best, they conceptualize the choice along a shared unique dimension, i.e. they agree on the rationale of the collective decision. In this article, we discuss the relationship between the structural property of singlepeakedness and its suggested interpretation as uni-dimensionality of a social (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000