Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Boole's syllogistic"'
Autor:
Enrique Alvarez-Fontecilla
Publikováno v:
Logica Universalis. 10:517-531
A novel theoretical formulation of Categorical Logic based on two properties of categorical propositions and three simple axioms has been introduced recently. This formulation allowed for the suppression of the distinction between immediate and media
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8cee13ce01cdbfa45e9810122148b921
https://doi.org/10.1007/s11787-016-0156-x
https://doi.org/10.1007/s11787-016-0156-x
Autor:
Martin Davis
Publikováno v:
the Universal Computer ISBN: 9781315144726
The Universal Computer: The Road from Leibniz to Turing
The Universal Computer: The Road from Leibniz to Turing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::920fbe8339275d9897412845704afa30
https://doi.org/10.1201/9781315144726-2
https://doi.org/10.1201/9781315144726-2
Autor:
Michael Emmett Brady
Publikováno v:
SSRN Electronic Journal.
Extensive preparation is required in order for a potential reader to be able to successfully read and understand Keynes’s analysis in his A Treatise on Probability, 1921. The crucial, prerequisite source is George Boole’s 1854 The Laws of Thought
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ae2556e84a21a7c47f534ce7a3b87c6
https://doi.org/10.2139/ssrn.2982250
https://doi.org/10.2139/ssrn.2982250
Autor:
Pierre Joray
Publikováno v:
History and Philosophy of Logic. 35:219-236
In his 1910 book On the principle of contradiction in Aristotle, Jan Łukasiewicz claims that syllogistic is independent of the principle of contradiction (PC). He also argues that Aristotle would have defended such a thesis in the Posterior Analytic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::873f858a9ad8d3b5ed6b1a6c88d7209b
https://doi.org/10.1080/01445340.2014.907976
https://doi.org/10.1080/01445340.2014.907976
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
https://doi.org/10.1080/01445340.2013.867144
Autor:
E. Alvarez, Manuel Correia
Publikováno v:
HISTORY AND PHILOSOPHY OF LOGIC
Artículos CONICYT
CONICYT Chile
instacron:CONICYT
Artículos CONICYT
CONICYT Chile
instacron:CONICYT
This paper presents a restructured set of axioms for categorical logic. In virtue of it, the syllogistic with indefinite terms is deduced and proved, within the categorical logic boundaries. As a result, the number of all the conclusive syllogisms is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59821d25b384acbbb2dbbaa96a67ec23
https://doi.org/10.1080/01445340.2012.680704
https://doi.org/10.1080/01445340.2012.680704
Autor:
Souleymane Bachir Diagne
Publikováno v:
Anthropological Theory. 10:62-66
This paper examines the history of algebraic logic as developed by German philosopher G.W. Leibniz (1646—1716) and British mathematician George Boole (1814—64). It shows the role and significance of the two numbers 0 and 1 in the newly created al
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26bab9ebc82add515fe37a30dba2b192
https://doi.org/10.1177/1463499610365356
https://doi.org/10.1177/1463499610365356
Publikováno v:
Repositorio EdocUR-U. Rosario
Universidad del Rosario
instacron:Universidad del Rosario
Universidad del Rosario
instacron:Universidad del Rosario
This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and Łukasiewicz's axiomatization of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4dac6215cedd7fe990ef34d91eca8043
https://doi.org/10.1080/01445340801976516
https://doi.org/10.1080/01445340801976516
Autor:
Raymond M. Smullyan
Publikováno v:
The Magic Garden of George B and Other Logic Puzzles
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4a7bf542dbbca4ae1438f0966f6141c
https://doi.org/10.1142/9789814675062_0022
https://doi.org/10.1142/9789814675062_0022
Autor:
Marko Malink
Publikováno v:
History and Philosophy of Logic. 27:95-141
Ever since Łukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this pape
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6eef7e5c78650ed78cd08efd3969462a
https://doi.org/10.1080/01445340500405130
https://doi.org/10.1080/01445340500405130