View topic on PhilPapers for more information
Related categories

28 found
Order:
More results on PhilPapers
  1. added 2019-03-03
    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 thought acquire (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2019-02-27
    Charles Sanders Peirce on Necessity.Catherine Legg & Cheryl Misak - 2016 - In Adriane Rini, Edwin Mares & Max Cresswell (eds.), Logical Modalities from Aristotle to Carnap: The Story of Necessity. Cambridge, UK: Cambridge University Press. pp. 256-278.
    Necessity is a touchstone issue in the thought of Charles Peirce, not least because his pragmatist account of meaning relies upon modal terms. We here offer an overview of Peirce’s highly original and multi-faceted take on the matter. We begin by considering how a self-avowed pragmatist and fallibilist can even talk about necessary truth. We then outline the source of Peirce’s theory of representation in his three categories of Firstness, Secondness and Thirdness, (monadic, dyadic and triadic relations). These have modal (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2018-09-13
    Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
    It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-04-18
    Ahmed Cevdet paşa’nin matik ve ilim anlayişi.Murat Kelikli - 2012 - Kutadgubilig Felsefe-Bilim Araştırmaları Dergisi 22:173-185.
    There are a lot of studies on Ahmed Cevdet Paşa who has been considered as statesman, politician, jurist, historian, sociologist and educationalist. At the same time Ahmet Cevdet Paşa’s studies on logic are critically important when we deal with the last period of the Ottoman Empire. His book which is called Miyar-ı Sedad had both influenced the development of instruction of logic education in madrasahs and created a turning point in the studies on modern logic. For this reason we have (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2018-02-03
    Prova, Explicação e Intuição em Bernard Bolzano.Humberto de Assis Clímaco - 2008 - Anais Do XII Encontro Brasileiro de Pós Graduação Em Educação Matemática.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2018-01-11
    Introduction: Diagrammatical Reasoning and Peircean Logic Representations.João Queiroz & Frederik Stjernfelt - 2011 - Semiotica 2011 (186):1-4.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. added 2017-11-29
    Stefan Roski, Bolzano’s Conception of Grounding. [REVIEW]Petter Sandstad - 2017 - Phenomenological Reviews.
    I review Stefan Roski's "Bolzano's Conception of Grounding".
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. added 2017-02-27
    Iz starije srpske logike.Miloš Adžić & Senka Milošević - 2012 - Kultura ( 134):237-245.
    In this pa­per we aim to pin­po­int so­me of the key mar­kers of the de­velop­ment of lo­gic in Ser­bia, star­ting from the fo­un­ding of the Lyce­um in 1836 un­til the end of the 19th cen­tury. Our main goal is to un­der­li­ne the ro­le that Lju­bo­mir Ne­dić, a phi­lo­sop­her and li­te­rary cri­tic, had in this con­text. Alt­ho­ugh he did not le­a­ve any ori­gi­nal con­tri­bu­ti­ons in lo­gic, Ne­dić played a sig­ni­fi­cant part by ex­po­sing con­tem­po­rary re­sults in symbo­lic lo­gic, which we­re to lead, (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2017-02-17
    La Logique Symbolique En Débat À Oxford À la Fin du XIXe Siècle : Les Disputes Logiques de Lewis Carroll Et John Cook Wilson.Mathieu Marion & Amirouche Moktefi - 2014 - Revue D’Histoire des Sciences 67 (2):185-205.
    The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds Lewis Carroll, a mathematical teacher who (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. added 2017-02-07
    On the Social Utility of Symbolic Logic: Lewis Carroll Against ‘The Logicians’.Amirouche Moktefi - 2015 - Studia Metodologiczne 35:133-150.
    Symbolic logic faced great difficulties in its early stage of development in order to acquire recognition of its utility for the needs of science and society. The aim of this paper is to discuss an early attempt by the British logician Lewis Carroll (1832–1898) to promote symbolic logic as a social good. This examination is achieved in three phases: first, Carroll’s belief in the social utility of logic, broadly understood, is demonstrated by his numerous interventions to fight fallacious reasoning in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. added 2017-01-22
    'What the Tortoise Said to Achilles': Lewis Carroll's Paradox of Inference.Amirouche Moktefi & Francine F. Abeles (eds.) - 2016 - London: The Lewis Carroll Society.
    Lewis Carroll’s 1895 paper, 'What the Tortoise Said to Achilles' is widely regarded as a classic text in the philosophy of logic. This special issue of 'The Carrollian' publishes five newly commissioned articles by experts in the field. The original paper is reproduced, together with contemporary correspondence relating to the paper and an extensive bibliography.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2017-01-21
    Mill on Logic.David Godden - 2017 - In Dale E. Miller & Christopher Macleod (eds.), A companion to Mill. Hoboken, NJ: John Wiley & Sons. pp. 175-191.
    Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference that is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. added 2015-09-14
    Sulla teoria della connotazione di John Stuart Mill.Dino Buzzetti - 1976 - Rivista di Filosofia 67:265-288.
    John Stuart Mill's theory of meaning is presented and discussed.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2015-09-02
    PSYCHOLOGISM.John Corcoran - 2007 - In John Lachs and Robert Talisse (ed.), American Philosophy: an Encyclopedia. ROUTLEDGE. pp. 628-9.
    Corcoran, J. 2007. Psychologism. American Philosophy: an Encyclopedia. Eds. John Lachs and Robert Talisse. New York: Routledge. Pages 628-9. -/- Psychologism with respect to a given branch of knowledge, in the broadest neutral sense, is the view that the branch is ultimately reducible to, or at least is essentially dependent on, psychology. The parallel with logicism is incomplete. Logicism with respect to a given branch of knowledge is the view that the branch is ultimately reducible to logic. Every branch of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2015-05-23
    George Boole.John Corcoran - 2006 - In Encyclopedia of Philosophy. 2nd edition. macmillan.
    2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2015-03-11
    Review of Macbeth, D. Diagrammatic Reasoning in Frege's Begriffsschrift. Synthese 186 (2012), No. 1, 289–314. Mathematical Reviews MR 2935338.John Corcoran - 2014 - MATHEMATICAL REVIEWS 2014:2935338.
    A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2014-12-14
    Boole's Criteria for Validity and Invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  18. added 2014-12-03
    What is Mathematical Logic?John Corcoran & Stewart Shapiro - 1978 - Philosophia 8 (1):79-94.
    This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2014-09-30
    Frege and Peano on Definitions.Edoardo Rivello - forthcoming - In Proceedings of the "Frege: Freunde und Feinde" conference, held in Wismar, May 12-15, 2013.
    Frege and Peano started in 1896 a debate where they contrasted the respective conceptions on the theory and practice of mathematical definitions. Which was (if any) the influence of the Frege-Peano debate on the conceptions by the two authors on the theme of defining in mathematics and which was the role played by this debate in the broader context of their scientific interaction?
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2014-04-02
    Logic and Ontology in Hegel's Theory of Predication.Kevin J. Harrelson - 2015 - European Journal of Philosophy 23 (4):1259-1280.
    In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second concern (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2014-03-23
    Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
    Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   15 citations  
  22. added 2014-03-09
    What is a Logical Diagram?Catherine Legg - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. pp. 1-18.
    Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  23. added 2012-11-03
    Bolzano Versus Kant: Mathematics as a Scientia Universalis.Paola Cantù - 2011 - Philosophical Papers Dedicated to Kevin Mulligan.
    The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome of Kant's (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2012-10-08
    The Problem of the Essential Icon.Catherine Legg - 2008 - American Philosophical Quarterly 45 (3):207-232.
    Charles Peirce famously divided all signs into icons, indices and symbols. The past few decades have seen mainstream analytic philosophy broaden its traditional focus on symbols to recognise the so-called essential indexical. Can the moral now be extended to icons? Is there an “essential icon”? And if so, what exactly would be essential about it? It is argued that there is and it consists in logical form. Danielle Macbeth’s radical new “expressivist” interpretation of Frege’s logic and Charles Peirce’s existential graphs (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  25. added 2012-09-28
    “Omnis Determinatio Est Negatio” – Determination, Negation and Self-Negation in Spinoza, Kant, and Hegel.Yitzhak Y. Melamed - 2012 - In Eckart Forster & Yitzhak Y. Melamed (eds.), Spinoza and German Idealism. Cambridge University Press.
    Spinoza ’s letter of June 2, 1674 to his friend Jarig Jelles addresses several distinct and important issues in Spinoza ’s philosophy. It explains briefly the core of Spinoza ’s disagreement with Hobbes’ political theory, develops his innovative understanding of numbers, and elaborates on Spinoza ’s refusal to describe God as one or single. Then, toward the end of the letter, Spinoza writes: With regard to the statement that figure is a negation and not anything positive, it is obvious that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  26. added 2011-10-04
    Proofs Are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. added 2011-01-31
    C. S. Peirce: Pragmatism and Logicism.Jaime Nubiola - 1996 - Philosophia Scientiae 1 (2):109-119.
    This paper has two separate aims, with obvious links between them. First, to present Charles S. Peirce and the pragmatist movement in a historical framework which stresses the close connections of pragmatism with the mainstream of philosophy; second, to deal with a particular controversial issue, that of the supposed logicistic orientation of Peirce's work.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. added 2010-09-27
    Traditional Logic and the Early History of Sets, 1854-1908.J. Ferreiros - 1996 - Archive for History of Exact Sciences 50:5-71.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations