معنى المنطق (ما هو ، المفهوم ، التعريف)

منطق هو اسم مؤنث من المصطلح اليوناني شعار، ذات الصلة بـ الشعارات, السبب, كلمة أو خطاب، مما يعني أن علم المنطق.

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

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

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

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

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

منطق البرمجة

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

منطق الجدال

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

دقيق الذرة كلب.
كل الكلاب من الثدييات.
لذلك ، دقيق الذرة هو من الثدييات.

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

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

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

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

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

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

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