المنطق الدوكساتيكي

المنطق الدوكساتيكي هو نوع من المنطق يهتم بالاستدلال حول المعتقدات .

يُشتق مصطلح "المنطق الدوكساستيكي" من الكلمة اليونانية القديمة δόξα ( doxa ، وتعني "الرأي أو الاعتقاد")، والتي استُعير منها أيضاً المصطلح الإنجليزي doxa (أي الرأي أو الاعتقاد الشائع). عادةً ما يستخدم المنطق الدوكساستيكي الترميز التالي:${\displaystyle {\mathcal {B}}_{c}x}$بمعنى "مُفكِّر"${\displaystyle c}$يعتقد أن${\displaystyle x}$صحيح"، والمجموعة${\displaystyle \mathbb {B} _{c}:\left\{b_{1},\ldots ,b_{n}\right\}}$يشير إلى مجموعة معتقدات${\displaystyle c}$في المنطق الدوكساتيكي، يتم التعامل مع الاعتقاد كعامل مشروط .

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

لتوضيح خصائص مجموعات المعتقدات، يُعرّف ريموند سموليان الأنواع التالية من المفكرين:

• المفكر الدقيق : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} لا يؤمن المفكر الدقيق بأي قضية خاطئة. (البديهية المشروطة T )

${\displaystyle \forall p:{\mathcal {B}}_{c}p\to p}$

• المفكر غير الدقيق : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} يعتقد المفكر غير الدقيق بقضية خاطئة واحدة على الأقل.

${\displaystyle \exists p:\neg p\wedge {\mathcal {B}}_{c}p}$

• المفكر المتسق : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} لا يؤمن المفكر المتسق أبدًا بقضية ونفيها في آن واحد. (البديهية المشروطة د )

$\displaystyle \neg \exists p:{\mathcal {B}}_{c}p\wedge {\mathcal {B}}_{c}\neg p\quad {\text{or}}\quad \forall p:{\mathcal {B}}_{c}p\to \neg {\mathcal {B}}_{c}\neg p}$

• المفكر العادي : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} المفكر العادي هو من يعتقد${\displaystyle p,}$ويعتقدون أيضًا أنهم يعتقدون${\displaystyle p}$(الفرضية المشروطة 4 ).

${\displaystyle \forall p:{\mathcal {B}}_{c}p\to {\mathcal {BB}}p}$

ومن بين أشكال هذا الأمر، شخص لا يؤمن${\displaystyle p,}$ويعتقدون أيضاً أنهم لا يؤمنون${\displaystyle p}$(الفرضية المشروطة 5 ).

${\displaystyle \forall p:\neg {\mathcal {B}}_{c}p\to {\mathcal {B}}(\neg {\mathcal {B}}_{c}p)}$

• المفكر الغريب : ^{[ 1 ] [ 4 ]} يعتقد المفكر الغريب القضية${\displaystyle p}$بينما يعتقدون أيضاً أنهم لا يؤمنون${\displaystyle p.}$على الرغم من أن المفكر الغريب قد يبدو وكأنه ظاهرة نفسية غريبة (انظر مفارقة مور )، إلا أن المفكر الغريب غير دقيق بالضرورة ولكنه ليس بالضرورة غير متسق.

${\displaystyle \exists p:{\mathcal {B}}_{c}p\wedge {\mathcal {B\neg B}}p}$

• المفكر المنتظم : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} المفكر المنتظم هو من يعتقد ${\displaystyle p\to q}$ويعتقد أيضاً${\displaystyle {\mathcal {B}}_{c}p\to {\mathcal {B}}q}$.

${\displaystyle \forall p\forall q:{\mathcal {B}}(p\to q)\to {\mathcal {B}}({\mathcal {B}}_{c}p\to {\mathcal {B}}q)}$

• المفكر الانعكاسي : ^{[ 1 ] [ 4 ]} المفكر الانعكاسي هو من يرى كل قضية منطقية.${\displaystyle p}$يتضمن بعض المقترحات${\displaystyle q}$بحيث يعتقد صاحب الاستدلال${\displaystyle q\equiv ({\mathcal {B}}q\to p)}$.

