This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth (...) in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories. (shrink)

What is it to know the meaning of a word? The traditional view is that it involves the possession of a concept that determines the extension of a word, with the concept corresponding to a single psychological state. Millikan criticizes this view, denying not only that concepts determine extensions but also that sharing a concept means sharing a psychological state. The purpose of this article is to defend a modified version of the traditional view. I argue that Millikan's claims do (...) not translate directly into a thesis about word meaning. Her arguments relate to an extra-linguistic approach to extension, which we can distinguish from a linguistically oriented notion of extension. (shrink)

This paper discusses the relation between Crispin Wright’s alethic pluralism and my global expressivism. I argue that on many topics Wright’s own view counts as expressivism in my sense, but that truth itself is a striking exception. Unlike me, Wright never seems to countenance an expressivist account of truth, though the materials needed are available to him in his approaches to other topics.

Moral realists believe that there are objective moral truths. According to one of the most prominent arguments in favour of this view, ordinary people experience morality as realist-seeming, and we have therefore prima facie reason to believe that realism is true. Some proponents of this argument have claimed that the hypothesis that ordinary people experience morality as realist-seeming is supported by psychological research on folk metaethics. While most recent research has been thought to contradict this claim, four prominent earlier studies (...) indeed seem to suggest a tendency towards realism. My aim in this paper is to provide a detailed internal critique of these four studies. I argue that, once interpreted properly, all of them turn out in line with recent research. They suggest that most ordinary people experience morality as “pluralist-” rather than realist-seeming, i.e., that ordinary people have the intuition that realism is true with regard to some moral issues, but variants of anti-realism are true with regard to others. This result means that moral realism may be less well justified than commonly assumed. (shrink)

In this short paper, we analyse whether assuming that mathematical objects are “thin” in Linnebo's sense simplifies the epistemology of mathematics. Towards this end, we introduce the notion of transparency and show that not all thin objects are transparent. We end by arguing that, far from being a weakness of thin objects, the lack of transparency of some thin objects is a fruitful characteristic mark of abstract mathematics.

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

Professor Prawitz has made four claims in his talk. The first claim is that one should be able to generalize the intuitionistic theory of meaning already available for mathematical discourse to empirical discourse. Since each claim constitutes a step in an argument of a general form in favour of some new kind of antirealistically inclined theory of meaning (with a final pessimistic overtone), I shall go over each claim one by one, check whether the argument which links them in the (...) way described is sound, and assess on that basis the appropriateness of the project (and of the pessimism). (shrink)

In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...) same strategy to counter Quine's meaning variance argument against deviant logics. In a nutshell, we claim that genuine rivalry between (similar) logics *L* and *L'* is possible whenever each constant in *L* has the same operational meaning as its counterpart in *L'* although differences in global meaning arise in at least one case. (shrink)

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press, Oxford, 2011) is extended to account for inference. I characterize the conclusion of an inference as asserted conditionally on the assertion of the premises. This gives a notion of conditional assertion (distinct from the standard notion related to the affirmation of conditionals). Validity and logical validity of an inference is characterized in terms of the application of method that preserves informativeness, and contrasted with consequence and logical (...) consequence, that is defined in terms of truth preservation. The proposed account is compared with that of Prawitz (Logica yearbook 2008, pp. 175-192. College Publications, London, 2009). (shrink)

Alethic pluralists argue truth is a metaphysically robust higher-order property that is multiply realized by a set of diverse and domain-specific subvening alethic properties. The higher-order truth property legitimizes mixed inferences and accounts for a univocal truth predicate. Absent of this higher-order property, pluralists lack an account of the validity of mixed inferences and an adequate semantics for the truth predicate and thereby appear forced to abandon the central tenets of alethic pluralism. I argue the use of many-valued logics to (...) support pluralism fails to address the pluralist’s metaphysical problem regarding mixed inferences and mixed truth functional connectives. The high degree of heterogeneity of the alethic realizers challenges the plausibility of a single higher-order functional property. A functional property with such a heterogeneous base cannot be projectable at a theoretically significant level. The problem with mixed inferences and truth functions is but one symptom of the deeper projectability problem. (shrink)

