نظرية العقل الحسابية

في فلسفة العقل ، تُعرف النظرية الحسابية للعقل ( CTM )، أو الحسابية ، بأنها مجموعة من الآراء التي ترى أن العقل البشري نظام لمعالجة المعلومات، وأن الإدراك والوعي معًا شكل من أشكال الحساب . وهي ترتبط ارتباطًا وثيقًا بالوظيفية ، وهي نظرية أوسع نطاقًا تُعرّف الحالات العقلية بما تفعله لا بما تتكون منه. ^{[ 1 ]}

كان وارن ماكولوتش ووالتر بيتس (1943) أول من اقترح أن النشاط العصبي هو نشاط حسابي. وقد جادلا بأن العمليات الحسابية العصبية تفسر الإدراك . ^{[ 2 ]} وقدّم بيتر بوتنام وروبرت دبليو فولر نسخة من هذه النظرية عام 1964. ^{[ 3 ] [ 4 ]} ثم اقترح هيلاري بوتنام النظرية بصيغتها الحديثة عامي 1960 و1961، ^{[ 5 ]} بمساعدة طالب الدكتوراه آنذاك، الفيلسوف وعالم الإدراك جيري فودور ، الذي واصل البحث كباحث ما بعد الدكتوراه في الستينيات والسبعينيات والثمانينيات. ^{[ 6 ] [ 7 ]} وقد تعرضت النظرية لاحقًا لانتقادات من بوتنام نفسه، وجون سيرل ، وآخرين. ^{[ 8 ]}

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

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

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

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

يُصوّر نموذج الحوسبة الترابطية العقلَ كشبكة عصبية . ويُميّز ستيفن بينكر وآلان برينس بين نوعين من الترابطيين: الترابطيون الاستبعاديون والترابطيون التطبيقيون . يرفض الترابطيون الاستبعاديون عمومًا نماذج تورينج الكلاسيكية وفكرة العقل المُهيكل والرمزي، بينما ينظر الترابطيون التطبيقيون إلى الشبكات العصبية وآلات تورينج على أنهما مستويان تحليليان مُتكاملان مُحتملان. ومن الممكن نظريًا بالفعل تطبيق شبكة عصبية في آلة تورينج، أو آلة تورينج في شبكة عصبية. ^{[ 7 ]}

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

يثير نموذج الحساب الكمي (CTM) سؤالًا لا يزال محل نقاش: ما الذي يتطلبه نظام مادي (مثل العقل أو الحاسوب الاصطناعي) لإجراء عمليات حسابية؟ ويستند تفسير بسيط للغاية إلى ربط واضح بين العمليات الحسابية الرياضية المجردة والأنظمة المادية: يُجري النظام عملية حسابية C إذا وفقط إذا كان هناك ربط بين سلسلة من الحالات المحددة بواسطة C وسلسلة من الحالات المحددة بواسطة وصف مادي للنظام. ^{[ 11 ] [ 12 ]}

يرى بوتنام (1988) وسيرل (1992) أن هذا التفسير البسيط للخرائط (SMA) يُقلل من أهمية الوصف الحسابي التجريبي. ^{[ 12 ] [ 13 ]} وكما قال بوتنام: "كل شيء عبارة عن آلة احتمالية تخضع لوصف ما". ^{[ 14 ]} حتى الصخور والجدران ودلاء الماء - على عكس ما يبدو - هي أنظمة حاسوبية. ويُحدد غوالتيرو بيتشينيني نسخًا مختلفة من الحوسبة الشاملة. ^{[ 15 ]} وكتب سيرل:

الجدار الذي خلفي يُطبّق الآن برنامج WordStar ، لوجود نمط من حركات الجزيئات يُطابق البنية الرسمية لـ WordStar. ولكن إذا كان الجدار يُطبّق WordStar، فإذا كان جدارًا كبيرًا بما يكفي، فإنه يُطبّق أي برنامج، بما في ذلك أي برنامج مُطبّق في الدماغ. ^{[ 16 ]}

