|
Computational Theory Of Mind
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. It is closely related to functionalism, a broader theory that defines mental states by what they do rather than what they are made of. 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 1960 and 1961, and then developed by his PhD student, philosopher, and cognitive scientist Jerry Fodor in the 1960s, 1970s, and 1980s.Horst, Steven, (2005"The Computational Theory of Mind"in ''The Stanford Encyclopedia of Philosophy'' It was later criticized in the 1990s by Putnam himself, John Searle, and others. The computational theory of mind holds that the human mind is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Philosophy Of Mind
Philosophy of mind is a branch of philosophy that deals with the nature of the mind and its relation to the Body (biology), body and the Reality, external world. The mind–body problem is a paradigmatic issue in philosophy of mind, although a number of other issues are addressed, such as the hard problem of consciousness and the nature of particular mental states.Siegel, S.: ''The Contents of Visual Experience''. New York: Oxford University Press. 2010.Macpherson, F. & Haddock, A., editors, ''Disjunctivism: Perception, Action, Knowledge'', Oxford: Oxford University Press, 2008. Aspects of the mind that are studied include mental events, mental functions, mental property, mental properties, consciousness and neural correlates of consciousness, its neural correlates, the ontology of the mind, the nature of cognition and of thought, and the relationship of the mind to the body. Dualism (philosophy of mind), Dualism and monism are the two central schools of thought on the mind–bo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Alan Turing
Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher and theoretical biologist. He was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. Turing is widely considered to be the father of theoretical computer science. Born in London, Turing was raised in southern England. He graduated from University of Cambridge, King's College, Cambridge, and in 1938, earned a doctorate degree from Princeton University. During World War II, Turing worked for the Government Code and Cypher School at Bletchley Park, Britain's codebreaking centre that produced Ultra (cryptography), Ultra intelligence. He led Hut 8, the section responsible for German naval cryptanalysis. Turing devised techniques for speeding the breaking of Germ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Gödel's Incompleteness Theorems
Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible. The first incompleteness theorem states that no consistency, consistent system of axioms whose theorems can be listed by an effective procedure (i.e. an algorithm) is capable of Mathematical proof, proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency. Employing a Ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Turing Complete
Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher and theoretical biologist. He was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. Turing is widely considered to be the father of theoretical computer science. Born in London, Turing was raised in southern England. He graduated from King's College, Cambridge, and in 1938, earned a doctorate degree from Princeton University. During World War II, Turing worked for the Government Code and Cypher School at Bletchley Park, Britain's codebreaking centre that produced Ultra intelligence. He led Hut 8, the section responsible for German naval cryptanalysis. Turing devised techniques for speeding the breaking of German ciphers, including improvements to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Roger Penrose
Sir Roger Penrose (born 8 August 1931) is an English mathematician, mathematical physicist, Philosophy of science, philosopher of science and Nobel Prize in Physics, Nobel Laureate in Physics. He is Emeritus Rouse Ball Professor of Mathematics in the University of Oxford, an emeritus fellow of Wadham College, Oxford, and an honorary fellow of St John's College, Cambridge, and University College London. Penrose has contributed to the mathematical physics of general relativity and physical cosmology, cosmology. He has received several prizes and awards, including the 1988 Wolf Prize in Physics, which he shared with Stephen Hawking for the Penrose–Hawking singularity theorems, and the 2020 Nobel Prize in Physics "for the discovery that black hole formation is a robust prediction of the general theory of relativity". He won the Royal Society Prizes for Science Books, Royal Society Science Books Prize for ''The Emperor's New Mind'' (1989), which outlines his views on physics and con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Frame Problem
In artificial intelligence, with implications for cognitive science, the frame problem describes an issue with using first-order logic to express facts about a robot in the world. Representing the state of a robot with traditional first-order logic requires the use of many axioms that simply imply that things in the environment do not change arbitrarily. For example, Hayes describes a " block world" with rules about stacking blocks together. In a first-order logic system, additional axioms are required to make inferences about the environment (for example, that a block cannot change position unless it is physically moved). The frame problem is the problem of finding adequate collections of axioms for a viable description of a robot environment. John McCarthy and Patrick J. Hayes defined this problem in their 1969 article, ''Some Philosophical Problems from the Standpoint of Artificial Intelligence''. In this paper, and many that came after, the formal mathematical problem was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Abductive Reasoning
Abductive reasoning (also called abduction,For example: abductive inference, or retroduction) is a form of logical inference that seeks the simplest and most likely conclusion from a set of observations. It was formulated and advanced by American philosopher and logician Charles Sanders Peirce beginning in the latter half of the 19th century. Abductive reasoning, unlike deductive reasoning, yields a plausible conclusion but does not definitively verify it. Abductive conclusions do not eliminate uncertainty or doubt, which is expressed in terms such as "best available" or "most likely". While inductive reasoning draws general conclusions that apply to many situations, abductive conclusions are confined to the particular observations in question. In the 1990s, as computing power grew, the fields of law, computer science, and artificial intelligence researchFor examples, see "", John R. Josephson, Laboratory for Artificial Intelligence Research, Ohio State University, and ''Abduc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Knowledge Argument
The knowledge argument (also known as Mary's Room, Mary the Colour Scientist, or Mary the super-scientist) is a philosophical thought experiment proposed by Frank Jackson in his article "Epiphenomenal Qualia" (1982), and extended in "What Mary Didn't Know" (1986). The experiment describes Mary, a scientist who exists in a black-and-white world where she has extensive access to physical descriptions of color, but no actual perceptual experience of color. Mary has learned everything there is to learn about color, but she has never actually experienced it for herself. The central question of the thought experiment is whether Mary will gain new knowledge when she goes outside of the colorless world and experiences seeing in color. The experiment is intended to argue against physicalism—the view that the universe, including all that is mental, is entirely physical. Jackson says that the "irresistible conclusion" is that "there are more properties than physicalists talk about". Jac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
WordStar
WordStar is a discontinued word processor application for microcomputers. It was published by MicroPro International and originally written for the CP/M-80 operating system (OS), with later editions added for MS-DOS and other 16-bit computing, 16-bit PC OSes. Rob Barnaby was the sole author of the early versions of the program. Starting with WordStar 4.0, the program was built on new code written principally by Peter Mierau. WordStar dominated the market in the early and mid-1980s, succeeding the market leader Electric Pencil. WordStar was written with as few assumptions as possible about the operating system and machine hardware, allowing it to be easily ported across the many platforms that proliferated in the early 1980s. Because all of these versions had relatively similar commands and controls, users could move between platforms with equal ease. It was already popular when its inclusion with the Osborne 1 portable computer made the program the ''de facto'' standard for mu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Understanding
Understanding is a cognitive process related to an abstract or physical object, such as a person, situation, or message whereby one is able to use concepts to model that object. Understanding is a relation between the knower and an object of understanding. Understanding implies abilities and dispositions with respect to an object of knowledge that are sufficient to support intelligent behavior. Understanding is often, though not always, related to learning concepts, and sometimes also the theory or theories associated with those concepts. However, a person may have a good ability to predict the behavior of an object, animal or system—and therefore may, in some sense, understand it—without necessarily being familiar with the concepts or theories associated with that object, animal, or system in their culture. They may have developed their own distinct concepts and theories, which may be equivalent, better or worse than the recognized standard concepts and theories of their c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Intentionality
Intentionality is the mental ability to refer to or represent something. Sometimes regarded as the ''mark of the mental'', it is found in mental states like perceptions, beliefs or desires. For example, the perception of a tree has intentionality because it represents a tree to the perceiver. A central issue for theories of intentionality has been the problem of ''intentional inexistence'': to determine the ontological status of the entities which are the objects of intentional states. An early theory of intentionality is associated with Anselm of Canterbury's ontological argument for the existence of God, and with his tenets distinguishing between objects that exist in the understanding and objects that exist in reality. The idea fell out of discussion with the end of the medieval scholastic period, but in recent times was resurrected by empirical psychologist Franz Brentano and later adopted by contemporary phenomenological philosopher Edmund Husserl. Today, intentionalit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |