This is one of a series of articles in which I examine errors that philosophers of language may be led to make if already prone to exaggerating the rôle compositional semantics can play in explaining how we communicate, whether by expressing propositions with our words or by merely implying them. In the present article, I am concerned less with “pragmatic contributions” to the propositions we express—contributions some philosophers seem rather desperate to deny the existence or ubiquity of—than I am with (...) certain types of traps that those who exaggerate the rôle of semantic convention and underestimate the rôle of pragmatic inference are apt to fall into. (shrink)

This paper challenges (in a shorter version than the also listed 2002 LSE discussion paper) the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief (...) cannot be understood referentially, his ignorance of the coins in his pocket shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

This paper (in Finnish) concerns the ontological status of categories of entities. I argue that categories are not be considered as further entities. Rather, it is suffcient for entities belonging to the same category that they are in exactly the same formal ontological relations and have the same general category features.

open journal of Philosophical Investigations (PI) is an international journal dedicated to the latest advancements in philosophy. The goal of this journal is to provide a platform for academicians all over the world to promote, share, and discuss various new issues and developments in different areas of philosophy. -/- All manuscripts to be prepared in English or Persian and are subject to a rigorous and fair peer-review process. Generally, accepted papers will appear online. The journal publishes papers including the following (...) fields: -/- · Analytic Philosophy · Ancient Greek and Roman Philosophy · Art Aesthetics · Comparative Philosophy West and Chinese · Eastern Philosophy . Islamic philosophy · Epistemology · Ethics · Hermeneutics · History of Religious Thought · History of Western Philosophy · Language Logic . (shrink)

In this thesis, I propose and defend a theory according to which committing oneself to knowing the proposition expressed counts as an assertion of that proposition. A consequence of this view is the knowledge account of assertion, according to which one asserts that p correctly only if one knows that p. In support of this approach, I offer a strategy of identifying an assertion’s “normative consequences”, types of act that normally take place as a result of one’s making an assertion (...) incorrectly. I outline two such phenomena: retraction and disavowal of knowledge. In continuation, I put the theory to test and critically examine four sets of objections against it, arguing that it can convincingly defuse them. Finally, I discuss two related issues: I maintain that by performing “aesthetic assertions” one also normally performs a non-assertoric speech act of recommendation, and argue for the possibility of “non-linguistic assertions”, whose content is expressed by gestures in appropriate contexts. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

In this paper I assume that it is reasonable to claim, as Michael Devitt does, that a definite description can express, in certain contexts, a genuinely referential meaning, but I discuss the requisite, also defended by Devitt, that the predicates involved in the description at stake should apply to the referred object. In so doing, I consider some cases of sentences containing definite descriptions constituted by general terms that, strictly speaking, don't apply to the intended object but are nonetheless intuitively (...) true. Along these lines, in the last paragraphs, I suggest that the role of the predicative material of a referential definite description can be regarded as secondary or instrumental, a mere guide to the identification of the object referred to. En el presente trabajo parto de asumir que es razonable sostener, como propone Michael Devitt, que una descripción definida puede expresar, en ciertos contextos, un significado genuinamente referencial para luego discutir el requisito, también defendido por Devitt, de que los predicados que constituyen la descripción en cuestión deban aplicarse al objeto referido. Para hacerlo, considero ejemplos de oraciones que contienen descripciones definidas constituidas por términos generales que, en sentido estricto, no se aplican al objeto pretendido, pero que pueden ser consideradas intuitivamente verdaderas. Siguiendo este enfoque, en los párrafos finales, sugiero que el papel del material predicativo que constituye una descripción definida referencial debe ser considerado secundario e instrumental, una mera guía para la identificación del objeto referido. (shrink)

