نظام شكلي
مراجع

↑  Encyclopædia Britannica, Formal system definition, 2007. نسخة محفوظة 29 أبريل 2008 على موقع واي باك مشين.
| ع ن المنطق الرياضي | ع ن المنطق الرياضي |
| --- | --- |
عام:  لغة شكلية  تشكيل قاعدة  نظام شكلي  نظام شكلي  برهان فلسفي  دلالة الصورية (منطق)  صيغة التشكيلية  مجموعة (رياضيات)  صنف (نظرية المجموعات)  منطق كلاسيكي  بديهية  استنتاج طبيعي  قاعدة الإستدلال  علاقات  مبرهنة  استتباع منطقي  نظام بديهي  نظرية النمط  رمز (شكلي)  تركيب (منطق)  نظرية (منطق رياضي) 
منطق تقليدي:  قضية  استدلال  حجة منطقية  صحة  تفكير منطقي  قياس (منطق)  تعارض تربيعي  مخطط فن 
حساب القضايا - جبر بولياني:  دالة بول  حساب القضايا  قضية (منطق)  رابطة منطقية  جدول الحقيقة 
منطق تحول:  منطق الرتبة الأولى  الكم (منطق)  محمول (منطق)  منطق الرتبة الثانية  Monadic predicate calculus 
نظرية المجموعات المبسطة:  مجموعة (رياضيات)  مجموعة خالية  تعداد  الماصدقية  مجموعة منتهية  مجموعة غير منتهية  مجموعة جزئية  مجموعة قوة  مجموعة قابلة للعد  مجموعة غير قابلة للعد  مجموعة تكرارية  مجال دالة  مدى(رياضيات)  تطبيق (رياضيات)  دالة  عملية ثنائية  زوج مرتب 
نظرية المجموعات:  أسس الرياضيات  نظرية المجموعات حسب تسيرميلو-فرانكل  بديهية الاختيار  نظرية المجموعات العامة  Kripke–Platek set theory  Von Neumann–Bernays–Gödel set theory  نظرية مجموعة مورس-كيلي  Tarski–Grothendieck set theory 
نظرية النموذج:  البنية (منطق رياضي)  تأويل (منطق)  Non-standard model  نظرية نموذج تناهي  قيمة الحقيقة  صحة 
نظرية البرهان:  برهان فلسفي  نظام شكلي  نظام شكلي  مبرهنة  استتباع منطقي  علاقات متناهية  تركيب (منطق) 
نظرية الحاسوبية:  استدعاء ذاتي  مدى(رياضيات)  مجموعة مرقمة بشكل تراجعي  مشكل القرار  أطروحة تشرش-تورينغ  دوال حسابية  Primitive recursive function 
| ع ن المنطق | ع ن المنطق |
| --- | --- |
مقالات رئيسية:  العقل الفلسفي  تاريخ المنطق  منطق فلسفي  منطق رياضي  ما بعد المنطق  فلسفة المنطق 
مفاهيم مفتاحية:  استنتاج  قياس  استقراء  منطق لاشكلي  افتراض  استدلال  حجة  تفكير نقدي  مغالطة  منطق رياضي  مجموعة  نحو  سيمانتيك  صيغة جيدة الشكل  مسلمة  مبرهنة  التماسك  نظرية كاملة  قابلية القرار  نظام شكلي  نظرية المجموعات  نظرية البرهان  نظرية النموذج  نظرية العودية  منطق الرتبة صفر  دالة بول  حسبان القضايا  جداول الحقيقة  منطق الرتبة الأولى  منطق الرتبة الثانية  منطق طوري  منطق إبستيمي  منطق ظرفي  أنواع منطقية لاكلاسيكية  منطق الحسوبية منطق ضبابي  منطق خطي 
جدليات:  مفارقة 
شخصيات أساسية:  أرسطو  جورج بول  جورج كانتور  رودولف كارناب  جوتلوب فريجه  كورت غودل  ديفيد هيلبرت  جوزيبه بيانو  شارل ساندرز پيرس  هيلاري پوتنام  بيرتراند راسل  ألفريد تارسكي  آلان تورنغ 
قوائم:  مواضيع أساسية  منطقيون  قواعد الاستدلال  منطق رياضي  رياضيات متقطعة  نظرية المجموعات  مفارقات  رموز منطقية 
| ع ن المعرفة المحوسبة | ع ن المعرفة المحوسبة |
| --- | --- |
مواضيع ومفاهيم:  أبجدية الفكر الإنساني  ضبط استنادي  استدلال آلي  Commonsense knowledge  ‏  تفكير بديهي  الحاسوبية  نظام شكلي  محرك الاستدلال  قاعدة معرفة  نظم قواعد المعرفة  هندسة المعرفة  استخراج المعرفة  تمثيل المعرفة  استرجاع المعرفة  تصنيف المكتبات  برمجة منطقية  أنطولوجية (علم المعلومات)  قاعدة المعرفة الشخصية  إجابة الأسئلة   Semantic reasoner 
مقترحات وتطبيقات:  علم الزائرجة  رامون لول (1300)  An Essay towards a Real Character, and a Philosophical Language (1688)  أداة الاستدلال المنطقي لحساب التفاضل والتكامل  و characteristica universalis (1700)  تصنيف ديوي العشري (1876)  Begriffsschrift (1879)  Mundaneum (1910)  مذهب الذرية المنطقية (1918)  مصنف منطقي فلسفي (1921)  برنامج هيلبرت (عقد 1920)  مبرهنات عدم الاكتمال لغودل (1931)  دماغ العالم  (1938)  ميمكس (1945)  General Problem Solver (1959)  برولوغ (1972)  Cyc (1984)  ويب دلالي (2001)  إيفي (2007)  ولفرام ألفا (2009)  واتسون (حاسوب) (2011)  سيري (2011)  مخطط المعرفة (2012)  ويكي بيانات (2012)  كورتانا (2014)  فيف (2016) 
في الخيال:  المحرك ( رحلات غوليفر ، 1726)  Joe ("A Logic Named Joe"، 1946)  أمين المكتبة ( Snow Crash ، 1992)  Dr. Know ( أي آي : الذكاء الاصطناعي (فيلم) ، 2001)  منزل الماء ( The Baroque Cycle , 2003) 
بوابة تقانة المعلومات
بوابة رياضيات
بوابة علم الأنظمة
بوابة علم الحاسوب
بوابة فلسفة
بوابة منطق