مرقاة مِرقاةُ المنطق

المتوسّط · حقلٌ من المنطق

الثورة الحديثة

فريغه ورسل وهلبرت: المنطقُ الرمزي وحُلمُ المنطقيِّين في اشتقاق الرياضيات نفسِها من المنطق.

المشكلة
أيمكن ردُّ الرياضيات كلِّها إلى منطقٍ خالص، على أساسٍ رمزيٍّ صريحٍ تمامًا؟
نقطةُ التحوّل
تدوينُ فريغه للمفاهيم: المسوِّراتُ والمتغيِّراتُ المربوطة تمنح، لأوّل مرّة، لغةً صوريةً تامّةً للمحمولات.
سؤالٌ مفتوح
بعد مفارقة رسل وغودل، ماذا بقي من حلم المنطقيِّين، وما الذي حلَّ محلَّه؟

المتون

  • Frege Begriffsschrift 1879
  • Whitehead & Russell Principia Mathematica 1910–13
  • Hilbert Grundlagen der Geometrie 1899

لدراسته

  • Dummett Frege: Philosophy of Language
  • Grattan-Guinness The Search for Mathematical Roots
→ عودةٌ إلى الطريق انظُره في الأطلس ←