${\displaystyle \forall p\exists q:{\mathcal {B}}(q\equiv ({\mathcal {B}}q\to p))}$

إذا اعتقد شخص ذو تفكير انعكاسي من النوع 4 [انظر أدناه ]${\displaystyle {\mathcal {B}}_{c}p\to p}$سوف يصدقون${\displaystyle p}$هذا توازي لنظرية لوب بالنسبة للمفكرين.

• المفكر المغرور : ^{[ 1 ] [ 4 ]} يعتقد المفكر المغرور أن معتقداته ليست خاطئة أبدًا.

${\displaystyle {\mathcal {B}}[\neg \exists p(\neg p\wedge {\mathcal {B}}_{c}p)]\quad {\text{or}}\quad {\mathcal {B}}[\forall p({\mathcal {B}}_{c}p\to p)]}$

إذا أُعيدت كتابتها بصيغة de re ، فإنها تُعادل منطقياً ما يلي:

${\displaystyle \forall p[{\mathcal {B}}({\mathcal {B}}_{c}p\to p)]}$

وهذا يعني أن:

${\displaystyle \forall p({\mathcal {B}}{\mathcal {B}}_{c}p\to {\mathcal {B}}_{c}p)}$

وهذا يدل على أن الشخص المغرور بالمنطق هو دائماً شخص مستقر بالمنطق (انظر أدناه).

• المفكر غير المستقر : ^{[ 1 ] [ 4 ]} المفكر غير المستقر هو من يعتقد أنه يؤمن بقضية ما، ولكنه في الواقع لا يؤمن بها. هذه ظاهرة نفسية غريبة تمامًا مثل الشذوذ؛ ومع ذلك، فإن المفكر غير المستقر ليس بالضرورة متناقضًا.

${\displaystyle \exists p:{\mathcal {B}}{\mathcal {B}}_{c}p\wedge \neg {\mathcal {B}}_{c}p}$

• المُستدل المُستقر : ^{[ 1 ] [ 4 ]} المُستدل المُستقر ليس غير مُستقر. أي، لكل${\displaystyle p,}$إذا كانوا يعتقدون${\displaystyle {\mathcal {B}}_{c}p}$ثم يعتقدون${\displaystyle p.}$لاحظ أن الاستقرار هو عكس الوضع الطبيعي. سنقول إن المفكر يعتقد أنه مستقر إذا كان لكل قضية${\displaystyle p,}$إنهم يعتقدون${\displaystyle {\mathcal {B}}{\mathcal {B}}_{c}p\to {\mathcal {B}}_{c}p}$(مؤمنًا: "إذا آمنت يومًا ما بأنني أؤمن${\displaystyle p,}$حينها سأصدق حقاً${\displaystyle p}$"). وهذا يتوافق مع وجود علاقة وصول كثيفة في دلالات كريپكي ، وأي مستنتج دقيق يكون مستقرًا دائمًا.

${\displaystyle \forall p:{\mathcal {BB}}p\to {\mathcal {B}}_{c}p}$

• المفكر المتواضع : ^{[ 1 ] [ 4 ]} المفكر المتواضع هو من يرى أن لكل قضية يؤمن بها${\displaystyle p}$،${\displaystyle {\mathcal {B}}_{c}p\to p}$فقط إذا كانوا يعتقدون${\displaystyle p}$لا يصدق المفكر المتواضع أبدًا${\displaystyle {\mathcal {B}}_{c}p\to p}$إلا إذا كانوا يعتقدون${\displaystyle p}$أي مُستدل انعكاسي من النوع 4 يكون متواضعاً. ( نظرية لوب )

${\displaystyle \forall p:{\mathcal {B}}({\mathcal {B}}_{c}p\to p)\to {\mathcal {B}}_{c}p}$

• المفكر الغريب : ^{[ 4 ]} المفكر الغريب هو من النوع G (انظر أدناه) ويعتقد أنهم غير متسقين - ولكنه مخطئ في هذا الاعتقاد.
• المفكر الخجول : ^{[ 4 ]} المفكر الخجول لا يؤمن${\displaystyle p}$[يخشى أن] يصدق${\displaystyle p}$إذا كانوا يعتقدون أن الإيمان بـ${\displaystyle p}$يؤدي ذلك إلى اعتقاد متناقض.

