مخطط المنطق
المنطق هو العلم الرسمي لاستخدام العقل ، ويُعتبر فرعًا من فروع الفلسفة والرياضيات ، وإلى حدٍ ما من فروع علوم الحاسوب . يبحث المنطق في بنية العبارات والحجج ويصنفها، وذلك من خلال دراسة أنظمة الاستدلال الرسمية ودراسة الحجج في اللغة الطبيعية . ولذلك ، فإن نطاق المنطق واسع جدًا، بدءًا من المواضيع الأساسية كدراسة المغالطات والمفارقات، وصولًا إلى التحليلات المتخصصة للاستدلال، مثل الاحتمالات ، والاستدلال الصحيح، والحجج المتعلقة بالسببية . ومن أهداف المنطق تحديد الاستدلالات الصحيحة (أو السليمة ) والخاطئة (أو المغلوطة ). ويدرس علماء المنطق معايير تقييم الحجج .
أسس المنطق
- التمييز بين التحليلي والتركيبي
- التناقض
- قبلي وبعدي
- تعريف
- وصف
- الاستلزام
- الهوية (الفلسفة)
- الاستدلال
- الشكل المنطقي
- الاستدلال المنطقي
- الحقيقة المنطقية
- النتيجة المنطقية
- اسم
- ضرورة
- المادة مشروطة
- المعنى (اللغوي)
- المعنى (غير اللغوي)
- المفارقة ( قائمة )
- عالم ممكن
- الافتراض المسبق
- احتمال
- التحديد الكمي
- سبب
- التفكير المنطقي
- مرجع
- علم الدلالة
- شرط صارم
- بناء الجملة (المنطق)
- حقيقة
- قيمة الحقيقة
- صحة
فروع المنطق
- المنطق الأفيني
- المنطق الأخلاقي
- المنطق الأرسطي
- المنطق البولياني
- المنطق البوذي
- منطق مجمع
- المنطق الفئوي
- المنطق الكلاسيكي
- منطق قابلية الحوسبة
- المنطق الواجبي
- منطق التبعية
- منطق الوصف
- منطق منحرف
- المنطق الدوكساتيكي
- المنطق المعرفي
- منطق الرتبة الأولى
- المنطق الصوري
- المنطق الحر
- المنطق الضبابي
- المنطق من الرتبة العليا
- المنطق اللانهائي
- المنطق غير الرسمي
- المنطق القصدي
- المنطق الوسيط
- منطق قابلية التفسير
- المنطق الحدسي
- المنطق الخطي
- منطق متعدد القيم
- المنطق الرياضي
- ميتالوجيك
- منطق بسيط
- المنطق الموجه
- المنطق غير الأرسطي
- المنطق غير الكلاسيكي
- المنطق غير التبادلي
- المنطق غير الرتيب
- المنطق المرتب
- المنطق المتناقض
- المنطق الفلسفي
- منطق المسند
- المنطق الافتراضي
- منطق قابلية الإثبات
- المنطق الكمي
- منطق الصلة
- المنطق التتابعي
- المنطق المكاني [ 1 ]
- المنطق الصارم
- المنطق البنيوي الفرعي
- المنطق القياسي
- المنطق الرمزي
- المنطق الزمني
- منطق المصطلحات
- المنطق الموضوعي
- المنطق التقليدي
- منطق الرتبة الصفرية
المنطق الفلسفي
المنطق غير الرسمي والتفكير النقدي
المنطق غير الرسمي، التفكير النقدي، نظرية الحجاج
- دعوى
- خريطة الوسائط
- الدقة والضبط
- فرضية مخصصة
- الغموض
- تحليل
- مهاجمة الاستدلال الخاطئ
- الاعتقاد
- تحيز الاعتقاد
- تحيز
- التحيز المعرفي
- تحيز التأكيد
- مصداقية
- القراءة النقدية
- التفكير النقدي
- رهاب القرار
- صناعة القرار
- الاعتقاد التصرفي والحدثي
- التفكير العاطفي
- شهادة
- خبير
- توضيح
- القدرة التفسيرية
- حقيقة
- مغالطة
- التفكير عالي المستوى
- سؤال
- مناقشة تفسيرية
- مبدأ أوكام
- رأي
- القياس المنطقي العملي
- الاستجواب الدقيق
- دعاية
- أساليب الدعاية
- حل المشكلات
- تعقل
- الفلسفة الزائفة
- التفكير المنطقي
- الأهمية
- البلاغة
- الصرامة
- الاستجواب السقراطي
- مصداقية المصدر
- نقد المصادر
- نظرية التبرير
- المنطق الموضوعي
- غموض
الاستدلال الاستنتاجي
نظريات الاستدلال
- مناهضة علم النفس
- المفاهيمية
- البنائية
- تقاليد
- نظرية النظير
- نظرية انكماش الحقيقة
- الدياليثية
- الخيالية
- الشكلية (الفلسفة)
- نظرية الألعاب
- فلسفة التنوير
- الذرية المنطقية
- الشمولية المنطقية
- المنطق
- الخيال المشروط
- الاسمية
- تعدد المنطق
- البراغماتية
- الحدس المسبق
- نظرية الإثبات
- علم النفس
- الرامية
- النظرية الدلالية للحقيقة
- مغالطة
- التفاهة
- التجريد المفرط
المغالطات
- المغالطة ( قائمة ) - هي استدلال خاطئ يؤدي إلى سوء فهم أو افتراض خاطئ. قد تستغل المغالطات، عن طريق الصدفة أو عن قصد، المشاعر لدى المستمع أو المحاور (الاستدلال العاطفي)، أو تستغل العلاقات الاجتماعية بين الناس (مثل الاستدلال بالسلطة). غالبًا ما تُبنى الحجج المغلوطة باستخدام أنماط بلاغية تُخفي أي حجة منطقية. يمكن استخدام المغالطات لكسب النقاشات بغض النظر عن صحتها. وهناك عشرات الأنواع من المغالطات.
المنطق الصوري
- المنطق الصوري – يُعتبر المنطق الرياضي والمنطق الرمزي والمنطق الصوري مترادفات إلى حد كبير، إن لم يكن كليًا. وتتمثل السمة الأساسية لهذا المجال في استخدام لغات صورية للتعبير عن الأفكار التي تُدرس صحتها المنطقية.
الرموز وسلاسل الرموز
الرموز المنطقية
الروابط المنطقية
سلاسل من الرموز
أنواع القضايا
- الفرضية التحليلية
- بديهية
- الجملة الذرية
- البند (المنطقي)
- الاقتراح المشروط
- تناقض
- الحقيقة المنطقية
- الصيغة الافتراضية
- قاعدة الاستدلال
- الجملة (المنطق الرياضي)
- متسلسل
- بيان (منطقي)
- التبعية
- تكرار الكلام
- نظرية
قواعد الاستدلال
قاعدة الاستدلال ( قائمة )
- الاستبعاد المشروط الثنائي
- مقدمة مشروطة ثنائية
- تحليل الحالة
- خاصية التبديل في الاقتران
- مقدمة حرف العطف
- معضلة البناء
- التناقض (المنطق التقليدي)
- التحويل (المنطقي)
- قوانين دي مورغان
- معضلة مدمرة
- إزالة الانفصال
- مقدمة الفصل
- القياس المنطقي المنفصل
- حذف النفي المزدوج
- التعميم (المنطق)
- القياس المنطقي الافتراضي
- قانون الوسط المرفوع
- قانون الهوية
- Modus ponendo tollens
- Modus ponens
- Modus tollens
- الانحراف
- مبدأ التناقض
- القرار (المنطق)
- تبسيط
- التحويل (المنطقي)
النظريات الرسمية
التعبيرات في لغة وصفية
المنطق الافتراضي والمنطق البولياني
المنطق الافتراضي
- قانون الاستيعاب
- البند (المنطقي)
- الاستنتاج المنطقي
- الملكية التوزيعية
- الاستلزام
- قاعدة التكوين
- الاكتمال الوظيفي
- المنطق الوسيط
- المنطق الحرفي (المنطق الرياضي)
- الرابط المنطقي
- النتيجة المنطقية
- الصيغة الطبيعية للنفي
- جمل مفتوحة
- حساب القضايا
- الصيغة الافتراضية
- متغير افتراضي
- قاعدة الاستدلال
- شرط صارم
- مثال الاستبدال
- جدول الحقيقة
- منطق الرتبة الصفرية
المنطق البولياني
- الجبر البولياني ( قائمة )
- المنطق البولياني
- الجبر البولياني (البنية)
- الجبر البولياني المعرف بشكل أساسي
- مقدمة في الجبر البولياني
- الجبر البولياني الكامل
- الجبر البولياني الحر
- الجبر البولياني الأحادي
- الجبر البولياني المتبقي
- الجبر البولياني ذو العنصرين
- الجبر الموجه
- الجبر الاشتقاقي (الجبر المجرد)
- جبر العلاقات
- قانون الاستيعاب
- قوانين الشكل
- قوانين دي مورغان
- الشكل الجبري الطبيعي
- الشكل القانوني (الجبر البولياني)
- استعلام منطقي اقتراني
- نموذج ذو قيم منطقية
- المجال المنطقي
- التعبير المنطقي
- حلقة منطقية
- دالة منطقية
- دالة ذات قيمة منطقية
- دالة التكافؤ
- دالة منطقية متناظرة
- الانفصال المشروط
- مجال المجموعات
- الاكتمال الوظيفي
- المتورط
- أبجدية المنطق
- تكرار المنطق
- الرابط المنطقي
- المصفوفة المنطقية
- مصطلح المنتج
- صيغة منطقية كمية حقيقية
- جدول الحقيقة
منطق المسند والعلاقات
منطق المسند
- الصيغة الذرية
- الجملة الذرية
- مجال الخطاب
- نطاق فارغ
- الامتداد (منطق المسند)
- منطق الرتبة الأولى
- مسند من الدرجة الأولى
- قاعدة التكوين
- المتغيرات الحرة والمتغيرات المقيدة
- التعميم (المنطق)
- حساب التفاضل والتكامل الأحادي للمسند
- المسند (المنطق الرياضي)
- منطق المسند
- المتغير المسند
- التحديد الكمي
- مسند من الدرجة الثانية
- الجملة (المنطق الرياضي)
- تجسيد عالمي
العلاقات
- العلاقة المالية
- علاقة مضادة للتناظر
- علاقة غير متناظرة
- تقابل
- التقابل، والحقن، والتجاوز
- العلاقة الثنائية
- تكوين العلاقات
- علاقة التطابق
- علاقة متصلة
- العلاقة العكسية
- العلاقة الانعكاسية
- علاقة التغطية
- الترتيب الدوري
- علاقة كثيفة
- علاقة التبعية
- علاقة التبعية
- مجموعة موجهة
- علاقة التكافؤ
- العلاقة الإقليدية
- علاقة متجانسة
- العجز الجنسي
- عدم التعدي
- علاقة انعكاسية
- علاقة التكافؤ الجزئي
- دالة جزئية
- مجموعة مرتبة جزئياً
- النظام السابق
- الطلب المسبق
- دالة اقتراحية
- علاقة شبه متعدية
- العلاقة الانعكاسية
- العلاقة التسلسلية
- الوظيفة الجراحية
- علاقة متناظرة
- العلاقة الثلاثية
- علاقة متعدية
- التقسيم الثلاثي (الرياضيات)
- علاقة راسخة
المنطق الرياضي
نظرية المجموعات
- قوائم نظرية المجموعات
- ألف فارغ
- التقابل، والحقن، والتجاوز
- المجموعة الثنائية
- حجة كانتور القطرية
- أول برهان على عدم قابلية العد لكانتور
- نظرية كانتور
- عدد عناصر السلسلة المتصلة
- العدد الأصلي
- كودومين
- المتمم (نظرية المجموعات)
- عالم قابل للبناء
- فرضية الاستمرارية
- مجموعة قابلة للعد
- مجموعة قابلة للتقرير
- مجموعة قابلة للعد
- المجموعات المنفصلة
- اتحاد منفصل
- مجال الدالة
- التعداد الفعال
- عنصر (رياضيات)
- دالة فارغة
- مجموعة فارغة
- تعداد
- التمدد
- مجموعة منتهية
- الإجبار (الرياضيات)
- الدالة (نظرية المجموعات)
- تركيب الدوال
- فرضية الاستمرارية المعممة
- مجموعة الفهرس
- مجموعة لا نهائية
- تعاظم
- التقاطع (نظرية المجموعات)
- الدالة العكسية
- طائر الكاردينال الكبير
- نظرية لوفنهايم-سكوليم
- خريطة (رياضيات)
- مجموعة متعددة
- نظرية مورس-كيلي للمجموعات
- نظرية المجموعة الساذجة
- مراسلات فردية
- زوج مطلوب
- تقسيم مجموعة
- مجموعة مدببة
- مجموعة الطاقة
- الإسقاط (نظرية المجموعات)
- مجموعة فرعية مناسبة
- مجموعة فرعية مناسبة
- نطاق الدالة
- مفارقة راسل
- المتتالية (الرياضيات)
- مجموعة (رياضيات)
- مجموعة جميع المجموعات
- نظريات بسيطة في جبر المجموعات
- سينغلتون (الرياضيات)
- مفارقة سكوليم
- مجموعة فرعية
- مجموعة سوبر سيت
- مترابطة بيانية
- مجموعة غير معدودة
- الاتحاد (نظرية المجموعات)
- نظرية المجموعات فون نيومان-بيرنايز-غودل
- نظرية زيرميلو للمجموعات
- نظرية المجموعات لزيرميلو-فرانكل
ميتالوجيك
الميتالوجيك – دراسة الميتا -نظرية في المنطق.
- الاكتمال (المنطق)
- بناء الجملة (المنطق)
- تناسق
- قابلية الحسم (المنطق)
- النظام الاستنتاجي
- التفسير (المنطق)
- نظرية كانتور
- نظرية تشيرش
- أطروحة تشيرش
- طريقة فعالة
- الأنظمة الرسمية
- نظرية غودل للاكتمال
- نظرية عدم الاكتمال الأولى لغودل
- نظرية عدم الاكتمال الثانية لغودل
- الاستقلال (المنطق الرياضي)
- النتيجة المنطقية
- نظرية لوفنهايم-سكوليم
- لغة وصفية
- متغير ما وراء التركيب
- ميتا ثيورم
- لغة الكائن - انظر اللغة الوصفية
- الرمز (الرسمي)
- التمييز بين النوع والرمز
- التمييز بين الاستخدام والذكر
- تركيبة جيدة التكوين
نظرية الإثبات
نظرية البرهان – دراسة الأنظمة الاستنتاجية .
نظرية النموذج
نظرية النماذج – دراسة تفسير الأنظمة الرسمية.
نظرية الحوسبة
نظرية الحوسبة - فرع من المنطق الرياضي نشأ في ثلاثينيات القرن العشرين بدراسة الدوال القابلة للحوسبة ودرجات تورينج . وقد توسع هذا المجال ليشمل دراسة الحوسبة المعممة وقابلية التعريف. وتتمثل الأسئلة الأساسية التي تتناولها نظرية الاستدعاء الذاتي في: "ماذا يعني أن تكون دالة من الأعداد الطبيعية إلى نفسها قابلة للحوسبة؟" و"كيف يمكن تصنيف الدوال غير القابلة للحوسبة في تسلسل هرمي بناءً على مستوى عدم قابليتها للحوسبة؟". وقد أدت الإجابات على هذه الأسئلة إلى نظرية ثرية لا تزال قيد البحث النشط.
- نظرية التكرار ألفا
- مجموعة حسابية
- أطروحة تشيرش-تورينغ
- منطق قابلية الحوسبة
- دالة قابلة للحساب
- حساب
- مشكلة اتخاذ القرار
- طريقة فعالة
- مشكلة اتخاذ القرار
- تعداد
- فرض (قابلية الحوسبة)
- مشكلة التوقف
- تاريخ الكنيسة - أطروحة تورينج
- حساب التفاضل والتكامل لامدا
- قائمة المسائل غير القابلة للحل
- مشاكل المراسلات البريدية
- نظرية بوست
- دالة تكرارية بدائية
- الاستدعاء الذاتي (علوم الحاسوب)
- اللغة التكرارية
- مجموعة متكررة
- لغة قابلة للتعداد بشكل متكرر
- مجموعة قابلة للتعداد بشكل متكرر
- الاختزال (نظرية الاستدعاء الذاتي)
- آلة تورينج
دلالات اللغة الطبيعية
الدلالات الرسمية (اللغة الطبيعية)
- الأنظمة الرسمية
- المفاهيم
المنطق الكلاسيكي
- خصائص المنطق الكلاسيكي:
- منطق المصطلحات
- مخطط المنطق
- باراليبتون
- باروكو
- الازدواجية
- المنطق البولياني
- دالة ذات قيمة منطقية
- القضية الفئوية
- توزيع المصطلحات
- نهاية الفصل الدراسي
- القياس المضمر
- الاستنتاج الفوري
- قانون التناقضات
- الرابط المنطقي
- المكعب المنطقي
- سداسي منطقي
- المصطلح الرئيسي
- المدى المتوسط
- مدة قصيرة
- ثمانية الأضلاع من النبوءات [ 2 ]
- أورغانون
- تعدد القياسات
- منطق بورت رويال
- الفرضية
- التحليلات السابقة
- المصطلحات المطلقة والنسبية
- مفارقة سوريتس
- ساحة المعارضة
- مثلث المعارضة
- مجموع المنطق
- القياس المنطقي
- معضلة رباعية
- دالة الحقيقة
المنطق الموجه
المنطق غير الكلاسيكي
مفاهيم المنطق
- نظرية الإثبات
- نظرية المجموعات
- الأنظمة الرسمية
- الجبر البولياني
- المنطق الأرسطي
- المنطق غير الأرسطي
- المنطق غير الرسمي
- المنطق الضبابي
- المنطق اللانهائي
- المنطق الفئوي
- المنطق الخطي
- ميتالوجيك
- طلب
- المنطق المرتب
- المنطق الزمني
- المنطق التتابعي
- منطق قابلية الإثبات
- المنطق الكمي
- المنطق ذو الصلة
- نتيجة
- تأكيد النتيجة
- سالف
- إنكار السابقة
- نظرية
- بديهية
- النظام البديهي
- التبسيط البديهي
- إثبات مشروط
- دليل غير صالح
- درجة الصدق
- حقيقة
- شرط الحقيقة
- دالة الحقيقة
- النفي المزدوج
- مغالطة
- نظرية الأنواع
- نظرية الألعاب
- دلالات اللعبة
- قاعدة الاستدلال
- إجراء الاستدلال
- قاعدة الاستدلال
- قاعدة المقدمة
- قانون الوسط المرفوع
- قانون عدم التناقض
- ثابت منطقي
- بوابة منطقية
- تكرار الكلام
- التأكيد المنطقي
- الشرط المنطقي
- الشرط الثنائي المنطقي
- التكافؤ المنطقي
- منطقي و
- النفي
- أو المنطقي
- NAND المنطقي
- NOR المنطقي
- تناقض
- التبعية
- المنطق
- تعدد القياسات
- القياس المنطقي
- القياس المنطقي الافتراضي
- الفرضية الرئيسية
- مقدمة ثانوية
- شرط
- مصطلح مفرد
- المصطلح الرئيسي
- المدى المتوسط
- التحديد الكمي
- التحديد الكمي بصيغة الجمع
- الحجة المنطقية
- المعكوس (المنطقي)
- عدم منطقية
- تسامح
- قابلية الإرضاء
- لغة منطقية
- مفارقة
- التدوين البولندي
- مبادئ الرياضيات
- Quod erat demonstrandum
- الاختزال إلى العبث
- البلاغة
- الإشارة الذاتية
- ضروري وكافٍ
- شرط كافٍ
- عدم قابلية الترتيب الأول
- مبدأ أوكام
- الحوار السقراطي
- المنهج السقراطي
- شكل الحجة
- البرمجة المنطقية
- توحيد
تاريخ المنطق
الأدبيات المتعلقة بالمنطق
المجلات
الكتب
- نظام منطقي
- مهاجمة الاستدلال الخاطئ
- Begriffsschrift
- التصنيفات (أرسطو)
- قائمة مراجع تشارلز ساندر بيرس
- دي إنتربريتاسيون
- غودل، إيشر، باخ
- مقدمة في الفلسفة الرياضية
- اللغة والحقيقة والمنطق
- قوانين الشكل
- نوفوم أورجانوم
- حول القضايا غير القابلة للتقرير رسميًا في كتاب "برينسيبيا ماثيماتيكا" والأنظمة ذات الصلة
- أورغانون
- فلسفة الحساب
- المنطق البولندي
- منطق بورت رويال
- التحليلات الخلفية
- مبادئ الرياضيات
- مبادئ المنطق الرياضي
- التحليلات السابقة
- البلاغة (أرسطو)
- دحض متقن
- مجموع المنطق
- فن أن تكون على حق
- أسس الحساب
- المواضيع ( أرسطو )
- الرسالة المنطقية الفلسفية
المنظمات المنطقية
المنطقيون
انظر أيضاً
- مسرد المصطلحات المنطقية
- فهرس مقالات المنطق
- الرياضيات
- فلسفة
- مخطط الرياضيات المتقطعة – لنظرية المجموعات التمهيدية والمواد الداعمة الأخرى
مراجع
- ↑ ماركو أييلو ؛ إيان برات-هارتمان؛ يوهان فان بنثام ، محرران (2007). دليل المنطق المكاني . ص 1. doi : 10.1007/978-1-4020-5587-4 . ISBN 978-1-4020-5586-7
أي لغة رسمية تُفسَّر على فئة من الهياكل التي تتميز بالكيانات والعلاقات الهندسية، بمفهومها الواسع
. - ↑ "مضلع النبوءات - بحث جوجل" . www.google.com . تم الاطلاع عليه بتاريخ 29-10-2024 .
روابط خارجية
- تصنيف المغالطات المنطقية
- كتاب "forall x: an introduction to official logic" للمؤلف بي دي ماغنوس ، يتناول المنطق الجملي والمنطق الكمي
- نصائح للترجمة ، بقلم بيتر سوبر ، للترجمة من الإنجليزية إلى الترميز المنطقي
- الرياضيات والمنطق: تاريخ الأفكار الرياضية والمنطقية واللغوية والمنهجية الرسمية. مؤرشف بتاريخ 8 سبتمبر 2009 في أرشيف الإنترنت (Wayback Machine) ضمن قاموس تاريخ الأفكار.
- اختبار المنطق: اختبر مهاراتك المنطقية
- تعليم المنطق ذاتيًا: كتاب تمارين (أُعد في الأصل لتعليم المنطق عبر الإنترنت)
- منطق
- مخططات الرياضيات والمنطق
- الخطوط العريضة
- المنطق الرياضي
- قوائم متعلقة بالرياضيات
