Part I of this trilogy, Historical and Scientific Setting, set out a general context for selecting a certain subclass of inter-theoretic relations as achieving appropriate explanatory and ontological unification – hence for properly being labelled reductive. Something of the complexity of these relations in real science was explored. The present article concentrates on the role which identity plays in structuring the reduction relation and so in achieving ontological and explanatory unification.

Western thought has dominated scientific development for a long time, and nursing has not escaped the influence of such ideology. Nurse scholars, in an attempt to fit the dominant scientific ideology, typically have had to struggle with non-empirical elements of nursing. This orientation in science, however, may have contributed inadvertently to a form of scientific ethnocentrism in the culture of inquiry in nursing as in other fields. The result has been a narrow view of science and knowledge and failure to (...) recognize the potential significance of Eastern philosophy in nursing knowledge development. Recently, intensive cultural exchanges between the East and the West have contributed to Western scientists becoming aware of the limits of Western linear thinking and concomitant efforts to explore the mysteries of Eastern philosophy. In this article, we explore Buddhism as one example of such philosophies that have great potential to enrich nursing as it continues to strive for definition and identity. (shrink)

Summary of Anna Pilatova’s doctoral thesis A User’s Guide to Proper Names, Their Semantics And Pragmatics The origins of this work go all the way back to my reading of Kripke’s Naming and Necessity in 1993. It had left me with a feeling of dissatisfaction that lingered long enough to inspire my MA thesis (on Internalism and Externalism in the Theories of Reference), and finally inspired the current work. Over time, I became acquainted with other influential accounts of reference of (...) proper names, but my unease with essentialism and wariness of direct designation remained. In the User’s Guide to Proper Names, I seized the opportunity to analyse what I thought was problematic with the mainstream theories of reference of proper names. I tried to tease apart a number of related doctrines about the behaviour of proper names, and thus arrive at a better understanding of how the various parts of the theories of reference I chose to analyse are related. This helped me to develop my own proposal regarding both the semantics and the pragmatics of proper names. The Guide is organised around a particular approach to the tasks of a semantic theory. According to this view, proposed by Stalnaker, a semantic theory dealing with proper names should account for the descriptive semantics of names, their foundational semantics, and the semantics of modal statements in which they figure. Descriptive semantics focuses on the contribution a proper name makes to the truth-value of sentences in which it occurs. Based on such an analysis, a proper name is assigned a semantic value, which is supposed to provide us with an interpretation of that name. A crucial part of this task is to see just what kind of thing the semantic value of a proper name is. In interpreting sentences containing proper names, one can, and often does, use the notion of possible worlds. This is especially true if the sentences in question are modal. There are various approaches to modality, which carry with them different sets of presuppositions. An analysis of the systematic features and presuppositions of various possible-world frameworks is a part of the task of the semantics of modal statements. Another task of semantics of modal statements is to investigate whence the constraints on possible worlds used in analysing these statements should derive, that is, whether, and to what degree, they should derive from the descriptive or the foundational part of the semantic enterprise. Both of these parts of a semantic theory have the potential to make predictions about the foundational semantics of proper names, which deals with the speaker’s behaviour and communication. Foundational semantics aims at answering the following question: What makes it the case that the language spoken by a particular individual or community has the very descriptive semantics it has? In this investigation, one looks at the speaker, her intentions and communicative goals, and tries to look at the strategies she uses to get her (linguistic) point across. To show the usefulness of organising the User’s Guide to Proper Names around these distinctions, and to provide their proper characterisation, is the task of the first part of the introductory first chapter, Outlining the Field and Introducing Some of the Players. In the second part of the same chapter, Setting the Scene, I give a preliminary outline of some of the notions needed to describe the theories of reference that are later investigated, that is mainly the theories proposed by Kripke, Kaplan, Lewis, and Stalnaker. The second chapter, Descriptive Semantics, focuses on the descriptive semantics proposed by Kripke and Kaplan for proper names. In the first part of the chapter, I introduce several arguments in favour of rigid designation. A closer look reveals that none of the three arguments in question -- the modal, the epistemological, and the semantic one -- is actually an argument for rigid designation. They all just argue against some forms of descriptivism. Moreover, in the case of the modal and the epistemological argument, it is relatively easy to find forms of descriptivism that are immune to the lines of reasoning proposed in these arguments. The semantic argument seems to be the strongest of the three. An analysis of a direct argument for rigid designation highlights the connection between rigid designation and certain preconceptions about the identity of individuals. A further investigation of the notion of identity of individuals across possible worlds emerges at this point as an important issue to tackle. It also becomes clear that rigid designation alone cannot fully determine the Kripkean picture of names as non-descriptive entities referring without a mediation of any sort of conceptual content. In the second part of Chapter 2, I introduce the basic notions of Kaplan’s approach to the descriptive semantics of proper names. It turns out that in order to derive the familiar Kripkean picture of proper names, one has to presuppose direct reference for names and at least some version of haecceitism for the individuals in question. While, as we show, Kaplan’s framework does not work well for proper names, it gives us conceptual tools that help us in our undertaking. In the third chapter, Modal Statements, Individuals, and Essences, I analyse three different approaches to building a possible-world framework, Lewis’s, Kripke’s, and Stalnaker’s. In each case, the same questions are asked: What is the motivation and intended field of application of this framework? What are the ontological commitments of the approach? What form of essentialism, if any, does it imply? How does it deal with the notion of an individual? In Lewis’s case, the main problem turns out to be the theory of counterparts, which is, as I show, an integral part of his approach. The concept of an individual implied by it does not seem to correspond to any intuitive reading of counterfactual statements involving individuals. The investigation of Kripke’s framework focuses on describing the weakest form of essentialism that has to be presupposed to make the proposal work. Once that is concluded, I analyse the essentialism Kripke actually proposes, and the motivation and presuppositions on which it rests. I conclude that its motivation cannot be said to come from an analysis of language and that it presupposes a particular form of scientific realism. The rest of the chapter is devoted to a reconstruction and analysis of Stalnaker’s possible world framework, which turns out to be rather more cautious about metaphysical presuppositions and more suited for an analysis of natural language. As in the two previous proposals, I try to reconstruct the notion of actual world that is presupposed here. In the fourth chapter, Foundational Semantics, I investigate the notion of proposition implied by Lewis’s, Kripke’s, and Stalnaker’s approach. I focus on propositions containing proper names, and analyse the way in which each of the conceptions mentioned above is vulnerable to the problem of logical omniscience. An analysis of Lewis’s framework reveals that the concept of proposition implied by it is so weak as to be rather uninteresting. An investigation of Kripke’s concept of proposition deals not only with the systematic issues, but also with the Pierre puzzle and various attempts at solving it. I present a number of different approaches to the problem and compare their merits. Stalnaker is very worried about the problem of logical omniscience, and yet it turns out that his conception is less vulnerable to the adverse consequences of the problem of logical omniscience than other frameworks we investigate. I point out that various pragmatic features of Stalnaker’s framework (the epistemic nature of his possible-world framework, the Gricean principles built into the notion of assertion) help to counterbalance and mitigate the scope of the problem of logical omniscience within it. In Chapter 5, User-friendly Descriptive Semantics, I present and motivate my own proposal for the descriptive semantics of proper names and the treatment of modal statements in which they figure. Basically, the aim is to preserve the notion of names as rigidly designating expressions while admitting as little metaphysics as possible. Working with epistemic possible worlds whose domain is in each case co-determined by a particular context enables me to develop a very intuitive plausible notion of individual, to which a name can be said to refer rigidly. The interpretation of modal statements is then driven not by essentialist constraints in the common sense of the term, but by context-derived limitations, which seems to be a more natural approach. In the sixth and last chapter, Names, Indexicality, and Ambiguity, I develop a view of foundational semantics inspired by the pragmatic observation that in common parlance one can say that a name, `John Smith’ for instance, can refer to numerous individuals. A lot of attention is given to the ontology of names, and the question `What is a name?’ delivers answers which are then used in a discussion about whether names should be seen as indexical or ambiguous. I adopt the ambiguity view, and propose a way of using a Stalnakerian possible-world framework to derive intuitively plausible results for some difficult cases. The weight of the discussion all through the guide rests in an examination of different kinds of presuppositions implied by various possible-world frameworks and the notion of the individual used in accounts of the behaviour of proper names. In my own account of these issues, I do without any metaphysical assumptions and aim at describing communication in terms accessible to its participants. (shrink)

