Ancient Formal Logic by Joseph M. Bocheński

By Joseph M. Bocheński

Show description

Read or Download Ancient Formal Logic PDF

Similar logic & language books

Epistemetrics

Whilst this publication was once initially released in 2006, Epistemetrics used to be now not as but a scholarly self-discipline. in regards to medical details there has been the self-discipline of scientometrics, represented through a magazine of that very identify. technology, besides the fact that, had a monopoly on wisdom. even though it is one among our most crucial cognitive assets, it isn't our just one.

The Paradox of Self-Amendment: A Study of Logic, Law, Omnipotence, and Change

The 1st full-length research of self-reference and paradox in legislations, this ebook will intrigue and educate someone drawn to legislations, common sense, philosophy, or political idea. background exhibits that self-amendment - for instance, using a constitution's amending clause to amend itself - is typical; felony research exhibits it to be lawful, no matter if (as a few logicians have alleged) it really is self-contradictory; and philosophical research exhibits it to be foundational for legality.

Against the Current: Selected Philosophical Papers

The current number of seventeen papers, so much of them already released in foreign philosophical journals, offers either with matters within the philosophy of common sense, the philosophy of arithmetic, the philosophy of language and epistemology. the 1st half comprises severe tests and just a little deviant renderings of the paintings of 2 seminal philosophers, Frege and Husserl, in addition to of the younger Carnap and Kripke.

Symbolic Logic An Introduction

This publication is meant either as a textbook in symbolic common sense for
undergraduate and graduate scholars and as a treatise on the founda-
tions of common sense. a lot of the cloth was once constructed in an under-
graduate path given for a few years in Yale collage. The
course was once basically a primary path in good judgment for college kids interested
in technological know-how. Many replacement units and techniques of presentation
were attempted. these integrated listed below are the ones that appeared most
successful.

Extra info for Ancient Formal Logic

Example text

A 4, 26 a 23g. - 27 ib. 258. - 28 An. Pr. 5, 27 a 58. - 29 ib. 9-14. - 30 ib. 32f. - 31ib. 37f. - azAn. Pr. ; A 7, 2 9 a 37f. - 3 3 i i b . - 34 An. Pr. ; actually: ‘ M a s . SiPI. - 35 ib. 11; actually: ‘MiS. M a p . Sip’. - ib. 17g. ; actually : ‘Mas. SOP’. - 87 ib. 33f. - 38 An. Pr. A 7 , 29 a 238. 24 FORMAL LAWS O F ASSERTORIC SYLLOGISTICS * 9. 67. * 9. 68. * 9. 69. 3. 3. PeS 53 (Baralipton) (Dabitis) (Celantes) 39 It is worth while to note, however, that assuming the Aristotelian theory of the major and minor term (ch.

E. by reduction to absurdity. We shall not reproduce his arguments which seem to be all fallacious and which simply could not have been stated in l9 A n . Pr. A 46, 51 b 36fl. - 2o Met. r 6, 1011 b l 5 f . - 21 Met. r3, 1005 b 238. - 22 Lukasiewicz, Der Satz, 17; Selamucha, 7 5 . - 23 T o p . B 7,113 a 22f. - 24 De Int. ; 10,20 a 168. - a5 Met. F 5, 1009 a 35f. 2o Met. r 4, 1005 b 19-23. 40 ARISTOTLE that form later on, as they contain the petitio principii and other errors. ;oEc cbxrj) 28. I n fact the opposite is thought in the An.

42. SaP 3 P i s 2o Proof: if not 9. 42, then we have ‘Sap1 and r- PiS1; this gives (by 9. 27) rPeS1; out of which we obtain by 9 . 4 1 rSeP1 and further on, (by 9. 0. the negation of the ‘Sap1 assumed. The law ( p3q) 3 p q1 is used here. s i p 3 P i s 21 * 9. 43. The proof is similar to the above, only 9. 24 is used instead of 9. 23. It has sometimes been said that the proof of 9. 41 supposes 9. 43, but this is not the case. The central step is based on laws concerning individual names: 8. 31, 8.

Download PDF sample

Rated 5.00 of 5 – based on 7 votes