TY - CHAP
T1 - Free logics
AU - Posy, Carl J.
PY - 2007
Y1 - 2007
N2 - Free logics carry Aristotelian logic's concern with existential commitment into the field of modern logic. They use both syntactic and semantic tools to analyze, to refine and ultimately to combat modern logic's own existential commitments; and they are extraordinarily sensitive to the modern view of logical form. Indeed, they and their applications are technical and philosophical heirs to the debates about singular predication and quantification that took place at the dawn of modern logic. Finally, though free logics traditionally developed in the extensional tradition, they in fact interact productively with modal and intuitionistic logics, the staples of modern logic's intensional stream.
AB - Free logics carry Aristotelian logic's concern with existential commitment into the field of modern logic. They use both syntactic and semantic tools to analyze, to refine and ultimately to combat modern logic's own existential commitments; and they are extraordinarily sensitive to the modern view of logical form. Indeed, they and their applications are technical and philosophical heirs to the debates about singular predication and quantification that took place at the dawn of modern logic. Finally, though free logics traditionally developed in the extensional tradition, they in fact interact productively with modal and intuitionistic logics, the staples of modern logic's intensional stream.
UR - http://www.scopus.com/inward/record.url?scp=67649429759&partnerID=8YFLogxK
U2 - 10.1016/S1874-5857(07)80013-6
DO - 10.1016/S1874-5857(07)80013-6
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???
AN - SCOPUS:67649429759
SN - 9780444516237
T3 - Handbook of the History of Logic
SP - 633
EP - 680
BT - The Many Valued and Nonmonotonic Turn in Logic
PB - Elsevier
ER -