القدرة على التفكير أمر أساسي للبشر. بغض النظر عن الانضباط أو الخطاب ، من المهم أن تكون قادرًا على التمييز بين التفكير الصحيح والاستدلال غير الصحيح.
يمكن أن تكون عواقب التفكير غير الصحيح بسيطة ، مثل الضياع في الطريق إلى حفلة عيد ميلاد ، أو أكثر أهمية ، على سبيل المثال إطلاق صواريخ نووية على قطيع من البط ، أو فقدان الاتصال الدائم بمركبة فضائية.
السؤال الأساسي الذي سنتطرق إليه في هذه الدورة هو “متى يتبع بيان واحد بالضرورة من آخر” – أو في مصطلحات الدورة التدريبية ، “متى يكون بيان ما نتيجة منطقية لأخرى”. هذه مسألة ذات أهمية إلى حد ما ، لأن الإجابة على السؤال ستسمح لنا بفحص حجة مقدمة في مدونة ، على سبيل المثال ، وتحديد ما إذا كانت توضح حقًا حقيقة استنتاج الحجة.
قد يتحسن تفكيرنا أيضًا ، لأننا سنكون قادرين أيضًا على تحليل حججنا الخاصة لمعرفة ما إذا كانوا بالفعل يبرهنون على استنتاجاتهم.
في هذه الدورة سوف تتعرف على المفاهيم والتقنيات المستخدمة في المنطق. سنبدأ مباشرة من البداية ، بافتراض عدم التعرض المسبق لهذه المادة أو مادة مماثلة ، والتقدم من خلال مناقشات الإثبات والنموذج للنظريات المنطقية ومنطق الدرجة الأولى.
يتلقى جميع المتعلمين كتابًا دراسيًا كاملًا وحزمة برامج (بقيمة 55.00 دولارًا).
سنمضي قدمًا بإعطاء نظرية عن الحقيقة والنتائج المنطقية ، بناءً على لغة رسمية تسمى FOL (لغة منطق الدرجة الأولى). نعتمد لغة رسمية للإدلاء بالتصريحات ، لأن اللغات الطبيعية (مثل الإنجليزية ، على سبيل المثال) غامضة وغامضة للغاية بحيث لا يمكننا تحليلها بشكل كافٍ. مسلحين باللغة الرسمية ، سنكون قادرين على نمذجة مفاهيم الحقيقة والإثبات والنتائج ، من بين أمور أخرى.