Results for 'choice of logic'

1000+ found
Order:
  1. 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.  34
    Limits of Abductivism About Logic.Ulf Hlobil - forthcoming - Philosophy and Phenomenological Research.
    I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  17
    Vagueness and the Logic of the World.Zack Garrett - 2020 - Dissertation, University of Nebraska, Lincoln
    In this dissertation, I argue that vagueness is a metaphysical phenomenon---that properties and objects can be vague---and propose a trivalent theory of vagueness meant to account for the vagueness in the world. In the first half, I argue against the theories that preserve classical logic. These theories include epistemicism, contextualism, and semantic nihilism. My objections to these theories are independent of considerations of the possibility that vagueness is a metaphysical phenomenon. However, I also argue that these theories are not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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  
  5. 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  
  6. 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  
  7. 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  
  8. The Value of Thinking and the Normativity of Logic.Manish Oza - forthcoming - Philosophers' Imprint.
    (1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. 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  
  10. 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  
  11.  49
    Veritism and the Normativity of Logic.Nader Shoaibi - forthcoming - Ratio.
    The idea that logic is in some sense normative for thought and reasoning is a familiar one. Some of the most prominent figures in the history of philosophy including Kant and Frege have been among its defenders. The most natural way of spelling out this idea is to formulate wide-scope deductive requirements on belief which rule out certain states as irrational. But what can account for the truth of such deductive requirements of rationality? By far, the most prominent responses (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. 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  
  13. 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   12 citations  
  14. 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  
  15.  87
    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  
  16. 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  
  17.  90
    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  
  18. 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   1 citation  
  19. 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  
  20.  21
    Dialectic as the 'Self-Fulfillment' of Logic.Dieter Wandschneider - 2010 - In Nektarios Limnatis (ed.), The Dimensions of Hegel's Dialectic. London, New York: Continuum. pp. 31–54.
    The scope of my considerations here is defined along two lines, which seem to me of essential relevance for a theory of dialectic. On the one hand, the form of negation that – as self-referring antinomical negation – gains a quasi-semantic expulsory force [Sprengkraft] and therewith a forwarding [weiterverweisenden] character; on the other hand, the notion that every logical category is defective insofar as the explicit meaning of a category does not express everything that is already implicitly presupposed for its (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. 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   2 citations  
  22. 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  
  23. 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  
  24. 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  
  25.  9
    Skolem’s “Paradox” as Logic of Ground: The Mutual Foundation of Both Proper and Improper Interpretations.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (19):1-16.
    A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. 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  
  27.  94
    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  
  28. 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   26 citations  
  29. 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   11 citations  
  30. 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  
  31. Life, Logic, and the Pursuit of Purity.Alexander T. Englert - 2017 - Hegel-Studien 50:63-95.
    In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only comprehensible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Varieties of Reflection in Kant's Logic.Melissa McBay Merritt - 2015 - British Journal for the History of Philosophy 23 (3):478-501.
    For Kant, ‘reflection’ is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘pure’ and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. 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  
  34. Definitional Dictionary of Logic.Desh Raj Sirswal - manuscript
    DEFINITIONAL DICTIONARY OF LOGIC -/- 2009 -/- Complied by -/- Dr Desh Raj Sirswal -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  35. 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  
  36. 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  
  37. 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  
  38. 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  
  39. 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  
  40. 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   12 citations  
  41. 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  
  42. 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  
  43.  63
    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  
  44. 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   2 citations  
  45.  93
    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   1 citation  
  46. Questions of Race in J. S. Mill’s Contributions to Logic.Joshua M. Hall - 2014 - Philosophia Africana 16 (2):73-93.
    This article is part of a larger project in which I attempt to show that Western formal logic, from its inception in Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In contrast to this trend, the present article concerns the major philosopher whose contribution to logic has been perhaps the most derided and marginalized, and yet whose character and politics are, from a contemporary perspective, drastically superior—John Stuart Mill. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  87
    Logic and Ontology of Language.Urszula Wybraniec-Skardowska - 2019 - In Bartłomiej Skowron (ed.), Contemporary Polish Ontology. Berlin/Boston: DE GRUYTER, MOUTON. pp. 109-132.
    The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes of tokens, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  74
    David Gray Carlson: A Commentary to Hegel's Science of Logic[REVIEW]Christopher Yeomans - 2010 - Mind 119 (475):783-786.
    Download  
     
    Export citation  
     
    Bookmark  
  49. 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  
  50.  91
    Logic and Philosophy of Religion.Ricardo Silvestre & Jean-Yves Beziau - 2017 - Sophia 56 (2):139–145.
    This paper introduces a special issue on logic and philosophy of religion in this journal (Sophia). After discussing the role played by logic in the philosophy of religion along with classical developments, we present the basic motivation for this special issue accompanied by an exposition of its content.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000