In this introduction I start by presenting and examining the main positions on the current debate concerning the semantic analysis of sentences containing definite descriptions. As is known, the debate in question has started off with Russell's proposal, which has been initially criticized by both Strawson and Donnellan. Nowadays, waters are divided on this issue: some philosophers, representing the so-called univocality approach, defend Russell's original analysis, according to which all definite descriptions are quantificational expressions, whereas there are others who, following (...) Strawson´s and Donnellan´s objections, consider that at least some descriptions are genuine singular terms and hence have referential meanings. Among the defendants of the last approach, known as the ambiguity theory, we can find Michael Devitt. In the second part of the paper, I then survey Devitt's stance on some traditional arguments for the ambiguity theory -mainly, the arguments from misdescription, incompleteness, opacity, and anaphora-, and finally I consider the new ones that he has put forward in favor of the existence of referential descriptions: the argument from regularity, the one based on the comparison with demonstratives, and the argument based on weak rigidity. En esta introducción comienzo por presentar y analizar las distintas posiciones que caracterizan el debate actual en torno al análisis semántico de las oraciones que contienen descripciones definidas. Como es sabido, tal debate se origina a partir de la propuesta de Russell, la cual fue inicialmente objetada por Strawson y por Donnellan. En la actualidad las aguas están divididas: algunos filósofos, representantes del aquí llamado enfoque de la univocidad, defienden el análisis russelliano, según el cual todas las descripciones son susceptibles de ser analizadas como expresiones cuantificacionales ; otros, por el contrario, haciéndose eco de las objeciones anteriores, consideran que algunas descripciones son términos singulares genuinos y, en tanto tales, expresiones referenciales. Entre los defensores más conspicuos de este enfoque, conocido como teoría de la ambigüedad, se encuentra Michael Devitt. En la segunda parte de esta introducción, resumo la posición de Devitt respecto de los argumentos tradicionales a favor del enfoque de la ambigüedad -fundamentalmente, los argumentos basados en las descripciones fallidas, las descripciones incompletas, los casos de opacidad y los de anáfora-, y luego presento y analizo los nuevos argumentos por él ofrecidos, a saber, el argumento basado en el uso regular, aquél basado en la comparación con los demostrativos y el que se vale de la noción de rigidez débil. (shrink)

Metaphysics is usually understood as the investigation of being qua being and of its ultimate categories. Given this characterization, it may be hard to grasp why anyone might wish to oppose metaphysics, why anyone might claim that metaphysics ”leads the philosopher into complete darkness” (Wittgenstein, 1958, p.18)? What could be so misleading about the investigation of the most abstract vestiges of being? One source of disparagement towards metaphysics, of course, stems from the relativist conviction that there is no absolute being, (...) and hence nor are there any ultimate categories of being. Another ‘reason’ for some philosophers of this century (notably Carnap) to reject metaphysics appeared to consist in their reinterpretation of the word ”metaphysics”, in effect, simply as ”nonsensical philosophy”. However neither of these reasons seems to be the Wittgensteinian one. The way I propose to envisage this reason takes us back to Plato with his distinction between Being and Becoming (echoed, in one or another form, within the conceptions of so many subsequent philosophers). It is the distinction between the ‘higher’ realm of ideas with its crisp, eternal truths, and the ‘lower’ realm of appearances in which anything appears only as a fuzzy and transient reflection of something from the higher realm. The original message harbored in this Platonistic picture is clearly that the vast and hardly graspable flux of appearances shelters something firm and invariable, something potentially fully capturable by human reason which can then use it as a prism to comprehend and understand the everchanging phenomena. However, as I will claim, the picture of a ‘higher’ reality behind phenomena is dangerous in that it can delude a philosopher into feeling that he can solve empirical questions by a quasiempirical investigation of a non-empirical realm: a ‘metaphysical reality’. (shrink)

Určité okolnosti (konkrétně historické okolnosti vývoje jazyka) určují, co slova, ze kterých se tato věta skládá, znamenají. (ii) Jiné okolnosti (kontext výpovědi této věty) mohou určovat, k čemu některé výrazy v této větě (já, tady, ...) odkazují. (iii) Další okolnosti (odpovídající tomu, o čem tato věta hovoří) určují, zda se věci mají tak, jak věta říká. Vezměme například větu..

In part one, I give an (unsystematic) overview of the development of logical tools which have been employed in the course of the analysis of referring expressions, i.e. definite and (specific) indefinite singular terms, of natural language. I present Russell's celebrated theory of definite descriptions which I see as an attempt to explain definite reference in terms of unique existence (and reference in general in terms of existence simpliciter); and I present Hilbert's E-calculus as an attempt to explain existence in (...) terms of choice. Then I turn to contemporary, dynamic approaches to the analysis of singular terms and point out that only within a dynamic framework can the Russellian and Hilbertian ideas yield a truly satisfactory analysis of singular terms, and consequently of reference and coreference. I call attention to the fact that current results of formal semantics demonstrate the advantages of viewing singular terms as denoting updates, i.e. as a means of changing the context (information state), and especially that part of the context which I call the individually. (shrink)

