Tim van Gelder is the co-founder of Austhink Software, an Australian software development company, and the Managing Director of Austhink Consulting. He was born in Australia, and was educated at the University of Melbourne (BA, 1984). He went on to receive his PhD from the University of Pittsburgh (1989). He has held academic positions at Indiana University and the Australian National University before returning to Melbourne as an Australian Research Council QEII Research Fellow. In 1998, he transitioned to part-time academic work allowing him to pursue private training and consulting, and in 2005 began working full-time at Austhink Software. In 2009 he transitioned to Managing Director of Austhink Consulting. He co-leads The SWARM Project at the University of Melbourne.
In 2012, he created the non-profit debate website YourView. [1]
Van Gelder's research has had three main phases, corresponding to his PhD research on distributed representation, his subsequent research on dynamics & cognition, and his current phase, research into reasoning skills.
In his PhD thesis, completed under the supervision of John Haugeland and entitled "Distributed Representation" (1989) van Gelder gave the first sustained exploration of the general concept of distributed representation[ clarification needed ], and argued that it was a third fundamental kind of representation alongside language and imagery. [2]
Van Gelder is a proponent of dynamicism or dynamic cognition in cognitive science. This is a theory of cognition that proposes that dynamical systems theory provides a better model (or metaphor) for human cognition than the 'computational' model. For example, that a Watt governor is a better metaphorical description of the way humans think than a Turing machine style computer.
In his first regular academic position at Indiana University, van Gelder was heavily influenced by researchers such as Robert Port, James Townsend, Esther Thelen and Linda B. Smith who were exploring cognition from a dynamical perspective, i.e., applying the tools of dynamical systems to studying cognitive processes. Van Gelder published a series of articles providing a philosophical commentary on the dynamical approach, culminating in his 1998 paper in Behavioral and Brain Sciences, where he articulated the dynamical approach to cognition and argued that it should be taken seriously as a broad empirical hypothesis comparable to the dominant hypothesis that cognition is digital computation. In his most well-known paper, 'What Might Cognition Be If Not Computation,' [3] van Gelder used the Watt Governor as a model to contrast with the Turing Machine. Van Gelder came to be known as one of the foremost proponents of the dynamical approach, and even as an advocate of anti-representationalism, though he explicitly disavowed that extreme position.
Since around 1998, van Gelder's research has been almost exclusively devoted to informal reasoning and critical thinking. In particular, he has been developing and evaluating an approach to improving these skills, known variously as The Reason Method, and LAMP ("Lots of Argument Mapping Practice"). The core idea in van Gelder's approach is that informal reasoning is a skill, and so should improve in the same way as any other skill. According to the leading theory of high-level skill acquisition, the critical ingredient is extensive "deliberate practice" (Ericsson). Van Gelder and his colleagues have shown that extensive deliberate practice can substantially enhance informal reasoning skills. [4]
The main practical challenge in the LAMP approach was finding a way to enable students to engage in extensive deliberate practice of reasoning skills. To confront this, van Gelder and his colleague Andy Bulka developed the argument mapping software packages Reason!Able (2000) and Rationale (2006).
Van Gelder uses this software to help 'teach' the first year philosophy subject Critical Thinking: The Art of Reasoning which reliably achieves substantial gains in the critical thinking abilities of students (0.7 to 0.85 standard deviations) as measured by pre and post semester testing with the use of control groups of the same ages as the student cohort both studying at Melbourne University and not studying at university. [4]
Van Gelder has also applied argument mapping to business decision making, and has released the Reasoning PowerPoint App for this purpose.
Chris Eliasmith wrote a critique of Tim van Gelder's dynamicism and his proposal to replace the Turing machine by the Watt governor as a model of cognition. Eliasmith argued that the Turing machine concept is more encompassing and better suited as a guiding metaphor than the Watt governor, because the latter is a concrete machine and the former is a mathematical abstraction representing of a whole class of machines. [5]
Cognitive science is the interdisciplinary, scientific study of the mind and its processes. It examines the nature, the tasks, and the functions of cognition. Mental faculties of concern to cognitive scientists include language, perception, memory, attention, reasoning, and emotion; to understand these faculties, cognitive scientists borrow from fields such as linguistics, psychology, artificial intelligence, philosophy, neuroscience, and anthropology. The typical analysis of cognitive science spans many levels of organization, from learning and decision to logic and planning; from neural circuitry to modular brain organization. One of the fundamental concepts of cognitive science is that "thinking can best be understood in terms of representational structures in the mind and computational procedures that operate on those structures."
In their most common sense, the terms thought and thinking refer to cognitive processes that can happen independently of sensory stimulation. Their most paradigmatic forms are judging, reasoning, concept formation, problem solving, and deliberation. But other mental processes, like considering an idea, memory, or imagination, are also often included. These processes can happen internally independent of the sensory organs, unlike perception. But when understood in the widest sense, any mental event may be understood as a form of thinking, including perception and unconscious mental processes. In a slightly different sense, the term thought refers not to the mental processes themselves but to mental states or systems of ideas brought about by these processes.
Connectionism is the name of an approach to the study of human mental processes and cognition that utilizes mathematical models known as connectionist networks or artificial neural networks. Connectionism has had many 'waves' since its beginnings.
In psychology, cognitivism is a theoretical framework for understanding the mind that gained credence in the 1950s. The movement was a response to behaviorism, which cognitivists said neglected to explain cognition. Cognitive psychology derived its name from the Latin cognoscere, referring to knowing and information, thus cognitive psychology is an information-processing psychology derived in part from earlier traditions of the investigation of thought and problem solving.
A cognitive model is a representation of one or more cognitive processes in humans or other animals for the purposes of comprehension and prediction. There are many types of cognitive models, and they can range from box-and-arrow diagrams to a set of equations to software programs that interact with the same tools that humans use to complete tasks. In terms of information processing, cognitive modeling is modeling of human perception, reasoning, memory and action.
Distributed cognition is an approach to cognitive science research that was developed by cognitive anthropologist Edwin Hutchins during the 1990s.
Dynamical systems theory is an area of mathematics used to describe the behavior of complex dynamical systems, usually by employing differential equations or difference equations. When differential equations are employed, the theory is called continuous dynamical systems. From a physical point of view, continuous dynamical systems is a generalization of classical mechanics, a generalization where the equations of motion are postulated directly and are not constrained to be Euler–Lagrange equations of a least action principle. When difference equations are employed, the theory is called discrete dynamical systems. When the time variable runs over a set that is discrete over some intervals and continuous over other intervals or is any arbitrary time-set such as a Cantor set, one gets dynamic equations on time scales. Some situations may also be modeled by mixed operators, such as differential-difference equations.
Dynamicism, also termed dynamic hypothesis or dynamic cognition, is an approach in cognitive science popularized by the work of philosopher Tim van Gelder. It argues that differential equations and dynamical systems are more suited to modeling cognition rather than the commonly used ideas of symbolicism, connectionism, or traditional computer models. It is closely related to dynamical neuroscience.
A mental model is an internal representation of external reality: that is, a way of representing reality within one's mind. Such models are hypothesized to play a major role in cognition, reasoning and decision-making. The term for this concept was coined in 1943 by Kenneth Craik, who suggested that the mind constructs "small-scale models" of reality that it uses to anticipate events. Mental models can help shape behaviour, including approaches to solving problems and performing tasks.
A cognitive architecture refers to both a theory about the structure of the human mind and to a computational instantiation of such a theory used in the fields of artificial intelligence (AI) and computational cognitive science. These formalized models can be used to further refine comprehensive theories of cognition and serve as the frameworks for useful artificial intelligence programs. Successful cognitive architectures include ACT-R and SOAR. The research on cognitive architectures as software instantiation of cognitive theories was initiated by Allen Newell in 1990.
Computational cognition is the study of the computational basis of learning and inference by mathematical modeling, computer simulation, and behavioral experiments. In psychology, it is an approach which develops computational models based on experimental results. It seeks to understand the basis behind the human method of processing of information. Early on computational cognitive scientists sought to bring back and create a scientific form of Brentano's psychology.
Neurophilosophy or the philosophy of neuroscience is the interdisciplinary study of neuroscience and philosophy that explores the relevance of neuroscientific studies to the arguments traditionally categorized as philosophy of mind. The philosophy of neuroscience attempts to clarify neuroscientific methods and results using the conceptual rigor and methods of philosophy of science.
The philosophy of artificial intelligence is a branch of the philosophy of mind and the philosophy of computer science that explores artificial intelligence and its implications for knowledge and understanding of intelligence, ethics, consciousness, epistemology, and free will. Furthermore, the technology is concerned with the creation of artificial animals or artificial people so the discipline is of considerable interest to philosophers. These factors contributed to the emergence of the philosophy of artificial intelligence.
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're made of.
An argument map or argument diagram is a visual representation of the structure of an argument. An argument map typically includes all the key components of the argument, traditionally called the conclusion and the premises, also called contention and reasons. Argument maps can also show co-premises, objections, counterarguments, rebuttals, and lemmas. There are different styles of argument map but they are often functionally equivalent and represent an argument's individual claims and the relationships between them.
The analysis of competing hypotheses (ACH) is a methodology for evaluating multiple competing hypotheses for observed data. It was developed by Richards (Dick) J. Heuer, Jr., a 45-year veteran of the Central Intelligence Agency, in the 1970s for use by the Agency. ACH is used by analysts in various fields who make judgments that entail a high risk of error in reasoning. ACH aims to help an analyst overcome, or at least minimize, some of the cognitive limitations that make prescient intelligence analysis so difficult to achieve.
The following outline is provided as an overview of and topical guide to thought (thinking):
Ron Sun is a cognitive scientist who has made significant contributions to computational psychology and other areas of cognitive science and artificial intelligence. He is currently professor of cognitive sciences at Rensselaer Polytechnic Institute, and formerly the James C. Dowell Professor of Engineering and Professor of Computer Science at University of Missouri. He received his Ph.D. in 1992 from Brandeis University.
The LIDA cognitive architecture attempts to model a broad spectrum of cognition in biological systems, from low-level perception/action to high-level reasoning. Developed primarily by Stan Franklin and colleagues at the University of Memphis, the LIDA architecture is empirically grounded in cognitive science and cognitive neuroscience. It is an extension of IDA, which adds mechanisms for learning. In addition to providing hypotheses to guide further research, the architecture can support control structures for software agents and robots. Providing plausible explanations for many cognitive processes, the LIDA conceptual model is also intended as a tool with which to think about how minds work.
Robert M. French is a research director at the French National Centre for Scientific Research. He is currently at the University of Burgundy in Dijon. He holds a Ph.D. from the University of Michigan, where he worked with Douglas Hofstadter on the Tabletop computational cognitive model. He specializes in cognitive science and has made an extensive study of the process of analogy-making.