مشكلة التسوير في المنطق المعاصر

Abstract

عنوان الأطروحة هو: مشكلة التسوير في المنطق المعاصر- القضية الموجهة أنموذجا- عالجنا فيه الإشكالية التالية: هل يمكن قيام منطق موجه مسور؟ وما هو الأساس الفلسفي الذي يقوم عليه تأويل السوريين الكلي والجزئي؟ وللإجابة على هذه الإشكالية إعتمدنا على المنهج التحليلي و التاريخي فتطرقنا: في الفصل الأول لمشكلة تسوير القضايا في المنطق الصوري الحديث وفي الفصل الثاني إلى تسوير القضايا الموجهة و علاقة الجهة بالأسوار في المنطق التقليدي والمعاصر بينما خصصنا الفصل الثالث للتأويل الدلالي للأسوار ونظرية العوالم الممكنة. واستنتجنا في الأخير أن فكرة تسوير المنطق الموجه ليست فكرة معاصرة طرحت مع باركان ماركوز بل هي قديمة قدم المنطق الموجه استخدمها أرسطو و المناطقة المسلمين، بالإضافة إلى أن عملية تسوير المنطق الموجه عملية معقدة أدت إلى طرح مشاكل أنطولوجية، نتج عنها ظهور نظرية العوالم الممكنة، وبعدها نظرية السيناريو.

The problem of quantification in contemporary logic –Modal proposition- in which we dealt with the following problem: Can there be a quantified modal logic? What is the philosophical basis on which the universal quantifier and existential quantifier? We analyzed the problem of quantifier propositions and the function of quantifiers, and we talked about relationship of the modalities and quantifiers .Finally, We concluded that the quantified modal logic did not first appear with Barcan Marcuse but that appeared with Aristotle and the Muslim logicians, in addition, quantified modal logic is a complex process that led to the pose of ontological problems, which resulted in the emergence of the theory of possible worlds, and then the scenario theory.