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

246 found
Order:
1 — 50 / 246
  1. O VI Encontro Internacional de Cultura Europeia: Bolzano, 28 de Agosto-2de Setembro.L. A. De - 1963 - Revista Portuguesa de Filosofia 19 (2):188-189.
  2. Lewis Carroll's Visual Logic.Francine Abeles - 2007 - History and Philosophy of Logic 28 (1):1-17.
    John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3. Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.
    Charles L. Dodgson's reputation as a significant figure in nineteenth-century logic was firmly established when the philosopher and historian of philosophy William Warren Bartley, III published Dodgson's ?lost? book of logic, Part II of Symbolic Logic, in 1977. Bartley's commentary and annotations confirm that Dodgson was a superb technical innovator. In this paper, I closely examine Dodgson's methods and their evolution in the two parts of Symbolic Logic to clarify and justify Bartley's claims. Then, using more recent publications and unpublished (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4. Kategoryczność Przeliczalnych Bezatomowych Pierścieni Boole'a.A. Abian - 1972 - Studia Logica 30 (1):68-68.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  5. 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  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Frege and His Groups.Tuomo Aho - 1998 - History and Philosophy of Logic 19 (3):137-151.
    Frege's docent's dissertation Rechnungsmethoden, die sich auf eine Erweiterung des Grössenbegriffes gründen(1874) contains indications of a bold attempt to extend arithmetic. According to it, arithmetic means the science of magnitude, and magnitude must be understood structurally without intuitive support. The main thing is insight into the formal structure of the operation of ?addition?. It turns out that a general ?magnitude domain? coincides with a (commutative) group. This is an interesting connection with simultaneous developments in abstract algebra. As his main application, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Logic as Instrument: The Millian View on the Role of Logic.Ken Akiba - 1996 - History and Philosophy of Logic 17 (1-2):73-83.
    I interpret Mill?s view on logic as the instrumentalist view that logical inferences, complex statements, and logical operators are not necessary for reasoning itself, but are useful only for our remembering and communicating the results of the reasoning. To defend this view, I first show that we can transform all the complex statements in the language of classical first-order logic into what I call material inference rules and reduce logical inferences to inferences which involve only atomic statements and the material (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. La Teoria Delle Relazioni Nell'algebra Della Logica Schroderiana.Chiara Ambrosio - 2009 - History and Philosophy of Logic 30 (2):193-194.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9. Proprietà Delle Funzioni Simmetriche Elementari Nel Algebre di Boole E Nel Algebre Dei Livelli.Giulio Andreoli - 1973 - Journal of Symbolic Logic 38 (1):153-154.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  10. Funzioni Simmetriche, Involuzioni Ed N-Adi in un'Algebra di Boole.Giulio Andreoli - 1970 - Journal of Symbolic Logic 35 (4):592-592.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  11. Peirce's Truth-Functional Analysis and the Origin of the Truth Table.Irving H. Anellis - 2012 - History and Philosophy of Logic 33 (1):87 - 97.
    We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand of Ludwig (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12. Theology Against Logic: The Origins of Logic in Old Russia.Irving H. Anellis - 1992 - History and Philosophy of Logic 13 (1):15-42.
    We consider the history of logic in pre-Petrine. Petrine. and immediate post-Pctrine Russia (from the 15th to the mid-18th centuries) and especially of the Petrine era from the late 17th to early 18th century. Throughout much of this time, the clergy evinced strong hostility towards logic. Nevertheless, a small number of academics and clerics such as Stefan Iavorskii and Fcofan Prokopovich kept Aristotelian logic alive during this period and provided the foundation for its development in the modern era.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. On Identity and Interchangeability in Leibniz and Frege.Ignacio Angelelli - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):94-100.
  14. Note on Frege's Begriffsschrift.Ignacio Angelelli & Terrell Ward Bynum - 1966 - Notre Dame Journal of Formal Logic 7 (4):369-370.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  15. Context Principle, Fruitfulness of Logic and the Cognitive Value of Arithmetic in Frege.Marco Antonio Ruffino - 1991 - History and Philosophy of Logic 12 (2):185-194.
    I try to reconstruct how Frege thought to reconcile the cognitive value of arithmetic with its analytical nature. There is evidence in Frege's texts that the epistemological formulation of the context principle plays a decisive role; it provides a way of obtaining concepts which are truly fruitful and whose contents cannot be grasped beforehand. Taking the definitions presented in the Begriffsschrift,I shall illustrate how this schema is intended to work.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16. A Survey of the Life of Hugh MacColl (1837-1909).Michael Astroh, Ivor Grattan-Guinness & Stephen Read - 2001 - History and Philosophy of Logic 22 (2):81-98.
    The Scottish logician Hugh MacColl is well known for his innovative contributions to modal and nonclassical logics. However, until now little biographical information has been available about his academic and cultural background, his personal and professional situation, and his position in the scientific community of the Victorian era. The present article reports on a number of recent findings.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17. 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  
     
    My bibliography  
  18. Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  19. An Essay on the New Analytic of Logical Forms.T. Spencer Baynes - 1850 - New York: B. Franklin.
    NEW ANALYTIC OF LOGICAL FORMS. THE main principle on which the new Analytic of Logical Forms proceeds is that of a thorough-going quantification of ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  20. Is Russell's Antinomy Derivable in Bolzano's Logic? In Bolzano-Studien.J. Berg - 1987 - Philosophia Naturalis 24 (4):406-413.
  21. "Bolzano's" Theory of Science Proper".K. Berka - 1998 - Filosoficky Casopis 46 (6):931-947.
  22. Contemporary State of Research on Bolzano.K. Berka - 1976 - Filosoficky Casopis 24 (5):705-720.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  23. Die transzendentale Argumentation in der Transzendentalen Logik Fichtes.Alessandro Bertinetto - 2007 - Fichte-Studien 31:255-265.
  24. Die Grundbeziehung von »Leben« und »Sehen« in der ersten Transzendentalen Logik Fichtes.Alessandro Bertinetto - 2003 - Fichte-Studien 20:203-213.
  25. Kneale William. Boole and the Revival of Logic. Mind, N.S. Vol. 57 , Pp. 149–175.Eveht W. Beth - 1949 - Journal of Symbolic Logic 14 (1):61.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Hundred Years of Symbolic Logic. A Retrospect on the Occasion of the Boole De Morgan Centenary.Evert W. Beth - 1949 - Journal of Symbolic Logic 14 (1):61-62.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  27. Review: William Kneale, Boole and the Revival of Logic. [REVIEW]Evert W. Beth - 1949 - Journal of Symbolic Logic 14 (1):61-61.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. The Evolution of Ideas l'Évolution Des Idées Zur Ideengeschichte Hundred Years of Symbolic Logic a Retrospect on the Occasion of the Boole de Morgan Centenary.Evert W. Beth - 1947 - Dialectica 1 (4):331-346.
    SummaryThe germs of future development, contained in Aristotle's logical works, are indicated, and their influence on the later evolution of logic is explained.The history of symbolic logic since Boole's Mathematical analysis and De Morgan's Formal logic, both of which were published in 1847, is divided into four approximately subsequent phases, viz.:1. algebra of logic; this phase is characterized by Boole's work;2. logical foundation of mathematics; this phase is characterized by Frege's, Peano's and Russell's work, by the discovery of the antonomies (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29. Propositions Et États de Choses Chez Twardowski.Arianna Betti - 2005 - Dialogue 44 (3):469-492.
    Sur le contenu et l’objet des représentations (1894) de Kazimierz Twardowski est un des textes les plus influents de la tradition autrichienne. Le manuscrit Logik (1894-1895) complète ce dernier et nous permet entre autres de reconstruire la théorie du jugement de Twardowski. Ces textes soulèvent plusieurs questions, en particulier si Twardowski acceptait les notions de propositions et d’etats de choses, et si sa théorie est acceptable. Cet article presente la théorie de Twardowski, montre qu’il acceptait les états de choses, qu’il (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30. The Road From Vienna to Lvov: Twardowski's Theory of Judgement Between 1894 and 1897.Arianna Betti & Maria van der Schaar - 2004 - Grazer Philosophische Studien 67 (1):1-20.
    In several manuscripts, written between 1894 and 1897, Twardowski developed a new theory of judgement with two types of judgement: existential and relational judgements. In Zur Lehre he tried to stay within a Brentanian framework, although he introduced the distinction between content and object in the theory of judgement. The introduction of this distinction forced Twardowski to revise further Brentano'stheory.His changes concerned judgements about relations and about non-present objects. The latter are considered special cases of relational judgements. The existential judgements (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  31. 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  
     
    My bibliography  
  32. 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  
     
    My bibliography  
  33. 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  
     
    My bibliography  
  34. Studies in Logic and Probability.George Boole - 1952 - Dover Publications.
    Appropriate for upper-level undergraduates and graduate students, this volume includes a variety of Boole's writings on logical subjects, along with papers on related questions of probability. His earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes Boole made on his own interleaved copy. In addition, the appendices contain relevant papers by contemporaries with whom the author engaged in discussion, making it possible to trace interesting developments in Boolean reasoning-particularly in regard to his extended (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  35. George Boole's Collected Logical Works.George Boole - 1916 - Open Court.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  36. 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.
  37. George Boole Selected Manuscripts on Logic and its Philosophy.George Boole, I. Grattan-Guinness & Gérard Bornet - 1997
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  38. George Boole's Collected Logical Works [Ed. By P.E.B. Jourdain]. The Laws of Thought.George Boole & Philip Edward B. Jourdain - 1916
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  39. Review: Waclaw Sierpinski, Algebre des Ensembles. [REVIEW]Alfons Borgers - 1968 - Journal of Symbolic Logic 33 (2):292-292.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  40. A Note on John Venn as a Collector and Bibliographer of Works on Logic.Terry Boswell - 1995 - History and Philosophy of Logic 16 (1):121-125.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41. BOOLE, G. - Collected Logical Works; Vol. II. Laws of Thought: Ed. P. E. B. Jourdain. [REVIEW]C. D. Broad - 1917 - Mind 26:81.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  42. George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.
    The deductive system in Boole's Laws of Thought (LT) involves both an algebra, which we call proto-Boolean, and a "general method in Logic" making use of that algebra. Our object is to elucidate these two components of Boole's system, to prove his principal results, and to draw some conclusions not explicit in LT. We also discuss some examples of incoherence in LT; these mask the genius of Boole's design and account for much of the puzzled and disparaging commentary LT has (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. George Boole.Stanley Burris - 2010 - Stanford Encyclopedia of Philosophy.
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  44. The Horn Theory of Boole's Partial Algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
    This paper augments Hailperin's substantial efforts to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  45. 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  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  46. La teoria della quantificazione del predicato di William Hamilton e la rinascita della logica.Dino Buzzetti - 1973 - Rivista di Filosofia 64 (4):295-337.
    Sir William Hamilton's theory of the quantification of the predicate is presented and discussed with reference to the contemporary debate on logic.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  47. 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   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48. Quelques Résultats Sur L'Application de l'Algèbre de Boole À la Synthèse des Circuits À Relais.Claude Cardot - 1959 - Journal of Symbolic Logic 24 (3):260-261.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  49. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole.Walter Carnielli - 2007 - In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer. pp. 349--364.
    Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Russell's Divine Ancestors.Dermot Cassidy - 2007 - History and Philosophy of Logic 28 (2):123-132.
    Russell alleged that the version of the cosmological argument he debated with Copleston involved type confusions, but the definitions of plural descriptive functions and the ancestral in Principia Mathematica can be used to reformulate the argument in a type-safe way via a notion of causally self-sufficient classes. Although the argument depends on the assumption that the class of contingent things is not causally self-sufficient, if that assumption is weakened to say only that it may not be so, then a new (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 246