This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

265 found
Order:
1 — 50 / 265
  1. added 2018-10-17
    The Philosophy of Bernard Bolzano: Logic and Ontology.Raul Corazzon - unknown
    volumes of his work, in his discussions of what underlay a Wissenschaftslehre or theory of science in the sense of his conception; he did so with such purity and scientific strictness, and with such a rich store of original, scientifically confirmed and fruitful thoughts, that we must count him as one of the greatest logicians of all time. He must be placed historically in fairly close proximity to Leibniz, with whom he shares important thoughts and fundamental conceptions, and to whom (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. added 2018-10-16
    Bolzano's Logic.Jan Sebestik - 2008 - Stanford Encyclopedia of Philosophy.
  3. added 2018-10-16
    Selected Writings on Ethics and Politics.Bernard Bolzano (ed.) - 2007 - Rodopi.
    Celebrated today for his groundbreaking work in logic and the foundations of mathematics, Bernard Bolzano was best known in his own time as a leader of the reform movement in his homeland . As professor of religious science at the Charles University in Prague from 1805 to 1819, Bolzano was a highly visible public intellectual, a courageous and determined critic of abuses in Church and State. Based in large part on a carefully argued utilitarian practical philosophy, he developed a non-violent (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. added 2018-10-16
    Bolzano’s Semantics and His Criticism of the Decompositional Conception of Analysis.Sandra Lapointe - 2007 - In Micahel Beaney (ed.), The Analytic Turn. Routledge. pp. 219.
  5. added 2018-10-16
    Bolzanos Propositionalismus.Markus Textor - 1996
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  6. added 2018-10-16
    Bolzano on Induction in Bolzano-Studien.J. Berg - 1987 - Philosophia Naturalis 24 (4):442-446.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. added 2018-10-16
    BOLZANO, B. - "Grundlegung der Logik". [REVIEW]W. Kneale - 1965 - Mind 74:143.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. added 2018-10-16
    Bolzano's Logic. [REVIEW]J. J. C. Smart - 1963 - Journal of Philosophy 60 (19):562-564.
  9. added 2018-10-16
    Bolzano's Logic.Harold R. Smart - 1944 - Philosophical Review 53 (6):513-533.
  10. 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, 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 concerned. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11. added 2018-07-30
    New Essays on Frege: Between Science and Literature.Gisela Bengtsson, Simo Säätelä & Alois Pichler (eds.) - 2018 - Springer.
    This volume collects nine essays that investigate the work of Gottlob Frege. The contributors address Frege’s work in relation to literature and fiction (Dichtung), the humanities (Geisteswissenschaften), and science (Wissenschaft). Overall, the essays consider internal connections between different aspects of Frege’s work while acknowledging the importance of its philosophical context. -/- There are also further common strands between the papers, such as the relation between Frege’s and Wittgenstein’s approaches to philosophical investigations, the relation between Frege and Kant, and the place (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. added 2018-04-23
    Dictionaries and Proper Names.Diego Marconi - 1990 - History of Philosophy Quarterly 7 (1):77 - 92.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. 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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2018-03-08
    Singular Terms, Predicates and the Spurious ‘Is’ of Identity.Danny Frederick - 2013 - Dialectica 67 (3):325-343.
    Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill's account of predication, connotation and denotation. I show that singular terms may be (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. 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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. added 2018-01-18
    Introdução ao Sistema Beta dos Grafos Existenciais de C.S. Peirce.Lafayette de Moraes & João Queiroz - 2004 - Cognitio 5 (1):28-43.
    Os grafos existenciais (GE) são uma notação lógica de caráter topológico e estão entre as mais originais invenções de C.S. Peirce (1839-1914). Trata-se de um sistema gráfico de diagramas lógicos por meio do qual, segundo Peirce, “qualquer desenvolvimento do pensamento pode ser representado com precisão” (CP 4.530). Eles se dividem em três subsistemas – alfa, beta e gama –, aproximadamente equivalentes ao cálculo proposicional clássico, ao cálculo de predicados clássico de primeira ordem, e a um tipo de lógica modal. Nosso (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. added 2018-01-11
    The Sign of Consequence.Francesco Bellucci - 2016 - The Commens Encyclopedia: The Digital Encyclopedia of Peirce Studies.
    The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. added 2018-01-11
    Introduction: Diagrammatical Reasoning and Peircean Logic Representations.João Queiroz & Frederik Stjernfelt - 2011 - Semiotica 2011 (186):1-4.
  19. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2017-08-09
    MANY 1 - A Transversal Imaginative Journey Across the Realm of Mathematics.Jean-Yves Beziau - 2017 - Journal of Indian Council of Philosophical Research 34 (2):259-287.
    We discuss the many aspects and qualities of the number one: the different ways it can be represented, the different things it may represent. We discuss the ordinal and cardinal natures of the one, its algebraic behaviour as a neutral element and finally its role as a truth-value in logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. added 2017-08-09
    The Square of Opposition: A Cornerstone of Thought.Jean-Yves Beziau & Gianfranco Basti (eds.) - 2017 - Basel, Switzerland: Birkhäuser.
    This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. 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   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. added 2017-02-17
    Logic Gallery.David Marans - 2015 - http://tinyurl.com/345bdwp.
  24. 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   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. added 2017-02-15
    Will Be Much Enlightened by Dr Morgan's Contribution.Bill Gerrard - 1991 - History and Philosophy of Logic 12:15-35.
  26. added 2017-02-14
    Sur Quelques Points d'Algebre Homologique.E. Dean J. Avigad & J. Mumma - 2009 - Review of Symbolic Logic 2 (4):700-768.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  27. added 2017-02-11
    Review: George Bealer, Quality and Concept. [REVIEW]Nino Cocchiarella - 1985 - Journal of Symbolic Logic 50 (2):554-556.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2017-02-11
    Review: E. J. Lemmon, George W. D. Berry, Beginning Logic. [REVIEW]Sarah Stebbins - 1981 - Journal of Symbolic Logic 46 (2):421-423.
  29. added 2017-02-11
    Review: John Venn, Symbolic Logic. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):614-615.
  30. added 2017-02-11
    Review: Waclaw Sierpinski, Algebre des Ensembles. [REVIEW]Alfons Borgers - 1968 - Journal of Symbolic Logic 33 (2):292-292.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  31. added 2017-02-11
    Review: Trenchard More, On the Construction of Venn Diagrams. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (1):108-108.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2017-02-11
    Review: Heinz Zemanek, Une Machine Pour l'Algebre des Contacts. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):163-163.
  33. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. added 2017-02-07
    On De Morgan's Argument.Daniel D. Merrill - 1977 - Notre Dame Journal of Formal Logic 18 (1):133-139.
  35. added 2017-02-07
    Venn Diagrams Extended: Map Logic.John Rybak & Janet Rybak - 1976 - Notre Dame Journal of Formal Logic 17 (3):469-475.
  36. added 2017-02-07
    Schematizing De Morgan's Argument.R. G. Wengert - 1974 - Notre Dame Journal of Formal Logic 15 (1):165-166.
  37. added 2017-02-07
    An Extension of Venn Diagrams.P. J. Fitzpatrick - 1973 - Notre Dame Journal of Formal Logic 14 (1):77-86.
  38. added 2017-02-07
    An Extension of Venn Diagrams.Gerald J. Massey - 1966 - Notre Dame Journal of Formal Logic 7 (3):239-250.
  39. added 2017-02-07
    Studies in Logic and Probability. By George Boole. Edited by R. Rhees. (London: C. A. Watts. 1952. Pp. 500. Price 25s.).L. J. Russell - 1954 - Philosophy 29 (109):164-.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2017-02-02
    Derivation of the Laws of the Symbols of Logic From the Laws of the Operations of the Human Mind: An Excerpt From the Writings of George Boole.George Boole - 1859 - St. Sebastian Press.
  41. added 2017-02-01
    Morgan on Deductive Explanation: A Rejoinder. [REVIEW]Raimo Tuomela - 1976 - Journal of Philosophical Logic 5 (4):527 - 543.
    This paper is mainly a response to Charles Morgan's criticisms (this journal, pp. 511-25) of the author's model of the (formal aspects of) explanation. It is claimed in the paper that with two modifications and some additional specifications the model withstands Morgan's criticisms.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42. added 2017-02-01
    On the Construction of Venn Diagrams.Trenchard More Jr - 1959 - Journal of Symbolic Logic 24 (4):303-304.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. added 2017-01-29
    The Mathematical Analysis of Logic. Being an Essay Towards a Calculus of Deductive Reasoning by George Boole - Die Mathematische Analyse der Logik. Der Versuch Eines Kalküls des Deduktiven Schlieβens von George Boole.George Boole - 2004 - Bulletin of Symbolic Logic 10 (1):108-109.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. added 2017-01-29
    S. B. DIAGNE "Boole". [REVIEW]J. W. Van Evra - 1991 - History and Philosophy of Logic 12 (2):245.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  45. added 2017-01-29
    T. HAILPERIN "Boole's Logic and Probability". [REVIEW]J. W. van Evra - 1988 - History and Philosophy of Logic 9 (1):115.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. added 2017-01-29
    D. MACHALE "George Boole. His Life and Work". [REVIEW]L. M. Laita - 1985 - History and Philosophy of Logic 6 (2):243.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  47. added 2017-01-29
    George Boole and Psychologism.A. Musgrave - 1972 - Scientia 66:593.
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  48. added 2017-01-28
    Logical-Linguistic Interpretation of Spinoza's Ethics by George Boole.M. Nuzzetti - 1993 - Metalogicon 2:125-130.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  49. added 2017-01-28
    George Boole. His Life and Work.Desmond Machale - 1989 - Journal of Symbolic Logic 54 (2):619-620.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  50. added 2017-01-28
    The Boole-De Morgan Correspondence 1842-1864.G. C. Smith - 1984 - Journal of Symbolic Logic 49 (2):657-659.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 265