Opponents of the computational theory of mind have held that the theory is devoid of explanatory content, since whatever computational procedures are said to account for our cognitive attributes will also be realized by a host of other ‘deviant’ physical systems, such as buckets of water and possibly even stones. Such ‘triviality’ claims rely on a simple mapping account of physical implementation. Hence defenders of CTM traditionally attempt to block the trivialization critique by advocating additional constraints on the implementation relation. (...) However, instead of attempting to ‘save’ CTM by constraining the account of physical implementation, I argue that the general form of the triviality argument is invalid. I provide a counterexample scenario, and show that SMA is in fact consistent with empirically rich and theoretically plausible versions of CTM. This move requires rejection of the computational sufficiency thesis, which I argue is scientifically unjustified in any case. By shifting the ‘burden of explanatory force’ away from the concept of physical implementation, and instead placing it on salient aspects of the target phenomenon to be explained, it’s possible to retain a maximally liberal and unfettered view of physical implementation, and at the same time defuse the triviality arguments that have motivated defenders of CTM to impose various theory-laden constraints on SMA. (shrink)

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes and (...) pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

The relationship between the physical body and the conscious human mind has been a deeply problematic topic for centuries. Physicalism is the 'orthodox' metaphysical stance in contemporary Western thought, according to which reality is exclusively physical/material in nature. However, in the West, theoretical dissatisfaction with this type of approach has historically lead to Cartesian-style dualism, wherein mind and body are thought to belong to distinct metaphysical realms. In the current discussion I compare and contrast this standard Western approach with an (...) alternative form of dualism developed in the Sāṃkhya-Yoga philosophical tradition, where matter and pure consciousness are held to belong to distinct and independent realms, but where the mind is placed on the material side of the ontological divide. I argue that this model possesses a number of theoretical advantages over Cartesian-style dualism, and constitutes a compelling theoretical framework for re-conceptualizing the mind-body problem. (shrink)

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content is (...) extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

The paper examines the nature of the behavioral evidence underlying attributions of intelligence in the case of human beings, and how this might be extended to other kinds of cognitive system, in the spirit of the original Turing Test. I consider Harnad's Total Turing Test, which involves successful performance of both linguistic and robotic behavior, and which is often thought to incorporate the very same range of empirical data that is available in the human case. However, I argue that the (...) TTT is still too weak, because it only tests the capabilities of particular tokens within a preexisting context of intelligent behavior. What is needed is a test of the cognitive type, as manifested through a number of exemplary tokens, in order to confirm that the cognitive type is able to produce the context of intelligent behavior presupposed by tests such as the TT and TTT. (shrink)

The paper begins by examining the original Turing Test (2T) and Searle’s antithetical Chinese Room Argument, which is intended to refute the 2T in particular, as well as any formal or abstract procedural theory of the mind in general. In the ensuing dispute between Searle and his own critics, I argue that Searle’s ‘internalist’ strategy is unable to deflect Dennett’s combined robotic-systems reply and the allied Total Turing Test (3T). Many would hold that the 3T marks the culmination of the (...) dialectic and, in principle, constitutes a fully adequate empirical standard for judging that an artifact is intelligent on a par with human beings. However, the paper carries the debate forward by arguing that the sociolinguistic factors highlighted in externalist views in the philosophy of language indicate the need for a fundamental shift in perspective in a Truly Total Turing Test (4T). It’s not enough to focus on Dennett’s individual robot viewed as a system; instead, we need to focus on an ongoing system of such artifacts. Hence a 4T should evaluate the general category of cognitive organization under investigation, rather than the performance of single specimens. From this comprehensive standpoint, the question is not whether an individual instance could simulate intelligent behavior within the context of a pre-existing sociolinguistic culture developed by the human cognitive type. Instead the key issue is whether the artificial cognitive type itself is capable of producing a comparable sociolinguistic medium. (shrink)