This essay presents a long, detailed, in many ways critical but also appreciative account, of David Bloor’s recent book The Enigma of the Aerofoil. I take that work as the crowning statement of ideas and principles developed over the past four decades by Bloor and other exponents of the ‘strong programme’ in the sociology of scientific knowledge. It therefore offers both a test-case of that approach and a welcome opportunity to review, clarify and extend some of the arguments brought against (...) it by critical realists. This purpose is particularly well served by Bloor’s having here assembled such a wealth of scientific, historical, political and socio-cultural data concerning one specific, very crucial period of research into theories of aerodynamic lift. His book thus provides an exceptionally useful point of engagement for anyone seeking to adjudicate these issues from a critically angled but engaged and constructive standpoint. (shrink)

This article examines Hilary Putnam's work in the philosophy of mathematics and - more specifically - his arguments against mathematical realism or objectivism. These include a wide range of considerations, from Gödel's incompleteness-theorem and the limits of axiomatic set-theory as formalised in the Löwenheim-Skolem proof to Wittgenstein's sceptical thoughts about rule-following, Michael Dummett's anti-realist philosophy of mathematics, and certain problems – as Putnam sees them – with the conceptual foundations of Peano arithmetic. He also adopts a thought-experimental approach – a (...) variant of Descartes' dream scenario – in order to establish the in-principle possibility that we might be deceived by the apparent self-evidence of basic arithmetical truths or that it might be ‘rational’ to doubt them under some conceivable set of circumstances. Thus Putnam assumes that mathematical realism involves a self-contradictory ‘Platonist’ idea of our somehow having quasi-perceptual epistemic ‘contact’ with truths that in their very nature transcend the utmost reach of human cognitive grasp. On this account, quite simply, ‘nothing works’ in philosophy of mathematics since wecan either cling to that unworkable notion of objective truth or abandon mathematical realism in favour of a verificationist approach that restricts the range of admissible statements to those for which we happen to possess some means of proof or ascertainment. My essay puts the case, conversely, that these hyperbolic doubts are not forced upon us but result from a false understanding of mathematical realism – a curious mixture of idealist and empiricist themes – which effectively skews the debate toward a preordained sceptical conclusion. I then go on to mount a defence of mathematical realism with reference to recent work in this field and also to indicate some problems – as I seethem – with Putnam's thought-experimental approach as well ashis use of anti-realist arguments from Dummett, Kripke, Wittgenstein, and others. (shrink)

This article offers a critical review of various ontological-relativist arguments, mostly deriving from the work of W. V. Quine and Thomas K hn. I maintain that these arguments are (1) internally contradictory, (2) incapable of accounting for our knowledge of the growth of scientific knowledge, and (3) shown up as fallacious from the standpoint of a causal-realist approach to issues of truth, meaning, and interpretation. Moreover, they have often been viewed as lending support to such programmes as the 'strong' sociology (...) of knowledge and the turn towards wholesale cultural-relativist doctrines, whether of the Wittgensteinian ('language-games') or Heideggerian (depth-hermeneutic) varieties. Thus Richard Rorty recommends that we should henceforth drop all that old-fashioned talk of 'truth', 'knowledge', or 'reality', since whatever warrants those descriptions from time to time is just the product of some currently favoured language-game or range of elective metaphors. Such ideas have little in common with Quine's general outlook of robust physicalism, nor again - though the case is less clear - with Kuhn's reconsidered approach to these issues as set forth in his 1969 Postscript to The Structure of Scientific Revolutions . However, both thinkers have left themselves open to misconstrual by adopting a sceptical-relativist fallback position in response to the well-known problems with logical empiricism. This essay therefore reviews those problems with reference to alternative, more adequate accounts of what is involved in the process of scientific discovery and theory-change. (shrink)

