Teaching Syllogistic Logic via a Retooled Venn Diagrammatical Technique

Autor: Robert James M. Boyles, Jeremiah Joven Joaquin

Publikováno v: Teaching Philosophy. 40:161-180

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5086fc3ce0e7d386c140c24ec51e2fed
https://doi.org/10.5840/teachphil201771767

On the Diagrammatic Representation of Existential Statements with Venn Diagrams

Autor: Amirouche Moktefi, Ahti-Veikko Pietarinen

Publikováno v: Journal of Logic, Language and Information. 24:361-374

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demon

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::66e30d5de17944b9ef7d809392d958fd
https://doi.org/10.1007/s10849-015-9228-1

Syllogistic logic with 'most'

Autor: Jörg Endrullis, Lawrence S. Moss

Publikováno v: Logic, Language, Information, and Computation ISBN: 9783662477083
WoLLIC
Endrullis, J & Moss, L S 2015, Syllogistic logic with “most” . in Logic, Language, Information and Computation-22nd International Workshop, WoLLIC 2015, Proceedings . vol. 9160, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9160, Springer/Verlag, pp. 124-139, 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015, Bloomington, United States, 20/07/15 . https://doi.org/10.1007/978-3-662-47709-0_10
Endrullis, J & Moss, L S 2019, ' Syllogistic logic with "Most" ', Mathematical Structures in Computer Science, vol. 29, no. 6, pp. 763-782 . https://doi.org/10.1017/S0960129518000312
Logic, Language, Information and Computation-22nd International Workshop, WoLLIC 2015, Proceedings, 9160, 124-139
Mathematical Structures in Computer Science, 29(6), 763-782. Cambridge University Press

We add Most X are Y to the syllogistic logic of All X are Y and Some X are Y. We prove soundness, completeness, and decidability in polynomial time. Our logic has infinitely many rules, and we prove that this is unavoidable.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0bbbe42f55b3e1a2a771143f3fa8a4f
https://doi.org/10.1007/978-3-662-47709-0_10

John Venn's Hypothetical Infinite Frequentism and Logic

Autor: Lukas M. Verburgt

Publikováno v: History and Philosophy of Logic. 35:248-271

The goal of this paper is to provide a detailed reading of John Venn's Logic of Chance (1866) as a work of logic or, more specifically, as a specific portion of the general system of so-called ‘material’ logic developed in his Principles of Empir

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7da03702bde3455ab2ea900f5300ef4c
https://doi.org/10.1080/01445340.2014.913351

Aristotle's Syllogistic and Core Logic

Autor: Neil Tennant

Publikováno v: History and Philosophy of Logic. 35:120-147

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoreti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6c8513201be946085e49c56a2d8ae402
https://doi.org/10.1080/01445340.2013.867144