This paper tries to show that although Carnap's distinction between internal and external questions in terms of a linguistic framework is philosophically important, and that although metaphysical questions are, as Carnap claims, external questions, Carnap's conclusion that all meaningful metaphysical questions are practical questions about language is not justified. This is done in three steps. First, it is argued that it is plausible to suppose that there is for languages a kind of external question other than the one kind Carnap (...) specifies, because “language games” are like the game of chess in important ways and there seems to be such a kind of question for chess. Second, it is shown that at least some metaphysical questions can quite reasonably be interpreted as being of this kind. Third, reasons are given for rejecting Carnap's grounds for claiming that there is only one kind of external question. (shrink)

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

Když jsem v roce 1992 začínal na filosofické fakultě UK přednášet teorii sémantiky, cítil jsem intenzivní potřebu poskytnout studentům nějaký učební text. O překotném vývoji tohoto interdisciplinárního oboru, který odstartovalo v sedmdesátých letech úspěšné “zkřížení logiky s lingvistikou” Richardem Montaguem a dalšími a který se nezpomalil dodnes, totiž v češtině neexistovaly prakticky žádné zprávy (s čestnou výjimkou přístupu tzv. transparentní intenzionální logiky, který byl dílem českého emigranta Pavla Tichého a o kterém u nás psal Pavel Materna). Přehledové publikace, jaké jsou (...) potřeba pro někoho, kdo se chce v dané problematice zorientovat, se ovšem v té době i po světě teprve začínaly objevovat: v roce 1990 vyšla kniha An Introduction to Semantics Gennara Chierchii a Sally McConell-Ginnetové a v roce 1991 vydala skupina holandských logiků pod kolektivním pseudonymem L.T.F. Gamut dvousvazkovou knihu Language and Meaning. Za této situace jsem se pokusil co nejrychleji sepsat učební text, který by moji studenti i jiní zájemci o sémantiku mohli použít; a protože o jeho vydání paradoxně projevila větší zájem filosofická fakulta Masarykovy univerzity v Brně (kde jsem já osobně nikdy neučil; ale zájem o sémantiku tam neúnavně podněcoval a vydání mého textu tam zprostředkoval kolega Materna) než filosofická fakulta mojí domovské Karlovy univerzity, vyšel tento text v Brně, a to pod názvem Úvod do teoretické sémantiky. (shrink)

