منطق

ما هو المنطق:

المنطق هو اسم أنثوي نشأ في المصطلح اليوناني logiké ، ويتعلق بالشعارات أو العقل أو الكلمة أو الكلام ، مما يعني علم المنطق .

بالمعنى المجازي ، يرتبط منطق الكلمة بطريقة معينة من التفكير بشكل صحيح. على سبيل المثال: هذا لن ينجح أبدًا! خطتك ليس لها منطق على الإطلاق!

المشكلات أو الألعاب المنطقية هي أنشطة يتعين على الفرد فيها استخدام التفكير المنطقي لحل المشكلة.

المنطق الأرسطي

وفقًا لأرسطو ، فإن المنطق له موضوع دراسة الفكر ، وكذلك القوانين والقواعد التي تتحكم فيه ، بحيث يكون هذا الفكر صحيحًا. بالنسبة للفيلسوف اليوناني ، العناصر المكونة للمنطق هي المفهوم والحكم والمنطق . تتوافق قوانين المنطق مع العلاقات والعلاقات القائمة بين هذه العناصر.

كان بعض خلفاء أرسطو مسؤولين عن أسس المنطق في العصور الوسطى ، والتي استمرت حتى القرن الثالث عشر. صنف مفكرون من العصور الوسطى مثل جالينوس وبورفيري وألكسندر أفروديسيا المنطق كعلم للحكم بشكل صحيح ، مما يجعل من الممكن التوصل إلى أسباب صحيحة وصحيحة رسمياً.

منطق البرمجة

منطق البرمجة هو اللغة المستخدمة لإنشاء برنامج كمبيوتر. منطق البرمجة ضروري لتطوير البرامج وأنظمة الكمبيوتر ، لأنه يحدد الرابط المنطقي لهذا التطور. تُعرف خطوات هذا التطوير باسم خوارزمية ، والتي تتكون من تسلسل منطقي من الإرشادات للدالة المطلوب تنفيذها.

منطق الحجة

يسمح لنا منطق الجدال بالتحقق من صحة أو ما إذا كان البيان صحيحًا أم لا. لا يتم ذلك بمفاهيم نسبية أو ذاتية ، فهي اقتراحات ملموسة يمكن التحقق من صلاحيتها. في هذه الحالة ، يهدف المنطق إلى تقييم شكل المقترحات وليس المحتوى. تعتبر المقاطع المنطقية (المكونة من مبنيين وخاتمة) مثالاً على منطق الجدال. على سبيل المثال:

فوبا كلب.

جميع الكلاب والثدييات.

لذلك ، فوبا هو حيوان ثديي.

المنطق الرياضي

المنطق الرياضي (أو المنطق الرسمي) يدرس المنطق وفقًا لهيكله أو شكله. يتكون المنطق الرياضي من نظام استنتاجي للبيانات يهدف إلى إنشاء مجموعة من القوانين والقواعد لتحديد صحة الاستدلال. وبالتالي ، يعتبر التفكير صحيحًا إذا كان من الممكن الوصول إلى استنتاج حقيقي من الأساس الحقيقي.

يستخدم المنطق الرياضي أيضًا لبناء منطق صحيح من خلال التفكير الآخر. يمكن أن يكون المنطق استنتاجي (يتم الحصول بالضرورة على الاستنتاج من حقيقة المبنى) والاستقرائي (الاحتمالي).

يمكن تقسيم المنطق الرسمي إلى مجموعتين: المنطق الإفتراضي والمنطق الأصلي.

ينظر الكثيرون إلى ليبنيز على أنه العقل الذي بدأ مفهوم المنطق الرسمي أو الرياضي ، والذي يعالج القضايا المركزية للرياضيات. ومع ذلك ، لم تبدأ مسألة تناسق البديهيات إلا بعد عام 1890 مع بيانو. تم العثور على بعض المبادئ الهامة للمنطق الرسمي في التحليل الرياضي للمنطق بواسطة جورج بول (مؤلف كتاب الجبر المنطقي أو المنطقي).

منطق الاقتراح

المنطق الإفتراضي هو مجال المنطق الذي يدرس التفكير وفقًا للعلاقات بين الجمل (الافتراضات) ، الحد الأدنى من وحدات الخطاب ، والتي قد تكون صحيحة أو خاطئة.