بالتاكيد

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

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

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

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

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

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

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

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

كانت الأزمة التأسيسية للرياضيات مصطلحًا شائعًا في أوائل القرن العشرين للإشارة إلى البحث عن الأسس الصحيحة للرياضيات.

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

تبين أن المحاولات المتتالية لتوفير أسس لا تشوبها شائبة للرياضيات تعاني من مفارقات مختلفة (مثل مفارقة راسل ) وأنها غير متسقة .

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

أظهرت نظريات عدم الاكتمال لغودل ، التي أُثبتت عام ١٩٣١، استحالة تحقيق جوانب أساسية من برنامج هيلبرت. في النتيجة الأولى لغودل ، بيّن كيفية بناء عبارة، لأي نظام قوي ومتسق وقابل للتأصيل البديهي المحدود - كما هو ضروري لتأصيل النظرية الأولية للحساب - يمكن إثبات صحتها، ولكنها لا تترتب على قواعد النظام. وهكذا، اتضح أن مفهوم الحقيقة الرياضية لا يمكن اختزاله إلى نظام شكلي بحت كما هو متصور في برنامج هيلبرت. وفي نتيجة لاحقة، بيّن غودل أن مثل هذا النظام لم يكن قويًا بما يكفي لإثبات اتساقه، فضلًا عن أن نظامًا أبسط يمكنه القيام بذلك. يثبت هذا أنه لا يوجد أمل في إثبات اتساق أي نظام يحتوي على بديهيات للحساب الأولي، وعلى وجه الخصوص، إثبات اتساق نظرية مجموعة زيرميلو-فرانكل (ZFC)، وهو النظام الذي يستخدم بشكل عام لبناء جميع الرياضيات.  

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

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

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

•  "اليقين" . الموسوعة الكاثوليكية . 1913.
• اليقين ، قاموس التراث الأمريكي للغة الإنجليزية . Bartleby.com
• "اليقين مقابل الشك" . About.com . مؤرشف من الأصل بتاريخ 1 مارس 2009. تم الاطلاع عليه بتاريخ 23 فبراير 2008 .
• ريد، بارون. "اليقين" . في زالتا، إدوارد ن. (محرر). موسوعة ستانفورد للفلسفة . الرقم الدولي الموحد للدوريات 1095-5054 . رقم OCLC 429049174 .  
• بيلكونين، ميلود؛ فوليه، جاك هنري. "اليقين" . في: فيزر، جيمس؛ داودن، برادلي (محرران). موسوعة الإنترنت للفلسفة . ISSN 2161-0002 . OCLC 37741658 .  
• يقين الاعتقاد