المنطق

بين أيديكم أول 360 مرجعا من كتابي: استنطاق المنطق؛ لن أستبق الأحداث -في حين أن الكتاب استبق الأزمان- إلا أن ما فعلتُه في كتابي هذا أنني جمّعتُ المنطق وجذّرتُه مِن أصوله…

مبرهنة تارسكي لانعدام التحديد Tarski's Undefinability Theorem | مقال طويل لكن جِد عميق | من قال أننا لا نقدر على المقالات الطوال؟ إن قليلا من النتائج الرصينة قد ألقت…

كي لا يشيع اللغط: سلسلة موجهة إلى الدوغمائيين من أنصار المنطق الأرسطي المغالِين الذين في جملتهم الأشاعرة (2) ابن تيمية مواجها الأرسطية قد سبق بقرون طويلة من الزمان لمحات…

الفرضية التي لا يمكن إقامة الدليل عليها وفي ذات الآن لم تُدحَض إلى يومنا: أطروحة تورنغ - تشيرش Church-Turing thesis في علم التحسيب النظري والرياضيات ومؤدياتها الفلسفية…

المؤلفات المجرودة -حدَّ الساعة- في كتابي 《ابن تيمية والمقولات الأرسطية》 الذي سيبزغ عما قريب، وهو كتاب ضمن مشروع بحثي أكبر أسميته 《سليقة الأولين وقريحة المتأخرين في الرد…

بعد انقطاع طويل عن القراءة أتممت اليوم دراسة كتاب 《مرجع المنطق واللغة》ذي الألف ومئتي صفحة، وإذ كاد الانقطاع يتصل لنصف سنة، كان لا بد من تغذية الذهن بوجبة شديدة الدسم…

لغة البرمجة هاسكل والصرامة الرياضياتية يُشار عادة إلى لغة البرمجة هاسكل على أنها اللغة الأكثر صرامة بين بقية لغات البرمجة حتى أنها توصف بشائعة خاطئة: "لن تستطيع كتابة…

عودة للمقالات الفلسفية: عبقرية شوبنهاور في السَّبْق المنطقي إن سؤال الطبيعانية Naturalness سؤالٌ ذو زخم في أدبيات المنطق، فتجري مناقشة الطبيعانية في أنظمة الاستنباط…

نقد تدعيم سعيد فودة جل كلام فودة في هذا الكتاب إنشائي استرسالي لا تقوم له قائمة لولا ما ينتهجه من التهويل والجعجعة بغير نسق ولا اتساق، فصعبٌ علي أن أكتب نقدا متسقا على…

لاحظ هذه العبارة: 《هذه الجملة خاطئة》. هل هي صحيحة أم خاطئة؟ إذا افترضنا أنها صحيحة؛ فإنَّ مؤداها يجب أن يكون صحيحا، لكنها تقول أنها خاطئة، فإذن يجب أن تكون خاطئة! ولكن…

تبيانٌ عبر نظرية النمط(Type Theory) لدحض ابن تيمية مسألةً عند خصمٍ، وبيانُه الاضطرابَ فيها [1] يقول ابن تيمية: "وأظهرها خطأ دعواهم أن «التصورات»‏ المطلوبة لا تحصل إلا…

كتب الأخ Mohamed Taqi معقبا على منشوري: <<<<<<<<<>>>>>>>>>>>> حتى باستخدام نظرة محدودة من شخص مبتدئ, يمكنك أن ترى بوضوح أن المنطق الأرسطي القديم مثلا كان جد جد ضعيف…

أول 23 مرجعا في رسالة سليقة الأولين وقريحة المتأخرين، أعان الله إتمامها وسدد مرتجاها المراجع العربية: 1. ابن تيمية، ت. (2005). الرد على المنطقيين. مؤسسة الريان. 2. ابن…

[1] تبيانٌ عبر نظرية النمط(Type Theory) لدحض ابن تيمية مسألةً عند خصمٍ، وبيانُه الاضطرابَ فيها يقول ابن تيمية: "وأظهرها خطأ دعواهم أن «التصورات»‏ المطلوبة لا تحصل إلا…

حُييتم وبُييتم، وضعتُ بين أيديكم —مِن صياغتي— تحفةً من التحف الفنية واللوائح الإبداعية! إن هذا مسلكً من مسالك المنطق أو طريقً من طرقه، لو أيقظنا غيرارد غنتزن أو كارت…