In considering the very possibility of deviant logic, we face the following question: what makes us see an operator of one logical system as a deviant version of an operator of another system? Why not see it simply as a different operator? Why do we see, say, intuitionist implication as an operator 'competing' with classical implication? Is it only because both happen to be called implications?1 It is clear that if we want to make cross-systemic comparisons, we need an 'Archimedean (...) point' external to the systems compared. Some logicians and philosophers, including Quine (1986), come close to saying that no such Archimedean point is available, and hence that there can be no deviant logics, for if two operators are governed by different axioms, then they are simply two different operators (or, if you prefer, operators with different meanings). From this viewpoint, intuitionist implication is no less different from classical implication than, say, intuitionist or classical conjunction. This conclusion is indeed plausible if we consider logical calculi simply as algebraic structures2; however, things are different if we see them as a means of accounting for something that is already 'there' before we establish the structures and is to be explicated by them. From such a perspective, two operators of different systems may be variants of the same operator in virtue of the fact that they are both means of capturing the same pretheoretical item. What might these items be? Sometimes it seems that logicians tacitly assume that there are some mythical archetypes of implication, conjunction etc., located somewhere in some Platonic heaven or somehow underlying the a priori structures of our mind, which logic tries to capture (for better or worse). However, when it comes to the comparison of the concrete outcomes of our logical efforts, say the classical and the intuitionist implications with the archetypal Implication, the latter can never be materialized so distinctly as to be of any help. A more constructive proposal is that the operators are related to elements or constructions of our language.. (shrink)

In this paper I try to consider the question of understanding as a special mental capacity in the light of the neuroscientific approach and the philosophical tradition. I assert that it is not sufficient to explain the process of understanding on the subpersonal level. The understanding has several dimensions that are revealed only in the aspect of interpretation, communication and social interaction. This kind of understanding implies the meta-representational knowledge, which we wanted to present on the example of rational and (...) hermeneutic thinking. It should be clear that in these cases, the reduction of holistic higher mental states gathered in the form of the mind theory to the neuronal level is not possible. (shrink)

Intentionality may be dealt with in two different ways: either ontologically, as an ordinary relation to some extraordinary objects, or epistemologically, as an extraordinary relation to some ordinary objects. This paper endorses the epistemological view in order to provide a model of semiotic intentionality defined as the meaning-and-cognizing process that constitutes to power of the mind to be about something on the basis of a semiotic system. After a short introduction that presents the components of semiotic intentionality (viz. sign, act, (...) content, referent) along with their division into an intending and a fulfilling side (Sect. 1), the first main part of the paper analyzes semiotic intentionality at its primary level (a.k.a. 'concrete intentionality') as a real and subjective relation between meaning-intending and meaning-fulfilling acts grounded in the manipulation of some semiotic system (Sect. 2). Then, building on such concrete intentionality, the second main part of the paper analyzes semiotic intentionality at its secondary level (a.k.a. 'abstract intentionality') as an ideal and objective relation between intentional and fulfillment contents, which in turn: (i) proceed from an abstraction performed on the intending and fulfilling acts, respectively, and (ii) retroactively categorize the intending and fulfilling acts, respectively (Sect. 3). Finally, from this combination of an act-based conception of content with a presentationalist account of intentionality, the conclusion of this paper produces the intended model of semiotic intentionality in such a way that knowledge and truth are then respectively defined in it as the subjective correspondence between the two acts of concrete intentionality and as the objective correspondence between the two contents of abstract intentionality (Sect. 4). (shrink)

Kim has defended a solution to the exclusion problem which deploys the «causal inheritance principle» and the identification of instantiations of mental properties with instantiations of their realizing physical properties. I wish to argue that Kim's putative solution to the exclusion problem rests on an equivocation between instantiations of properties as bearers of properties and instantiations as property instances. On the former understanding, the causal inheritance principle is too weak to confer causal efficacy upon mental properties. And on the latter (...) understanding, the identification of mental and physical instantiations is simply untenable. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

The terms denotation and reference are commonly used as synonyms. A more fine-grained analysis of natural language as offered by TIL shows that we can distinguish these terms in the case of empirical expressions. The latter are shown to denote non-trivial intensions while their reference is the value of these intensions in the actual world.

