A Contribution to the History of Propositional Calculus

Studia Logica 1 (1):253 (1953)
  Copy   BIBTEX

Abstract

The anonimous scholiumOn all forms of syllogism was copied in 1884 from the Paris Codex 2064 by E. Richter. In 1899 M. Wallies published it in the preface to Ammonius' commentary on the Prior Analytics of Aristotle. There appear in that scholium, apart from the complex figure of Galenos, other characteristic forms of inference.Among these forms I found five so-called non-demonstrable stoic syllogisms, three modifications of the law of transposition of which the third is not mentioned by the authors of Princ pia Mathematica, and a modification of the form of inference known as Euclid's law. This form of inference was applied by Euclid in mathematics and by Saccherius in syllogistics; it is mentioned for the first time by Cardan in a treatise of 1570 and later by Clavius in his commentary of 1574 on the Elements of Euclid and in the commentary on Theodosius'Sphaerica of the year 1586.In 1658 Erhard Weigel made the first attempt at refuting the logical law of Euclid as formulated by Cardan and Clavius and in 1686 James Bernoulli tried to prove it

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.

Analytics

Added to PP
2009-01-28

Downloads
30 (#519,519)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references