The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

El presente libro, La estética y el arte a debate I, compila los resultados fundamentales del trabajo del VIII Coloquio Internacional de Estética y Arte, celebrado en La Habana entre el 9 y el 11 de diciembre de 2013. El coloquio, convocado y auspiciado por diversas instituciones cubanas y mexicanas, fue expresión de los fructíferos vínculos de colaboración entre la Maestría y el Cuerpo Académico de Estética y Arte de la Benemérita Universidad Autónoma de Puebla (BUAP) y el Grupo de (...) Investigación sobre Estética, Cultura y Arte (GISECA) del Instituto de Filosofía de La Habana, ambos como parte de la Red de Investigaciones en Arte (RIA). -/- Con un nivel de convocatoria sin precedentes, el coloquio reunió, en las instalaciones del Hotel Neptuno-Tritón de la ciudad de La Habana, a más de un centenar de ponentes especializados en el arte y la estética –provenientes de Colombia, Ecuador, Francia, España, Cuba y México–, cuya valiosa participación determinó el alto nivel académico y la gran variedad de perspectivas teóricas y culturales del evento. -/- Las temáticas centrales giraron en torno a las nuevas prácticas artísticas, los desafíos que enfrentan la estética y la historia del arte, los debates actuales sobre la cultura, y muchas otras propuestas encaminadas a promover la reflexión y discusión de los aspectos académicos, artísticos y culturales más relevantes para esta área del conocimiento, además de estimular un intercambio de enfoques e ideas. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

In response to widespread doubts among professional philosophers (Russell, Horwich, Dietrich, McGinn, Chalmers), Stoljar argues for a ‘reasonable optimism’ about progress in philosophy. He defends the large and surprising claim that ‘there is progress on all or reasonably many of the big questions.’ However, Stoljar’s caveats and admitted avoidance of historical evidence permits overlooking persistent controversies in philosophy of mind and cognitive science that are essentially unchanged since the 17th Century. Stoljar suggests that his claims are commonplace in philosophy departments (...) and, indeed, the evidence I adduce constitutes an indictment of the widely shared view among professional analytic philosophers. (shrink)

There are plenty of intelligent machines in our world today: digital computers and autonomous robots. At the heart of each of these machines there are automatic formal systems (programs running on a digital computer). Now, if the interpretation of a formal system does not belong to the formal system itself, if the interpretation has to be added, it is worth asking: in the case of these intelligent machines that are massively interspersed in our social interactions, where does the interpretation come (...) from? In this paper, we analyse what we call the invisibility of interpretation. Dealing with various types of formal systems (computers, robots, formalist approaches to Economics), the human source of the interpretation of these systems is sometimes concealed by a formalist restriction. To show how the formalist restriction produces the invisibility of interpretation allows us to underline our responsibility, as human agents, for all this interpretative work—and its importance for us as human beings. (shrink)

Those who naturalize semantics concentrate on avoiding difficulties in getting the right sort of cause for the biological item which is to possess semantic properties (to be ?true of or to be ?about? some physical item). Using an analogy with sense?data, I argue that the real difficulties will be trying to get any proposed neural representation to be the right sort of effect of natural processes. The idea of a biological item which can be a semantic ?primitive? is as bankrupt (...) as the idea of a mental item which could be a perceptual ?primitive?. Eventually I propose a technique for finding naturalized representations without these problems. (shrink)

This is a response to Jerry Fodor’s article, Fodor, J. (1980). "Methodological solipsism as a research strategy in cognitive psychology." Behavioral and Brain Sciences 3: 63-109.

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

In this essay we try an answer to the question has intentionality to be reduced to anything? We propose that it is possible to reduce any variety of intentionality to a specification of mechanisms (internal organization of the items involved in a given intentional phenomenon) and a historical pattern of interaction (structure of mutual significant relations historically acquired by different items involved in the same intentional phenomenon). We first clarify the meaning of this proposal having recourse to the Ruth Millikan’s (...) teleosemantics. Then, we assess the relevance and feasibility of our proposal, considering, in a succession, the case of animals and humans, of machines, and of sophisticated human collectives. We conclude arguing the heuristic nature of the proposed reduction. DOI:10.5007/1808-1711.2010v14n2p255. (shrink)

Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of structured (...) meaning, while providing historical background. I suggest that to make substantial advances the program needs to solve the problem of propositional unity and develop an intensional mereology of abstract objects. (shrink)

For my part, my only hope is, that I may contribute a little to the advancement of knowledge, by giving in some particulars a different turn to the speculations of philosophers, and pointing out to them more distinctly those subjects, where alone they can expect assurance and conviction.

[This is an earlier (1997), much longer and more detailed version of my entry on LOTH in the _Stanford Encyclopedia of Philosophy_] The Language of Thought Hypothesis (LOTH) is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that (...) has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