The systems T N and T M show that necessity can be consistently construed as a predicate of syntactical objects, if the expressive/deductive power of the system is deliberately engineered to reflect the power of the original object language operator. The system T N relies on salient limitations on the expressive power of the language L N through the construction of a quotational hierarchy, while the system T Mrelies on limiting the scope of the modal axioms schemas to the sublanguage (...) L infM +, which corresponds exactly with the restrictive hierarchy of L N. The fact that L infM + is identical to the image of the metalinguistic mapping C + from the normal operator system into L M reveals that iterated operator modality is implicitly hierarchical, and that inconsistency is produced by applying the principles of the modal logic to formulas which have no natural analogues in the operator development. Thus the contradiction discovered by Montague can be diagnosed as the result of instantiating the axiom schemas with modally ungrounded formulas, and thereby adding radically new modal axioms to the predicate system.The predicate treatment of necessity differs significantly from that of the operator in that the cumulative models for the predicate system are strictly first-order. Possible worlds are not used as model-theoretic primitives, but rather alternate models are appealed to in order to specify the extension of N, which is semantically construed as a first-order predicate. In this manner, the intensional aspects of modality are built into the mode of specifying the particular set of objects which the denotation function assigns to N, rather than in the specification of the basic truth conditions for modal formulas. Intensional phenomena are thereby localised to the special requirements for determining the extension of a particular predicate, and this does not constitute a structural modification of the first-order models, but rather limits the relevant class of models to those which possess an appropriate denotation function. (shrink)

The paper examines the status of conscious presentation with regard to mental content and intentional states. I argue that conscious presentation of mental content should be viewed on the model of a secondary quality, as a subjectiveeffect of the microstructure of an underlying brain state. The brain state is in turn viewed as the instantiation of an abstract computational state, with the result that introspectively accessible content is interpreted as a presentation of the associated computational state realized by the brain. (...) However, if the relation between consciousness and representational content is construed in this manner, then conscious presentation does not provide an adequate foundation for the claim that human mental states areintrinsically intentional. On this model, I argue that functionalism is able to account for (non-intrinsic) intentionality, but not for consciousness, which has implications for the computational paradigm, as well as for Searle's Chinese room thought experiment. (shrink)

The paper explores Śaṅkara's position on autonomous consciousness, or cit, as the fundamental reality. As such, cit transcends subject/object duality, and Śaṅkara holds that consciousness is ultimately nirviṣayaka or non-intentional. I compare and contrast the Advaita view with the contemporary Phenomenological account, wherein consciousness is held to be essentially intentional, so that consciousness is always of or about some object or content, and where consciousness without an object is deemed conceptually impossible.

The paper develops two related thought experiments exploring variations on an ‘animat’ theme. Animats are hybrid devices with both artificial and biological components. Traditionally, ‘components’ have been construed in concrete terms, as physical parts or constituent material structures. Many fascinating issues arise within this context of hybrid physical organization. However, within the context of functional/computational theories of mentality, demarcations based purely on material structure are unduly narrow. It is abstract functional structure which does the key work in characterizing the respective (...) ‘components’ of thinking systems, while the ‘stuff’ of material implementation is of secondary importance. Thus the paper extends the received animat paradigm, and investigates some intriguing consequences of expanding the conception of bio-machine hybrids to include abstract functional and semantic structure. In particular, the thought experiments consider cases of mind-machine merger where there is no physical Brain-Machine Interface: indeed, the material human body and brain have been removed from the picture altogether. The first experiment illustrates some intrinsic theoretical difficulties in attempting to replicate the human mind in an alternative material medium, while the second reveals some deep conceptual problems in attempting to create a form of truly Artificial General Intelligence. (shrink)

In this paper, I provide further elaboration of my theory of conscious experience, in response to the criticisms made by David Cole, and I directly address a number of the issues he raises. In particular, I examine Cole's claim that functionalism rather than neurophysiology is the theoretical key to consciousness. I argue that weak type-physicalism provides an analysis which is more fine grained, makes weaker assumptions, and allows more scope for empirical methods.

The foregoing considerations have shown that on the Fregean model, no descriptive rendition of the meaning of a word, and no feature of the subject's psychological state, will be sufficient to answer the question of how reference takes place. Reference is determined by an independent semantical object, and the mind is limited by its perceptual access to this external semantical realm. The psychological and epistemic states of the language user will be causally influenced by this perceptual contact, and such causal (...) influences will enable the subject to evince the appropriate behavioral signs of comprehension. But the internal effects produced by the perception of meaning are not in principle sufficient to individuate their semantical causes, and hence some of the prominent criticisms of the traditional theory are simply not applicable to Frege's system. (shrink)

