خرید و دانلود نسخه کامل کتاب Free Logic: A Generalization

توضیحاتی در مورد کتاب

منطق کلاسیک فرض می کند که نام ها یکپارچه هستند: هر نام دقیقاً به یک فرد موجود اشاره دارد. این اصل تکیوگرایی دارای دو بخش است: یک فرض وجود و یک فرض منحصر به فرد. فرض وجود معتقد است که هر نامی حداقل به یک فرد خاص اشاره دارد ، و فرض منحصر به فرد بیان می کند که هر نام حداکثر یک فرد به آن اشاره دارد. سیستم های مختلف منطق آزاد که از دهه 1960 توسعه یافته و مورد مطالعه قرار گرفته اند ، فرض وجود را آرام می کنند ، اما فرض منحصر به فرد را حفظ می کنند. کار حاضر به بررسی نقض هر دو نیمه از اصل یکنواختی می پردازد. یعنی ، در حالی که منطق رایگان که از دهه 1960 ایجاد شده است ، “رایگان” نامیده می شوند زیرا عاری از فرضیات وجودی هستند ، عنصر فعلی این ایده را تعمیم می دهد ، برای مطالعه منطق که عاری از فرضیات منحصر به فرد هستند. ما چندین نسخه از منطق آزاد را بررسی می کنیم و مزایا و معایب آنها را مقایسه می کنیم. کاربردهای منطق رایگان در سایر زمینه های فلسفه مورد بررسی قرار گرفته است.