Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

What follows from what, and how do we make statements (whether true or false) about which inferences are correct? In this book, Edwin Mares provides a new philosophical, semantical and historical analysis of and justification for the relevant logic of entailment. In the first half of the book he examines some key ideas in the historical development of the logic of entailment, looking in particular at the notion 'is derivable from' and at how symbolic logic has attempted to capture this notion. In the second half of the book he develops his own theory connecting ideas from the traditions in mathematical logic with some ideas in the philosophy of science. The book's fresh and original perspective on the logic of entailment will be valuable for all who want to know more about the historical and philosophical origins of modern symbolic logic.

Entailment (Logic)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Entailment (Logic) --- Consequentia (Logique) --- Logic

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the essential and accidental properties of a subject. Second, Aristotle's views on modal logic depend in very significant ways on his metaphysics without entailing any sacrifice in rigour. Third, once one has grasped the nature of the relationship, one can understand better certain genuine difficulties in the system of logic and appreciate its strengths in terms of the purposes for which it was created.

Logic --- Aristotle --- Modality (Logic) --- Logic, Ancient --- Metaphysics --- Essentialism (Philosophy) --- Entailment (Logic) --- Modalité (Logique) --- Logique ancienne --- Métaphysique --- Essence (Philosophie) --- Consequentia (Logique) --- History --- Histoire --- Aristotle. --- Essence (Philosophy) --- Modal logic --- Nonclassical mathematical logic --- Bisimulation --- God --- Ontology --- Philosophy --- Philosophy of mind --- Substance (Philosophy) --- Aristoteles. --- Aristoteles --- Contributions in relation of logic and metaphysics. --- Metaphysics. --- Aristote --- Aristotile --- Entailment (Logic). --- Essentialism (Philosophy). --- Modality (Logic). --- Modalité (Logique) --- Métaphysique --- Arts and Humanities