It is often thought that the computational paradigm provides a supporting case for the theoretical autonomy of the science of mind. However, I argue that computation is in fact incompatible with this alleged aspect of intentional explanation, and hence the foundational assumptions of orthodox cognitive science are mutually unstable. The most plausible way to relieve these foundational tensions is to relinquish the idea that the psychological level enjoys some special form of theoretical sovereignty. So, in contrast to well known antireductionist (...) views based on multiple realizability, I argue that the primary goal of a computational approach to the mind should be to facilitate a translation of the psychological to the neurophysiological. (shrink)

Sir Herbert Butterfield was one of the leading British historians of the twentieth century. A diplomatic historian by training, he branched out into a variety of fields including historiography, the history of science and international theory. The International Thought of Sir Herbert Butterfield brings together material from Butterfield's previously unpublished papers and a critical commentary from two leading Butterfield scholars: Sharp and Schweizer. They recover Butterfield's contribution to international thought, particularly his role as a founding member of the British (...) Committee on the theory of international politics (also known as the English School). (shrink)

This self-contained treatise, originally published in 1947 by Holt, Rinehart and Winston, examines fundamental features of nature in order to lay the groundwork for providing a solution to the major problems of ethics.

v. 1. 1955-1960.--v. 2. 1960-1964.--v. 3. March-November 1964.--v. 4. November 26, 1964-September 2, 1965.--v. 5. September 3, 1965-August 27, 1968.--v. 6. August 28, 1968-May 22, 1971.--v. 7. April 13, 1975-June 21, 1976.--v. 7, pt. 2. September 17, 1977-February 26, 1978.--v. 8. April 28, 1978-July 28, 1980 -- v. 9. August 16, 1980-March 15, 1984 -- v. 11. January 19, 1986-May 27, 1987.

The options in a decision problem generally have outcomes with common features. Putting aside the common features simplifies deliberations, but the simplification requires a philosophical justification that this book provides.

Feyerabrend argues that intellectual progress relies on the creativity of the scientist, against the authority of science.

Zusammenfassungen der Referate in französischer Sprache.

In the first part of this paper some general theses concerning the difference between logic and mathematics are defended. In the second part four different views for a possible demarcation between logic and mathematics are stated.

An agent often does not have precise probabilities or utilities to guide resolution of a decision problem. I advance a principle of rationality for making decisions in such cases. To begin, I represent the doxastic and conative state of an agent with a set of pairs of a probability assignment and a utility assignment. Then I support a decision principle that allows any act that maximizes expected utility according to some pair of assignments in the set. Assuming that computation of (...) an option's expected utility uses comprehensive possible outcomes that include the option's risk, no consideration supports a stricter requirement. (shrink)

Schelling und Hegel benutzen in ihren philosophischen Texten mathematische und naturwissenschaftliche Modelle wie Unendlichkeit oder Gleichgewicht. Die Strukturen dieser Begriffe liefern einen Massstab fur den Vergleich der Positionen Schellings und Hegels, der fur Schellings Identitatsphilosophie und Hegels erste Jenaer Schriften durchgefuhrt wird. Als wichtigstes Resultat kann eine grundlegende Differenz zwischen beiden Positionen bereits um 1801 nachgewiesen und gezeigt werden, dass diese auf einer unterschiedlichen Auffassung der Rolle des Absoluten beruht.

Die MISCELLANEA MEDIAEVALIA präsentieren seit ihrer Gründung durch Paul Wilpert im Jahre 1962 Arbeiten des Thomas-Instituts der Universität zu Köln. Das Kernstück der Publikationsreihe bilden die Akten der im zweijährigen Rhythmus stattfindenden Kölner Mediaevistentagungen, die vor über 50 Jahren von Josef Koch, dem Gründungsdirektor des Instituts, ins Leben gerufen wurden. Der interdisziplinäre Charakter dieser Kongresse prägt auch die Tagungsakten: Die MISCELLANEA MEDIAEVALIA versammeln Beiträge aus allen mediävistischen Disziplinen - die mittelalterliche Geschichte, die Philosophie, die Theologie sowie die Kunst- und (...) Literaturwissenschaften sind Teile einer Gesamtbetrachtung des Mittelalters. (shrink)

The first book-length study of a leading tenth-century Ismaili theoretician Abu Ya'qub al-Sijistani.