Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Семья взглядов в философии разума
Family of views in the philosophy of mind
В философии разума вычислительная теория разума (CTM), также известная как вычислительность, представляет собой совокупность подходов, утверждающих, что человеческий разум является системой обработки информации, а познание и сознание в совокупности представляют собой форму вычислений. Уоррен Маккалок и Уолтер Питтс (1943) первыми предположили, что нейронная активность носит вычислительный характер. Они утверждали, что нейронные вычисления объясняют познавательные процессы. Теория была сформулирована в современном виде Хилари Путнэмом в 1967 году и развита его аспирантом, философом и когнитивным ученым Джерри Фодором в 1960-х, 1970-х и 1980-х годах. В 1990-х годах она подверглась резкой критике в аналитической философии благодаря работам самого Путнэма, Джона Серла и других исследователей. Вычислительная теория разума утверждает, что разум – это вычислительная система, которая реализуется (то есть физически воплощается) нейронной активностью в мозге. Теория может быть разработана различными способами и существенно варьируется в зависимости от понимания термина «вычисления». Вычисления обычно понимаются в терминах машин Тьюринга, которые манипулируют символами в соответствии с правилами, в сочетании с внутренним состоянием машины. Ключевым аспектом такой вычислительной модели является возможность абстрагироваться от конкретных физических деталей машины, осуществляющей вычисления. Вычислительная теория использует те же принципы, что и в цифровых вычислениях. Поскольку Томас Гоббс жил до современного отождествления вычислений с реализацией эффективных процедур, его нельзя интерпретировать как явного сторонника вычислительной теории разума в современном понимании.
In philosophy of mind, the computational theory of mind (CTM), also known as computationalism, is a family of views that hold that the human mind is an information processing system and that cognition and consciousness together are a form of computation. Warren McCulloch and Walter Pitts (1943) were the first to suggest that neural activity is computational. They argued that neural computations explain cognition. The theory was proposed in its modern form by Hilary Putnam in 1967, and developed by his PhD student, philosopher, and cognitive scientist Jerry Fodor in the 1960s, 1970s, and 1980s. It was vigorously disputed in analytic philosophy in the 1990s due to work by Putnam himself, John Searle, and others. The computational theory of mind holds that the mind is a computational system that is realized (i. e. physically implemented) by neural activity in the brain. The theory can be elaborated in many ways and varies largely based on how the term computation is understood. Computation is commonly understood in terms of Turing machines which manipulate symbols according to a rule, in combination with the internal state of the machine. The critical aspect of such a computational model is that we can abstract away from particular physical details of the machine that is implementing the computation. Computational theory just uses some of the same principles as those found in digital computing. Since Hobbes lived before the contemporary identification of computing with instantiating effective procedures, he cannot be interpreted as explicitly endorsing the computational theory of mind, in the contemporary sense.
Панкомпьютерализм
CTM поднимает вопрос, который остаётся предметом споров: что необходимо физической системе (например, разуму или искусственному компьютеру) для выполнения вычислений? Очень прямолинейное объяснение основано на простом соответствии между абстрактными математическими вычислениями и физическими системами: система выполняет вычисление C тогда и только тогда, когда существует соответствие между последовательностью состояний, определяемых C, и последовательностью состояний, определяемых физическим описанием системы. Как выразился Путнам, "всё является вероятностным автоматом при определенном описании". Даже камни, стены и вёдра с водой – вопреки кажущемуся – являются вычислительными системами. Гвальтеро Пичинини выделяет различные версии панкомпьютационализма. В ответ на критику тривиализации и для ограничения СМА, философы разума предложили различные подходы к определению вычислительных систем. К ним обычно относятся причинный подход, семантический подход, синтаксический подход и механистический подход. Вместо семантического ограничения, синтаксический подход накладывает синтаксическое ограничение.
CTM raises a question that remains a subject of debate: what does it take for a physical system (such as a mind, or an artificial computer) to perform computations? A very straightforward account is based on a simple mapping between abstract mathematical computations and physical systems: a system performs computation C if and only if there is a mapping between a sequence of states individuated by C and a sequence of states individuated by a physical description of the system. As Putnam put it, “everything is a Probabilistic Automaton under some Description”. Even rocks, walls, and buckets of water—contrary to appearances—are computing systems. Gualtiero Piccinini identifies different versions of Pancomputationalism. In response to the trivialization criticism, and to restrict SMA, philosophers of mind have offered different accounts of computational systems. These typically include causal account, semantic account, syntactic account, and mechanistic account. Instead of a semantic restriction, the syntactic account imposes a syntactic restriction.
Известные теоретики
Даниэль Деннет предложил модель множественных черновиков, в которой сознание кажется линейным, но на самом деле размыто и фрагментарно, распределено в пространстве и времени в мозге. Сознание – это вычисление, нет дополнительного этапа, на котором вы осознаете само вычисление. Джерри Фодор утверждает, что психические состояния, такие как убеждения и желания, являются отношениями между индивидуумом и ментальными репрезентациями. Он утверждает, что эти репрезентации могут быть правильно объяснены только в терминах языка мысли (LOT) в уме. Более того, этот язык мысли сам по себе закодирован в мозге, а не является просто полезным инструментом для объяснения. Фодор придерживается разновидности функционализма, утверждая, что мышление и другие ментальные процессы состоят главным образом из вычислений, оперирующих синтаксисом репрезентаций, составляющих язык мысли. В более поздних работах («Концепции и Вяз и эксперт») Фодор уточнил и даже поставил под сомнение некоторые из своих первоначальных вычислительных взглядов и принял LOT2 – сильно модифицированную версию LOT. Дэвид Марр предложил, что когнитивные процессы имеют три уровня описания: вычислительный уровень, описывающий вычислительную задачу, решаемую когнитивным процессом; алгоритмический уровень, представляющий алгоритм, используемый для решения задачи, постулированной на вычислительном уровне; и уровень реализации, описывающий физическую реализацию алгоритма, постулированного на алгоритмическом уровне в мозге. Ульрик Найссер ввёл термин «когнитивная психология» в своей книге с таким названием, опубликованной в 1967 году. Найссер характеризует людей как динамические системы обработки информации, чьи ментальные операции могут быть описаны в вычислительных терминах. Стивен Пинкер описал языковой инстинкт как эволюционно сложившуюся, врождённую способность к изучению языка (если не письменности). Его книга 1997 года «Как работает разум» была направлена на популяризацию вычислительной теории разума для широкой аудитории. Хилари Путнам предложил функционализм для описания сознания, утверждая, что сознание тождественно вычислению, независимо от того, выполняется ли вычисление в мозге или в компьютере.
Daniel Dennett proposed the multiple drafts model, in which consciousness seems linear but is actually blurry and gappy, distributed over space and time in the brain. Consciousness is the computation, there is no extra step in which you become conscious of the computation. Jerry Fodor argues that mental states, such as beliefs and desires, are relations between individuals and mental representations. He maintains that these representations can only be correctly explained in terms of a language of thought (LOT) in the mind. Further, this language of thought itself is codified in the brain, not just a useful explanatory tool. Fodor adheres to a species of functionalism, maintaining that thinking and other mental processes consist primarily of computations operating on the syntax of the representations that make up the language of thought. In later work (Concepts and The Elm and the Expert), Fodor has refined and even questioned some of his original computationalist views, and adopted LOT2, a highly modified version of LOT. David Marr proposed that cognitive processes have three levels of description: the computational level, which describes that computational problem solved by the cognitive process; the algorithmic level, which presents the algorithm used for computing the problem postulated at the computational level; and the implementational level, which describes the physical implementation of the algorithm postulated at the algorithmic level in the brain. Ulric Neisser coined the term cognitive psychology in his book with that title published in 1967. Neisser characterizes people as dynamic information processing systems whose mental operations might be described in computational terms. Steven Pinker described language instinct as an evolved, built in capacity to learn language (if not writing). His 1997 book How the Mind Works sought to popularize the computational theory of mind for wide audiences. Hilary Putnam proposed functionalism to describe consciousness, asserting that it is the computation that equates to consciousness, regardless of whether the computation is operating in a brain or in a computer.