The influential proposal that the analytical component of a theory is captured by its ‘Carnap sentence’ is critically scrutinized. A counterexample which makes the suggestion problematic is presented.

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of Dummett and (...) his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

The minimalist view of truth endorsed by Paul Horwich denies that truth has any underlying nature. According to minimalism, the truth predicate ‘exists solely for the sake of a certain logical need’; ‘the function of the truth predicate is to enable the explicit formulation of schematic generalizations’. Horwich proposes that all there really is to truth follows from the equivalence schema: The proposition that p is true iff p, or, using Horwich’s notation, ·pÒ is true ´ p. The (unproblematic) instances (...) of the schema form ‘the minimal theory of truth’. Horwich claims that all the facts involving truth can be explained on the basis of the minimal theory. However, it has been pointed out, e.g. by Gupta (1993), that the minimal theory is too weak to entail any general facts about truth, e.g. the fact that.. (shrink)

Philosopher’s judgements on the philosophical value of Tarski’s contributions to the theory of truth have varied. For example Karl Popper, Rudolf Carnap, and Donald Davidson have, in their different ways, celebrated Tarski’s achievements and have been enthusiastic about their philosophical relevance. Hilary Putnam, on the other hand, pronounces that “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Putnam has several alleged reasons for his dissatisfaction,1 but one of them, (...) the one I call the modal objection (cf. Raatikainen 2003), has been particularly influential. In fact, very similar objections have been presented over and over again in the literature. Already in 1954, Arthur Pap had criticized Tarski’s account with a similar argument (Pap 1954). Moreover, both Scott Soames (1984) and John Etchemendy (1988) use, with an explicit reference to Putnam, similar modal arguments in relation to Tarski. Richard Heck (1997), too, shows some sympathy for such considerations. Simon Blackburn (1984, Ch. 8) has put forward a related argument against Tarski. Recently, Marian David has criticized Tarski’s truth definition with an analogous argument as well (David 2004, p. 389-390).2 This line of argument is thus apparently one of the most influential critiques of Tarski. It is certainly worthy of serious attention. Nevertheless, I shall argue that, given closer scrutiny, it does not present such an acute problem for the Tarskian approach to truth as many philosophers think. But I also believe that it is important to understand clearly why this is so. Moreover, I think that a careful consideration of the issue illuminates certain important but somewhat neglected aspects of the Tarskian approach. (shrink)

Quine’s thesis of the indeterminacy of translation has puzzled the philosophical community for several decades. It is unquestionably among the best known and most disputed theses in contemporary philosophy. Quine’s classical argument for the indeterminacy thesis, in his seminal work Word and Object, has even been described by Putnam as “what may well be the most fascinating and the most discussed philosophical argument since Kant’s Transcendental Deduction of the Categories” (Putnam, 1975a: p. 159).

Olen laatinut tämän kirjoituksen vastineeksi J.P. Roosin poleemiseen kirjoitukseen, jonka hän on lehtien hylättyä sen julkaissut omalla kotisivullaan.

