DOI: https://doi.org/10.1007/s11229-023-04482-y
تاريخ النشر: 2024-02-02
المؤلف: Jorge Ignacio Fuentes
الموضوع الرئيسي: فلسفة وتاريخ العلوم
نظرة عامة
في هذا القسم، يميز المؤلف بين التفسيرات الآلية من الدرجة الأولى والتفسيرات الآلية من الدرجة الأعلى، مع التأكيد على اختلاف أوامر الآليات، والأهمية التأسيسية، وظروف الفردية. تتميز الآليات من الدرجة الأولى بشرط التجارب المتطابقة بين المستويات، حيث تعتبر الآليات من نفس النوع إذا كانت تتكون من مكونات متطابقة تؤدي نفس الأنشطة بنفس الترتيب. في المقابل، تستخدم الآليات من الدرجة الأعلى مكونات أساسية عامة (GBCs)، مثل بوابات المنطق، التي تشترك في خصائص سببية عبر أنظمة فيزيائية متنوعة. يسمح هذا النهج بالتكامل الأفقي، بهدف تفسير مجموعة واسعة من الظواهر بمكونات تجريدية أقل.
يطبق المؤلف هذا الإطار لتعزيز الحساب الآلي للحساب (MAC) ويتناول الانتقادات المتعلقة بجدواه. من خلال استكشاف المفاهيم الأساسية لـ MAC، يحدد المؤلف اتجاهين من التجريد الآلي – عمودي وأفقي – مشيرًا إلى أن التجريد الأفقي ذو صلة خاصة بالحساب. تتوج المناقشة بفهم أعمق للتفسيرات الآلية الحسابية، وعلاقتها بتفسيرات التنفيذ، وطبيعة الوظائف الغائية في الآليات التجريدية، مما يوضح في النهاية ما يشكل التماثل في الآليات الحسابية.
مقدمة
تناقش مقدمة هذه الورقة البحثية الحساب الآلي (MAC)، كما صاغه بيكيني، الذي يسعى لتعريف الحساب ضمن مجالات علوم الكمبيوتر وعلوم الأعصاب الإدراكية الحاسوبية. يستند MAC إلى الفلسفة الآلية الجديدة للعلوم، مشددًا على أن بعض التخصصات العلمية، وخاصة البيولوجيا وعلوم الأعصاب الإدراكية، تستخدم الآليات – التي تُعرف بأنها أنظمة تتفاعل أجزاؤها لإنتاج ظواهر – بدلاً من القوانين أو التحليلات الوظيفية. يتميز إطار MAC بثلاثة مفاهيم أساسية: استقلالية الوسيط، الوظيفة الغائية، والقواعد، مؤكدًا أن الآليات الحسابية تعمل بشكل مستقل عن وسيط التنفيذ، مع التركيز بدلاً من ذلك على الهياكل الرياضية والمنطقية للحسابات.
تتناول الورقة أيضًا الانتقادات الموجهة لـ MAC، التي تم تصنيفها إلى أربع مجموعات: المشككون في الآليات التجريدية، الوظائف الغائية المستقلة عن الوسيط، المركبات المستقلة عن الوسيط، وجدوى المعايير الآلية لتفرد الحساب. لتعزيز إطار MAC، يقترح المؤلف شرط المكونات الأساسية العامة (GBC)، الذي يهدف إلى تحسين فهم الخصائص الوظيفية والآليات المستقلة عن الوسيط. هذا التمييز ضروري لربط مستويات تحليل مار – التنفيذ، والخوارزمية، والحساب – حيث يتماشى المستوى الخوارزمي مع شرط GBC المقترح، بينما يتعلق المستوى الحسابي بالخصائص المستقلة عن الوسيط. ينوي المؤلف إظهار فائدة هذا الاقتراح في معالجة الانتقادات المستمرة لـ MAC، وبالتالي تعزيز النقاش حول طبيعة الحساب.
مناقشة
في هذا القسم، تركز المناقشة على الحساب الآلي (MAC) وانتقاداته. يقترح MAC، كما صاغه بيكيني (2020)، أن نظام الحوسبة هو آلية وظيفية مستقلة عن الوسيط هدفها معالجة المركبات وفقًا لقواعد محددة. يميز هذا الحساب نفسه عن نظريات الحوسبة الأخرى من خلال التأكيد على الوظيفة المعيارية للآليات، مما يسمح بتحديد الأخطاء الحسابية كأعطال. تشمل مزايا MAC قدرته على استبعاد الأنظمة غير الوظيفية من تصنيفها كأجهزة كمبيوتر وتوفير إطار يشمل أشكالًا متنوعة من الحوسبة، مثل الرقمية والعصبية.
تُصنف الانتقادات الموجهة لـ MAC إلى أربع مجموعات: المشككون في الآليات التجريدية، الوظائف الغائية المستقلة عن الوسيط، المركبات المستقلة عن الوسيط، وجدوى المعايير الآلية لتفرد الحساب. يجادل النقاد بأن التفسيرات الحسابية غالبًا ما تفتقر إلى التفاصيل اللازمة للتفسيرات الآلية الكاملة، مما يقلل من قيمتها في علوم الأعصاب الإدراكية وعلوم الكمبيوتر. بالإضافة إلى ذلك، يعتقد البعض أن الآليات التي تحتوي على تفاصيل تنفيذ محددة فقط يمكن أن تمتلك وظائف غائية، مما يقوض جدوى MAC. يتحدى آخرون قدرة MAC على التمييز بين المركبات المستقلة عن الوسيط والمعتمدة عليه، مؤكدين أن مثل هذه التمييزات ليست مبدئية. تختتم القسم بالإشارة إلى أنه بينما تقدم هذه الانتقادات تحديات كبيرة، يعتزم المؤلف معالجتها في الأقسام التالية، لا سيما من خلال اقتراح فهم موسع للآليات من الدرجة الأعلى ضمن إطار MAC.
DOI: https://doi.org/10.1007/s11229-023-04482-y
Publication Date: 2024-02-02
Author(s): Jorge Ignacio Fuentes
Primary Topic: Philosophy and History of Science
Overview
In this section, the author distinguishes between first-order and higher-order mechanistic explanations, emphasizing their differing orders of mechanisms, constitutive relevance, and individuation conditions. First-order mechanisms are characterized by the matched-interlevel-experiments condition, where mechanisms are considered the same type if they consist of identical components performing the same activities in the same arrangement. In contrast, higher-order mechanisms utilize generalized basic components (GBCs), such as logic gates, which share causal properties across various physical systems. This approach allows for horizontal integration, aiming to explain a wide range of phenomena with fewer abstract components.
The author applies this framework to enhance the mechanistic account of computation (MAC) and addresses criticisms regarding its viability. By exploring the foundational concepts of MAC, the author identifies two directions of mechanistic abstraction—vertical and horizontal—highlighting that horizontal abstraction is particularly relevant for computation. The discussion culminates in a deeper understanding of computational mechanistic explanations, their relationship to implementation explanations, and the nature of teleofunctions in abstract mechanisms, ultimately clarifying what constitutes sameness in computational mechanisms.
Introduction
The introduction of this research paper discusses the Mechanistic Account of Computation (MAC), as articulated by Piccinini, which seeks to define computation within the realms of computer science and computational cognitive neuroscience. MAC is rooted in the new mechanistic philosophy of science, emphasizing that certain scientific disciplines, particularly biology and cognitive neuroscience, utilize mechanisms—defined as systems where parts interact to produce phenomena—rather than laws or functional analyses. The MAC framework is characterized by three core concepts: medium independence, teleological function, and rule, asserting that computational mechanisms operate independently of the medium of implementation, focusing instead on the mathematical and logical structures of the computations.
The paper also addresses criticisms of MAC, categorized into four groups: skeptics about abstract mechanisms, medium-independent teleological functions, medium-independent vehicles, and the viability of mechanistic criteria for computation individuation. To enhance the MAC framework, the author proposes a Generalized Basic Components (GBC) condition, which aims to refine the understanding of medium-independent functional properties and mechanisms. This distinction is crucial for relating Marr’s levels of analysis—implementation, algorithmic, and computational—where the algorithmic level aligns with the proposed GBC condition, while the computational level pertains to medium-independent properties. The author intends to demonstrate the utility of this proposal in addressing longstanding criticisms of MAC, thereby advancing the discourse on the nature of computation.
Discussion
In this section, the discussion centers on the mechanistic account of computation (MAC) and its critiques. The MAC, as articulated by Piccinini (2020), posits that a computing system is a medium-independent functional mechanism whose purpose is to process vehicles according to specific rules. This account distinguishes itself from other computational theories by emphasizing the normative function of mechanisms, allowing for the identification of miscomputations as malfunctions. The MAC’s advantages include its ability to exclude non-functional systems from being classified as computers and its provision of a framework that encompasses various forms of computation, such as digital and neural.
The criticisms of the MAC are categorized into four groups: skeptics about abstract mechanisms, medium-independent teleological functions, medium-independent vehicles, and the viability of mechanistic criteria for computational individuation. Critics argue that computational explanations often lack the detail necessary for full mechanistic explanations, which diminishes their value in cognitive neuroscience and computer science. Additionally, some contend that only mechanisms with specific implementation details can possess teleological functions, thereby undermining the MAC’s viability. Others challenge the MAC’s ability to distinguish between medium-independent and dependent vehicles, asserting that such distinctions are not principled. The section concludes by noting that while these critiques present significant challenges, the author intends to address them in subsequent sections, particularly by proposing an enriched understanding of higher-order mechanisms within the MAC framework.