Some twenty years ago, semanticists of natural language came to be overwhelmed by the problem of semantic analysis of belief sentences (and sentences reporting other kinds of propositional attitudes): the trouble was that sentences of the shapes X believes that A and X believes that B appeared to be able to have different truth values even in cases when A and B shared the same intension, i.e. were, from the viewpoint of intensional semantics, synonymous 1 . Thus, taking intensional semantics (...) for granted, belief sentences appeared to violate the principle of intersubstitutivity of synonyms. The verdict of the gurus of intensional semantics was that hence intensional semantics is inadequate, or at least insufficient for the purposes of analysis of propositional attitudes; and that we need a kind of a ‘hyperintensional semantics’. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer (...) this question with either a 'yes' or a 'no'. 'No' is the preferred answer of most contemporary methodologists -- Murray Rothbard is one distinguished counterexample to this trend -- who maintain that empirical theories are completely free of non-empirical ('a priori') admixtures and who see science as a matter of the gathering of pure 'data' obtained through simple observation. From such data scientific propositions are then supposed to be somehow capable of being established. (shrink)

The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as of (...) The Morning Star and The Evening Star (section 1). Given the second members of the pairs, the modes of presentation, it is quite natural to allow exportation everywhere. There is no need for essentialism. (One also can have non-essentialistic modal logic if one grants analyticity or the like.) (section 2). Given that the second member of the pair need only be one that is satisfied by the entity that is the first member (and need not be specificative), the method has no difficulties when one is concerned only with discriminations (and not specifications) (section 3). When this method is combined with the Frege-Carnap method of descriptions, fictional entities can be accommodated; Goodman''s unicorn-picture and the like can be brought within a Tarskian semantics; and Geach''s difficulties with intentional identity appear to be handled (section 4). Given the author''s ordered pair construals, there appears to be no additional need for notional construals; i.e., the author''s one unified method appears satisfactory for dealing with both traditionalde re (relational) andde dicto (notional) construals. The Paradox of the Knower and the like do not appear formulatable against the author''s approach. (section 5). The author also argues against the basic principles behind the Church-Langford translation argument (section 6). (shrink)

