In this paper I examine the roles that experiment plays in science. Experiment can test theories, but it can also call for a new theory. Experiment can also provide hints about the mathematical form of a theory. Likewise it can provide evidence for the existence of the entities involved in our theories. Finally, it may also have a life of its own, independent of theory. I will illustrate these roles using episodes from the history of contemporary physics. I will also discuss an epistemology of experiment, a set of strategies that provides grounds for reasonable belief in experimental results.

In most of the proposals about metonymy it is argued that it is a figure of signification or trope that exploits a figurative or transferred meaning. These proposals lose sight of what the examples that we normally consider metonymy have in common, to wit, that they are understood if we complete the metonymic noun phrase and not if we substitute it by another. It is in this sense that we understand that referential metonymy is a case of ellipsis and, thus, a figure of language or scheme whose mechanism of interpretation is intimately related to the mechanism of retrieval of expressions.

Kripke argued for the existence of necessary a posteriori truths, and tried to explain why some of them seem to be contingent. His main explanation motivated two philosophical proposals: (i) the attempt - linked to some interpretations of two-dimensionalism - to analyse the epistemic concept of a priori truth using metaphysical modal concepts; (ii) the argument for psychophysical dualism worked out by Kripke relying on his explanation of the appearances of contingency. I point out several difficulties for (i), and argue that (ii) can oe blocked because of the existence of alternative accounts of the phenomenon.

The main aim of this paper is to evaluate the Implicature Theory for epistemic contexts, as an attempt to save the validity of the Principle of Substitution in those contexts. I defend that Recanati 's arguments against the Implicature Theory are not conclusive because they are based on inadequate examples and on unclear interpretations of Grice's writings. I then argue that the mixing up of theories of meaning and attitude ascription with the classical intuitions held by Fregeans against Russellians in these contexts does not give promising results.

One of the main problems of Lewis' approach to the conventionality of language is the so-called "probLem of the meaning without we ". In this paper consider the possible solutions to this problem and conclude that in order to avoid this objection Lewis' proposal must be substantially modified.

Presuppositions are well known phenomena. One way of treating them is as partial 'meaning-functions '. There is an attractive argument that holds that in order to explain the contrast between such sentences as "John came into the room" and "That bastard John came into the room" it is required to make our semantic theory essentially more complex. This argument appeals to the fact that contrasts such as the ones just mentioned play a role in the validity of logical inferences. In this paper I argue that these contrasts can be accounted for by appealing to presuppositions. In order to defend this view we will have to offer a characterization of logical consequence that applies to sentences that involve presuppositions.

Peirce claims that there is but one primary logical relation, that of illation or logical consequence. The present paper is devoted to show the influence of this viewpoint in Peirce's conception of logic. After a brief presentation of Peirce's membership in the tradition of language as calculus, it examines his pioneering work in modal logic and other systems of logic. The last section attemps to summarize his doctrine of logic as a normative science.

Putnam's Model- Theoretic Argument has been generally held as invalid. In this work, attention is addressed to two broad facts understated by critics and commentators: (i) there are, at least, two different model-theoretic arguments. One is directed against realism and the other is directed to naturalistic semantics. The general rejection affects the former, but it is open to discussion if it affects the latter; (ii) on the other hand, the model-theoretic argument construed as a reductio argument has not - prima facia - ontological consequences, but only restrains our methodology to deal with the intentional realm.

Phil Dowe has argued persuasively for a reductivist theory of causality. Drawing on Wesley Salmon's mark transmission theory and David Fair's transferencetheory, Dowe proposes to reduce causality to the exchange of conserved quantities. Dowe's account has the virtue of being simple and offering a definite "visible" idea of causation. According to Dowe and Salmon, it is also virtuous in being localist. That a theory of causation is localist means that it does not need the aid of counterfactuals and/or laws to work. Moreover, it can become the means by which we explain counterfactuals and laws. In this paper, I will argue that the theory is not localist (and hence, that it is less simple than it seems). As far as I can see, the theory needs the aid of laws.

We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane computing. Both of them have the roots in cellular biology and are rather developedat the theoretical level (new concepts, models, paradigms of computer science, with mathematical and epistemological significance have been considered in this framework), but both areas are still looking for implementations of a practical interest.

In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.

En este artículo reevaluamos la tesis de la relatividad lingüística tomando corno referencia la vision de la mente que Fodor ha venido ofreciendo. Partiendo de su argumento clásico a favor del lenguaje del pensamiento, veremos como el desarrollo de su tesis de la modularidad y de su mas reciente teoria psicosemántica (el atomismo informacional), permiten compatibilizar su posición con, al menos, una variedad de relatividad, la relatividad léxica. Así mismo, examinaremos su ultimo argumento en favor de la prioridad explicativa del pensamiento, basado en la composicionalidad que éste exhibe, a diferencia del lenguaje.This paper reevaluates the thesis of linguistic relativity in the context of Fodor’s views on the nature of mind. We begin with Fodor’s classical argument for the language of thought, and follow the development of his ideas as he adds a general account of the structure of mind (the modulariry thesis) and a psychosemantical theory (informational atomism). Finally, we examine his most recent altempt to support the explanatory prioriry of thought, based on the compositionaliry that thought, but not language, exhibits. We argue that Fodor’s position is compatible a variety of lexical relativiry.

In this article we review some of the main results of descriptive complexity theory in order to make the reader familiar with the nature of the investigations in this area. We start by presenting the characterization of automata recognizable languages by monadic second-order logic. Afterwards we explain the characterization of various logics by fIxed-point logics. We assume familiarity with logic but try to keep knowledge of complexity theory to aminimum.

Which is the relation between logic and philosophy of mind? This work tries to answer that question by shortly examining, first, the place that is assigned to logic in three current views of the mind: Computationalism, Interpretativism and Naive Naturalism. Secondly, the classical debate between psychologism and antipsychologism is reviewed -the question about whether logic is or not a part of psychology- and it is indicated in which place of such debate the three mentioned conceptions of mind are located.