Between Logic and Reality: Modeling Inference, Action and Understanding

آیا واقعیت منطقی است و آیا منطق واقعی است؟ منشأ شهودهای منطقی چیست؟ نقش ساختارهای منطقی در عملیات یک ذهن هوشمند و در ارتباطات چیست؟ آیا کارکرد ساختار منطقی تنظیم‌کننده است یا سازنده یا هر دو در شکل‌گیری مفهوم؟

این جلد تحلیل‌هایی از رابطه منطق و واقعیت از رویکردها و دیدگاه‌های مختلف ارائه می‌کند. نقطه همگرایی در کشف ارتباطات بین واقعیت - اجتماعی، طبیعی یا ایده آل - و ساختارهای منطقی به کار رفته در توصیف یا کشف آن نهفته است. علاوه بر این، این کتاب نظریه منطقی را با مسائل ملموس تر عقلانیت، هنجارگرایی و درک مرتبط می کند، بنابراین به طیف گسترده ای از کاربردهای بالقوه اشاره می کند.

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

Is reality logical and is logic real? What is the origin of logical intuitions? What is the role of logical structures in the operations of an intelligent mind and in communication? Is the function of logical structure regulative or constitutive or both in concept formation?

This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality – social, natural or ideal – and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of rationality, normativity and understanding, thus pointing to a wide range of potential applications.

The papers collected in this volume address cutting-edge topics in contemporary discussions amongst specialists. Some essays focus on the role of indispensability considerations in the justification of logical competence, and the wide range of challenges within the philosophy of mathematics. Others present advances in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary and development of models of contractive speech act.