خلَّصت دراسة كتاب جون ستيورات مِل: نظام المنطق، النسبي والاستقرائي A System of Logic, Ratiocinative and Inductive -بمجموع 1400 صفحة- وهو عمل نفيس وعميق التأثير على تطور…

(( إذا ما أصبحنا الآن على قناعة بطريقة قبلية، من خلال أعم التأملات، ومن خلال فحص السمات الأولى للحياة الإنسانية، بأن هذه الحياة بفطرتها وطبيعتها ليست بقادرة على أن…

خلَّصت قراءة ثلاثة مجلدات أخرى [الرابع والخامس والسادس] من كتاب "مرجع المنطق الفلسفي" بواقع 1200 صفحة، ذي ال18 مجلدا، والذي يزيد مجتمعةً مجلداتُه عن 8000 صفحة. وكنت قد…

عبقرية ابن تيمية المنسيّة في التصدي للأرسطيّة ذاد ابن تيمية عن قياس التمثيل في وجه قياس الشمول كلَّ الذود في معرض رده وتصديه للمناطقة، فيقول: 《تفريقهم بين قياس الشمول…

كنت منقطعا عن القراءة أواخر السنة المنصرمة، إذ مكثتُ في آخر ثلاثة شهور منها أفكِّر وأتأمل من غير الإمساك بكتاب واحد، ولكن قد عاودتني القريحة بدايةَ هذي السنة فوجدتُ أني…

كي لا يشيع اللغط: سلسلة موجهة إلى الدوغمائيين من أنصار المنطق الأرسطي المغالين الذين في جملتهم الأشاعرة (3) حاشية A: من حدود المنطق الأرسطي التي لا يستطيع مجاوزتها إنَّ…

التواضع في النقاشات العلمية مسألة مصطنعة ومفتعَلة، والمثير للدهشة أن حاملي لواء التواضع في النقاشات هم أعينهم الذين يريدون من الجميع أن يعترف بأفضالهم وتعقِّمهم، والذين…

عالم الحاسوب جون سُوَا لا يفتأ يذكر ابن تيمية في أوراقه التحسيبية، وهذه المرة في ورقة عن علم الحاسوب الاستعرافي Cognitive Computer Science سبق وتطرقت كثيرَ التطرق إلى…

ما الذي قد يدفع بمهندس معالجة لغة طبيعية NLP ومشتغل بالذكاء الاصطناعي أن يسخر ويضحك -غير مصدِّقٍ- على استلهام ابن تيمية في مسائل حاسوبية؟ أحد الأصدقاء هنا عمل مشاركة…

برهان كارت غودل الأنطولوجي على وجود الله، الوجوه الرياضية الصورية فقط من البرهان؛ سأتجاهل الوجوه الفلسفية بيان البرهان الذي يستخدم النظام الخامس من منطق الموجِّهات…

ورقة بحثية من 19 صفحة إنْ كنتَ قادرا على دارستها وفهمها فأنت منطقيٌّ حقٌّ وتستطيع مجالسة كارت غودل لو كان حيا! لعل ورقة غيرارد غنتزن التي في الصورة أخطر ورقة مُنجَز بحثي…

المدعو حسان بن عابد، وكيف يجعل نفسه أضحوكة تبعث على البكاء حينما يتحدث في غير فنه؟ يربط صاحب المنشور إيمان غودل بوجود حياة بعد الموت بمبرهناته لعدم الاكتمال، فيُعَرِّف…

خلَّصتُ قراءة كتاب الرياضياتي والمنطقي الألماني برنارد بولتسانو، نظرية العلم Theory of Science، يقع في أربعة مجلدات بما يزيد عن 1800 صفحة، وهو من الكتب الأصيلة المؤسِسة…

خلَّصت قراءة مجموع أوراق الرياضياتي والمنطقي والفيلسوف تشارلز بيرس، والذي نشرته صحافة جامعة هارفرد، يقع في ثمانية مجلدات بما يعادل 3800 صفحة، وهذه السلسلة أوسع وأشمل من…

أجدى نصيحة يمكن أن تُقدم في هذا الصدد أن تبدأ من حيث ينتهي البعض أي أن تباشر دراسة علم التحسيب النظري Theoretical computer science من فورك بدلا من المخطط المعهود الذي…