There are several epistemic distinctions among truths that I have argued for in this paper. First, there are those truths which holdof every rationally accessible conceptual scheme (class A truths). Second, there are those truths which holdin every rationally accessible conceptual scheme (class B truths). And finally, there are those truths whose truthvalue status isindependent of the empirical sciences (class C truths). The last category broadly includes statementsabout systems and the statements they contain, as well as statements true by virtue (...) of the rules of language itself.At the risk of anachronism, I'll describe the positions of Carnap (1956); Quine (1980); Grice et al. (1956); the various Putnam's and myself in terms of the above distinctions: both Carnap and Quine (pretty much) think there are no class A or class B truths. Both Putnam (1975) and Putnam (1983c) think there are class A and class B truths, and that these classes overlap. I deny there are class B truths but affirm the existence of class A truths (although I haven't given explicit examples of the latter here). Finally, everyone here but Quine (1980) thinks there are class C truths (of one sort or another). Putnam (1975) attempts to show that certain class C truths are simultaneously class A and class B truths. Grice et al. (1956) take pains to distinguish the claim that there are class C truths from the claim that there are class A truths, and claim (against Quine, 1980) that no argument showing there are no class A truths shows there are no class C truths.On my interpretation of Quine (1980) he thinks that the nonexistence of class A truths shows there are no class C truths-given the extra bit of argument that a notion of ‘true by convention’ or ‘true by virtue of meaning’ without epistemic content, is a distinction without significance. But that issue, which is the one Grice et al. (1956) are concerned with, has not been the focus in this paper-and so in a sense I have shifted the terms of the original debate.Here I have been primarily concerned to distinguish epistemic notions and sort out how and in what ways they relate to each other. A primary tool in this exercise has been the explicit recognition that formal models of truth make universality an unlikely property of our conceptual schemes. If I have not convinced anyone that the epistemic notions sort out the way I think they do, I hope at least that some burden-shifting has occurred: that philosophers do not either take it for granted that certain notionsmust be expressible in any conceptual scheme or treat the fact that conceptual schemes must be (in some sense) limited as of little (philosophical) moment.On the other hand, if I am right about the epistemology, it follows that previous attempts to mark out the necessary structures in rationally accessible conceptual schemes via a priori truths is hopeless. What I think must replace their role, what I call globally incorrigible sets of sentences, is a topic for another time. (shrink)

We compare Carnap's and Kuhn's views on science. Although there are important differences between them, the similarities are striking. The basis for the latter is a pragmatically oriented semantic conventionalist picture of science, which suggests that the view that post-positivist philosophy of science constitutes a radical revolution which has no interesting affinities with logical positivism must be seriously mistaken.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

Mathematicians and physical scientists depend heavily on the formal symbolism of mathematics in order to express and develop their theories. For this and other reasons the last hundred years has seen a growing interest in the nature of formal language and the way it expresses meaning; particularly the objective, shared aspect of meaning as opposed to subjective, personal aspects. This dichotomy suggests the question: do the objective philosophical theories of meaning offer concepts which can be applied in psychological theories of (...) meaning? In recent years cognitive scientists such as Chomsky [1980], Fodor [1981] and MacNamara [1982] have used philosophical approaches to the meaning of formal language expressions as the basis for their psychological theories. Following this lead it seems appropriate to review some of the main treatments of meaning with a view to their transferability. (shrink)

David Kaplan distinguishes between character and content in his theory of demonstratives and indexicals. This paper argues that David Kaplan's theory of demonstratives contains two different, incompatible, descriptions of what character is. It argues that one of them is superior. It argues that, ultimately, a theory of indexicals needs a theory of structured characters.

To sum up, then, both kinds of Putnam's arguments established externalism, though they suffer from several defects. Yet, I think Searle's discussion of these arguments contributes to our understanding of what makes externalism true, and forces us to accept a moderate version of externalism. Searle's own account of the TE story shows us, within a solipsistic outline, how two identical mental states can be directed towards different objects, and further, that the content-determination of indexical thoughts does not necessarily involve external (...) factors. We are thus led to search elsewhere (i.e., not in the nature of indexical thoughts nor in the mere fact of there being identical thoughts with different intentionalities) for what makes the thoughts in question ‘external’. Searle formulates the thesis that intension determines extension as asserting that intension sets certain conditions that anything has to meet in order to fall under its extension. I showed that this is a trivial and implausible understanding of that thesis. Yet, it leads us to distinguish between an intension's setting conditions for falling under its extension and its fully determining such conditions, and thus to see in what sense externalism is true: in the sense that there are intensions that do not fully determine the conditions for falling under their extensions. Rather, they leave indeterminacies. This version of externalism is a moderate one, since though the intensions do not fully determine extensions, they, so to speak, determine their indeterminacies, by specifying the possible external facts that can complete the determination of extension. (The intensions, as I said, function like open sentences, and can be viewed as narrow contents.) So what's in the head plays a much more important role in determining content than Putnam takes it to play. Searle's pointing out that Hilary's concepts ‘elm’ and ‘beech’ are different also contributes to seeing this phenomenon: we realize that in that case the difference between the concepts is what is responsible for the fact that the completions of the extension-determinations are different. I think that this way of viewing the facts shows that ‘the externalist turn’ is not a great revolution, and that with the help of the concept of narrow content we can accept it without abandoning the traditional views about the mind as the source of content, and without being embarrassed by the very idea of (realistic) belief-desire psychology. (shrink)

U radu se nudi opis konteksta unutar kojeg je formuliran poznati dokaz za nužnost identiteta. Iznosi se formalni prikaz ovog dokaza kako ga je formulirao poznati filozof i logičar Saul Kripke. Također se razmatra gledište filozofa Allana Gibbarda koji nasuprot Kripkeu brani tvrdnju da neki iskazi identiteta mogu biti kontingentni. Osnovni cilj rada je upoznati domaćeg čitatelja s formalnim aspektom rasprave o nužnosti identiteta te dati kratki pregled konteksta unutar kojeg su formulirani argumenti za nužnost identiteta. In the paper, we (...) offer an overview of the context within which the well-known proof of the necessity of identity is formulated. A formal account of this proof is presented as formulated by the renowned philosopher and logician Saul Kripke. Furthermore, we discuss the account of the philosopher Allan Gibbard, who defends the claim that some statements of identity can be contingent. The main goal of the paper is to acquaint the readers who understand the Croatian language with the formal aspect of the discussion on the necessity of identity and to give a brief overview of the context within which the arguments for the necessity of identity are formulated. (shrink)

According to two-dimensional semantics, primary intension and secondary intension can play the role of reflecting the cognitive aspect of an expression like Fregean sense does. The aim of this paper is to argue that this role is likely a myth. To argue for this, I attempt to show that cognitive aspects of fictional names cannot be explained within the framework of two-dimensional semantics. To be more specific, I consider four ontological theories about fictional characters that two-dimensional semanticists might be tempted (...) to choose. And then, I argue that none of them can be combined with two-dimensional semantics in a satisfactory way. (shrink)

Many concepts are inadequate for serious inquiry, so theorists often seek to engineer new concepts. The method of explication, which involves replacing concepts with more fruitful alternatives, is a model of this process. In this paper, I develop an account of fruitfulness, the Relevant-Goals Account of Fruitfulness. The account is in the spirit of extant proposals, but develops and extends them in important ways. In particular, while it applies to explications in general, the account allows us to derive substantive details (...) for specific explications. This is achieved through a supplementary view, Contextualism, that specifies which theoretical goals are relevant in any given case. I close by discussing how the Relevant-Goals Account fits into the dynamic nature of inquiry. (shrink)

Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".

In the course of theorising, it can be appropriate to replace one concept—a folk concept, or one drawn from an earlier stage of theorising—with a more precise counterpart. The best-known account of concept replacement is Rudolf Carnap’s ‘explication’. P.F. Strawson famously critiqued explication as a method in philosophy. As the critique is standardly construed, it amounts to the objection that explication is ‘irrelevant’, fails to be ‘illuminating’, or simply ‘changes the subject’. In this paper, I argue that this is an (...) unfair characterisation of Strawson’s critique, spelling out the critique in more detail and showing that, fully understood, it is not undermined by extant responses. In light of both the critique and extant responses, I close by making some substantive comments about what explication can, and cannot, be used to do in philosophy. (shrink)

Near the end of the last century, some legal philosophers adapted the so called causal theories of reference to solve internal problems in legal theory. Among those philosophers, Nicos Stavropoulos adjusted Hilary Putnam’s semantic externalism claiming it as a better philosophical view than legal positivism defended by Herbert Hart. According to him, what determines the correct application of a legal rule must be determined by the objects themselves. In that case, what determines the reference of legal terms is an issue (...) to be solved by the best theory developed. However, this is not the case necessarily: Hart’s model can reach to the same conclusions as an externalist adjustment of law. Furthermore, the epistemic criteria required by Putnam to deal with value judgements are also acceptable in a positivist model. This paper presents the central thesis of Putnam’s semantic externalism, with Stavropoulos adaptations to law, and defends that Hart’s approach to deal with legal rules and Putnam’s approach to deal with language rules can converge. (shrink)

Significant issues remain for understanding and evaluating the Quinean critique of the analytic/synthetic distinction. These issues are highlighted in a puzzling mismatch between the common philosophical attitude toward the critique and its broader intellectual legacy. A discussion of this mismatch sets the larger context for criticism of a recent tradition of interpretation of the critique. I argue that this tradition confuses the roles and relative importance of indeterminacy, a priority, and analyticity in the Quinean critique.

Rudolf Carnap’s logical pluralism is often held to be one in which corresponding connectives in different logics have different meanings. This paper presents an alternative view of Carnap’s position, in which connectives can and do share their meaning in some contexts. This re-interpretation depends crucially on extending Carnap’s linguistic framework system to include meta-linguistic frameworks, those frameworks which we use to talk about linguistic frameworks. I provide an example that shows how this is possible, and give some textual evidence that (...) Carnap would agree with this interpretation. Additionally, I show how this interpretation puts the Carnapian position much more in line with the position given in Shapiro than had been thought before. (shrink)

It is often assumed that there is a close connection between Quine's criticism of the analytic/synthetic distinction, in 'Two dogmas of empiricism' and onwards, and his thesis of the indeterminacy of translation, in Word and Object and onwards. Often, the claim that the distinction is unsound (in some way or other) is taken to follow from the indeterminacy thesis, and sometimes the indeterminacy thesis is supported by such a claim. However, a careful scrutiny of the indeterminacy thesis as stated by (...) Quine, and the varieties of the analytic/synthetic distinction, reveals that the two claims are mutually independent. Neither does the claim that the distinction is unsound follow from the indeterminacy thesis, nor that thesis from unsoundness claim, under any of the common interpretations of the analytic/synthetic distinction. (shrink)

In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...) they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke's model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators. (shrink)

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then introduce (...) two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