In 1905 Bertrand Russell took on the problem of definite descriptions, and his analysis became the standard up until 1950 when Peter Strawson criticised Russell’s solution as inadequate. Since then many opponents as well as proponents of the Russellian solution have been involved in a long-term debate on definite descriptions. In this paper I show that both sides of the contention are partly right and partly wrong, because sentences of the form “The F is a G” are ambiguous. However, the (...) ambiguity does not concern reference shift of the description ‘the F’. Rather, the ambiguity consists in different topic-focus articulations of a given sentence involving occurrences of ‘the F’. I demonstrate that when ‘the F’ is used as part of the topic of such a sentence the existence of the object denoted by ‘the F’ is not only entailed by but also presupposed by the sentence. On the other hand, ‘the F’ used in the focus of a sentence triggers merely existential entailment. Thus sentences differing only in their topic-focus articulation should have assigned different logical forms. In order to make such hidden features explicit, I apply the procedural semantics of Transparent Intensional Logic , furnishing sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. Moreover, I generalise the phenomenon of the topic-focus distinction to sentences of any form, proposing an adequate analytic schema of sentences that come with a presupposition. (shrink)

The first part pleads for the Fregean account of definite descriptions as expressions referring to the objects which satisfy them. In particular, it attempts to give a clear sense to the idea of a descriptionś referentially contributing to the truth conditions of the complete utterance, even if the Russellian specification of truth-conditions is accepted. The second part examines a special case in which a description can be thought of as referring to an object which does not satisfy it. This leads (...) to the general question of the role of agreement between the speakerś and the audienceś beliefs in the determination of reference and utterance meaning. The question is discussed from the point of view of the Davidsonian account of utterance meaning as constituted by the match between speakerś actual communicative intentions and audienceś hypotheses about these intentions. The third part provides arguments in favour of an alternative account of utterance meaning as a set of the normative consequences of the utterance and shows that a corresponding question makes sense even there. (shrink)

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

The central claim of this thesis is that concepts, the components from which cognitively significant truth evaluable content (thought) is composed, are unstructured entities an account of whose individuation makes no essential reference to other concepts in the possession of the thinking subject or to any particular means by which the reference of the concept is identified by the thinking subject. This position is called Conceptual Atomism and contrasts with Inferential Role Semantics, according to which concepts are individuated by their (...) inferential roles or their conditions of warranted application. The structure of the argument is as follows. Firstly, a principle called the Transparency Principle is developed. This places constraints on the individuation of concepts across differing contexts. The Transparency Principle is then used to show that Inferential Role Semantics is false because it cannot provide a satisfactory account of cognitive dynamics; that is, of the conditions under which a concept is retained through changes in the epistemic state of the subject over a period of time. A version of Conceptual Atomism is then defended and it is shown that this theory yields the correct individuation of concepts. According to this theory the concepts of an individual subject are individuated in terms of referential episodes, episodes of ongoing reference to an object or property during which it is diachronically transparent to the subject that the same thing is being referred to. The more general notion of a referential practice is then used to account for the sharing of concepts by more than one person. Finally, a novel account of the thoughts expressed using indexical terms is defended in order to show that indexicals present no counterexample to Conceptual Atomism. This account of indexical thoughts is of some consequence in its own right. (shrink)

Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the Proponent’s thesis, alternately utter argumentative moves according to certain rules. For a long time the dialogical approach had been worked out only for classical and intuitionistic logic. The seven papers of this dissertation (...) show that this narrowness was uncalled for. The initial paper presents an overview and serves as an introduction to the other papers. Those papers are related by one central theme. As each of them presents dialogical formulations of a different non-classical logic, they show that dialogical logic constitutes a powerful and flexible general framework for the development and study of various logical formalisms and combinations thereof. As such it is especially attractive to logical pluralists that reject the idea of “the single correct logic”. The collection contains treatments of free logic, modal logic, relevance logic, connexive logic, linear logic, and multi-valued logic. (shrink)

This paper reexamines some examples, discussed by Mates and others, of sentences containing both definite descriptions and quantifiers. It has frequently been claimed that these sentences provide evidence for the view that definite descriptions themselves are quantifiers. The main goal of this paper is to argue this is not so. Though the examples are compatible with quantificational approaches to definite descriptions, they are also compatible with views that treat definite descriptions as basically scopeless. They thus provide no reason to see (...) definite descriptions as quantifiers. Even so, this paper shows that the examples do raise a surprising range of complex issues about how quantifier scope works, and where it occurs. Thus, a clear picture of how these examples work will help us to understand better where definite descriptions fit into the larger picture of quantifiers and related phenomena. (shrink)

