Robert Kilwardby's Science of Logic

A Thirteenth-Century Intensional Logic
Erscheinungsjahr 2019
ISBN: 978-90-04-40846-3
Verlag: Brill

Buch, Englisch, Band 14, 310 Seiten, Format (B × H): 160 mm x 236 mm, Gewicht: 612 g

Reihe: Investigating Medieval Philosophy

Paul Thom’s book presents Kilwardby’s science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on that in virtue of which the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion of essence.

Thom interprets this science as a formal logic of intensions with its own proof theory and semantics. This comprehensive reconstruction of Kilwardby’s logic shows the medieval master to be one of the most interesting logicians of the thirteenth century.

Autoren/Hrsg.

Thom, Paul

Fachgebiete

• Geisteswissenschaften Philosophie Geschichte der Westlichen Philosophie Mittelalterliche & Scholastische Philosophie
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie

Inhaltsverzeichnis

Acknowledgements

List of Figures and Tables

Abbreviations

Introduction

1Logic as Science and Art

1 The Evolution of Logic

2 The Art of Logic

3 Branches of the Science of Logic

4 The Science of Logic as Sermocinal

5The Science of Logic Distinguished from Other Content in the Organon

6 Kilwardby’s Writings on Logic

7 Aspects of Kilwardby’s Thought

8 Formalisation

2 The Logic of Terms: Categories and Complex Terms

1 The Categories

2 Complex Terms

3 Formal Language

4 Models

5 Theorems

3The Logic of Terms: Relations between Terms

1 The Predicables

2 Genus and Species

3 Differentia

4 Proprium

5 Accident

6 Formal Analysis

7 Formal Language

8 Models

9 Truth in a Model

10 Postulates

11 Theorems

4 The Logic of Statements: Assertoric Statements

1 Propositions and Statements

2 Assertoric Statements

3 Truth

4 Ut nunc assertorics

5 Simpliciter Assertorics

6 Natural simpliciter Assertorics

7 Opposition and Equipollence

8 Conversion

9 Non-Aristotelian Consequences among Assertorics

10 Formal Analysis

11 Theorems

5 The Logic of Statements: Necessity and Possibility Statements

1 Modal Statements

2 Necessity Statements

3 Possibility Statements

4 Formal Analysis

5 Formal Language

6 Models

7 Theorems

6 The Logic of Statements: Contingency Statements

1 Unampliated Contingencies

2 Kilwardby’s Examples

3 Ampliated Contingencies

4 Kilwardby’s Rules for the Truth of Ampliated Contingency Statements

5 Kilwardby’s Examples

6 Formal Analysis

7 Theorems

7 The Logic of Inferences: Consequences

1 Consequences According to the Relations between Terms

2 Formal Consequences

3Pure Rules of Consequence

4Rules of Consequence and Conversion

5Rules of Consequence and Opposition

6Rules of Consequence, Opposition and Repugnance

7Rules of Consequence and Possibility

8Rules of Consequence and Assertion

9Rules of Consequence and Denial

10Essential Consequences

11Essential Consequence and Essential Inseparability

12Syllogistic Consequences

13Formal Analysis

14Truth Conditions

15Postulates

16Theorems

8The Logic of Inferences: Assertoric Syllogisms

1Syllogistic Figures and Moods

2Reduction

3Perfection

4Being Said of All

5Families of Syllogism

6Principles, Validity, Perfectibility

7Mixed ut nunc / simpliciter Inferences

8Summary

9Formal Analysis

10Generative Rules

11Theorems

9The Logic of Inferences: Necessity Syllogisms

1Family 3. The LLL Family

2Principles for LL Premises

3Being Said of All

4Reduction

5Summary

6Family 4. The LXlL Family

7Principles for L / Xl Premises

8Being Said of All

9Inferences Related to the Perfect Syllogisms

10Reduction

11Summary

12Formal Analysis

13Theorems

10The Logic of Inferences: Contingency Syllogisms

1Unrestricted Syllogistic Conversion in Family 3

2Unrestricted Syllogistic Conversion in Family 4

3Family 5. The Q’ Q’ Q’ Family

4Family 6. The QXlQ Family

5Family 7. The QLQ Family

6Formal Analysis

11The Logic of Inferences: Non-perfectible Inferences

1xq Premises

2Realised Modals

3Formal Analysis

4Envoi

References

Modern Author Index

Subject Index

Ancient an Medieval Author Index

Über Autor(innen)

Paul Thom, B.Phil. (Oxford), is Honorary Professor of Philosophy at the University of Sydney and a Fellow of the Australian Academy of Humanities. He has authored numerous books on the history of logic.