We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

Abstract This paper discusses the semantic theory presented in Robert Brandom’s Making It Explicit . I argue that it is best understood as a special version of dynamic semantics, so that these semantics by themselves offer an interesting theoretical alternative to more standard truth-conditional theories. This reorientation also has implications for more foundational issues. I argue that it gives us the resources for a renewed argument for the normativity of meaning. The paper ends by critically assessing the view in both (...) its development and motivations. Content Type Journal Article Pages 1-22 DOI 10.1007/s11098-011-9768-4 Authors Bernhard Nickel, Harvard University, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

This paper is concerned with the relationship between the metaphysical doctrine of realism about the external world and semantic realism, as characterised by Michael Dummett. I argue that Dummett's conception of the relationship is flawed, and that Crispin Wright's account of the relationship, although designed to avoid the problems which beset Dummett's, nevertheless fails for similar reasons. I then aim to show that despite the fact that Dummett and Wright both fail to give a plausible account of the relationship between (...) semantic realism and the metaphysical doctrine of realism, the semantic issue and the metaphysical issue are importantly related. I outline the precise sense in which the evaluation of semantic realism is relevant to the evaluation of realism about the external world, a sense overlooked by opponents of Dummett, such as Simon Blackburn and Michael Devitt. I finish with some brief remarks on metaphysics, semantics, and the nature of philosophy, and suggest that Dummett's arguments against semantic realism can retain their relevance to metaphysical debate even if we reject Dummett's idea that the theory of meaning is thefoundation of all philosophy. (shrink)

Frederic Stoutland (1982a, 1982b) has argued that a Davidsonian theory of meaning is incompatible with a realist view of truth, on which the truth-conditions of sentences consist of mind-independent states of affairs or concatenations of extra-linguistic objects. In this paper we show that Stoutland’s argument is a failure.

Paul Boghossian has pointed out a ’circularity problem’ for dispositionalist theories of meaning: as a result of the holistic character of belief fixation, one cannot identify someone’s meaning such and such with facts of the form S is disposed to utter P under conditions C, without C involving the semantic and intentional notions that such a theory was to explain. Alex Miller has recently suggested an ’ultra‐sophisticated dispositionalism’ (modelled on David Lewis’s well known version of functionlism) and has argued that (...) this version of dispositionalism escapes Boghossian’s ’circularity problem’. Miller argues, nonetheless, that another of Boghossian’s criticisms of dispositionalism, ’the infinity problem’ still applies to this ’ultra‐sophisticated dispositionalism’: C will still draw upon a potential infinity of mediating background clusters of belief. The present paper argues that the feature that ’the infinity problem’ presents as problematic is a feature of a host of familiar explanations. Our fundamental difficulty in this area is not our inability to understand how a more general model can be applied to a particular domain (the intentional understood as dispositional) but our failure to understand that general model itself (dispositional explanation). (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

The purpose of this paper is to look at the problem of rule-following—notably discussed by Kripke (Wittgenstein on rules and private language, 1982) and Wittgenstein (Philosophical investigations, 1953)—from the perspective of the study of generics. Generics are sentences that express generalizations that tolerate exceptions. I first suggest that meaning ascriptions be viewed as habitual sentences, which are a sub-set of generics. I then seek a proper semantic analysis for habitually construed meaning sentences. The quantificational approach is rejected, due to its (...) persistent difficulties. Instead, a cognitive approach is adopted, where psychological considerations of meaning attributors play a crucial role. This account is then compared with the picture of meaning offered by Kripke and Wittgenstein, respectively. I show how this fresh way of conceiving of meaning sentences respects some of their insights while avoiding some of the drawbacks, and serves to improve the framework in which the current debate and inquiry about rule-following are conducted. (shrink)

Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather than (...) disposition attributions, but which is otherwise similar to inferentialist versions of dispositionalism. I argue that it can handle all the exceptions discussed in the literature without recourse to ceteris paribus clauses. Psychological exceptions are handled by suitably undemanding requirements (unlike that of giving the sum of any two numbers) and by setting the following two preconditions upon someone’s making the inference: that she considers the inference and has no motivating reason against it. The non-psychological exceptions, i.e., cases of neural malfunctioning, are handled by requiring that the counterfactuals be true sufficiently often during the relevant interval. I argue that this accommodates some important intuitions about concept possession, in particular, the intuition that concept possession is vague along a certain dimension. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

In this article, I have two aims. Firstly, I argue that Hilary Putnam's model theoretic indeterminacy argument against external realism and Saul Kripke's so-called Kripkensteinian argument against semantic realism have the same dialectical structure and the same conclusion---both force the opponent to face the same dilemma. Namely: either adopt meaning minimalism or postulate unobservable semantic facts. Secondly, I analyze more closely the first horn of the dilemma---meaning minimalism. This is the position according to which there are no truth conditions for (...) meaning-ascriptions. It has been suggested that this position is incoherent. However, I argue that there is a coherent option available for the meaning minimalist. As Crispin Wright has proposed, a coherent meaning minimalist has to adopt a structured truth-predicate with at least two levels: one is a minimal or a deflationary truth-predicate for a semantic discourse and the other, more substantial or objective truth-predicate for discourses like natural sciences. Subsequently, this leads to a position close to Huw Price's global expressivism. Thus, the ultimate dilemma that Putnam's and the Kripkensteinian argument establish is the following choice: either meaning minimalism with a structured two-level truth-predicate or robust realism regarding meaning. (shrink)

This thesis explores the development of Bertrand Russell‘s theory of definite descriptions. It aims at demonstrating the connection between Russell‘s views on the subject of denoting and his attempt, in the period 1903-05, to develop a solution to 'the Contradiction'. The thesis argues that the discovery of the theory of descriptions, and the way in which it works, are best understood against the backdrop of Russell‘s work on the paradoxes. A new understanding of Russell‘s seminal paper 'On Denoting' is presented, (...) including a novel interpretation of the notorious 'Gray‘s Elegy Argument', in which Russell argues against his earlier theory of denoting. That Russell‘s work on denoting is connected to his work on the paradoxes is reasonably well-known: the nature of the connection has not, however, been adequately brought out in the literature. This is addressed through demonstrating the relationship between Russell‘s work on denoting and his development of the 'substitutional theory' of classes and relations. This theory eliminates classes and propositional functions in favour of matrices and substitutions. The role of the theory of descriptions in the development of the substitutional theory is commonly supposed to be merely that the theory of descriptions facilitates the ontological elimination of classes. But this elimination was equally possible on Russell‘s earlier theory of denoting. In the thesis it is suggested that the theory of descriptions brings with it a new conception of analysis, and that it is through the introduction of this new form of analysis—rather than through the elimination of classes—that the theory of descriptions facilitates the substitutional approach. (shrink)

In this article I am interpreting Friedrich Nietzsche's piece of writing "How the "True World" finally became a fable - The History of an Error" in the context of 20th-century analytical philosophy of language. In particular, I am going to argue that the main theme in this text - the issue of abolishing "the true world" - can be interpreted as Hilary Putnam's model-theoretic arguments against external realism and Saul Kripke's Wittgensteinian arguments against truth-conditional meaning theories. Interpreting this Nietzsche's text (...) with the help of these arguments gives rise to two options determining Nietzsche's own position. The perspective of Putnam's argument seems to push Nietzsche to the quietist camp - the view that significant metaphysical debate between external realism and its opposite is impossible or inexpressible. On the other hand, the Kripkensteinian perspective gives us reasons to interpret Nietzsche as an adherer of the pragmatic account of semantics, which explains meaning through the use of language. (shrink)