الحقيقة المنطقية

الحقيقة المنطقية من أهم المفاهيم الأساسية في المنطق . وبشكل عام، الحقيقة المنطقية هي عبارة صحيحة بغض النظر عن صحة أو خطأ القضايا المكونة لها . بعبارة أخرى، الحقيقة المنطقية هي عبارة ليست صحيحة فحسب، بل صحيحة في جميع تفسيرات مكوناتها المنطقية (باستثناء ثوابتها المنطقية ). لذا، يمكن اعتبار حقائق منطقية مثل "إذا كان ص، فإن ص" تحصيل حاصل . يُعتقد أن الحقائق المنطقية هي أبسط حالات العبارات الصحيحة تحليليًا (أو بعبارة أخرى، الصحيحة بحكم التعريف). ويمكن اعتبار المنطق الفلسفي برمته بمثابة تفسير لطبيعة الحقيقة المنطقية، وكذلك للنتيجة المنطقية . ^{[ 1 ]}

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

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

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

الحقائق المنطقية، كونها عبارات تحليلية، لا تتضمن أي معلومات عن أي وقائع . إلى جانب الحقائق المنطقية، يوجد نوع آخر من العبارات التحليلية، مثاله عبارة "لا يوجد أعزب متزوج". تتميز هذه العبارة بإمكانية تحويلها إلى حقيقة منطقية باستبدال المرادفات بالمرادفات . فعلى سبيل المثال، يمكن تحويل عبارة "لا يوجد أعزب متزوج" إلى "لا يوجد رجل غير متزوج متزوج" باستبدال كلمة "غير متزوج" بمرادفها "أعزب".

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

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

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

يمكن اختزال الثوابت المنطقية، بما في ذلك الروابط المنطقية والمحددات الكمية ، إلى حقيقة منطقية. على سبيل المثال، تكون عبارتان أو أكثر غير متوافقتين منطقيًا إذا، وفقط إذا، كان اقترانهما خاطئًا منطقيًا. وتستلزم عبارة منطقيًا عبارة أخرى عندما تكون غير متوافقة منطقيًا مع نفي العبارة الأخرى. وتكون العبارة صحيحة منطقيًا إذا، وفقط إذا، كان نقيضها خاطئًا منطقيًا. يجب أن تتناقض العبارتان المتناقضتان. وبهذه الطريقة، يمكن التعبير عن جميع الروابط المنطقية من حيث الحفاظ على الحقيقة المنطقية. يتحدد الشكل المنطقي للجملة من خلال بنيتها الدلالية أو النحوية وموقع الثوابت المنطقية. تحدد الثوابت المنطقية ما إذا كانت العبارة صحيحة منطقيًا عند دمجها مع لغة تحد من معناها. لذلك، إلى أن يتم تحديد كيفية التمييز بين جميع الثوابت المنطقية بغض النظر عن لغتها، يستحيل معرفة الحقيقة الكاملة لعبارة أو حجة. ^{[ 2 ]}

يرتبط مفهوم الحقيقة المنطقية ارتباطًا وثيقًا بمفهوم قاعدة الاستدلال . ^{[ 3 ]}

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

المنطق غير الكلاسيكي هو مصطلح يُطلق على الأنظمة الصورية التي تختلف اختلافًا جوهريًا عن الأنظمة المنطقية القياسية، مثل منطق القضايا ومنطق المسندات . وتتعدد طرق تحقيق ذلك، بما في ذلك التوسعات والانحرافات والاختلافات. ويهدف هذا الاختلاف إلى تمكين بناء نماذج مختلفة للنتيجة المنطقية والحقيقة المنطقية. ^{[ 4 ]}

• تناقض
• خطأ (منطقياً)
• جدول الحقيقة المنطقية ، وهو جدول رياضي يستخدم في المنطق
• قابلية الإرضاء
• التكرار (المنطق) (لرمزية الحقيقة المنطقية)
• نظرية
• صحة

• زالتا، إدوارد ن. (محرر). "الحقيقة المنطقية" . موسوعة ستانفورد للفلسفة . الرقم الدولي الموحد للدوريات 1095-5054 . رقم OCLC 429049174 .  
• الحقيقة المنطقية في مشروع أنطولوجيا الفلسفة في إنديانا
• الحقيقة المنطقية في صحيفة فيل بيبرز