Articulating Medieval Logic

ISBN-13: 9780199688845 / Angielski / Twarda / 2014 / 352 str.

Terence Parsons

Opis

Terence Parsons presents a new study of the development and logical complexity of medieval logic. Basic principles of logic were used by Aristotle to prove conversion principles and reduce syllogisms. Medieval logicians expanded Aristotle's notation in several ways, such as quantifying predicate terms, as in 'No donkey is every animal', and allowing singular terms to appear in predicate position, as in 'Not every donkey is Brownie'; with the enlarged notation come additional logical principles. The resulting system of logic is able to deal with relational expressions, as in De Morgan's puzzles about heads of horses. A crucial issue is a mechanism for dealing with anaphoric pronouns, as in 'Every woman loves her mother'. Parsons illuminates the ways in which medieval logic is as rich as contemporary first-order symbolic logic, though its full potential was not envisaged at the time. Along the way, he provides a detailed exposition and examination of the theory of modes of common personal supposition, and the useful principles of logic included with it. An appendix discusses the artificial signs introduced in the fifteenth century to alter quantifier scope.

Recenzje

logic

O autorze

Terence Parsons was born and raised in Endicott, New York. He attended the University of Rochester as a physics major, receiving a BA degree. He received a PhD in Philosophy from Stanford University. He was a full time faculty member at the University of Illinois at Chicago from 1965 to 1972, at the University of Massachusetts at Amherst from 1972 to 1979, at the University of California at Irvine from 1979 to 2000, and at the University of California at Los Angeles from 2000 to 2012. He also visited briefly at the University of California at Berkeley and the University of Pittsburgh.