Switch to: References

Add citations

You must login to add citations.
  1. The logic of leibniz’s generales inquisitiones de analysi notionum et veritatum.Marko Malink & Anubav Vasudevan - 2016 - Review of Symbolic Logic 9 (4):686-751.
    TheGenerales Inquisitiones de Analysi Notionum et Veritatumis Leibniz’s most substantive work in the area of logic. Leibniz’s central aim in this treatise is to develop a symbolic calculus of terms that is capable of underwriting all valid modes of syllogistic and propositional reasoning. The present paper provides a systematic reconstruction of the calculus developed by Leibniz in theGenerales Inquisitiones. We investigate the most significant logical features of this calculus and prove that it is both sound and complete with respect to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church.Adam Tamas Tuboly - 2018 - History and Philosophy of Logic 39 (3):289-304.
    The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Ciencia y metafísica en Charles S. Peirce y Alfred N. Whitehead.Jaime Nubiola - 2016 - SCIO. Revista de Filosofía 12:81-98.
    The aim of this article is to describe in some detail the actual relationship between Charles S. Peirce and Alfred N. Whitehead, paying particular attention to the Peircean notions of science and metaphysics, with the conviction that this contrast can help to understand better the scope and depth of C. S. Peirce’s thought.
    Download  
     
    Export citation  
     
    Bookmark  
  • Function and Argument in Begriffsschrift.Calixto Badesa Cortes & Joan Bertran-San Millán - 2017 - History and Philosophy of Logic 38 (4):316-341.
    It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argument—as opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Conditionals, Context, and the Suppression Effect.Fabrizio Cariani & Lance J. Rips - 2017 - Cognitive Science 41 (3):540-589.
    Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative conditional (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Two Dogmas of Empiricism.Willard Van Orman Quine - 1951 - Sententiae 33 (2):9-26.
    The first Ukrainian translation of the most famous Quine’s article (1951), which became one of the classic texts of Analytical Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Quine against Lewis (and Carnap) on Truth by Convention.Sean Morris - 2017 - Pacific Philosophical Quarterly 99 (3):366-391.
    Many commentators now view Quine's ‘Truth by Convention’ as a flawed criticism of Carnap. Gary Ebbs argued recently that Quine never intended Carnap as his target. Quine's criticisms were part of his attempt to work out his own scientific naturalism. I agree that Carnap was not Quine's target but object that Quine's criticisms were wholly internal to his own philosophy. Instead, I argue that C.I. Lewis held the kind of truth‐by‐convention thesis that Quine rejects. This, however, leaves Carnap out of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeley
    In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Aristotle’s assertoric syllogistic and modern relevance logic.Philipp Steinkrüger - 2015 - Synthese 192 (5):1413-1444.
    This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Peter Simons MacColl and many-valued logic: An exclusive conjunction.an Exclusive Conjunction - 1998 - Nordic Journal of Philosophical Logic 3 (1):85-90.
    Download  
     
    Export citation  
     
    Bookmark  
  • On material and logical implication: clarifying some common little mistakes.Renato Mendes Rocha - 2013 - Intuitio 6 (2):239-252.
    The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that seeks to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
    An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are negation-incomplete yet non-overcomplete. A paranormal logic (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • (1 other version)Quine on Objects and De Re Modality.Antti Keskinen - 2012 - European Journal of Analytic Philosophy 8 (2):4-17.
    Download  
     
    Export citation  
     
    Bookmark  
  • Propositional function.Edwin Mares - 2014 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.
    Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing insight into argument.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • ‘New continents’: The logical system of Josiah Royce.Scott L. Pratt - 2007 - History and Philosophy of Logic 28 (2):133-150.
    Josiah Royce (1855?1916) was, in addition to being the pre-eminent metaphysician at the turn of the 19th century in the USA, regarded as ?a logician of the first rank?. At the time of his death in 1916, he had begun a substantial and potentially revolutionary project in logic in which he sought to show the connection between logic and ethics, aesthetics, and metaphysics. His system was developed in light of the work of Bertrand Russell and A. B. Kempe and aimed (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900.James Van Evra - 2000 - History and Philosophy of Logic 21 (2):115-134.
    One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Otto Neurath.Jordi Cat - 2008 - Stanford Encyclopedia of Philosophy 38.
    Four distinguished authors have been brought together to produce this elegant study of a much-neglected figure. The book is divided into three sections: Neurath's biographical background and the economic and social context of his ideas; his theory of science; and the development of his role in debates on Marxist concepts of history and his own conception of science. Coinciding with the emerging serious interest in logical positivism, this timely publication will redress a current imbalance in the history and philosophy of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  • Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
    Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica.
    Download  
     
    Export citation  
     
    Bookmark  
  • The propositional logic of ordinary discourse.William S. Cooper - 1968 - Inquiry: An Interdisciplinary Journal of Philosophy 11 (1-4):295 – 320.
    The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued logic, its (...)
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Reductive theories of modality.Theodore Sider - 2003 - In Michael J. Loux & Dean W. Zimmerman (eds.), The Oxford handbook of metaphysics. New York: Oxford University Press. pp. 180-208.
    Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...)
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • On Logic in the Law: "Something, but not All".Susan Haack - 2007 - Ratio Juris 20 (1):1-31.
    In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • On relevance and justification of legal decisions.J. J. Moreso - 1996 - Erkenntnis 44 (1):73 - 100.
    The author discusses a question related to a certain aspect of justification of legal decisions, often so-called internal justification-a legal decision is internally justified if and only if it can be deduced from the norm(s) applicable to the case, and from the statement(s) describing the facts of the case. According to this notion, infinite irrelevant logical consequences are justified. To avoid this counterintuitive conclusion, the author analyzes three notions of relevance: Sperber-Wilson's notion, Anderson-Belnap's notion, and Schurz's notion. The author presents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
    Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Lógica modal megárico-estoica: posibilidad y necesidad como operadores atléticos.José Alejandro Fernández Cuesta - 2021 - Human Review. International Humanities Review / Revista Internacional de Humanidades 10:261-270.
    En este artículo presentamos una posible vía para interpretar las nociones de posibilidad y necesidad desarrolladas en el seno de la lógica megárico-estoica como operadores modales aléticos. Se introducirá la semántica megárico-estoica como trasfondo metafísico de las definiciones de necesidad y posibilidad y se ofrecerán argumentos para abandonar las interpretaciones predominantes que incluyen variables temporales ad hoc. Tras proponer la lectura de las definiciones diodóricas desde una semántica modal relacional se señalará una serie de temas que merecen ser revisitados desde (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Leibniz's interpretation of his logical calculi.Nicholas Rescher - 1954 - Journal of Symbolic Logic 19 (1):1-13.
    The historical researches of Louis Couturat saved the logical work of Leibniz from the oblivion of neglect and forgetfulness. They revealed that Leibniz developed in succession several versions of a “logical calculus” (calculus ratiocinatororcalculus universalis). In consequence of Couturat's investigations it has become well known that Leibniz's development of these logical calculi adumbrated the notion of a logistic system; and for these foreshadowings of the logistic treatment of formal logic Leibniz is rightly regarded as the father of symbolic logic.It is (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.
    I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • (1 other version)Begründung einer strengen Implikation.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):113-128.
    Die Gründe, die C. I. Lewis [5], [6] bewogen haben, neben der gewöhnlichen Implikation eine strikte Implikation einzuführen, sind bekannt. In der vorliegenden Arbeit wird aus ähnlichen Gründen eine strenge Implikation eingeführt, die jedoch einen engeren Begriff darstellt als die strikte Implikation. Mit einer Arbeit von Arnold Schmidt [7] hat meine nur geringe Berührungspunkte, da der Verfasser sich mit der strikten Implikation beschäftigt. Für diese wird ein relativ einfaches Axiomensystem angegeben und gezeigt, wie man durch geeignete Definitionen von Notwendigkeit und (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
    The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
    “Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science, (3) Formal (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Venn-type diagrams for arguments of N terms.Daniel E. Anderson & Frank L. Cleaver - 1965 - Journal of Symbolic Logic 30 (2):113-118.
    The attempt to find usable diagrams fornterms of the sort devised by John Venn seems to have originated with Venn himself, who published diagrams for up to five classes (the fifth class, however, was shaped like a doughnut, and contained an area outside itself — like the hole in the doughnut). Venn then suggested that “if we wanted to use a diagram forsixterms (x, y, z, w, v, u) the best plan would probably be to taketwofive-term figures, one for theupart (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • The logic of Searle’s Chinese room argument.Robert I. Damper - 2006 - Minds and Machines 16 (2):163-183.
    John Searle’s Chinese room argument is a celebrated thought experiment designed to refute the hypothesis, popular among artificial intelligence scientists and philosophers of mind, that “the appropriately programmed computer really is a mind”. Since its publication in 1980, the CRA has evoked an enormous amount of debate about its implications for machine intelligence, the functionalist philosophy of mind, theories of consciousness, etc. Although the general consensus among commentators is that the CRA is flawed, and not withstanding the popularity of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Foundation of a Rigorous Implication.Wilhelm Ackermann & Fabio De Martin Polo - manuscript - Translated by Fabio De Martin Polo.
    This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.
    Download  
     
    Export citation  
     
    Bookmark  
  • Does Logic Have a History at All?Jens Lemanski - forthcoming - Foundations of Science:1-23.
    To believe that logic has no history might at first seem peculiar today. But since the early 20th century, this position has been repeatedly conflated with logical monism of Kantian provenance. This logical monism asserts that only one logic is authoritative, thereby rendering all other research in the field marginal and negating the possibility of acknowledging a history of logic. In this paper, I will show how this and many related issues have developed, and that they are founded on only (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Engaging Kripke with Wittgenstein: The Standard Meter, Contingent Apriori, and Beyond.Martin Gustafsson, Oskari Kuusela & Jakub Mácha (eds.) - 2023 - New York: Routledge.
    This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant connections between Kripke's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Genealogy of ‘∨’.Landon D. C. Elkind & Richard Zach - 2022 - Review of Symbolic Logic 16 (3):862-899.
    The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Lewis and Quine in context.Sander Verhaegh - 2023 - Asian Journal of Philosophy 2 (2):1-8.
    Robert Sinclair’s *Quine, Conceptual Pragmatism, and the Analytic-Synthetic Distinction* persuasively argues that Quine’s epistemology was deeply influenced by C. I. Lewis’s pragmatism. Sinclair’s account raises the question why Quine himself frequently downplayed Lewis’s influence. Looking back, Quine has always said that Rudolf Carnap was his “greatest teacher” and that his 1933 meeting with the German philosopher was his “first experience of sustained intellectual engagement with anyone of an older generation” (1970, 41; 1985, 97-8, my emphasis). Quine’s autobiographies contain only a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Conceptual Modelling, Combinatorial Heuristics and Ars Inveniendi: An Epistemological History (Ch 1 & 2).Tom Ritchey - manuscript
    (1) An introduction to the principles of conceptual modelling, combinatorial heuristics and epistemological history; (2) the examination of a number of perennial epistemological-methodological schemata: conceptual spaces and blending theory; ars inveniendi and ars demonstrandi; the two modes of analysis and synthesis and their relationship to ars inveniendi; taxonomies and typologies as two fundamental epistemic structures; extended cognition, cognitio symbolica and model-based reasoning; (3) Plato’s notions of conceptual spaces, conceptual blending and hypothetical-analogical models (paradeigmata); (4) Ramon Llull’s concept analysis and combinatoric (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Inferential Quantification and the ω-rule.Constantin C. Brîncuş - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345--372.
    Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Susan Stebbing’s Logical Interventionism.Alexander X. Douglas & Jonathan Nassim - 2021 - History and Philosophy of Logic 42 (2):101-117.
    We examine a contribution L. Susan Stebbing made to the understanding of critical thinking and its relation to formal logic. Stebbing took expertise in formal logic to authorise logical intervention in public debate, specifically in assessing of the validity of everyday reasoning. She held, however, that formal logic is purely the study of logical form. Given the problems of ascertaining logical form in any particular instance, and that logical form does not always track informal validity, it is difficult to see (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Lingua characterica and calculus ratiocinator: The Leibnizian background of the Frege-Schröder polemic.Joan Bertran-San Millán - 2021 - Review of Symbolic Logic 14 (2):411-446.
    After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic—logic as language and logic as calculus—and presented them as opposing views, but did not explain (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Logic of Conditional Belief.Benjamin Eva - 2020 - Philosophical Quarterly 70 (281):759-779.
    The logic of indicative conditionals remains the topic of deep and intractable philosophical disagreement. I show that two influential epistemic norms—the Lockean theory of belief and the Ramsey test for conditional belief—are jointly sufficient to ground a powerful new argument for a particular conception of the logic of indicative conditionals. Specifically, the argument demonstrates, contrary to the received historical narrative, that there is a real sense in which Stalnaker’s semantics for the indicative did succeed in capturing the logic of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The C3 Conditional: A Variably Strict Ordinary-Language Conditional.Monique Whitaker - 2016 - Dissertation, Cuny
    In this dissertation I provide a novel logic of the ordinary-language conditional. First, however, I endeavor to make clearer and more precise just what the objects of the study of the conditional are, as a lack of clarity as to what counts as an instance of a given category of conditional has resulted in deep and significant confusions in subsequent analysis. I motivate for a factual/counterfactual distinction, though not at the level of particular instances of the conditional. Instead, I argue (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Consciousness and the Philosophy of Signs: How Peircean Semiotics Combines Phenomenal Qualia and Practical Effects.Marc Champagne - 2018 - Cham: Springer.
    It is often thought that consciousness has a qualitative dimension that cannot be tracked by science. Recently, however, some philosophers have argued that this worry stems not from an elusive feature of the mind, but from the special nature of the concepts used to describe conscious states. Marc Champagne draws on the neglected branch of philosophy of signs or semiotics to develop a new take on this strategy. The term “semiotics” was introduced by John Locke in the modern period – (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Cheryl Misak, Cambridge Pragmatism: From Peirce and James to Ramsey and Wittgenstein.John Capps - 2017 - Journal for the History of Analytical Philosophy 5 (3).
    Download  
     
    Export citation  
     
    Bookmark  
  • Peirce's contributions to Constructivism and Personal Construct Psychology: II. Science, Logic and Construction.Procter Harry - 2016 - Personal Construct Theory and Practice 13:210-265.
    Kelly suggested that it was useful to consider anyone as functioning as a scientist, in the business of applying theories, making hypotheses and predictions and testing them out in the practice of everyday life. One of Charles Peirce’s major contributions was to develop the disciplines of logic and the philosophy of science. We can deepen and enrich our understanding of Kelly’s vision by looking at what Peirce has to say about the process of science. For Peirce, the essence of science (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Necessity and the Ontological Argument.Joel I. Friedman - 1980 - Erkenntnis 15 (3):301-331.
    Download  
     
    Export citation  
     
    Bookmark