https://3rabica.org/index.php?action=history&feed=atom&title=%D8%B5%D8%AD%D8%A9_%28%D9%85%D9%86%D8%B7%D9%82%29صحة (منطق) - تاريخ المراجعة2026-06-11T04:44:03Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.7https://3rabica.org/index.php?title=%D8%B5%D8%AD%D8%A9_(%D9%85%D9%86%D8%B7%D9%82)&diff=1639858&oldid=prevعبد العزيز: بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 1042023-06-11T18:47:58Z<p>بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 104</p>
<p><b>صفحة جديدة</b></p><div>{{عن|3=صحة (توضيح)}}<br />
{{عن|3=سلامة (توضيح)}}<br />
<br />
'''الصحة''' ("السلامة") في [[منطق رياضي|المنطق الرياضي]] وصف للنظام الصوري (الشكلي) الذي أثبتت قواعد الاستدال أن المعادلات [[صحة#معادلة صحيحة|صحيحة]] بالنسبة لمدلولاته.<ref>{{استشهاد ويب| مسار = https://www.britannica.com/topic/soundness-logic | عنوان = معلومات عن صحة (منطق) على موقع britannica.com | ناشر = britannica.com| مسار أرشيف = https://web.archive.org/web/20150912074211/http://www.britannica.com/topic/soundness-logic | تاريخ أرشيف = 12 سبتمبر 2015 }}</ref><ref>{{استشهاد ويب| مسار = http://www.omegawiki.org/DefinedMeaning:1223203 | عنوان = معلومات عن صحة (منطق) على موقع omegawiki.org | ناشر = omegawiki.org| مسار أرشيف = https://web.archive.org/web/20201021044326/http://www.omegawiki.org/DefinedMeaning:soundness_(1223203) | تاريخ أرشيف = 21 أكتوبر 2020 }}</ref> وفي معظم الحالات يرجع ذلك إلى قواعدها التي تتميز بخاصية الحفاظ على ''[[حقيقة|الحقيقة]]''، ولكن ليس الحال كذلك عمومًا.<br />
<br />
== الحجج ==<br />
<br />
تكون [[الحجج]] '''صحيحة''' إذا وفقط إذا<br />
# كانت الحجة [[صحة|صحيحة]].<br />
# جميع عناصرها [[حقيقة|حقيقية]].<br />
<br />
على سبيل المثال،<br />
<br />
:كل إنسان إلى زوال.<br />
:[[سقراط]] إنسان.<br />
:إذن، سقراط إلى زوال.<br />
<br />
إن الحجة صحيحة (لأن النتيجة حقيقية اعتمادًا على الفروض، ومن ثم تتبع النتيجة الفروض)، وبما أن الفروض هي فعلاً حقيقية، تكون الحجة سليمة.<br />
<br />
الحجة التالية صحيحة لكنها ليست سليمة:<br />
<br />
:جميع الكائنات ذات الأجنحة تطير.<br />
:البطريق له جناحان.<br />
:ومن ثم، فإن البطريق يطير.<br />
<br />
بما إن الفرض الأول خطأ فعلاً، فإن الحجة، رغم كونها صحيحة، فهي ليست سليمة.<br />
<br />
== الأنظمة المنطقية ==<br />
<br />
تعد السلامة بين أهم الخصائص الأساسية للمنطق الرياضي. فخاصية السلامة توفر السبب المبدئي لاعتبار النظام المنطقي مستحبًا. بينما تعني خاصية الاكتمال أن كل شيء صحيح (حقيقة) يمكن إثباتها. وكلاهما معًا قد يعنيان أنه يمكن إثبات جميع الأشياء الصحيحة والأشياء الصحيحة فقط.<br />
<br />
إن معظم براهين السلامة براهين تافهة. فعلى سبيل المثال، في نظام البديهيات، يهدف برهان السلامة إلى إثبات صحة البديهيات وأن قواعد الاستدلال تحفظ الشيء الصحيح (أو الخاصية الأضعف، وهي الحقيقة). فمعظم أنظمة البديهيات لديها قاعدة وحيدة لـ قانون الاستلزام (وأحيانًا الإحلال), ومن ثم يلزم فقط إثبات صحة البديهيات وقاعدة استدلال واحدة.<br />
<br />
تنقسم خصائص السلامة إلى قسمين أساسيين مختلفين: السلامة الضعيفة والسلامة القوية، والقسم الأول هو شكل مقيد من القسم الثاني.<br />
<br />
=== السلامة ===<br />
<br />
إن سلامة نظام الاستنباط هي خاصية أن كل جملة يمكن إثباتها في نظام الاستنباط هذا هي جملة حقيقية أيضًا من حيث جميع تفسيرات أو بنيات النظرية الدلالية الخاصة باللغة التي تعتمد عليها تلك النظرية. باستخدام الرموز، إذا كانت ''S'' هي نظام الاستنباط وكانت ''L'' هي اللغة مع النظرية الدلالية خاصتها، وكانت ''P'' هي جملة ''L'': إذا كانت ⊢<sub>''S''</sub>&nbsp;''P'', إذن أيضًا ⊨<sub>''L''</sub>&nbsp;''P''.<br />
<br />
=== السلامة القوية ===<br />
<br />
إن السلامة القوية لنظام الاستنباط هي خاصية أن كل جملة ''P'' في اللغة التي يقوم عليها نظام الاستنباط والتي يمكن اشتقاقها من مجموعة من الجمل Γ في تلك اللغة هي أيضًا [[قضية شرطية]] لتلك المجموعة، من حيث إن أي نموذج يجعل جميع أعضاء Γ حقيقيين يجعل أيضًا ''P'' حقيقية. باستخدام الرموز عندما تكون Γ مجموعة من جمل ''L'': إذا كانت Γ&nbsp;⊢<sub>''S''</sub>&nbsp;''P'', فإن أيضًا Γ&nbsp;⊨<sub>''L''</sub>&nbsp;''P''. لاحظ أنه في بيان السلامة القوية، عندما تكون Γ فارغة، فلدينا بيان لسلامة ضعيفة.<br />
<br />
=== السلامة الحسابية ===<br />
<br />
إذا كانت ''T'' هي نظرية يمكن تفسير عناصرها بأنها [[عدد طبيعي|أعداد طبيعية]], فسنقول إن ''T'' ''سليمة حسابيًا'' إذا كانت جميع مبرهنات ''T'' حقيقية فعلاً من حيث الأعداد الصحيحة الحسابية القياسية. لمزيد من المعلومات انظر نظرية تناسب أوميغا (ω).<br />
<br />
== الارتباط بالاكتمال ==<br />
<br />
إن عكس خاصية السلامة هي خاصية الاكتمال. فيكون نظام الاستنباط ذو النظرية الدلالية كاملاً بثبات إذا كانت كل جملة ''P'' التي هي [[قضية شرطية]] لمجموعة من الجمل Γ يمكن اشتقاقها في نظام الاستنباط من تلك المجموعة. باستخدام الرموز : عندما تكون {{بدون لف|Γ '''⊨''' ''P''}}, فإن أيضًا {{بدون لف|Γ '''⊢''' ''P''}}. إن اكتمال [[منطق الرتبة الأولى]] كان أول من وضعها بوضوح هو غودل، رغم أن بعض النتائج الأساسية كانت مذكورة في أعمال سكوليم قبل ذلك.<br />
<br />
من الناحية غير الرسمية، تنص مبرهنة السلامة الخاصة بنظام الاستنباط على أن جميع الجمل الممكن إثباتها جمل حقيقية. بينما تنص مبرهنة الاكتمال أن جميع العبارات الحقيقية يمكن إثباتها.<br />
<br />
[[مبرهنات عدم الاكتمال لغودل|مبرهنة عدم الاكتمال الأولى لغودل]] تبين أنه بالنسبة للغات التي تكفي لإجراء مقدار معين من العمليات الحسابية، فلن يكون هناك نظام استنباط فعال مكتمل يتعلق بالتفسير المطلوب لرمزية تلك اللغة. ومن ثم، ليست جميع أنظمة الاستنباط مكتملة بهذا المعنى الخاص للاكتمال، حيث تكون فئة من النماذج (حتى التماثل) قاصرة على المعنى المقصود. وينطبق برهان الاكتمال الأصلي على ''جميع'' النماذج الكلاسيكية، وليس بعض الفئات الفرعية الصحيحة الخاصة.<br />
<br />
== انظر أيضًا ==<br />
* [[الصلاحية (ناحية)|الصلاحية]]<br />
* [[منطق رياضي]]<br />
== المراجع ==<br />
{{مراجع}}<br />
* {{استشهاد بكتاب | مؤلف = Hinman, P. | عنوان = Fundamentals of Mathematical Logic | ناشر = A K Peters | سنة = 2005 | الرقم المعياري = 1-56881-262-0}}<br />
* {{استشهاد|الأول=Irving |الأخير=Copi |عنوان=Symbolic Logic| إصدار=5th| ناشر= Macmillian Publishing Co. |سنة=1979| isbn=0-02-324880-7}}<br />
* Boolos, Burgess, Jeffrey. ''Computability and Logic'', 4th Ed, Cambridge, 2002.<br />
<br />
== وصلات خارجية ==<br />
* [http://www.iep.utm.edu/val-snd/ Validity and Soundness] in the ''Internet Encyclopedia of Philosophy.''<br />
<br />
{{منطق}}<br />
{{شريط بوابات|رياضيات|فلسفة|منطق}}<br />
<br />
[[تصنيف:استنباط]]<br />
[[تصنيف:حجج]]<br />
[[تصنيف:مفاهيم في المنطق]]<br />
[[تصنيف:نظرية البرهان]]<br />
[[تصنيف:نظرية النموذج]]</div>عبد العزيز