رداً على انتقادات التبسيط المفرط، ولتقييد مفهوم التحليل الدلالي للعقل، قدّم فلاسفة العقل تفسيراتٍ مختلفة للأنظمة الحاسوبية. تشمل هذه التفسيرات عادةً التفسير السببي، والتفسير الدلالي، والتفسير النحوي، والتفسير الآلي. ^{[ 17 ]} وبدلاً من التقييد الدلالي، يفرض التفسير النحوي تقييداً نحوياً. ^{[ 17 ]} وقد قدّم غوالتيرو بيتشينيني التفسير الآلي لأول مرة عام 2007. ^{[ 18 ]}

تم اقتراح مجموعة من الحجج ضد المفاهيم المادية المستخدمة في النظريات الحسابية للعقل.

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

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

كما تم طرح اعتراضات مصممة خصيصًا لنظريات العقل الحاسوبية.

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

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

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

• اقترح دانيال دينيت نموذج المسودات المتعددة ، حيث يبدو الوعي خطيًا ولكنه في الواقع ضبابي، موزع على المكان والزمان في الدماغ. الوعي هو العملية الحسابية، ولا توجد خطوة إضافية يصبح فيها الشخص واعيًا بالعملية الحسابية. ^{[ 27 ]}
• يجادل جيري فودور بأن الحالات الذهنية، كالمعتقدات والرغبات، هي علاقات بين الأفراد والتمثيلات الذهنية. ويؤكد أن هذه التمثيلات لا يمكن تفسيرها تفسيراً صحيحاً إلا من خلال لغة الفكر (LOT) في العقل. علاوة على ذلك، فإن لغة الفكر هذه نفسها مُشفّرة في الدماغ، وليست مجرد أداة تفسيرية مفيدة. يتبنى فودور نوعاً من الوظيفية، مؤكداً أن التفكير والعمليات الذهنية الأخرى تتكون أساساً من عمليات حسابية تُجرى على بنية التمثيلات التي تُشكل لغة الفكر. في أعمال لاحقة ( المفاهيم وشجرة الدردار والخبير )، قام فودور بتنقيح بعض آرائه الحسابية الأصلية، بل وشكك فيها، واعتمد لغة الفكر الثانية (LOT2)، وهي نسخة مُعدّلة بشكل كبير من لغة الفكر (LOT). ^{[ 28 ] [ 29 ]}
• اقترح ديفيد مار أن العمليات المعرفية لها ثلاثة مستويات من الوصف: المستوى الحسابي ، الذي يصف العمليات التي يقوم بها النظام وسبب قيامه بها؛ والمستوى الخوارزمي ، الذي يعرض الخوارزمية المستخدمة لحسابها؛ والمستوى التنفيذي ، الذي يصف التنفيذ المادي للخوارزمية المفترضة في المستوى الخوارزمي. ^{[ 30 ]}
• قام أولريك نايسر بنشر مصطلح علم النفس المعرفي في كتابه الذي يحمل هذا العنوان والذي نُشر عام 1967. ^{[ 31 ]} يصف نايسر الناس بأنهم أنظمة ديناميكية لمعالجة المعلومات يمكن وصف عملياتهم العقلية بمصطلحات حسابية.
• جادل ستيفن بينكر في كتابه " كيف يعمل العقل" الصادر عام 1997 بأن "التفكير والشعور يتكونان من معالجة المعلومات في الدماغ"، وسعى إلى تفسير الدماغ من منظور علم النفس التطوري . وكتب أن القدرات العقلية البشرية، على غرار الأعضاء، موجودة لأنها تؤدي دورًا في البقاء أو التكاثر. ^{[ 32 ]}
• اقترح هيلاري بوتنام المذهب الوظيفي لوصف الوعي، مؤكداً أن الحساب هو ما يعادل الوعي، بغض النظر عما إذا كان الحساب يعمل في الدماغ أو في جهاز كمبيوتر. ^{[ 33 ]}

