بول بن الصراف أو بإسمه الكامل بول جوزيف سالومون بن الصراف ( Paul Joseph Salomon Benacerraf) (ولد سنة 26 مارس 1931 في باريس) هو فيلسوف يهودي أمريكي-فرنسي من أصل مغربي يهتم بشكل أساسي بفلسفة الرياضيات. وهو مهتم أيضًا بالمنطق ، ونظرية المعرفة ، والميتافيزيقيا ، وفلسفة اللغة.
وهو شقيق باروخ بن الصراف (1921-2011) ، عالم المناعة و الحائز على جائزة نوبل في الطب في عام 1980.
حياته وعمله
يعتبر بول من السفارديين الذين هاجر آبائهم من المغرب إلى فرنسا ونشأ في باريس.و هو أستاذ فخري للفلسفة في جامعة برينستون.
اشتهر بمقالاته "ما هي الأرقام التي لا يمكن أن تكون (1965)" وبالإصدار المشترك لفلسفة الرياضيات: "قراءات مختارة" مع هيلاري بوتنام. و عرف أيضا كمنتقد للأفلاطونية. في عام 1998 تم انتخابه في الأكاديمية الأمريكية للفنون والعلوم.
العمل الفلسفي
في "ما لا يمكن أن تكون الأرقام (1965)" ، يجادل بن الصراف ضد الأفلاطونيين ، فهي أكثر من مجرد مجردة ، على وجه الخصوص، ويستند هذا الرأي على نقطة لم "إرنست تسيرميلو" و"جون فون نيومان" إعطاء متميزة، واتصل تماما الكافي، التعرف على الأعداد الطبيعية مع مجموعات (وهذا ما يسمى حجة تحديد المشكلة ).
في "الحقيقة الرياضية" (1973) ، يجادل بأنه لا يوجد شيء اسمه حزمة مرضية من المعرفة والنظرية ؛ فمن الممكن لشرح الحقيقة الرياضية بطريقة لم يتفق مع شركائنا في المعاملة "syntactico semantical" من الحقيقة في لغة غير الرياضية، وأنه من الممكن أن يفسر معرفتنا الرياضيات من حيث تتفق مع حساب سببية من نظرية المعرفة، وإنما هو من غير الممكن تحقيق كل من هذه الأهداف في وقت واحد (هذه هي المشكلة المعرفية بيناكراف). ولأنها خاملة سببيًا وبعيدًا عن متناول إدراك الحس ، فإنه يجادل بأن وجود كائنات رياضية مجردة ، ولكن هذه الأشياء لا يمكن الوصول إليها من الناحية المعرفية. من ناحية أخرى ، نظرية المعرفة كافية من الرياضيات.
المنشورات
- Benacerraf, Paul (1960) Logicism, Some Considerations, Princeton, Ph.D. Dissertation, University Microfilms.
- Benacerraf, Paul (1965) "What Numbers Could Not Be", The Philosophical Review, 74:47-73.
- Benacerraf, Paul (1967) "God, the Devil, and Gödel", The Monist, 5l: 9-33.
- Benacerraf, Paul (1973) "Mathematical Truth", The Journal of Philosophy, 70: 661-679.
- Benacerraf, Paul (1981) "Frege: The Last Logicist", The Foundations of Analytic Philosophy, Midwest Studies in Philosophy, 6: l7-35.
- Benacerraf, Paul (1985) "Skolem and the Skeptic", Proceedings of the Aristotelian Society, Supplementary Volume 56: 85-ll5.
- Benacerraf, Paul and Putnam, Hilary (eds.) (1983) Philosophy of Mathematics : Selected Readings 2nd edition, Cambridge University Press: New York.
- Benacerraf, Paul (1996) "Recantation or Any old ω-sequence would do after all", Philosophia Mathematica, 4: 184-189.
- Benacerraf, Paul (1996) What Mathematical Truth Could Not Be - I, in Benacerraf and His Critics, A. Morton and S. P. Stich, eds., Blackwell's, Oxford and Cambridge, pp 9–59.
- Benacerraf, Paul (1999) What Mathematical Truth Could Not Be - II, in Sets and Proofs, S. B. Cooper and J. K. Truss, eds., Cambridge University Press, pp. 27–51.