The Logic of Essentialism: An Interpretation of Aristotle's Modal Syllogistic (Paperback, Softcover Repri)

0 Entering the Realm of Darkness.- One. Elementary Synta.- 1 Elementary forms.- 2 Modal opposition.- 2.1 Necessity- and possibility-forms.- 2.2 Necessity- and contingency-forms.- 3 Transformation rules: Substitution, Permutation, Reductio and Cut.- 3.1 Substitution.- 3.2 Permutation.- 3.3 Indirect Reduction.- 3.4 Cut.- 4 Transformation rules: Contraction, Ecthesis.- 4.1 Contraction.- 4.2 Ecthesis.- 5 Transformation rules: modal reductio.- Two. Axioms.- 6 Axioms: X and L axioms.- 6.1 X axioms.- 6.2 L axioms.- 6.2.1 Pure L axioms.- 6.2.2 L-X axioms.- 7 Axioms: Q axioms.- 7.1 Pure Q axioms.- 7.2 Q-X axioms.- 7.3 Q-L axioms.- 8 Axioms: Q', M and X' axioms.- 8.1 Q' axioms.- 8.2 M axioms.- 8.3 'Unqualified' assertoric axioms.- Three. Theses.- 9 Necessity moods.- 9.1 Pure L theses.- 9.2 L-X theses.- 10 Unampliated contingency moods.- 10.1 Q-X theses.- 10.2 Q-L theses.- 10.2.1 First Figure.- 10.2.2 Second Figure.- 10.2.3 Third Figure.- 11 Ampliated contingency moods.- 12 Possibility moods.- 12.1 First Figure.- 12.2 Second Figure.- 12.3 Third Figure.- 13 'Unqualified'moods.- 13.1 First Figure.- 13.2 Second Figure.- 13.3 Third Figure.- Four. Rejections.- 14 Necessity moods.- 14.1 Rejected L-X moods: First Figure.- 14.2 Rejected L-X moods: Second Figure.- 14.3 Rejected L-X moods: Third Figure.- 15 Unampliated contingency moods.- 15.1 Rejected 1-premissed Q moods.- 15.2 Rejected 2-premissed Q-X moods.- 15.2.1 Rejected Q-X moods: First Figure.- 15.2.2 Rejected Q-X moods: Second Figure.- 15.2.3 Rejected Q-X moods: Third Figure.- 15.3 Rejected Q-L moods.- 15.3.1 Rejected Q-L moods: First Figure.- 15.3.2 Rejected Q-L moods: Second Figure.- 15.3.3 Rejected Q-L moods: Third Figure.- 16 Ampliated contingency moods.- 16.1 Rejected Q' moods: First Figure.- 16.2 Rejected Q' moods: Second Figure.- 16.3 Rejected Q' moods: Third Figure.- 17 Possibility and 'unqualified' moods.- Five. Flaws in the Fabric.- 18 Incidental mistakes.- 18.1 Barbara XLL and the Hintikka Formulae.- 18.2 Datisi XLL, Disamis LXL and necessarily awake bipeds.- 18.3 QiLo-1, QoLo-1 and necessarily non-white men.- 18.4 QaLaLo-2, QeLaLo-2 and negative conclusions from affirmative premisses.- 18.5 QaLe-3, QeLe-3 and necessarily sleeping horses.- 18.6 Barbara X'QM and 'unqualified' assertorics.- 19 Substantial mistakes.- 19.1 QaLaXe-2 and negative conclusions from affirmative premises.- 19.2 Barbara XQM and ephemeral contingencies.- 20 Inconsistencies.- 20.1 Baroco XLL, Bocardo LXL and ecthesis.- 20.2 Q-opposition and Qi-conversion.- Six. System AL.- 21 Assertoric forms.- 22 Necessity forms.- 22.1 Formal semantics.- 22.2 The Sun set Theorem.- 22.3 Validity of the axioms.- 22.4 Invalidity of the axiomatic rejections.- 22.5 Corollaries.- 23 Adding C,K,U and T.- 24 Reduction to assertoric syllogistic.- 25 Alternative de re approaches: base.- 25.1 Existence assumptions.- 25.2 Sun set assumptions.- 26 Alternative de re approaches: superstructure.- 26.1 Superstructure A.- 26.2 Superstructure AA.- 26.3 Superstructure C.- 26.4 Superstructure CC.- 27 Alternative approaches: de dicto theories.- 27.1 Pure de dicto theories.- 27.2 Mixed de dicto/de re theories.- Seven. Systems AQ and AQ'.- 28 Unampliated contingency-forms.- 28.1 Formal semantics.- 28.2 Validity of the axioms.- 28.3 Invalidity of the axiomatic rejections.- 28.3.1 First Figure.- 28.3.2 Second Figure.- 28.3.3 Third Figure.- 28.4 Corollaries.- 29 Ampliated contingency-forms.- 29.1 Formal semantics.- 29.2 Validity of the axioms.- 29.3 Invalidity of the axiomatic rejections.- 29.4 Corollaries.- 30 The relation of ampliated to unampliated systems.- 31 Reduction to assertoric syllogistic.- 32 Alternative de re approaches.- 32.1 Superstructure A.- 32.2 Superstructure AA.- 32.3 Superstructure C.- 32.4 Superstructure CC.- 32.5 Comparing superstructures.- 33 Alternative approaches: de dicto theories.- Eight. System AX'.- 34 Unqualified assertorics.- 35 System AX'.- 36 Reduction to assertoric syllogistic.-