نظرية النمط
مراجع

↑  Univalent Foundations (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (بالإنجليزية). Univalent Foundations. Archived from the original on 2020-06-25.
| ع ن ما وراء الطبيعة | ع ن ما وراء الطبيعة |
| --- | --- |
نظريات:  نظرية الكائن المجردة  نظرية الفعل  لاواقعية  حتمية  ثنائية  تفاعلية  ماهوية  وجودية  حرية الإرادة  مثالية  تحررية  حرية  مادية  معنى الحياة  أحادية  مذهب طبيعي  عدمية  ظاهراتية  واقعية  فيزيائية  نسبية  واقعية علمية  ذاتوية  روحانية  ذهنية  حركة جوهرية  نظرية المثل  نظرية صانع الحقيقة  نظرية النمط 
مفاهيم:  كائن مجردة  روح العالم  فئة الوجود  سببية  انحلال سببي  مبدأ الكوجيتو  مفهوم  إدراك مجسد  جوهر  وجود  خبرة  تجريد أقنومي  فكرة  هوية  معلومة  استبصار  ذكاء  نية  موجه لغوي  مادة  معنى  تمثيل عقلي  عقل  حركة  طبيعة  ضرورة  شيء  علم الوجود  نمط  إدراك حسي  جسم مادي  مبدأ  خاصية  كيفة  كيف  واقع  علاقة  نفس  موضوع  شكل جوهري  تفكير  زمن  حقيقة  تمييز نوع الرمز المميز  كليات  غير قابل للملاحظة  قيمة 
ميتافيزيقيون:  بارمينيدس  أفلاطون  أرسطو  برقلس  أفلوطين  سكوطس  الأكويني  سواريز  ديكارت  سبينوزا  لوك  مالبرانش  نيوتن  لايبنتس  فولف  ريد  بيركلي  هيوم  كانط  هيغل  شوبنهاور  بولزانو  لوتسي  برس  نيتشه  ماينونج  برجسون  وايتهيد  راسل  مور  كولينجوود  فيتغنشتاين  هايدغر  كارناب  رايل  سارتر  كواين  ديفيدسن  ستروسون  أنسكوم  دولوز  دوميت  أرمسترونغ  بوتنام  بلانتينغا  كريبك  لويس  بارفيت 
أعمال بارزة:  السفسطائي (c. 350 BC)  طيماوس (c. 350 BC)  نيايا سوتراس (c. 200 BC)  في طبيعة الأشياء (c. 80 BC)  ما وراء الطبيعة (c. 50)  تاسوعات (c. 270)  الموسوعة العلائية (c. 1000)  تأملات في الفلسفة الأولى (1641)  أخلاقيات (1677)  رسالة في مبادئ المعرفة الإنسانية (1710)  مونادولوجيا (1714)  نقد العقل الخالص (1781)  مقدمة لأي ميتافيزيقا مستقبلية (1783)  ظاهريات الروح (1807)  العالم إرادة وفكرة (1818)  استنتاج نصوص غير علمية لأجزاء فلسفية (1846)  الوجود والزمان (1927)  الوجود والعدم (1943)  التصور والمحاكاة (1981) 
مواضيع ذات صلة:  علم القيم  علم الكون  نظرية المعرفة  ما وراء الطبيعة النسوية  تفسيرات ميكانيكا الكم  علم الأجزاء  ميتا  علم الظواهر  فلسفة العقل  فلسفة علم النفس  فلسفة الذات  فلسفة الزمن والمكان  غائية 
  تصنيف:ما وراء الطبيعة :   تصنيف:ما وراء الطبيعة 
| ع ن المنطق الرياضي | ع ن المنطق الرياضي |
| --- | --- |
عام:  لغة شكلية  تشكيل قاعدة  نظام شكلي  نظام شكلي  برهان فلسفي  دلالة الصورية (منطق)  صيغة التشكيلية  مجموعة (رياضيات)  صنف (نظرية المجموعات)  منطق كلاسيكي  بديهية  استنتاج طبيعي  قاعدة الإستدلال  علاقات  مبرهنة  استتباع منطقي  نظام بديهي  نظرية النمط  رمز (شكلي)  تركيب (منطق)  نظرية (منطق رياضي) 
منطق تقليدي:  قضية  استدلال  حجة منطقية  صحة  تفكير منطقي  قياس (منطق)  تعارض تربيعي  مخطط فن 
حساب القضايا - جبر بولياني:  دالة بول  حساب القضايا  قضية (منطق)  رابطة منطقية  جدول الحقيقة 
منطق تحول:  منطق الرتبة الأولى  الكم (منطق)  محمول (منطق)  منطق الرتبة الثانية  Monadic predicate calculus 
نظرية المجموعات المبسطة:  مجموعة (رياضيات)  مجموعة خالية  تعداد  الماصدقية  مجموعة منتهية  مجموعة غير منتهية  مجموعة جزئية  مجموعة قوة  مجموعة قابلة للعد  مجموعة غير قابلة للعد  مجموعة تكرارية  مجال دالة  مدى(رياضيات)  تطبيق (رياضيات)  دالة  عملية ثنائية  زوج مرتب 
نظرية المجموعات:  أسس الرياضيات  نظرية المجموعات حسب تسيرميلو-فرانكل  بديهية الاختيار  نظرية المجموعات العامة  Kripke–Platek set theory  Von Neumann–Bernays–Gödel set theory  نظرية مجموعة مورس-كيلي  Tarski–Grothendieck set theory 
نظرية النموذج:  البنية (منطق رياضي)  تأويل (منطق)  Non-standard model  نظرية نموذج تناهي  قيمة الحقيقة  صحة 
نظرية البرهان:  برهان فلسفي  نظام شكلي  نظام شكلي  مبرهنة  استتباع منطقي  علاقات متناهية  تركيب (منطق) 
نظرية الحاسوبية:  استدعاء ذاتي  مدى(رياضيات)  مجموعة مرقمة بشكل تراجعي  مشكل القرار  أطروحة تشرش-تورينغ  دوال حسابية  Primitive recursive function 
بوابة رياضيات
بوابة علم الحاسوب
بوابة منطق