We consider the modality “ $\varphi $ is true in every $\sigma $ -centered forcing extension,” denoted $\square \varphi $, and its dual “ $\varphi $ is true in some $\sigma $ -centered forcing extension,” denoted $\lozenge \varphi $, which give rise to the notion of a principle of $\sigma $ -centered forcing. We prove that if ZFC is consistent, then the modal logic of $\sigma $ -centered forcing, i.e., the ZFC-provable principles of $\sigma $ -centered forcing, is exactly $\mathsf (...) {S4.2}$. We also generalize this result to other related classes of forcing. (shrink)

We investigate iterating the construction of $C^{*}$, the L-like inner model constructed using first order logic augmented with the “cofinality $\omega $ ” quantifier. We first show that $\left (C^{*}\right )^{C^{*}}=C^{*}\ne L$ is equiconsistent with $\mathrm {ZFC}$, as well as having finite strictly decreasing sequences of iterated $C^{*}$ s. We then show that in models of the form $L[U]$ we get infinite decreasing sequences of length $\omega $, and that an inner model with a measurable cardinal is required for that.

This book takes us far beyond the usual focus of comparative law with analysis of a broad range of jurisdictions, including mixtures of common and civil law, and also those mixing Islamic and/or traditional legal systems with those derived from common and/or civil law traditions. The discussion is situated within the broader context of the continuing tides of globalization, the emergence of Islamic governments in some parts of the Middle East, the calls for a legal status for Islamic law in (...) some European countries, and the increasing focus on traditional and customary norms of governance in post-colonial contexts. (shrink)

Ghazzālī; 1058-1111; Ibn Taymīyah, Aḥmad ibn ʻAbd al-Ḥalīm, 1263-1328; criticism and interpretation; Islam; doctrines.

Morocco; Andalusia (Spain); intellectual life; philosophy; history.

Philosophy, Arab; Arab countries; intellectual life; 20th century.

صدر عن المركز العربي للأبحاث ودراسة السياسات كتاب المنطق الإسلامي: حضور المنطق الأرسطي لدى مفكري المشرق الإسلامي، وهو من تأليف محمد بن يعيش. يقع الكتاب في 272 صفحة، شاملةً ببليوغرافيا وفهرسًا عامًّا. أمام ما يعرِّفه مؤلفُ الكتاب بـ "حقيقتين تاريخيتين"؛ هما أوّلًا: كثرة من اشتغلوا بعلم المنطق في الحضارة العربية الإسلامية من أفذاذ العلماء، وانتشارهم في أصقاع البلاد الإسلامية، وتنوّع أديانهم، وأصناف تخصصاتهم العلمية ونتاجاتهم، تأليفًا وحواشيَ مسهبةً وترجماتٍ ومختصراتٍ وشروحًا وأرجوزات، وثانيًا: إقراره بما لقيه هؤلاء العلماء من مضايقات وتجريح (...) واتهامات وملاحقات. يطرح الكتاب إشكاليةَ البحث، المتمثلةَ بالحيثيات التي رافقت استقبال المسلمين علمًا دخيلًا على العلوم الإسلامية كالمنطق وتعاملهم معه، ومراحل تردده بين الرفض والقبول في البيئة الجديدة، وأوجه الجِدّة لدى العلماء الذي ساهموا في تكريسه لغويًّا (الفارابي وابن سينا) ودينيًّا (الغزالي). وقد دفع "الحضور" الأرسطي لدى مناطقة الشرق الإسلامي الكاتبَ إلى تبيان مساهمة أرسطو - ضمن عناصرَ مساهِمة كثيرة - في تكريس خطاب إسلامي عقلاني جديد، وتشكيل المعالم الكبرى والجزئية لفلسفة هؤلاء المناطقة، التي تعبّر برأيه عن "تواصل" بين الفكرين اليوناني والإسلامي بدلًا مما يُحكى عن الانفصال والقطيعة والطلاق البائن، متجنِّبًا الانحياز إلى أحد طرفي الأزمة، المشنِّعين الذين يقذفون المنطق بشتى التهم، كإثارة الشبهات والباطل والرجم بالغيب من جهة، والقائلين بمادية فيلسوف اليونان وعقلانيته في مقابل لاعقلانية المسلمين وظلامية فكرهم، مع تشديده على تميز خطاب مفكري المشرق ضمن تاريخ الفلسفة المرافِق لهذا التواصل. وقد أتاح الجهد البحثي المبذول الانفتاحَ على أفق منطقي غير مدرسي اتبعته مجموعة من مفكري العالم الإسلامي، في محاولة لتكريس نظرة جديدة إلى التراثين اليوناني والإسلامي، متوسِّلًا لبلوغها كثرة الاستشهاد بنصوص المناطقة المشرقيين التي يُستدعى فيها أرسطو وسيلةً لإثبات حقيقة العلاقة بين الخطابين بطريقة علمية أمينة. (shrink)

Islamic fundamentalism; Islam and politics; history.

Taguergoust (Morocco), history; Cities and towns; Morocco; history.

al-Qism al-awwal. Fī ḍawābiṭ al-fikr (manṭiq) --.

Articles on 20th century modern philosophy, postmodernism and imperialism.