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

المتقدّم · حقلٌ من المنطق

منطق الجهات

الضرورةُ والإمكان، مُحكَمتَين بدلالةِ العوالم الممكنة عند كريبكي، ومعهما أخواتُها: المنطقُ الزمني والمعرفي والإلزامي.

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

المتون

  • Kripke Semantical Considerations on Modal Logic 1963
  • Lewis Counterfactuals

لدراسته

  • Chellas Modal Logic: An Introduction
  • Hughes & Cresswell A New Introduction to Modal Logic
  • Blackburn, de Rijke & Venema Modal Logic