Visual Reasoning with Diagrams

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

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning.