غالبًا ما تستخدم العبارات الكاذبة والصحيحة في ممارسة اللغة. يُنظر إلى التقييم الأول على أنه إنكار للحقيقة (الكذب). في الواقع ، يتم استخدام أنواع أخرى من التقييم أيضًا: عدم اليقين ، وعدم القدرة على الإثبات (قابلية الإثبات) ، وعدم القدرة على الحل. الجدال حول ما هو الرقم × العبارة صحيحة ، من الضروري مراعاة قوانين المنطق.
أدى ظهور "المنطق متعدد القيم" إلى استخدام عدد غير محدود من مؤشرات الحقيقة. الموقف مع عناصر الحقيقة محير ومعقد لذا من المهم توضيحه
المبادئ النظرية
البيان الحقيقي هو قيمة الخاصية (السمة) ، والتي يتم أخذها في الاعتبار دائمًا لإجراء معين. ما هي الحقيقة؟ المخطط على النحو التالي: "الاقتراح X له قيمة الحقيقة Y في الحالة التي يكون فيها الاقتراح Z صحيحًا."
دعونا نلقي نظرة على مثال. من الضروري أن نفهم أي من العبارات المعطاة يكون البيان صحيحًا: "الكائن أ لديه علامة ب". هذه العبارة خاطئة من حيث أن الكائن له السمة B ، وخطأ من حيث أن a لا يحتوي على السمة B. يستخدم مصطلح "خطأ" في هذه الحالة باعتباره نفيًا خارجيًا.
تحديد الحقيقة
كيف يتم تحديد البيان الصحيح؟ بغض النظر عن هيكل الاقتراح X ، يُسمح فقط بالتعريف التالي: "الاقتراح X يكون صحيحًا عندما يكون هناك X ، X فقط."
هذا التعريف يجعل من الممكن إدخال مصطلح "true" في اللغة. إنه يحدد فعل الموافقة أو التحدث مع ما يقول.
أقوال بسيطة
تحتوي على بيان صحيح بدون تعريف. يمكن للمرء أن يحصر نفسه في تعريف عام في القضية "Not-X" إذا كان هذا الافتراض غير صحيح. يكون الاقتران "X و Y" صحيحًا إذا كان كل من X و Y صحيحين.
مثال على قول
كيف نفهم من أجل x العبارة صحيحة؟ للإجابة على هذا السؤال ، نستخدم التعبير: "يقع الجسيم أ في منطقة من الفضاء ب". ضع في اعتبارك الحالات التالية لهذا البيان:
- من المستحيل ملاحظة الجسيم ؛
- يمكنك مراقبة الجسيم.
الخيار الثاني يقترح احتمالات معينة:
- يقع الجسيم في الواقع في منطقة معينة من الفضاء ؛
- هي ليست في الجزء المقصود من الفضاء ؛
- يتحرك الجسيم بطريقة يصعب تحديد منطقة موقعه.
في هذه الحالة ، يمكن استخدام أربعة مصطلحات لقيمة الحقيقة تتوافق مع الاحتمالات المعطاة.
بالنسبة للهياكل المعقدة ، هناك المزيد من المصطلحات المناسبة. هذا هويشير إلى قيم الحقيقة غير المحدودة. لأي رقم يكون البيان صحيحًا يعتمد على النفعية العملية.
مبدأ الغموض
وفقًا لذلك ، أي عبارة إما خاطئة أو صحيحة ، أي أنها تتميز بإحدى قيمتي الحقيقة المحتملتين - "خطأ" و "صواب".
هذا المبدأ هو أساس المنطق الكلاسيكي ، والذي يسمى نظرية القيمتين. استخدم أرسطو مبدأ الغموض. هذا الفيلسوف ، الذي جادل في العدد × العبارة صحيحة ، اعتبرها غير مناسبة لتلك العبارات التي تتعلق بالأحداث العشوائية المستقبلية.
أسس علاقة منطقية بين الجبرية ومبدأ الغموض ، أقدار أي فعل بشري.
في العصور التاريخية اللاحقة ، تم شرح القيود التي تم فرضها على هذا المبدأ من خلال حقيقة أنه يعقد بشكل كبير تحليل البيانات حول الأحداث المخطط لها ، وكذلك حول الأشياء غير الموجودة (غير القابلة للرصد).
بالتفكير في العبارات الصحيحة ، لم يكن من الممكن دائمًا العثور على إجابة واضحة بهذه الطريقة.
تم تبديد الشكوك الناشئة حول الأنظمة المنطقية فقط بعد تطوير المنطق الحديث.
لفهم أي من الأرقام المعطاة يكون البيان صحيحًا ، المنطق ثنائي القيمة مناسب.
مبدأ الغموض
إذا أعيدت صياغتهمتغير من عبارة ثنائية القيمة لكشف الحقيقة ، يمكنك تحويلها إلى حالة خاصة من تعدد المعاني: أي بيان سيكون له قيمة حقيقة n واحدة إذا كانت n أكبر من 2 أو أقل من اللانهاية.
كاستثناءات لقيم الحقيقة الإضافية (فوق "خطأ" و "صواب") هناك العديد من الأنظمة المنطقية القائمة على مبدأ الغموض. يميز المنطق الكلاسيكي ثنائي القيمة الاستخدامات النموذجية لبعض العلامات المنطقية: "أو" ، "و" ، "لا".
المنطق متعدد القيم الذي يدعي أنه ملموس لا ينبغي أن يتعارض مع نتائج نظام مزدوج.
الاعتقاد بأن مبدأ الغموض يؤدي دائمًا إلى بيان القدرية والحتمية يعتبر خاطئًا. ومن الخطأ أيضًا فكرة أن المنطق المتعدد يُنظر إليه على أنه وسيلة ضرورية لتنفيذ التفكير اللاحتمي ، وأن قبوله يتوافق مع رفض استخدام الحتمية الصارمة.
دلالات العلامات المنطقية
لفهم الرقم X العبارة صحيحة ، يمكنك تسليح نفسك بجداول الحقيقة. الدلالات المنطقية هي قسم من علم المعادن يدرس العلاقة بالأشياء المحددة ومحتواها من التعبيرات اللغوية المختلفة.
تم اعتبار هذه المشكلة بالفعل في العالم القديم ، ولكن في شكل نظام مستقل كامل تمت صياغتها فقط في مطلع القرنين التاسع عشر والعشرين. أعمال جي فريج ، سي بيرس ، ر. كارناب ، إس كريبكجعلت من الممكن الكشف عن جوهر هذه النظرية ، الواقعية والنفعية.
لفترة طويلة من الزمن ، اعتمد المنطق الدلالي بشكل أساسي على تحليل اللغات الرسمية. في الآونة الأخيرة فقط تم تخصيص غالبية الأبحاث للغة الطبيعية.
هناك مجالان رئيسيان في هذه التقنية:
- نظرية التدوين (مرجع) ؛
- نظرية المعنى.
الأول يتضمن دراسة علاقة التعبيرات اللغوية المتنوعة بالأشياء المحددة. وبوصفها فئات رئيسية ، يمكن للمرء أن يتخيل: "التسمية" ، "الاسم" ، "النموذج" ، "التفسير". هذه النظرية هي أساس البراهين في المنطق الحديث.
تتعامل نظرية المعنى مع البحث عن إجابة لسؤال ما معنى التعبير اللغوي. تشرح هويتهم بالمعنى.
تلعب نظرية المعنى دورًا مهمًا في مناقشة المفارقات الدلالية ، حيث يعتبر حل أي معيار للقبول مهمًا وملائمًا.
المعادلة المنطقية
يستخدم هذا المصطلح في اللغة المعدنية. بموجب المعادلة المنطقية ، يمكننا تمثيل السجل F1=F2 ، حيث تكون F1 و F2 صيغتين للغة الموسعة للقضايا المنطقية. لحل مثل هذه المعادلة يعني تحديد تلك المجموعات من القيم الحقيقية للمتغيرات التي سيتم تضمينها في إحدى الصيغ F1 أو F2 ، والتي بموجبها سيتم مراعاة المساواة المقترحة.
علامة التساوي في الرياضيات في بعض المواقفيشير إلى تساوي العناصر الأصلية ، وفي بعض الحالات يتم تعيينه لإثبات المساواة في قيمهم. قد يشير الإدخال F1=F2 إلى أننا نتحدث عن نفس الصيغة.
في الأدب في كثير من الأحيان تحت المنطق الرسمي يعني هذا مرادف مثل "لغة الافتراضات المنطقية". "الكلمات الصحيحة" هي الصيغ التي تعمل كوحدات دلالية تستخدم لبناء التفكير المنطقي غير الرسمي (الفلسفي).
البيان بمثابة جملة تعبر عن اقتراح معين. بمعنى آخر ، فهو يعبر عن فكرة وجود بعض الأمور.
يمكن اعتبار أي بيان صحيحًا في حالة وجود الحالة الموصوفة فيه في الواقع. وإلا فإن مثل هذا البيان سيكون بيان كاذب.
أصبحت هذه الحقيقة أساس المنطق الإفتراضي. هناك تقسيم للبيانات إلى مجموعات بسيطة ومعقدة.
عند صياغة المتغيرات البسيطة من العبارات ، يتم استخدام صيغ اللغة الأولية الصفرية. وصف العبارات المعقدة ممكن فقط باستخدام صيغ اللغة.
الوصلات المنطقية ضرورية للدلالة على النقابات. عند تطبيقها ، تتحول العبارات البسيطة إلى أشكال معقدة:
- "لا" ،
- "ليس صحيحا …" ،
- "أو".
الخلاصة
المنطق الرسمي يساعد في معرفة الاسم الصحيح للبيان ، ويتضمن بناء وتحليل القواعد لتحويل تعبيرات معينة تحافظ عليهاالقيمة الحقيقية بغض النظر عن المحتوى. كقسم منفصل من العلوم الفلسفية ، ظهر فقط في نهاية القرن التاسع عشر. الاتجاه الثاني هو المنطق غير الرسمي.
المهمة الرئيسية لهذا العلم هي تنظيم القواعد التي تسمح لك باستنباط عبارات جديدة بناءً على عبارات مثبتة.
أساس المنطق هو إمكانية الحصول على بعض الأفكار كنتيجة منطقية لعبارات أخرى.
هذه الحقيقة تجعل من الممكن وصف ليس فقط مشكلة معينة في العلوم الرياضية بشكل مناسب ، ولكن أيضًا لنقل المنطق إلى الإبداع الفني.
يفترض التحقيق المنطقي العلاقة الموجودة بين المقدمات والاستنتاجات المستخلصة منها.
يمكن أن يُعزى إلى عدد المفاهيم الأولية والأساسية للمنطق الحديث ، والذي يُطلق عليه غالبًا علم "ما يليه".
من الصعب تخيل إثبات النظريات في الهندسة ، وشرح الظواهر الفيزيائية ، وشرح آليات التفاعلات في الكيمياء دون مثل هذا المنطق.
