The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today

در قرن گذشته، پیشرفت‌ها در ریاضیات، فلسفه، فیزیک، علوم کامپیوتر، اقتصاد و زبان‌شناسی برای توسعه منطق مهم ثابت شده است. هجوم ایده‌ها، نگرانی‌ها و سیستم‌های منطقی جدید وجود داشته است که منعکس‌کننده تنوع زیادی از وظایف استدلالی در علوم است. این جلد ماهیت چند بعدی تعامل بین منطق و علم را منعکس می کند. این مقاله مشارکت های دانشمندان برجسته جهان را تحت عناوین زیر ارائه می دهد:

- اثبات، دانش و محاسبات

- ارزش های حقیقت فراتر از دو ظرفیتی

- طبقه بندی- ساختارهای نظری

- بازی های استقلال، ارزیابی، و اطلاعات ناقص

- گفتگو و عمل شناسی

مطالب سرزندگی دیدگاه های مدرن در فلسفه منطق و ریاضیات را نشان می دهد. رشد این رشته را نشان دهد. روندهای جدید، تحولات احتمالی برای تحقیق و موضوعات جدیدی را که معمولاً در دستور کار استاندارد فلسفه منطق و ریاضیات مطرح نمی شوند، توصیف می کند. این پارتیشن های کلاسیک سفت و سخت را به یک میدان بازتر برای بداهه تبدیل می کند.

In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings:

- Proof, Knowledge and Computation

- Truth Values beyond Bivalence

- Category-Theoretic Structures

- Independence, Evaluation Games, and Imperfect Information

- Dialogue and Pragmatics

The contents exemplify the liveliness of modern perspectives on the philosophy of logic and mathematics and demonstrate the growth of the discipline. It describes new trends, possible developments for research and new issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It transforms rigid classical partitions into a more open field for improvisation.