${\displaystyle \forall p:{\mathcal {B}}({\mathcal {B}}_{c}p\to {\mathcal {B}}\bot )\to \neg {\mathcal {B}}_{c}p}$

• المفكر من النوع الأول : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ]} يمتلك المفكر من النوع الأول معرفة كاملة بمنطق القضايا ، أي أنه عاجلاً أم آجلاً يؤمن بكل حقيقة /نظرية (أي قضية يمكن إثباتها بواسطة جداول الصواب ):

${\displaystyle \vdash _{PC}p\Rightarrow \ \vdash {\mathcal {B}}_{c}p}$

الرمز${\displaystyle \vdash _{PC}p}$وسائل${\displaystyle p}$هي حقيقة منطقية/نظرية قابلة للإثبات في حساب القضايا. كما أن مجموعة معتقداتهم (الماضي والحاضر والمستقبلي) مغلقة منطقيًا بموجب قاعدة القياس المنطقي . إذا اعتقدوا يومًا ما${\displaystyle p}$و${\displaystyle p\to q}$عندها سيصدقون (عاجلاً أم آجلاً)${\displaystyle q}$:

${\displaystyle \forall p\forall q:({\mathcal {B}}_{c}p\wedge {\mathcal {B}}(p\to q))\to {\mathcal {B}}q}$

يمكن أيضًا اعتبار هذه القاعدة بمثابة بيان ينص على أن الاعتقاد يتوزع على الاستلزام، لأنه مكافئ منطقيًا لـ

${\displaystyle \forall p\forall q:{\mathcal {B}}(p\to q)\to ({\mathcal {B}}_{c}p\to {\mathcal {B}}q)}$.

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

• المُستَعلِم من النوع 1* : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} يؤمن المُستَعلِم من النوع 1* بجميع الحُسَب التَحَقُّات؛ فمجموعة معتقداته (الماضي والحاضر والمستقبل) مُغلقة منطقيًا بموجب قاعدة القياس المنطقي، ولأي قضايا${\displaystyle p}$و${\displaystyle q,}$إذا كانوا يعتقدون${\displaystyle p\to q,}$عندها سيؤمنون بذلك إذا آمنوا${\displaystyle p}$حينها سيصدقون${\displaystyle q}$يتمتع الشخص ذو النمط 1* من التفكير المنطقي بوعي ذاتي "أكثر قليلاً" من الشخص ذي النمط 1 من التفكير المنطقي.

${\displaystyle \forall p\forall q:{\mathcal {B}}(p\to q)\to {\mathcal {B}}({\mathcal {B}}_{c}p\to {\mathcal {B}}q)}$

• المُستَعلِم من النوع الثاني : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} يكون المُستَعلِم من النوع الثاني إذا كان من النوع الأول، وإذا كان لكل${\displaystyle p}$و${\displaystyle q}$إنهم يعتقدون (بحق): "إذا صدقت كلا الأمرين${\displaystyle p}$و${\displaystyle p\to q}$حينها سأصدق${\displaystyle q}$"وباعتبارهم من النوع الأول، فإنهم يؤمنون أيضاً بالافتراض المكافئ منطقياً :${\displaystyle {\mathcal {B}}(p\to q)\to ({\mathcal {B}}_{c}p\to {\mathcal {B}}q).}$الشخص الذي يفكر من النوع الثاني يعرف أن معتقداته مغلقة بموجب قاعدة الاستدلال المنطقي (modus ponens).

${\displaystyle \forall p\forall q:{\mathcal {B}}(({\mathcal {B}}_{c}p\wedge {\mathcal {B}}(p\to q))\to {\mathcal {B}}q)}$

• المفكر من النوع 3 : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} يكون المفكر من النوع 3 إذا كان مفكرًا عاديًا من النوع 2.

${\displaystyle \forall p:{\mathcal {B}}p\to {\mathcal {B}}{\mathcal {B}}_{c}p}$

