The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables (...) the necessitist to extract a ‘cash value’ from what the contingentist says. Similarly, a mapping often used to ‘translate’ possibilist discourse into actualist discourse is adapted to map every sentence of the language to a sentence the necessitist (but not the contingentist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables the contingentist to extract a ‘cash value’ from what the necessitist says. Neither mapping is a translation in the usual sense, since necessitists and contingentists use the same language with the same meanings. The former mapping is extended to a second-order modal language under a plural interpretation of the second-order variables. It is proved that the latter mapping cannot be. Thus although the necessitist can extract a ‘cash value’ from what the contingentist says in the second-order language, the contingentist cannot extract a ‘cash value’ from some of what the necessitist says, even when it raises significant questions. This poses contingentism a serious challenge. (shrink)

This is the introductory essay to a collection commemorating the 100th anniversary of the publication in Mind of Bertrand Russell’s paper ‘On Denoting’.

This collection of essays is the definitive version of a widely discussed debate over the origins of the New Theory of Reference. In new articles, written especially for this volume, Quentin Smith and Scott Soames, the original participants in the debate, elaborate their positions on who was responsible for the ideas that Saul Kripke presented in his Naming and Necessity. They are joined by John Burgess, who weighs in on the side of Soames, while Smith adds a further dimension in (...) discussing the contributions of philosophers such as Follesdal, Geach, Hintikka, and Plantinga. Also included are lengthy excerpts from Follesdal's 1961 Harvard dissertation and a careful examination by Sten Lindstrom of the respective contributions of Kripke and Stig Kanger to the development of modal semantics. The collection will be essential reading for anyone acquainted with these influential ideas. (shrink)

The Empiricist or Lockean view says natural kinds do not exist objectively in nature but are practical categories reflecting use of words. The Modern, Ostensive view says they do exist, and one can refer to such a kind by ostention and recursion, assuming his designation of it is related causally to the kind itself. However, this leads to a problem: Kinds are abstract repeatables, and it seems impossible that abstractions could have causal force. In defence of the Modern view, I (...) suggest we can think of kinds as — or as like — ecological niches existing in nature, which are causally effective by virtue of the fact that they predictively determine (some) properties of the things that happen to occupy them. (shrink)

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.

The article presents a critical survey of the philosophical discussion of the mind-body-problem since the collapse of Rylean behaviourism. The major theories (identity theories, supervenience, emergentist materialism, dualist interactionism and functionalism) are sketched and briefly evaluated with regard to their advantages and disadvantages. The conclusion is that no satisfactory theory about the relation between mental and neurophysiological states exists today, but considerable progress has been made regarding the contours of this cluster of problems. A catalogue of criteria which every future (...) theory concerning the mind-body problem must fulfill is given at the end. (shrink)

The analytic/synthetic distinction has played a central role in discussions of a priori knowledge throughout the twentieth century. One of the primary reasons for the prominence of this distinction is the widespread influence of the tradition of logical empiricism which endorsed the following principles: All analytic propositions are knowable a prioriand All propositions knowable a priori are analytic.Hence, proponents of the a priori often argue in support of the contention that the propositions of a particular discipline, say mathematics or logic, (...) are knowable a priori by arguing that it consists solely of analytic propositions. On the other hand, detractors of the a priori often reject such knowledge on the grounds that the analytic/synthetic distinction is not cogent. My primary goal in this paper is to challenge the prevalent acceptance of. (shrink)

Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...) joukkoon. Descartesin ikuiset totuudet olisivatkin siis loogisesti välttämättömiä. Niillä on kyseinen olemus riippumatta ulkoisten kohteiden olemassaolosta tai siitä, ajattelenko niitä lainkaan. Kuitenkin kirjeenvaihdossaan Descartes pitää itsepintaisesti kiinni käsityksestään, että ikuiset totuudet ovat Jumalan vapaasti luomia ja Jumala olisi voinut luoda ne erilailla. Näin ollen luodut ikuiset totuudet eivät tarkkaan ottaen olisikaan välttämättömiä vaan kontingentteja. Ne voisivat olla myös toisella tavalla. Artikkelin alkuun esittelen Descartesin modaalista metafysiikkaa sekä luotujen ikuisten totuuksien kontingenttiudesta seuraavia tulkinnallisia vaikeuksia. Tämän jälkeen pureudun kolmeen erilaiseen ratkaisuyritykseen kommentaarikirjallisuudessa (Frankfurt 1977; Curley 1984 & Bennett 1994) ja osoitan, miksi ne eivät riitä vastaamaan ongelmaan. Lopussa vedän johtopäätöksiä ja luonnostelen mahdollisen ratkaisun. (shrink)

Saul Kripke’s modal essentialist argument against materialism remains an obstacle to any prospective Identity Theorist. This paper is an attempt to make room for an Identity Theory without dismissing Kripke’s analytic tools or essentialist intuitions. I propose an explanatory model that can make room for the Identity Theory within the constraints of Kripke’s view; the model is based on ideas from Alan Sidelle’s, “Identity and Identity-like” . My model explains the apparent contingency of some scientific identities by appealing to our (...) epistemic access to the conditions of identity for sensations and brain processes. Pace Kripke, the Identity Theorist can thus explain away the apparent contingency of mind-brain identity claims. (shrink)

This chapter contains section titled: Criteria of Ontological Commitment: Two Examples ‘No Entity without Identity’: Identity Conditions for Objects Individuation Conditions, Identity Conditions, and Metaphysical Kinds Principles and Criteria of Identity.

Essentialism is, on the one hand, anchored with considerable firmness in a common sense picture of the world. On the other hand, it was dismissed for logico-philosophical reasons by a scientifically minded theorist like Quine. ``New essentialists'' like Kripke did engage in very profitable theorizing on an essentialist basis, but made no significant effort to investigate the prospects of imparting to an essentialist metaphysics a solid foundation within a scientific world view. These foundational prospects are the concern of the article. (...) – The investigation is guided by two ideas which are elaborated within a proof theoretical framework in the course of the article. First, being an essential F (where ``F'' represents a predicate) is linked with a lifelong possession of the property signified by ``F'' (but there is something more in it). Second, a special kind of necessity is involved in (true) predications of essential F-ness; it should be capable, like possibly all kinds of necessity, of being spelt out, in the final analysis, in terms of the provability of appropriate propositions in appropriate theoretical systems. In outlining the relevant axiomatic bases, the article draws on an early paper by E. Hirsch on individuation and essence. (shrink)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)