This paper aims to address the relevance of the natural sciences for transcendental phenomenology, that is, the issue of naturalism. The first section distinguishes three varieties of naturalism and corresponding forms of naturalization: an ontological one, a methodological one, and an epistemological one. In light of these distinctions, in the second section, I examine the main projects aiming to “naturalize phenomenology”: neurophenomenology, front-loaded phenomenology, and formalized approaches to phenomenology. The third section then considers the commitments of Husserl’s transcendental phenomenology with (...) respect to the three varieties of naturalism previously discussed. I argue that Husserl rejected strong and weak forms of epistemological naturalism, strong methodological naturalism, and ontological naturalism. The fourth section presents the argument that Husserl endorsed a weak, conditional form of methodological naturalism. This point is illustrated with Husserl’s proposal of “somatology,” a natural science apt to study the corporeality of the lived body. The final section addresses the complementarity and respective limits of the transcendental phenomenological and the natural scientific frameworks. I argue that, on Husserl’s account, the function of transcendental phenomenology with respect to the natural sciences is to provide them with an epistemological foundation and an ontological clarification. I suggest that certain natural sciences can be understood, within the transcendental phenomenological framework, as “sciences of constitution,” that is, as sciences investigating the contribution of real structures acting as conditions of possibility for the occurrence of certain kinds of comprehensive unities in lived experience. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

