Medieval Formal Logic: Obligations, Insolubles and Consequences

موضوعات محوری در منطق قرون وسطایی در اینجا به گونه‌ای مورد بررسی قرار می‌گیرند که برای خواننده مدرن سازگار باشد، بدون اینکه اعتبار تاریخی به خطر بیفتد. دستاوردهای منطق قرون وسطایی در دسترس عموم فلسفی وسیع تری از خود قرون وسطایی ها قرار می گیرد. سه ژانر logica moderna که در قرون وسطی متأخر پدید آمدند، تحت پوشش قرار می‌گیرند: تعهدات، نامحلول‌ها و پیامدها - اولین باری است که با آنها به‌گونه‌ای یکپارچه برخورد می‌شود. مقالات مربوط به تعهدات به نقش سازگاری منطقی در تکنیک های بحث قرون وسطایی می پردازد. آنهایی که روی مواد نامحلول هستند، روی راه حل های قرون وسطایی برای پارادوکس دروغگو تمرکز می کنند. همچنین گزارشی سیستماتیک از چگونگی توصیف نویسندگان قرون وسطایی محتوای منطقی یک استنتاج و اینکه چگونه فکر می‌کردند اعتبار یک استنتاج را می‌توان تضمین کرد، وجود دارد.

Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements of medieval logic are made available to a wider philosophical public then the medievalists themselves. The three genres of logica moderna arising in a later Middle Ages are covered: obligations, insolubles and consequences - the first time these have been treated in such a unified way. The articles on obligations look at the role of logical consistence in medieval disputation techniques. Those on insolubles concentrate on medieval solutions to the Liar Paradox. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.