• بلوك، نيد ، محرر. (1983). قراءات في فلسفة علم النفس . المجلد  1. كامبريدج، ماساتشوستس: مطبعة جامعة هارفارد. ISBN 067474876X. OCLC 810753995 . 
• تشالمرز، ديفيد (2011). "أساس حسابي لدراسة الإدراك" . مجلة العلوم المعرفية . 12 (4): 323-357 .
• كرين، تيم (2016). العقل الآلي: مدخل فلسفي للعقول والآلات والتمثيل الذهني (  الطبعة الثالثة). لندن ونيويورك: روتليدج. ISBN 9781138858329. OCLC 964575493 . 
• فودور، جيري (1975). لغة الفكر . كامبريدج، ماساتشوستس: مطبعة جامعة هارفارد. ISBN 0674510305. OCLC 15149586 . 
• فودور، جيري (1995). شجرة الدردار والخبير: لغة مينتاليز ودلالاتها (  نسخة إلكترونية). كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. doi : 10.7551/mitpress/2693.001.0001 . ISBN 9780262272889. OCLC 9470770683 . 
• فودور، جيري (1998). المفاهيم: أين أخطأت العلوم المعرفية . سلسلة أكسفورد للعلوم المعرفية. أكسفورد ونيويورك: مطبعة كلارندون التابعة لجامعة أكسفورد. ISBN 9780198236375. OCLC 38079317 . 
• فودور، جيري (2000). العقل لا يعمل بهذه الطريقة: نطاق وحدود علم النفس الحسابي . كامبريدج، ماساتشوستس ولندن: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 9780262062121. OCLC 43109956 . 
• فودور، جيري (2010). الجزء الثاني: إعادة النظر في لغة الفكر . أكسفورد ونيويورك: مطبعة جامعة أكسفورد. ISBN 9780199548774. OCLC 470698989 . 
• هارناد، ستيفان (1994). "الحوسبة مجرد معالجة للرموز القابلة للتفسير: الإدراك ليس كذلك". العقول والآلات . 4 (4): 379-390 . doi : 10.1007/bf00974165 . S2CID 230344 . 
• مار، ديفيد (2010) [1981]. الرؤية: دراسة حاسوبية في تمثيل الإنسان للمعلومات البصرية ومعالجتها . كامبريدج، ماساتشوستس ولندن: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 978-0-262-51462-0. OCLC 472791457 . 
• بيتشينيني، غوالتيرو (2015). الحوسبة الفيزيائية: عرض آلي . أكسفورد: مطبعة جامعة أكسفورد. ISBN 9780199658855. OCLC 920617851 . 
• بينكر، ستيفن (1997). كيف يعمل العقل . نيويورك: دبليو دبليو نورتون. رقم ISBN 978-0393045352. OCLC 36379708 . 
• بوتنام، هيلاري (1995) [1979]. الرياضيات، والمادة، والمنهج . أوراق فلسفية، المجلد 1 (  الطبعة الثانية). كامبريدج ونيويورك: مطبعة جامعة كامبريدج. ISBN 0-521-29550-5. OCLC 258667059 . 
• بوتنام، هيلاري (1995). تجديد الفلسفة (  طبعة مُعاد إصدارها). كامبريدج، ماساتشوستس: مطبعة جامعة هارفارد. ISBN 9780674760943. OCLC 60298037 . 
• بيليشين، زينون (1984). الحوسبة والإدراك: نحو أساس لعلم الإدراك . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 0262160986. OCLC 10507591 . 
• سيرل، جون (1992). إعادة اكتشاف العقل . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 026269154X. OCLC 760581004 . 
• زالتا، إدوارد ن. (محرر). "النظرية الحسابية للعقل" . موسوعة ستانفورد للفلسفة . الرقم الدولي الموحد للدوريات 1095-5054 . رقم OCLC 429049174 .  

• نظرية العقل الحاسوبية في مشروع أنطولوجيا الفلسفة في إنديانا
• نظرية العقل الحاسوبية في PhilPapers
• أوراق بحثية منشورة على الإنترنت حول الوعي، الجزء الثاني: فلسفة أخرى للعقل ، جمعها ديفيد تشالمرز