A debate over the theoretical capabilities of formal methods in computer science has raged for more than two years now. The function of this paper is to summarize the key elements of this debate and to respond to important criticisms others have advanced by placing these issues within a broader context of philosophical considerations about the nature of hardware and of software and about the kinds of knowledge that we have the capacity to acquire concerning their performance.

The computational view of mind rests on certain intuitions regarding the fundamental similarity between computation and cognition. We examine some of these intuitions and suggest that they derive from the fact that computers and human organisms are both physical systems whose behavior is correctly described as being governed by rules acting on symbolic representations. Some of the implications of this view are discussed. It is suggested that a fundamental hypothesis of this approach is that there is a natural domain of (...) human functioning that can be addressed exclusively in terms of a formal symbolic or algorithmic vocabulary or level of analysis. Much of the paper elaborates various conditions that need to be met if a literal view of mental activity as computation is to serve as the basis for explanatory theories. The coherence of such a view depends on there being a principled distinction between functions whose explanation requires that we posit internal representations and those that we can appropriately describe as merely instantiating causal physical or biological laws. In this paper the distinction is empirically grounded in a methodological criterion called the " cognitive impenetrability condition." Functions are said to be cognitively impenetrable if they cannot be influenced by such purely cognitive factors as goals, beliefs, inferences, tacit knowledge, and so on. Such a criterion makes it possible to empirically separate the fixed capacities of mind from the particular representations and algorithms used on specific occasions. In order for computational theories to avoid being ad hoc, they must deal effectively with the "degrees of freedom" problem by constraining the extent to which they can be arbitrarily adjusted post hoc to fit some particular set of observations. This in turn requires that the fixed architectural function and the algorithms be independently validated. It is argued that the architectural assumptions implicit in many contemporary models run afoul of the cognitive impenetrability condition, since the required fixed functions are demonstrably sensitive to tacit knowledge and goals. The paper concludes with some tactical suggestions for the development of computational cognitive theories. (shrink)

Some philosophers have conflated functionalism and computationalism. I reconstruct how this came about and uncover two assumptions that made the conflation possible. They are the assumptions that (i) psychological functional analyses are computational descriptions and (ii) everything may be described as performing computations. I argue that, if we want to improve our understanding of both the metaphysics of mental states and the functional relations between them, we should reject these assumptions. # 2004 Elsevier Ltd. All rights reserved.

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

The received view is that computational states are individuated at least in part by their semantic properties. I offer an alternative, according to which computational states are individuated by their functional properties. Functional properties are specified by a mechanistic explanation without appealing to any semantic properties. The primary purpose of this paper is to formulate the alternative view of computational individuation, point out that it supports a robust notion of computational explanation, and defend it on the grounds of how computational (...) states are individuated within computability theory and computer science. A secondary purpose is to show that existing arguments for the semantic view are defective. (shrink)

It is widely accepted that embodiment is crucial for any self-aware agent. What is less obvious is whether the body has to be real, or whether a virtual body will do. In that case the notion of embodiment would be so attenuated as to be almost indistinguishable from disembodiment. In this article I concentrate on the notion of embodiment in human agents. Could we be disembodied, having no real body, as brains-in-a-vat with only a virtual body? Thought experiments alone will (...) not suffice to answer this Cartesian question. I will draw on both philosophical arguments and empirical data on phantom phenomena. My argument will proceed in three steps. Firstly I will show that phantom phenomena provide a prima facie argument that real embodiment is not necessary for a human being. Secondly I will give a philosophical argument that real movement must precede the intention to move and to act. Agents must at least have had real bodies once. Empirical data seems to bear this out. Finally, however, I will show that a small number of aplasic phantom phenomena undermines this last argument. Most people must have had a real body. But for some people a partly virtual, unreal, phantom body seems to suffice. Yet though there is thus no knockdown argument that we could not be brains-in-a-vat, we still have good reasons to suppose that embodiment must be real, and not virtual. (shrink)

Three recent, influential critiques (Stich 1978; Fodor 1981c; Block 1980) have argued that various tasks on the agenda for computational psychology put conflicting pressures on its theoretical constructs. Unless something is done, the inevitable result will be confusion or outright incoherence. Stich, Fodor, and Block present different versions of this worry and each proposes a different remedy. Stich wants the central notion of belief to be jettisoned if it cannot be shown to be sound. Fodor tries to reduce confusion in (...) computational psychology by dismissing some putative tasks as impossible. Block argues that the widespread faith in functionalism is just not warranted. I argue that all these critiques are misguided because they depend on holding cognitive psychology to taxonomic standards that other sciences routinely rise above. (shrink)