In this essay I set out to place Derrida's work – especially his earlier books and essays – in the context of related or contrasting developments in analytic philosophy of science over the past half-century. Along the way I challenge the various misconceptions that have grown up around that work, not only amongst its routine detractors in the analytic camp but also amongst some of its less philosophically informed disciples. In particular I focus on the interlinked issues of realism versus (...) anti-realism and the scope and limits of classical logic, both of which receive a detailed, rigorous and sustained treatment in his deconstructive readings of Husserl, Austin and others. Contrary to Derrida's reputation as a exponent of anti-realism in its far-gone ‘textualist’ form and as one who merely plays perverse though ingenious games with logic I show that those readings presuppose both a basically realist conception of their subject-matter and a strong commitment to the protocols of bivalent logic. These he applies with the utmost care and precision right up to the point – unreachable except by way of that procedure – where they encounter certain problems or anomalies that cannot be resolved except by switching to a different logic. Philosophy of science in the analytic mainstream might benefit greatly from a closer acquaintance with Derrida's thinking on these topics, as it might from a knowledge of his likewise rigorous thinking-through of the antinomy between structure and genesis as it bears upon issues in the history of scientific thought. (shrink)

This paper presents an argument for metaphysical realism, understood as the claim that the world has structure that would exist even if our cognitive activities never did. The argument is based on the existence of a structured world at a time when it was still possible that we would never evolve. But the interpretation of its premises introduces subtleties: whether, for example, these premises are to be understood as assertions about the world or about our evidence, internally or externally, via (...) assertibility conditions or truth conditions – and what sorts of beings are included in the `we' upon whose cognitions the antirealist supposes the structure of the world to depend. I argue that antirealism can provide no defensible, fully articulated interpretation of the premises that either shows them not to be true or defeats the reasoning. (shrink)

The article addresses the works of three 19th-century philosophers: Herbart, Bolzano and Lotze. Despite their differences, i will analyze two essential features they share: their refusal to psychologism as the radicalization of psychology as the ultimate source of philosophy , and the positing of an ideal ‘reality’, independent from both sensibility and the mental and linguistic dimensions, upon which the refusal to psychologism is founded . As a conclusion, i will show how, according to these authors, this platonic, ideal background (...) constitutes the very foundation of every meaningful thought. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

This paper deals with the possibility of faultless disagreement in law. It does this by looking to other spheres in which faultless disagreement appears to be possible, mainly in matters of taste and ethics. Three possible accounts are explored: the realist account, the relativist account, and the expressivist account. The paper tries to show that in the case of legal disagreements, there is a place for an approach that can take into account our intuitions in the sense that legal disagreements (...) are genuine and at times faultless. (shrink)

This paper deals with the possibility of faultless disagreement in law. It does this by looking to other spheres in which faultless disagreement appears to be possible, mainly in matters of taste and ethics. Three possible accounts are explored: the realist account, the relativist account, and the expressivist account. The paper tries to show that in the case of legal disagreements, there is a place for an approach that can take into account our intuitions in the sense that legal disagreements (...) are genuine and at times faultless. (shrink)

The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...) Friedman would in some sense argue for the major role of theoretical terms in economics. The paper uses a model-theoretic apparatus to refine the selected construal and check whether it can be made to support the claim. This inquiry leads to essentially negative results for both F-twists, and the final conclusion is that they are left unsupported. (shrink)

This paper explores the relationships between Davidson's indeterminacy of interpretation thesis and two semantic properties of sentences that have come to be recognized recently, namely semantic incompleteness and semantic indecision. More specifically, I will examine what the indeterminacy thesis entails for sentences of the form ‘By sentence S, agent A means that m’ and ‘Agent A believes that p.’ My primary goal is to shed light on the indeterminacy thesis and its consequences. I will distinguish two kinds of indeterminacy that (...) have very different sources and very different consequences. But this does not purport to be an exhaustive study: there may well be other forms of indeterminacy that this paper does not address.I will first explain the phenomena of semantic incompleteness and semantic indecision, and then explore their relationships with the indeterminacy thesis. (shrink)

The analysis here is an attempt to show how the current epistemological theory of response‐dependence (R‐D) may be relevant to understanding putative ontological claims of the empirical social sciences. To this end I argue that the constitutive features of human response, central to R‐D theory, can be made explicit for social science. I conclude that for the empirical social sciences the implication of combining R‐D and certain forms of statistical analyses leads to the possibility of an events‐based ontology.

Some propositions add more information to bodies of propositions than do others. We start with intuitive considerations on qualitative comparisons of information added . Central to these are considerations bearing on conjunctions and on negations. We find that we can discern two distinct, incompatible, notions of information added. From the comparative notions we pass to quantitative measurement of information added. In this we borrow heavily from the literature on quantitative representations of qualitative, comparative conditional probability. We look at two ways (...) to obtain a quantitative conception of information added. One, the most direct, mirrors Bernard Koopman’s construction of conditional probability: by making a strong structural assumption, it leads to a measure that is, transparently, some function of a function P which is, formally, an assignment of conditional probability (in fact, a Popper function). P reverses the information added order and mislocates the natural zero of the scale so some transformation of this scale is needed but the derivation of P falls out so readily that no particular transformation suggests itself. The Cox–Good–Aczél method assumes the existence of a quantitative measure matching the qualitative relation, and builds on the structural constraints to obtain a measure of information that can be rescaled as, formally, an assignment of conditional probability. A classical result of Cantor’s, subsequently strengthened by Debreu, goes some way towards justifying the assumption of the existence of a quantitative scale. What the two approaches give us is a pointer towards a novel interpretation of probability as a rescaling of a measure of information added. (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.

In this paper I provide a theory of the speech act of assertion according to which assertion is a species of joint action. In doing so I rely on a theory of joint action developed in more detail elsewhere. Here we need to distinguish between the genus, joint action, and an important species of joint action, namely, what I call joint epistemic action. In the case of the latter, but not necessarily the former, participating agents have epistemic goals, e.g., the (...) acquisition of knowledge. It is joint epistemic action that assertion is a species of. (shrink)

The following definition of “objective” is proposed: A statement S is objective if and only if in S all parameters that are relevant to its truth value are made explicit. The objectivity of predicates and relations can be defined in a similar manner. This simple conception of objectivity-which could be called “explicitness conception of objectivity”-can be found in Hermann Weyl and plays a central part in the natural sciences. There are grades of objectivity depending on the ‘quality’ and the number (...) of parameters our predicates are relativized to A relativistic Ockham principle has to be recognized: Relativization parameters are not to be multiplied beyond necessity. The explicitness conception of objectivity is accessible to mathematical specifications, is the core of the idea of invariance, has a lot of philosophical applications and leads to precise notions of ‘subjectivity’ and a precise formulation of the problem of the limits of objectivity. (shrink)

Cora Diamond has recently criticised as mere legend the interpretation of a quip of Ramsey's, contained in the epigraph below, which takes him to be objecting to or rejecting Wittgenstein's Tractarian distinction between saying and showing. Whilst I agree with Diamond's discussion of the legend, I argue that her interpretation of the quip has little evidential support, and runs foul of a criticism sometimes made against intuitionism. Rather than seeing Ramsey as making a claim about the nature of propositions, as (...) Diamond does, we should understand him as making a claim about the grammar of the logical connectives. Such a view coheres with the extant evidence of the nature of Wittgenstein's and Ramsey's 1929 philosophical encounters. It is also compatible with attributing to Ramsey a recognition of Wittgenstein's distinction and with denying that criticising it is the lesson of the quip. (shrink)

Many claims about conceptual matters are often represented as, or inferred from, claims about the meaning, reference, or mastery, of words. But sometimes this has led to treating conceptual analysis as though it were nothing but linguistic analysis. We canvass the most promising justifications for moving from linguistic premises to substantive conclusions. We show that these justifications fail and argue against current practice (in metaethics and elsewhere), which confuses an investigation of a word’s meaning, reference, or competence conditions with an (...) analysis of some concept or property associated with that word. (shrink)

We argue that desire is an attitude that relates a person not to one proposition but rather to two, the first of which we call the object of the desire and the second of which we call the condition of the desire. This view of desire is initially motivated by puzzles about conditional desires. It is not at all obvious how best to draw the distinction between conditional and unconditional desires. In this paper we examine extant attempts to analyse conditional (...) desire. From the failures of those attempts, we draw a moral that leads us to the correct account of conditional desires. We then extend the account of conditional desires to an account of all desires. We attempt to explain the distinction between intrinsic and extrinsic desire in light of our account of desire. We show how to use our account to solve Wollheim’s paradox of democracy and to save modus ponens. Finally, we extend the account of desire to related phenomena, such as conditional promises, intentions, and commands. (shrink)

In this paper, I examine recent arguments for the widespread existence of simultaneous causation from Huemer & Kovitz and Mumford & Anjum, and conclude that they are mistaken. I argue that these arguments overlook two pictures of causation which are commonly assumed, which I call the Standard Modern Picture and the Contiguous Extended Picture.

Editorial NoteThis lecture was given by Per Martin-Löf at Leiden University on August 25, 2001 at the invitation by Göran Sundholm to address the topic mentioned in the title and to reflect on Dummett’s earlier effort of almost a decade before. The lecture was part of a three-day conference on Gottlob Frege. Sundholm arranged for the lecture to be recorded and commissioned Bjørn Jespersen to make a transcript. The information in footnote 1, which Sundholm provided, has been independently confirmed by (...) Thomas Ricketts in an email to the author. The present version has been edited by Ansten Klev. Following the displayed text there is a lacuna in the original transcript corresponding to a pause in the recording when the tape was changed. The continuous text of the present version is the result of a few additions to the original transcript suggested by Klev and agreed to by the author. (shrink)

Rejectivism is one of the most influential embodiments of pragmatism within contemporary philosophy of logic, advancing an explanation of the meaning of a logical notion, negation, in terms of the speech act of denial. This paper offers a challenge to rejectivism by proposing that in virtue of explaining negation in terms of denial, the rejectivist ought to be able to explain the concept of contradiction partially in terms of denial. It is argued that any failure to achieve this constitutes an (...) explanatory failure on the part of rejectivism, and reasons are then provided to doubt that the challenge can be successfully met. (shrink)

Intuitions about retractions have been used to motivate truth relativism about certain types of claims. Among these figure epistemic modals, knowledge attributions, or personal taste claims. On MacFarlane’s prominent relativist proposal, sentences like “the ice cream might be in the freezer” or “Pocoyo is funny” are only assigned a truth-value relative to contexts of utterance and contexts of assessment. Retractions play a crucial role in the argument for assessment-relativism. A retraction of a past assertion is supposed to be mandatory whenever (...) the asserted sentence is not true at the context of use and the context of assessment. If retractions were not obligatory in these conditions, there would be no normative difference between assessment-relativism and contextualism. The main goal of this paper is to undermine the claim that retractions reveal this normative difference. To this effect, the paper offers a review of three important objections to the obligatoriness of retractions. Taken together, these objections make a strong case against the alleged support that retractions give to assessment-relativism. The objections are moreover supported by recent experimental results that are also discussed. This will satisfy a further goal, which is to undermine the idea that there is a constitutive retraction rule. The paper also discusses two ways to understand what such a rule would be constitutive of, and concludes with a discussion of how to describe what retractions are. (shrink)

: Radical sceptical possibilities challenge the anti-realist view that truth consists in ideal rational acceptability. Putnam, as part of his defence of an anti-realist view, subjected the case of the brain in a vat to a semantic externalist treatment, which aimed to maintain the desired connection between truth and ideal rational acceptability. It is argued here that self-consciousness poses special problems for this externalist strategy. It is shown how, on a standard model of first-person reference, Putnam's brain in a vat (...) will be mistaken in its rational self-ascription of externalist predicates. The natural response, which employs an alternative model of first-person reference, is shown to have the equally realist consequence that there are enquiry-transcendent truths about the self. (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)

Is the truthmaker principle a development of the correspondence theory of truth? So Armstrong introduced the truthmaker principle to us, but Lewis (2001. Forget about the ‘correspondence theory of truth’. Analysis 61: 275–80.) influentially argued that it is neither a correspondence theory nor a theory of truth. But the truthmaker principle can be correctly understood as a development of the correspondence theory if it’s conceived as incorporating the insight that truth is a relation between truth-bearers and something worldly. And we (...) strengthen rather than weaken the plausibility of the truthmaker principle if we conceive of truth as performing a substantial rather than deflationary role in the truthmaker principle. (shrink)