This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...) itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. (shrink)

Rigid designators designate whatever they do in all possible worlds. Mathematical definite descriptions are usually considered paradigmatic examples of such expressions. The main aim of the present paper is to challenge this view. It is argued that mathematical definite descriptions cannot be rigid in the same sense as ordinary empirical definite descriptions because—assuming that mathematical facts are not determined by goings on in possible worlds—mathematical descriptions designate whatever they do independently of possible worlds. Nevertheless, there is a widespread practice of (...) treating mathematical definite descriptions as rigid. Apart from this, there might be theoretical reasons for admitting that they are rigid in some sense. The second part of the paper suggests a way out. Borrowing from ideas proposed by Kit Fine, it develops and defends an extended notion of rigidity, which can be applied to mathematical definite descriptions. Importantly, this notion is fully compatible with the claim that mathematical facts are independent of possible worlds. (shrink)

Names are rigid designators, but what kind of rigidity do they exhibit? Both “obstinately” and “persistently” rigid designators pick out O at every world at which they pick out anything at all. They differ in that obstinately rigid designators also pick out O at worlds at which O fails to exist; persistently rigid designators have no extension whatsoever at worlds at which O fails to exist. The question whether names are obstinate or persistent arises in two contexts: in arguments against (...) rigidified descriptivism (on the grounds that names and rigidified descriptions exhibit different kinds of rigidity) and in considerations about what it means for an expression to be “directly referential.” This paper contends that names are persistent, not obstinate. The position thus clarifies the relationship between Millian theories of names and rigid designation, in addition to undermining attempts to rehabilitate the modal argument against rigidified descriptivism. (shrink)

I argue that Fregeanism with respect to proper names—the view that modes of presentation are relevant to the contents of proper names—is able to account for the thesis that there are necessarily true a posteriori identity propositions such as the one expressed in “Hesperus is identical with Phosphorus”, whereas the Direct Reference Theory—according to which the semantic function of certain expressions, e.g., proper names, is only to pick out an object —is able to deal with only their necessary truth. Thus, (...) at least in so far as necessarily true a posteriori identity propositions are concerned, Fregeanism should be preferred to the Direct Reference Theory. (shrink)

The causal theory of reference is often taken to provide a solution to the problems, such as incomparability and referential discontinuity, that the meaning-change thesis raised. I show that Kuhn successfully questioned the causal theory and Putnam's idea that reference is determined via the sameness relation of essences that holds between a sample and other members of a kind in all possible worlds. Putnam's single ‘essential' properties may be necessary but not sufficient to determine membership in a kind category. Kuhn (...) argued that extension is fixed by similarity-dissimilarity relations that are liable to change in taxonomic reorganizations of science. *Received October 2009; revised January 2010. †To contact the author, please write to: Institute of Philosophy, University of Leiden, Martin de Vrieshof 4, 2300 RS Leiden, The Netherlands; e-mail: [email protected]. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. (...) After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

I argue that a ‘mere Cambridge’ test can yield a mutually exclusive, jointly exhaustive, partition of properties between the intrinsic and the extrinsic. Unlike its rivals, this account can be extended to partition 2nd- and higher-order properties of properties. A property F is intrinsic, I claim, iff the same relation of resemblance holds between all and only possible instances of F. By contrast, each possible bearer of an extrinsic property has a determinate relation to some independently contingent concrete object. Such (...) a relation can hold for concrete and abstract objects, of objects which are not remotely duplicates, and can vary from one possible duplicate to another. I compare this with accounts which do not allow extension to 2nd- and higher-order properties and give preliminary rebuttals for some main difficulties raised for the account advocated. (shrink)

In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in _Naming and Necessity_. In the first part, the interpersonal case, I show that since it is not possible to establish the metaphysical conditions for phenomenal identity, it is not possible to argue that there can be physical differences between two subjects despite their phenomenal identity. In the second part, the intrapersonal case, I consider the possibility of imagining (...) one and the same individual having the same phenomenal state while counterfactually being in very different physical states. I argue that this case should respect Kripke’s implicit theory of personal identity—but this proves to be a very difficult task to accomplish, thus preventing the argument from getting off the ground. Therefore, I maintain, that the type-identity theory is still the better option to solve the mind–body problem. (shrink)