• المفكر من النوع 4 : ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ]} يكون المفكر من النوع 4 إذا كان من النوع 3 ويعتقد أيضًا أنه طبيعي.

${\displaystyle {\mathcal {B}}[\forall p({\mathcal {B}}p\to {\mathcal {B}}{\mathcal {B}}_{c}p)]}$

• المفكر من النوع G : ^{[ 1 ] [ 4 ]} مفكر من النوع 4 يعتقد أنه متواضع.

${\displaystyle {\mathcal {B}}[\forall p({\mathcal {B}}({\mathcal {B}}_{c}p\to p)\to {\mathcal {B}}_{c}p)]}$

بالنسبة للأنظمة، يُعرّف علماء المنطق خاصية الانعكاسية بأنها تعني أنه لأي${\displaystyle p}$(بلغة النظام) هناك بعض${\displaystyle q}$بحيث${\displaystyle q\equiv {\mathcal {B}}q\to p}$يمكن إثبات ذلك في النظام. تنص نظرية لوب (بصيغتها العامة) على أنه لأي نظام انعكاسي من النوع 4، إذا${\displaystyle {\mathcal {B}}_{c}p\to p}$يمكن إثبات ذلك في النظام، وكذلك${\displaystyle p.}$^{[ 1 ] [ 4 ]}

إذا اعتقد مُستَعْلِمٌ انعكاسيٌّ مُتَّسِزٌّ مِنَ النَّوْلِ 4 أنه مُستقرّ، فإنه سيصبح غير مُستقرّ. بعبارة أخرى، إذا اعتقد مُستَعْلِمٌ انعكاسيٌّ مُتَّسِزٌ مِنَ النَّوْلِ 4 أنه مُستقرّ، فإنه سيصبح غير مُتَّسِز. لماذا؟ لنفترض أن مُستَعْلِمًا انعكاسيًا مُتَّسِزًا مِنَ النَّوْلِ 4 يعتقد أنه مُستقرّ. سنُبَيِّن أنه سيُصدِّق (عاجلاً أم آجلاً) كلَّ قضية.${\displaystyle p}$(وبالتالي يكون غير متسق). خذ أي قضية${\displaystyle p.}$يعتقد صاحب المنطق${\displaystyle {\mathcal {B}}{\mathcal {B}}_{c}p\to {\mathcal {B}}_{c}p,}$وبالتالي، وفقًا لنظرية لوب، سيعتقدون${\displaystyle {\mathcal {B}}_{c}p}$(لأنهم يعتقدون)${\displaystyle {\mathcal {B}}r\to r,}$أين${\displaystyle r}$هو الاقتراح${\displaystyle {\mathcal {B}}_{c}p,}$وهكذا سيصدقون${\displaystyle r,}$وهو الاقتراح${\displaystyle {\mathcal {B}}_{c}p}$وبما أنهم مستقرون، فسوف يعتقدون ذلك.${\displaystyle p.}$^{[ 1 ] [ 4 ]}

• مراجعة المعتقدات
• المعرفة العامة (المنطق)
• المنطق الموجه المعرفي
• جورج بولوس
• جاكو هينتيكا
• المنطق الموجه
• ريموند سموليان

• ليندستروم، سانت؛ رابينوفيتش، و.ل. (1999). "DDL Unlimited. Dynamic Doxastic Logic for Introspective Agents". إركنتنيس. 51 ( 2-3 ) : 353-385 . doi : 10.1023 /A:1005577906029 . S2CID 116984078 . 
• لينسكي، ل. (1968). "حول تفسير المنطق الدوكساتيكي". مجلة الفلسفة . 65 (17): 500-502 . doi : 10.2307/2024352 . JSTOR 2024352 . 
• سيجربيرج، كر. (1999). "المنطق الافتراضي كمنطق دوكساستيك ديناميكي". إركنتنيس . 50 ( 2-3 ): 333-352 . doi : 10.1023/A:1005546526502 . S2CID 118747031 . 
• وانسينغ، هـ. (2000). "اختزال المنطق الدوكساتيكي إلى منطق الفعل". إركنتنيس . 53 ( 1-2 ): 267-283 . doi : 10.1023/A:1005666218871 . S2CID 58939606 .