فلسفه علم

چکیده پُل جوزف سالومون بناسراف، استاد فلسفۀ ریاضیات دانشگاه پرینستون، در سال 2025 و در سن 93 سالگی درگذست. او با طرح مسئله‌هایی بنیادین، فلسفۀ ریاضیات را از بحثی صرفاً منطقی به مسئله‌ای عمیق در معرفت‌شناسی و متافیزیک تبدیل کرد. مقالات او ازجمله مهم‌ترین آثار فلسفۀ ریاضیات در قرن بیستم به شمار می‌روند و نقش مهمی در شکل‌گیری و گسترش دیدگاه «ساختارگرایی» در ریاضی دارند. دو مقاله که باعث شهرت جهانی او شد مورد بررسی قرار خواهند گرفت و واکنش دیگر فلاسفه به آنها، به صورت مختصر، مرور خواهند شد. بناسراف نتیجه گرفت که اعداد، هویت ذاتی مستقل ندارند؛ آنچه مهم است «نقش» آنها‌ در ساختار عددی است. او همچنین مسئله‌ای را مطرح کرد که بعدها به «مسئلۀ بناسراف» مشهور شد: این پرسش که چگونه انسان می‌تواند دربارۀ اشیای انتزاعیِ ریاضی شناخت داشته باشد.

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