لایب سان

This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics.

Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge that reflect recent developments in the field, such as issues concerning the logic of conditionals and the role played by visual elements in some mathematical proofs.

Featuring leading figures from experimental philosophy and the fields of philosophy of logic and mathematics, this collection reveals that empirical work in these disciplines has been quietly thriving for some time and stresses the importance of collaboration between philosophers and researchers in mathematics education and mathematical cognition.

چکیده فارسی

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

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

این مجموعه با حضور چهره‌های برجسته از فلسفه تجربی و حوزه‌های فلسفه منطق و ریاضیات، نشان می‌دهد که کارهای تجربی در این رشته‌ها برای مدتی بی‌سروصدا رونق داشته است و بر اهمیت همکاری فیلسوفان و محققان در آموزش ریاضیات و ریاضیات تأکید می‌کند. شناخت.