The paper reconstructs three main stages in the development of Carnap’s approach to language in the years 1931 – 1947. It starts with Carnap’s approach to metalogic in his Viennese Zirkelprotokolle and his Logische Syntax der Sprache from the point of view of one-level approach to the relation between metalanguage and its object-language. It then analyzes Tarski’s turn to semantics in his paper presented at the Paris conference in September 1935, as well as the implications of his view for Carnap’s (...) approach to semantics from 1935 until 1943. Finally, it analyzes Church’s rediscovery of Frege and its impact on Carnap’s shift to the extension/intension distinction in his semantics in the years 1943 – 1947. (shrink)

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 paper, as a continuation of the paper Hanzel , provides a methodological generalization of Newton’s method of theory construction as applied in Book I and Book III of his Principia. It reconstructs also the method of measures applied in those books. Finally, it shows how the term “harmonic law” changes its meaning in the Principia.

That there are analytic truths may challenge a principle of the homogeneity of truth. Unlike standard conceptions, in which analyticity is couched in terms of "truth in virtue of meanings", Frege's notions of analytic and a priori concern justification, respecting a principle of the homogeneity of truth. Where there is no justification these notions do not apply, Frege insists. Basic truths and axioms may be analytic (or a priori), though unprovable, which means there is a form of justification which is (...) not (deductive) proof. This is also required for regarding singular factual propositions as a posteriori. A Fregean direction for explicating this wider notion of justification is suggested in terms of his notion of sense (Sinn)—modes in which what the axioms are about are given—and its general epistemological significance is sketched. (shrink)