There is a considerable sub-literature, stretching back over 35 years, addressed to the question: Precisely which general terms ought to be classified as rigid designators? More fundamentally: What should we take the criterion for rigidity to be, for general terms? The aim of this paper is to give new grounds for the old view that if a general term designates the same kind in all possible worlds, then it should be classified as a rigid designator. The new grounds in question (...) have to do with excavating the connection between rigid designation and semantic structure. Other original contributions of the present work consist in developing responses to some objections to this approach to rigid designation. (shrink)

Anselm's argument for the existence of God in Proslogion Chap.II starts from the contention that `lq when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. This is a special feature of the Pros.II argument which distinguishes the argument from other ontological arguments set up by, for example, Descartes and Leibniz. This is also the context which makes semantics necessary for evaluation of the argument. It is quite natural to ask `lq What (...) is understood by the Fool, and what is in his mind? It is essential for a proper consideration of the argument to identify the object which is understood by the Fool, and so, is in his mind. A semantics gives answers to the questions of `lq What the Fool understands? and `lq What is in the Fool's mind? If we choose a semantics as a meta-theory to interpret the Pros.II argument, it makes an effective guide to identify the object. It is a necessary condition for a proper evaluation of the Pros.II argument to fix our universe of discourse, especially since, in the argument, we are involved in such talk about existing objects as Anselm's contention that `when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. The ontology to which a semantic theory commits us will be accepted as our scope of objects when we introduce our semantic theory to interpret the Pros.II argument, and this ontological boundary constrains us to identify the object in a certain way. Consistent application of an ontology, most of all, is needed for the evaluation of the logical validity of an argument. If we take Frege's three-level semantics, we are ontologically committed to intensional entities, like meaning, as well as extensional entities. Sluga contends that Frege's anti-psychologism for meanings should not be interpreted as vindicating reification of intensional entities in relation to Frege's contextualism, that Frege's anti-psychologism with his contextualism is nothing but a linguistic version of Kantian philosophy for the transcendental unity of a judgement. There is, however, another possible interpretation of Frege's contextualism. According to Dummett, the significance of Frege's contextualism must be understood as a way of explanation for a word's having meaning. If Dummett's view is cogent, we could say that Frege's contextualism does not prevent our interpreting his semantics as being committed to intensional entities. We need not worry that Frege's over all semantics, especially with his contextualism, would internally deny the ontological interpretation of his theory. We see Anselm's argument for the existence of God in Pros.II is an invalid argument if we introduce Frege's three-level semantics, i.e. if we acknowledge meanings of words as entities in our universe of discourse. We can also employ extensional semantics for the interpretation of the Pros.II argument. According to extensionalists, like Quine and Kripke, we need not assume intensional entities, like meaning, to be part of our ontological domain. They argue that we can employ our language well enough without assuming intensional entities. If we choose extensional semantics as a meta-theory to interpret the Pros.II argument, it commits us only to extensional entities as objects in the Universe of our interpretation. In Sections 1.4 and 1.5, I show that extensional semantics makes the Pros.II argument a valid argument for the existence of God. `lq Necessary existence is the central concept of Anselm's argument for the existence of God in Proslogion Chap.III. It has been said that, even if the argument is formally valid, it cannot stand as a valid argument for the existence of God, since `lq necessary existence is an absurd concept like `lq round square. And further that even if there is a meaningful combination of concepts for `lq necessary existence, it cannot quality as a subject of an a priori argument. As objections to the interpretations which make the Pros.III argument valid, it has been argued that even if there is a concept of `lq necessary existence which is meaningful and there is another concept of `lq necessary existence which is suitable as a subject of an a priori argument, there is no concept of `lq necessary existence which is meaningful and at the same time suitable as a subject of an a priori argument. In Chap.2 and Chap.3, I try to show that there can be concepts of `lq necessary existence which are proof against these objections. Anselm's arguments for the existence of God in Proslogian Chap.II and Chap.III are logically valid arguments on some logical principles. Some fideists, K. Barth, for example, argue that Anselm's arguments for the existence of God in Proslogion are not proofs for the existence of God even if they are logically valid arguments. I raise the question how this attitude could be possible, in Chap.4 and Chap.5. Barth's fideistic interpretation of Anselm's Proslogion arguments does not find any flaw in the validity of the arguments, and it accepts the meaningfulness and truth of the premises even to the fool in Proslogion. If this is the case, i.e. if Barth's interpretation accepts the validity of the arguments and the truth of the premises, I raise the question, how can the arguments not be interpreted as proofs for the existence of God? How is it possible that the function of the arguments is not that of proving the existence of God? According to Wittgensteinian fideism, premises in the arguments should not be intelligible to those who do not believe in God's existence already, and so the real function of the arguments is the elucidation, the understanding of believer's belief, rather than proving articles of belief to unbelievers. Barth's fideistic interpretation of the arguments, however, fully recognizes the meaningfulness and truth of the premises in the arguments as well as the validity of the arguments. I argue that there could be a justification for the Barthian fideism. As Malcolm notices, there are still atheists who understand Anselm's arguments as valid, but the only possibility for the people who recognize the validity of Anselm's arguments still to remain atheists has been thought to be to challenge the truth of premises employed in the arguments. Now, of the atheistic possibility, we can change the direction of our attention, that is, to the question about the function of a logically valid argument itself. What has not been thought of in relation to Anselm's arguments is the significance of logical truth or the logical validity of an argument. We have not asked such questions as `lq What does a logical truth say? and `lq What does a logically valid argument guarantee with true premises? Let us assume that even the premises are accepted by atheists. Do they all convert to theism? If that were so, the disagreement between atheist and believer over the ontological arguments should turn only on the truth of premises. If that is not so, there is some point in raising this other question. If there are people who, recognizing the premises and validity of an argument, are still reluctant to accept the conclusion, we have reason to question the function of a valid argument. I argue that there is a way of being consistently reasonable while accepting the premises and the validity of the ontological arguments and yet remaining an atheist or an agnostic. (shrink)

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...) In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

Understanding scientific modelling can be divided into two sub-projects: analysing what model-systems are, and understanding how they are used to represent something beyond themselves. The first is a prerequisite for the second: we can only start analysing how representation works once we understand the intrinsic character of the vehicle that does the representing. Coming to terms with this issue is the project of the first half of this chapter. My central contention is that models are akin to places and characters (...) of literary fictions, and that therefore theories of fiction play an essential role in explaining the nature of model-systems. This sets the agenda. Section 2 provides a statement of this view, which I label the fiction view of model-systems, and argues for its prima facie plausibility. Section 3 presents a defence of this view against its main rival, the structuralist conception of models. In Section 4 I develop an account of model-systems as imagined objects on the basis of the so-called pretence theory of fiction. This theory needs to be discussed in great detail for two reasons. First, developing an acceptable account of imagined objects is mandatory to make the fiction view acceptable, and I will show that the pretence theory has the resources to achieve this goal. Second, the term ‘representation’ is ambiguous; in fact, there are two very different relations that are commonly called ‘representation’ and a conflation between the two is the root of some of the problems that beset scientific representation. Pretence theory provides us with the conceptual resources to articulate these two different forms of representation, which I call p-representation and t-representation respectively. Putting these elements together provides us with a coherent overall picture of scientific modelling, which I develop in Section 5. (shrink)

On the one hand, logic has (or ought to have) nothing to do with metaphysics; it ought to have nothing to do with questions concerning what there is, or whether there is anything at all. On the other hand, metaphysics can hardly get off the ground without the help of logical analysis; to be is to be a truth-maker, and the search for truth-makers requires that we lay open the logical structure of our language. So something’s gotta give: either logical (...) analysis is metaphysically biased, or metaphysicians must make up their mind before resorting to logical analysis. Or both. (shrink)

Modal Meinongianism is the most recent neo-Meinongian theory. Its main innovation consists in a Comprehension Principle which, unlike other neo-Meinongian approaches, seemingly avoids limitations on the properties that can characterize objects. However, in a recent paper A. Sauchelli has raised an objection against modal Meinongianism, to the effect that properties and relations involving reference to worlds at which they are instantiated, and specifically to the actual world or parts thereof, force a limitation of its Comprehension Principle. The theory, thus, is (...) no better off than other neo-Meinongian views in this respect. This article shows that the notion part of actuality in Sauchelli’s paper is ambiguous from the modal Meinongian viewpoint. Accordingly, his objection splits into two, depending on its disambiguation. It is then explained how neither interpretation forces modal Meinongianism to limit its Comprehension Principle. A third problem connected to Sauchelli’s objection is addressed: how to account for our felicitously referring to nonexistent objects via descriptions that embed reference to properties not actually instantiated by the objects. Overall, the replies to these difficulties provide good insights into the workings of the new Meinongian theory. (shrink)

This paper shows that Russell’s theory of descriptions gives the wrong semantics for definite descriptions occurring in questions and imperatives. Depending on how that theory is applied, it either assigns nonsense to perfectly meaningful questions and assertions or it assigns meanings that diverge from the actual semantics of such sentences, even after all pragmatic and contextual variables are allowed for. Given that Russell’s theory is wrong for questions and assertions, it must be wrong for assertoric statements; for the semantics of (...) ‘the phi’ obviously doesn’t vary depending on whether it occurs in a question or an assertion or a command. (shrink)

According to the Encoding Model, speakers communicate by encoding the propositions they want to communicate into sentences, in accordance with the conventions of a language L. By uttering a sentence that encodes p, the speaker says that p. Communication is successful only if the audience identifies the proposition that the speaker intends to communicate, which is achieved by decoding the uttered sentence in accordance with the conventions of L. A consequence of the Encoding Model has been the proliferation of underdetermination (...) arguments, each of which concludes against some linguistic theory T, on the grounds that, were T true, audiences would be unable to know what was said by utterances of some particular linguistic form, and therefore unable to know what speakers intended to communicate by these utterance. The result, if we accept the conclusion of these arguments, is radical restriction of the domain of viable linguistic theory. This Thesis defends an alternative model according to which there need be nothing encoded in an uttered sentence – nothing that is said by its utterance – for the audience to retrieve. Rather, there are indefinitely many ways to interpret uttered sentences – indefinitely many routes to the propositions that speaker intend to communicate – which proceed through different interpretations of what is said. (shrink)

Even though it’s based on a bad argument, there’s something to Strawson’s dictum. He might have likened ‘referring expression’ to phrases like ‘eating utensil’ and ‘dining room’: just as utensils don’t eat and dining rooms don’t dine, so, he might have argued, expressions don’t refer. Actually, that wasn’t his argument, though it does make you wonder. Rather, Strawson exploited the fact that almost any referring expression, whether an indexical, demonstrative, proper name, or definite description, can be used to refer to (...) different things in different contexts. This fact, he argued, is enough to show that what refers are speakers, not expressions. Here he didn’t take seriously the perfectly coherent view that an expression’s reference can vary with context. So, he concluded, what varies from context to context is not what a given expression refers to but what a speaker uses it to refer to. Strawson went on to suggest that there are several dimensions of difference between various sorts of referring expressions: degree of dependence on context, degree of “descriptive meaning,” and being governed by a general convention vs. an expressionspecific one. But despite these differences, he insisted that regardless of kind, referring expressions don’t themselves refer — speakers use them to refer. (shrink)

My real position is that logic is a mere sub-branch of rhetoric, but in this paper I only try to show an area of overlap. Certain usages in logical work are metaphorical, and I argue that this has pernicious effects in a discipline assumed strictly literal. Among these pernicious effects are the bizarre and fruitless focus of philosophy of mathematics on the pseudo-problems of foundations and objects. I mostly examine the locution 'logical construction' and a range of associated metaphors. Some (...) sketchy remarks on the history of rhetoric are offered in explanation. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

This chapter probes the connections between the metaphysics of meaning and the investigation of human communication. It first argues that contemporary philosophy of mind has inherited most of its metaphysical questions from Brentano's puzzling definition of intentionality. Then it examines how intentionality came to occupy the forefront of pragmatics in three steps. By investigating speech acts, Austin and ordinary language philosophers pioneered the study of intentional actions performed by uttering sentences of natural languages. Based on his novel concept of speaker's (...) meaning and his inferential view of human communication as a cooperative and rational activity, Grice developed a three-tiered model of the meaning of utterances: the linguistic meaning of the uttered sentence; the explicit truth-conditional content of the utterance; the implicit content conveyed by the utterance. Finally, the new emerging truth-conditional trend in pragmatics urges that not only the implicit content conveyed by an utterance but its explicit content as well depends on the speaker's communicative intention. (shrink)

Defenders of the Knowledge Argument contend that physicalism is false because knowing all the physical truths is not sufficient to know all the truths about the world. In particular, proponents of the Knowledge Argument claim that physicalism is false because the truths about the character of conscious experience are not knowable from the complete set of physical truths. This dissertation is a defense of the Knowledge Argument. Chapter one characterizes what physicalism is and provides support for the claim that if (...) knowing all the physical truths is not sufficient to know all the truths about the world, then physicalism is false. In chapter two, I defend the claim that knowing all the physical truths is not sufficient for knowing all the truths about the world. In addition to mounting a prima facie case for the knowledge intuition, I present and defend an epistemology grounded in direct acquaintance to provide a more substantive argument to accept it. Chapters three through five address the physicalist objections to the Knowledge Argument. The first set of objections advocates that knowing all the physical truths is, in fact, sufficient for knowing all the truths about the world. The next set of objections admits that there is some sense in which knowing all the physical truths is not sufficient for knowing all the truths about the world. However, these objections maintain that the kind of knowledge that is absent from the complete set of physical truths is know-how or knowledge by acquaintance, and not factual or propositional knowledge. The final set of objections maintain that the kind of propositional knowledge that is left out of the complete set of physical truths is compatible with physicalism. My response to these objections is part of advancing my prima facie case for the Knowledge Argument. The final chapter addresses a structural question that pertains to the Knowledge Argument. Some philosophers have maintained that the structure of the Knowledge Argument invites a kind of self-refutation of any systematic account of reality. The concern is that the Knowledge Argument proves too much, and that the dualist who uses the argument to refute physicalism risks the argument defeating his own position. I will argue that the Knowledge Argument does not refute dualism. (shrink)

This paper continues an ongoing debate between Michael Devitt and me on referential uses of definite descriptions. He has argued that definite descriptions have referential meanings, and I have argued that they do not. Having previously rebutted the view that referential uses are akin to particularized conversational implicatures, he now he rebuts the view that they are akin to generalized conversational implicatures. I agree that the GCI is not the best model, but I maintain that in exploiting the quantificational meaning (...) of definite descriptions, referential uses involve a different sort of pragmatic regularity. Also, I try to bolster my objection to Devitt’s claim that the word ‘the’ is semantically ambiguous. (shrink)

This paper makes a Fregean analysis of certain expressions which, according to the way they are constructed, can refer, firstly, to events and, secondly, to the results of these events. This paper intends to show that –if we take into account the above mentioned expressions and use Fregean notions such as meaning, reference, function, argument and concept– it is possible to consider events as objects. To do this we need to articulate developments made both from a linguistic perspective and a (...) philosophical one. In this particular case, we take into account the Fregean ontology; we try to analyze ontologically the linguistic phenomena called nominalization and arrive to interesting conclusions about the ontological and semantic behavior of the expressions that contain event and result nominalizations. (shrink)

Se considera que la ciencia es el espejo de la naturaleza, mientras que el arte imita la vida. De ser así, las representaciones en ambas disciplinas deberían asemejarse a sus objetos. En contra de tales teorías miméticas, argumento que la ejemplificación y no la simple semejanza es crucial. Explico en qué consiste la ejemplificación: una relación referencial de un ejemplar con alguna de sus características. Puesto que la ejemplificación es selectiva, un ejemplar puede diferir de su referente en aspectos no (...) ejemplificados. Ésta es la razón por la cual una idealización, que estrictamente es falsa, puede ofrecer comprensión del fenómeno que le concierne. A partir de analogías con las representaciones pictóricas, muestro cómo un modelo ejemplifica características que comparte con su objeto, pone de relieve la importancia de tales características y con ello proporciona comprensión del sistema en cuestión. (shrink)

As brightly shown by Mainzer [24], the science of complexity has many distinct origins in many disciplines. Those various origins has led to “an interdisciplinary methodology to explain the emergence of certain macroscopic phenomena via the nonlinear interactions of microscopic elements” (ibid.). This paper suggests that the parallel and strong expansion of modeling and simulation - especially after the Second World War and the subsequent development of computers - is a rationale which also can be counted as an explanation of (...) this emergence. With the benefit of hindsight, one can find three periods in the methodologies of modeling in the empirical sciences: 1st the simple modeling of the simple, 2nd the simple modeling of the complex, 3rd the complex modeling and simulation of the complex. Our main thesis is that the current spreading (since the 90’s) of complex computer simulations of systems of models (where a simulation is no more a step by step calculus of a unique logico-mathematical model) is another promising dimension of the science of complexity. Following this claim, we propose to distinguish three different types of computer simulations in the context of complex systems’ modeling. Finally, we show that these types of simulations lead to three different types of weak emergence, too. (shrink)

The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not come (...) for free; rather they are strictly dependent on intentional acts that generally need to have a presence, in one way or another, in the semantic structure of the sentence. (shrink)