In the contemporary philosophy, there is indeed lots of talk about meaning – not to mention humanities and social sciences. However, philosophers views on what meaning vary greatly. American philosopher William Lycan (Lycan 1984, p. 272) has prosed that part of this disagreement derives from the wide acceptance of what he calls “the Double Indexical Theory of Meaning”. He suggests it has the virtue of explaining why most disputes over the nature of meaning have seemed so intractable. Here it is.

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the (...) standard rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen argues that this view—call it logical inferentialism—is undermined by some “very little known” considerations by Carnap (1943) to the effect that “in a definite sense, it is not true that the standard rules of inference” themselves (...) suffice to “determine the meanings of [the] logical constants” (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that “no ordinary formalization of logic [... ] is sufficient to ‘fully formalize’ all the essential properties of the logical constants” (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap’s problem. And although bilateral solutions for classical inferentialists—as proposed by Timothy Smiley and Ian Rumfitt—seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

Causal descriptivism and its relative nominal descriptivism are critically examined. It is argued that they do not manage to undermine the principal conclusions of the new theory of reference.

Lucas and Redhead ([2007]) announce that they will defend the views of Redhead ([2004]) against the argument by Panu Raatikainen ([2005]). They certainly re-state the main claims of Redhead ([2004]), but they do not give any real arguments in their favour, and do not provide anything that would save Redhead’s argument from the serious problems pointed out in (Raatikainen [2005]). Instead, Lucas and Redhead make a number of seemingly irrelevant points, perhaps indicating a failure to understand the logico-mathematical (...) points at issue. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

The issue of downward causation (and mental causation in particular), and the exclusion problem is discussed by taking into account some recent advances in the philosophy of science. The problem is viewed from the perspective of the new interventionist theory of causation developed by Woodward. It is argued that from this viewpoint, a higher-level (e.g., mental) state can sometimes truly be causally relevant, and moreover, that the underlying physical state which realizes it may fail to be such.

Ilkka Niiniluoto, a distinguished philosopher of science, has been a tirelesspokesman for scientific realism and reason more generally. Trained in the tradition of the Finnish school of inductive logic he has refined the notion of truthlikeness (verisimilitude) to make the realist idea scientific progress mathematically exact. Niiniluotos main technical works are included in his books Is Science Progressive? (1984) and Truthlikeness (1987), but his most recent general defense of scientific realism culminated in his Critical Scientific Realism (1999). Niiniluoto is, since (...) 1981, Professor of Theoretical Philosophy at the University of Helsinki, and since 2003 the Rector of the University. He has for a long time been one of the most prominent public intellectuals in Finland. This Festschrift brings about a selection of philosophical essays on Niiniluotos philosophy by prominent member of the international community. The contributions are grouped around three themes. The first ones deal with philosophy of logic, the philosophy of language, and the philosophy of mathematics, and the second group consists of papers on induction, truthlikeness, and scientific progress. The third part collects essays on the history of logical empiricism, the ontology of social groups, and the dispute between theism and atheism. This book is a tribute to Ilkka Niiniluoto on his 60th birthday, and it also contains Niiniluoto's replies to comments, queries and criticisms. (shrink)

Now in a third edition, Introduction to Philosophy: Classical and Contemporary Readings is a highly acclaimed, topically organized collection that covers five major areas of philosophy--theory of knowledge, philosophy of religion, philosophy of mind, freedom and determinism, and moral philosophy. Editor Louis P. Pojman enhances the text's topical organization by arranging the selections into a pro/con format to help students better understand opposing arguments. He also includes accessible introductions to each chapter, subsection, and individual reading, a unique feature for an (...) anthology of this depth. While the book focuses on a compelling sampling of classical material--including selections from Plato, Aristotle, Descartes, Locke, Berkeley, Hume, and Kant--it also incorporates some of philosophy's best twentieth-century and contemporary work, featuring articles by Bertrand Russell, Richard Taylor, John Searle, Thomas Nagel, and others. This third edition contains an expanded glossary, more extensive section introductions, and twelve new selections: Karl Popper: "Epistemology without a Knowing Subject" Richard Rorty: "Dismantling Truth: Solidarity Versus Objectivity" Daniel Dennett: "Postmodernism and Truth" Bruce Russell: "The Problem of Evil: Too Much Suffering" David Chalmers: "Against Materialism: Can Consciousness Be Reductively Explained?" Baron Paul Henri d'Holbach: "A Defense of Determinism" Michael Levin: "A Compatibilist Defense of Moral Responsibility" Plato: Socratic Morality: "Crito" Herodotus: "Custom Is King" J. L. Mackie: "The Subjectivity of Values" Louis P. Pojman: "A Critique of Mackie's Theory of Moral Subjectivism" Thomas Nagel: "Moral Luck". (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on selected systematic (...) issues and the most influential and well-established philosophical theories and key concepts. (shrink)

The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts (...) of arithmetic are logically derivable from Hume’s Principle. And that hardly counts as a vindication of logicism. (shrink)

Gödel's two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can neither be proved nor disproved in F. According to the second incompleteness theorem, such a formal system cannot (...) prove that the system itself is consistent (assuming it is indeed consistent). These results have had a great impact on the philosophy of mathematics and logic. There have been attempts to apply the results also in other areas of philosophy such as the philosophy of mind, but these attempted applications are more controversial. The present entry surveys the two incompleteness theorems and various issues surrounding them. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

The new externalist picture of natural kind terms due to Kripke, Putnam, and others has become quite popular in philosophy. Many philosophers of science have remained sceptical. Häggqvist and Wikforss have recently criticised this view severely. They contend it depends essentially on a micro-essentialist view of natural kinds that is widely rejected among philosophers of science, and that a scientifically reasonable metaphysics entails the resurrection of some version of descriptivism. It is argued in this paper that the situation is not (...) quite as dark for the new theory of reference as many critics suggest. There are several distinct questions here which should not be conflated and ought to be dealt with one by one. Descriptivism remains arguably problematic. (shrink)

A rough translation of my (much-delayed) new professor’s Inaugural Lecture (in Finnish) at the Tampere University, on April 27, 2023. (The original Finnish version is published in Ajatus 80 (2023)).

Jaegwon Kim’s views on mental causation and the exclusion argument are evaluated systematically. Particular attention is paid to different theories of causation. It is argued that the exclusion argument and its premises do not cohere well with any systematic view of causation.

The aim of this paper is to comprehensively question the validity of the standard way of interpreting Chaitin's famous incompleteness theorem, which says that for every formalized theory of arithmetic there is a finite constant c such that the theory in question cannot prove any particular number to have Kolmogorov complexity larger than c. The received interpretation of theorem claims that the limiting constant is determined by the complexity of the theory itself, which is assumed to be good measure of (...) the strength of the theory. I exhibit certain strong counterexamples and establish conclusively that the received view is false. Moreover, I show that the limiting constants provided by the theorem do not in any way reflect the power of formalized theories, but that the values of these constants are actually determined by the chosen coding of Turing machines, and are thus quite accidental. (shrink)

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

A survey of more philosophical applications of Gödel's incompleteness results.

An argument, different from the Newman objection, against the view that the cognitive content of a theory is exhausted by its Ramsey sentence is reviewed. The crux of the argument is that Ramsification may ruin inductive systematization between theory and observation. The argument also has some implications concerning the issue of underdetermination.

The problem of mental causation is discussed by taking into account some recent developments in the philosophy of science. The problem is viewed from the perspective of the new interventionist theory of causation developed by Woodward. The import of the idea that causal claims involve contrastive classes in mental causation is also discussed. It is argued that mental causation is much less a problem than it has appeared to be.

Mathematics in finance has prehistoric origins, in fact it is argued that an accounting system of clay tokens used for prehistoric commerce were precursors to both letters and numerals. Furthermore, Hammurabi’s code, the first known codified set of laws, has sections governing interest rates and banking operations. Throughout history, many mathematicians have turned their attention to finance. For instance, Fibonacci introduced the numerals to Western Europe in the thirteenth century in order to facilitate trade. Bernoulli first discovered Euler’s constant e (...) in the seventeenth century when investigating compound interest. However it was not until the turn of the twentieth century that quantitative finance began in earnest with the doctoral dissertation of Louis Bachelier where he used Brownian motion and stochastic calculus to determine the price of stock options. The late twentieth century saw the field burgeon into a widely studied discipline after two seminal events: the publication of the Black-Scholes-Merton paper in 1972 and the cancellation of the Texas Superconducting Supercollider by the US Congress in 1993. (shrink)

Several philosophers including Kripke have contended that fictional entities do exist as abstract objects, and fictional names refer to such abstract entities. Kripke and Thomasson compare fictional entities to existing social entities. Kripke also reflects on fictions inside fictions to support his view. Many philosophers appeal to the apparent fact that we quantify over fictional entities. Such arguments in favor of the existence of fictional entities are critically scrutinized. It is argued that they are much less compelling than their proponents (...) suggest and involve various obscurities. (shrink)

Hilary Putnam's famous arguments criticizing Tarski's theory of truth are evaluated. It is argued that they do not succeed to undermine Tarski's approach. One of the arguments is based on the problematic idea of a false instance of T-schema. The other ignores various issues essential for Tarski's setting such as language-relativity of truth definition.

Chaitin’s incompleteness result related to random reals and the halting probability has been advertised as the ultimate and the strongest possible version of the incompleteness and undecidability theorems. It is argued that such claims are exaggerations.

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...) the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

A critical notice of David J. Chalmers, Constructing the World (Oxford University Press,2012).

Here the relationship between understanding and knowledge of meaning is discussed from two different perspectives: that of Dummettian semantic anti-realism and that of the semantic externalism of Putnam and others. The question addressed is whether or not the truth of semantic externalism would undermine a central premise in one of Dummetts key arguments for anti-realism, insofar as Dummetts premise involves an assumption about the transparency of meaning and semantic externalism is often taken to undermine such transparency. Several notions of transparency (...) and conveyability of meaning are distinguished and it is argued that, though the Dummettian argument for anti-realism presupposes only a weak connection between knowledge of meaning and understanding, even this much is not trivially true in light of semantic externalism, and that semantic externalism, if true, would thus represent a reason for rejecting the crucial assumption on which the Dummettian argument depends. (shrink)

After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.

For example, Cheryl Misak in her book-length examination of verificationism writes that ‘the holist [such as Quine] need not reject verificationism, if it is suitably formulated. Indeed, Quine often describes himself as a verificationist’.[iii] Misak concludes that Quine ‘can be described as a verificationist who thinks that the unit of meaning is large’;[iv] and when comparing Dummett and Quine, Misak states that ‘both can be, and in fact are, verificationists’.[v].

It has sometimes been suggested that the so-called new theory of reference (NTR) would provide an alternative picture of meaning and reference which avoids the unwelcome consequences of the meaning-variance thesis and incommesurability. However, numerous philosophers of science have been quite critical towards the idea and NTR in general. It is argued that many of them have an over-simplified and, in part, mistaken understanding of what NTR amounts to. It is submitted that NTR, when correctly understood, can be an important (...) ingredient in the realist toolkit for defending the rationality of science. (shrink)

Suosituimpia ja vaikutusvaltaisimpia semanttista eksternalismia ja kausaalista viittaamisen teoriaa vastaan käytettyjä strategioita arvioidaan kriittisesti. Tarkemmassa tarkastelussa mikään niistä ei osoittaudu erityisen vakuuttavaksi.

The essay exa­mines the views expressed in von Wright's Explanation and Understanding (1971) on human action and historical events from the perspective of the recent philosophy of science. Connecting causal explanation tightly to covering laws, as von Wright does, is found to be problematic, and his Logical connection argument invalid. On the other hand, von Wright's sketched theory of causation which is based on the concept of manipulation proves to be on the right track in light of current knowledge. From (...) this perspective, however, there is no obstacle for explaining human action causally. This is illustrated with two examples from historical research. Finally, von Wright's idea that a complete account of the historical past is never achieved, because the past can always be re-evaluated, is briefly discussed. (shrink)