Quine, em seu livro Philosophy of Logic, identifica lógica com lógica de primeira ordem e defende a concepçáo segundo a qual a completude é uma propriedade necessária dos sistemas lógicos. O objetivo deste trabalho é discutir a argumentaçáo de Quine e mostrar que suas idéias a respeito da natureza da lógica apresentam diversos problemas tanto conceituais, como técnicos.

This paper sets out a semantics for C.I. Lewis's logic S2 based on the ontology of his 1923 paper ‘Facts, Systems, and the Unity of the World’. In that article, worlds are taken to be maximal consistent systems. A system, moreover, is a collection of facts that is closed under logical entailment and conjunction. In this paper, instead of defining systems in terms of logical entailment, I use certain ideas in Lewis's epistemology and philosophy of logic to define a class (...) of models in which systems are taken to be primitive elements but bear certain relations to one another. I prove soundness and completeness for S2 over this class of models and argue that this semantics makes sense of at least a substantial fragment of Lewis's logical theory. (shrink)

This book is a sustained defense of the compatibility of the presence of idealizations in the sciences and scientific realism. So, the book is essentially a detailed response to the infamous arguments raised by Nancy Cartwright to the effect that idealization and scientific realism are incompatible.

This paper investigates the relation between Carnap and Quine’s views on analyticity on the one hand, and their views on philosophical analysis or explication on the other. I argue that the stance each takes on what constitutes a successful explication largely dictates the view they take on analyticity. I show that although acknowledged by neither party (in fact Quine frequently expressed his agreement with Carnap on this subject) their views on explication are substantially different. I argue that this difference not (...) only explains their differences on the question of analyticity, but points to a Quinean way to answer a challenge that Quine posed to Carnap. The answer to this challenge leads to a Quinean view of analyticity such that arithmetical truths are analytic, according to Quine’s own remarks, and set theory is at least defensibly analytic. (shrink)

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

Abstract: In this article, two philosophical positions that structure distinct approaches in the history of metaphysics and epistemology are briefly characterized and contrasted. While one view, “naturalism,” rejects an a priori commitment to necessity, the other view, “transcendentalism,” insists on that commitment. It is shown that at the level of the fundamentals of thought, judgment, and reason, the dispute dissolves, and the naturalists' employment of “necessity for all practical purposes” is at best only nominally distinct from the transcendentalists' use of (...) the same concept. (shrink)

Abstract Though it has been claimed that Frege's commitment to expressions in indirect contexts not having their customary senses commits him to an infinite number of semantic primitives, Terrence Parsons has argued that Frege's explicit commitments are compatible with a two-level theory of senses. In this paper, we argue Frege is committed to some principles Parsons has overlooked, and, from these and other principles to which Frege is committed, give a proof that he is indeed committed to an infinite number (...) of semantic primitives?an intolerable result. (shrink)