The question of transtemporal identity of objects in general and persons in particular is an important issue in both philosophy and psychology. While the focus of philosophers traditionally was on questions of the nature of identity relation and criteria that allow to settle ontological issues about identity, psychologists are mostly concerned with how people think about identity, and how they track identity of objects and people through time. In this article, we critically engage with widespread use of inferring folk judgments (...) of identity from study participants’ use of proper names in response to experimental vignettes. We provide reasons to doubt that using this method one can reliably infer judgments of numerical identity over time and transformations. We also critically examine allegedly-Kripkean justification of this method and find it lacking. Merely assuming that names are rigid designators will not help. A study participant’s use of proper names can be taken to track the participant’s identity judgments only if supported by the participant’s belief that names used in the scenario are used rigidly. (shrink)

At the intersection of taxonomy and nomenclature lies the scientific practice of typification. This practice occurs in biology with the use of holotypes (type specimens), in geology with the use of stratotypes, and in metrology with the use of measurement prototypes. In this paper I develop the first general definition of a scientific type and outline a new philosophical theory of types inspired by Pierre Duhem. I use this general framework to resolve the necessity-contingency debate about type specimens in philosophy (...) of biology, to advance the debate over the myth of the absolute accuracy of standards in metrology, and to address the definition-correlation debate in geology. I conclude that just as there has been a productive synergy between philosophical accounts of natural kinds and scientific taxonomic practices, so too there is much to be gained from developing a deeper understanding of the practices and philosophy of scientific types. (shrink)

In Naming and Necessity Kripke argues 'intuitively' that names are rigid. Unlike Kripke, Ben-Yami first introduces and justifies the Principle of the Independence of Reference (PIR), according to which the reference of a name is independent of what is said in the rest of the sentence containing it. Ben-Yami then derives rigidity, or something close to it, from the PIR. Additional aspects of the use of names and other expressions in modal contexts, explained by the PIR but not by the (...) rigidity claim, are then discussed. Ben-Yami next examines a difficulty in accepted definitions of rigidity, stemming from the fact that the same name can be used to name different particulars. This difficulty might force us to adopt a revised form of the rigidity claim. (shrink)

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

A filosofia da linguagem dedica-se ao estudo da linguagem natural. Não se dedica ao estudo de línguas particulares, tal como o português, o castelhano ou o inglês, mas sim ao estudo filosófico de características gerais da linguagem e da nossa capacidade e proficiência linguística enquanto seres humanos. A investigação do desenvolvimento da linguagem é uma tarefa a ser desenvolvida pela ciência – a paleontologia, a neurologia, etc. Mas a ciência ocupa-se de algo de que temos um conhecimento intuitivo prévio – (...) a linguagem natural. Ora, a filosofia da linguagem dedica-se em parte a tornar explícito o nosso conhecimento implícito da linguagem. Como tal, a filosofia da linguagem é uma disciplina central na filosofia. Este capítulo é uma introdução selectiva à filosofia da linguagem. A alternativa que se nos deparava era fazer uma breve apresentação de teorias do significado, da referência e da verdade, e ainda de alguns tópicos de pragmática, ou escolher um tópico em particular que é, tradicionalmente, o elegido nos cursos introdutórios à filosofia da linguagem. Este capítulo oferece assim uma introdução a alguns dos temas centrais e clássicos da filosofia da linguagem contemporânea. A maior parte do capítulo dedicar-se-á a teorias da referência, a de Frege e de Russell, e à sua crítica subsequente por filósofos como Saul Kripke. Isto poderia levar-nos a pensar que a filosofia da linguagem contemporânea continua, como era tradicional, focada simplificada da relação entre linguagem, mente e mundo. Nada podia estar mais longe da verdade, como se tornará claro. A grande alteração na perspectiva sobre o estudo da linguagem, que se deve a pessoas como Frege ou Russell, é que graças ao seu trabalho os filósofos passaram a reflectir sobre a contribuição semântica sistematicamente feita por diferentes categorias sintácticas nas diferentes construções frásicas em que possam ocorrer, por exemplo a de termos referenciais como os nomes próprios. A relação linguagem-mente-mundo continua a ser uma preocupação dos filósofos contemporâneos, mas de uma forma muito mais sofisticada, rigorosa e sistemática. Os filósofos preocupam-se agora, por exemplo, com as condições de verdade correctas de usos particulares de frases, com os estados de coisas reais ou possíveis que confeririam verdade ou falsidade às frases usadas, e com o valor cognitivo de distintos tipos de frases. Como indicaremos na última secção do capítulo, outros desenvolvimentos da filosofia da linguagem contemporânea dizem respeito àquilo que nós, enquanto seres humanos, conseguimos fazer por meio da linguagem, aos diferentes actos de fala possíveis, e aos diferentes níveis de significado que podemos comunicar por meio do uso de frases com um significado convencionalmente estabelecido. (shrink)