Psychological research has shown that cognitive illusions, of which visual illusions are just a special case, are systematic and pervasive, raising epistemological questions about how error in all forms of research can be identified and eliminated. The quantitative sciences make use of statistical techniques for this purpose, but it is not clear what the qualitative equivalent is, particularly in view of widespread scepticism about validity and objectivity. I argue that, in the light of cognitive psychology, the ‘error question’ cannot be (...) dismissed as a positivist obsession, and that the concepts of truth and objectivity are unavoidable. However, they constitute only a ‘minimal realism’, which does not necessarily bring a commitment to ‘absolute’ truth, certainty, correspondence, causation, reductionism, or universal laws in its wake. The assumption that it does reflects a misreading of positivism and, ironically, precipitates a ‘crisis of legitimation and representation’, as described by constructivist authors. (shrink)

Inductive probability is the logical concept of probability in ordinary language. It is vague but it can be explicated by defining a clear and precise concept that can serve some of the same purposes. This paper presents a general method for doing such an explication and then a particular explication due to Carnap. Common criticisms of Carnap's inductive logic are examined; it is shown that most of them are spurious and the others are not fundamental.

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...) is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

To define new property terms, we combine already familiar ones by means of certain logical operations. Given suitable constraints, these operations may presumably include the resources of first-order logic: truth-functional sentence connectives and quantification over objects. What is far less clear is whether we can also use modal operators for this purpose. This paper clarifies what is involved in this question, and argues in favor of modal property definitions.

This paper contributes to the current debate about radical scepticism and the structure of warrant. After a presentation of the standard version of the radical sceptic’s challenge, both in its barest and its more refined form, three anti-sceptical responses, and their respective commitments, are being identified: the Dogmatist response, the Conservativist response and the Dretskean response. It is then argued that both the Dretskean and the Conservativist are right that the anti-sceptical hypothesis cannot inherit any perceptual warrants from ordinary propositions (...) about the environment—and so the Dogmatist response founders. However, if this is so Epistemic Closure lacks any clear rationale. There is therefore good reason to agree with both the Dretskean and the Dogmatist that perceptual warrants for ordinary propositions about the environment are enough in order for those propositions to enjoy a positive epistemic status—and so the Conservativist response founders. However, the Conservativist is nonetheless right that a warrant for the anti-sceptical hypothesis is needed. For contrary to what much of the recent literature suggests, the radical sceptic need not appeal to Epistemic Closure in order to cast doubt on the legitimacy of our beliefs in ordinary propositions about the environment: there is a Pyrrhonian version of scepticism that, though equally radical, is consistent with failure of Epistemic Closure. For this reason, the Dretskean response is insufficient to answer scepticism. (shrink)

Did the pragmatic turn encompass the linguistic turn in the history of philosophy? Or was the linguistic turn a turn away from pragmatism? Some commentators identify the so-called “eclipse” of pragmatism by analytic philosophy, especially during the Cold War era, as a turn away from pragmatist thinking. However, the historical evidence suggests that this narrative is little more than a myth. Pragmatism persisted, transforming into a more analytic variety under the influence of Quine and Putnam and, more recently, a continental (...) version in the hands of Richard Rorty and Cornel West. In this paper, I argue that proof of the linguistic turn’s presence as a moment in a broader pragmatic turn in philosophy can be garnered from close examination of a single article, W. V. O. Quine’s “Two Dogmas of Empiricism,” and a single issue: whether the analytic-synthetic distinction is philosophically defensible. (shrink)

While Wilfrid Sellars’ philosophy is often depicted in an ahistorical fashion, this book explores the consequences of placing his work in its historical context. In order to show how Sellars’ early publications depend on contextual factors, Peter Olen reconstructs the conceptions of language, psychological, and social explanation that dominated American philosophy in the early 20th century. Because of Sellars’ differing explanations of language and behaviour, Olen argues that many of Sellars’ early commitments are incompatible with his later works. In the (...) course of doing so, Olen highlights problematic tensions between Sellars’ early and later conceptions of language, meta-philosophy, and normativity. Supplementing the main text is a collection of previously unpublished archival material from Wilfrid Sellars, Gustav Bergmann, Everett Hall, and other early 20th century philosophers. This text will be a useful resource to those with an interest in the history of American philosophy, the history of analytic philosophy, Wilfrid Sellars’ philosophy, and the myriad issues surrounding normativity and language. (shrink)

We investigate synonymy in the strong sense of content identity. This notion is central in the philosophy of language and in applications of logic. We motivate, uniformly axiomatize, and characterize several “benchmark” notions of synonymy in the messy class of all possible notions of synonymy. This class is divided by two intuitive principles that are governed by a no-go result. We use the notion of a scenario to get a logic of synonymy which is the canonical representative of one division. (...) In the other division, the so-called conceptivist logics, we find, e.g., the well-known system of analytic containment. We axiomatize four logics of synonymy extending AC, relate them semantically and proof-theoretically to SF, and characterize them in terms of weak/strong subject matter preservation and weak/strong logical equivalence. This yields ways out of the no-go result and novel arguments—independent of a particular semantic framework—for each notion of synonymy discussed. This points to pluralism about meaning and a certain non-compositionality of truth in logic programs and neural networks. And it unveils an impossibility for synonymy: if it is to preserve subject matter, then either conjunction and disjunction lose an essential property or a very weak absorption law is violated. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

In this article, we consider Wittgenstein’s approach to non-inferential knowledge, its relation to special propositions, and the nature of the justification of these propositions. According to Wittgenstein, there is a kind of non-inferential knowledge whose rational status is not the result of basic beliefs (in a foundational sense) that justify it. In Wittgenstein’s rule-following analysis, Frege’s theory is criticized. This theory is based on the idea that having a conceptual repertoire prior to the understanding of any rule, requires having grasped (...) the conditions of verification of a rule, which is a source of problems. Following Wright’s construing of Wittgenstein’s ideas, we maintain that understanding concepts cannot be prior to the linguistic ability. RIFL (2018) Vol. 12, n. 2: 70-82. DOI: 10.4396/20180204. (shrink)

The following well-known problem motivated my handling more general problems. As we surely know, our pupils and even students are confronted with much more trouble when learning mathematics (and even physics) than when they learn ‘empirical’ sciences like biology, mineralogy etc. There are many factors that can at least partially explain this phenomenon. I would however mention one factor that is not too frequently adduced: mathematics, logic, and much of physics use concepts that are abstract while the empirical sciences seem (...) to support understanding by using expressions concerning (denoting? expressing?) concrete objects. Therefore the first topic to be explained (or explicated) is: Abstract vs. concrete. The second point will consist of applying the first point to explanation of the trouble with learning mathematics. The third point will ask Logical Analysis of Natural Language how to tell abstract expressions from concrete ones. The fourth point will confront the concept described in the foregoing point with conceptions trying to abandon the distinction between analytic and empirical expressions. Here it will be shown that the empiricism representing this latter conception deprives semantics as applied to Natural language of important features of expressivity. (shrink)

Much contemporary ontological inquiry takes place within the so-called ‘Quinean tradition’ but, given that some aspects of Quine’s project have been widely abandoned even by those who consider themselves Quineans, it is unclear what this amounts to. Fortunately recent work in metaontology has produced two relevant results here: a clearer characterisation of the metaontology uniting the aforementioned Quineans, most notably undertaken by Peter van Inwagen, and a raft of criticisms of that metaontology. In this paper I critique van Inwagen’s Quinean (...) metaontology, finding that certain challenges, supplemented by pressure to reflect more closely Quine’s work, should drive Quineans to adopt a stronger metaontology incorporating more of Quine’s radical views. I conclude that while van Inwagen’s Quineanism is problematic there are prospects for a viable, more wholeheartedly Quinean, metaontology. (shrink)

What is the cognitive value of the concept of truth? What epistemic difference does the concept of truth make to those who grasp it? This paper employs a new perspective for thinking about the concept of truth and recent debates concerning it, organized around the question of the cognitive value of the concept of truth. The paper aims to defend a substantively correct and dialectically optimal account of the cognitive value of the concept of truth. This perspective is employed in (...) understanding the critical discussion around what Hartry Field has called “the incorporation model” for extending a deflationary view of truth to foreign sentences. Field's original intentions in discussing the incorporation model were to defend the deflationary view from some counterintuitive consequences concerning the understanding of truth attributions to foreign sentences. However, more recently, philosophers unencumbered by deflationary commitments have taken over the incorporation model for their own inflationary purposes. In particular, and in my terms, these philosophers can be understood as making what I argue is the ultimately too radical suggestion that the cognitive value of the concept of truth is to allow the incorporation not only of the linguistically foreign, but also of the conceptually alien. I clarify this dialectic en route to explaining and arguing for the cognitive inflationary view, according to which the cognitive value of the concept of truth is is to make possible the proprietary kind and quality of knowledge allowed by reflective clarity over the concepts and thoughts that one already has. (shrink)

It is shown that at least part of the terminology of the theory of speech acts can be methodically introduced within the constructive ortholanguage-programm. There is evidence that a methodical constraint leads the reconstruction of the basic speech-act-types from requests via statements to questions. Moreover there is evidence that requests and questions don't involve "propositional acts".

The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The basic concepts (...) of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

Adopting Murdoch’s pragmatist reading of Bohr’s theory of meaning with regard to Bohr’s notion of complementarity, in this paper I try to see Bohr’s post-Como and, in particular, post-EPR philosophy of quantum mechanics in the light of Peircean pragmatism with the hope that such a construal can shed more light to Bohr’s philosophy. I supplement Murdoch’s position on Bohr’s pragmatism by showing that in addition to his complementarity, Bohr’s correspondence principle, instrumentalism and realism can be read on the basis of (...) Peirce’s pragmatic maxim and his notion of indeterminism has commonalities with Peirce’s tychism. Also, Bohr’s practice of applying the correspondence principle can be interpreted in the light of Peirce’s fallibilism. However, when it comes to Bohr’s understanding of the symbolic character of quantum mechanics, Bohr’s philosophy deviates from Peircean pragmatism. Bohr’s philosophy distinguishes between the symbolic language of quantum formalism, which counts as a tool practically useful for prediction, and observation sentences which are visualizable in space and time and refer to the so-called individual phenomena. Such an epistemologically significant distinction is not recognized by Peircean pragmatism. (shrink)

According to Frege, expressions shift their reference when they occur in indirect contexts: in “Anna believes that Plato is wise” the expression “Plato” no longer refers to Plato but to what is ordinarily its sense. Many philosophers, including Carnap, Davidson, Burge, Parsons, Kripke and Künne, believe that on Frege's view the iteration of indirect context creating operators gives rise to an infinite hierarchy of senses. While the former two take this to be problematic, the latter four welcome the hierarchy with (...) open arms. In this paper I argue that the hierarchy should be avoided and that it can be avoided. (shrink)

In the course of the last few decades, Bolzano has emerged as an important player in accounts of the history of philosophy. This should be no surprise. Few authors stand at a more central junction in the development of modern thought. Bolzano's contributions to logic and the theory of knowledge alone straddle three of the most important philosophical traditions of the 19th and 20th centuries: the Kantian school, the early phenomenological movement and what has come to be known as analytical (...) philosophy. This paper identifies three Bolzanian theoretical innovations that warrant his inclusion in the analytical tradition: the commitment to ‘logical realism’, the adoption of a substitutional procedure for the purpose of defining logical properties and a new theory of a priori cognition that presents itself as an alternative to Kant's. All three innovations concur to deliver what counts as the most important development of logic and its philosophy between Aristotle and Frege. In the final part of the paper, I defend Bolzano against a common objection and explain that these theoretical innovations are also supported by views on syntax, which though marginal are both workable and philosophically interesting. (shrink)

In this article, I propose a semantic account of temporally mismatched past subjunctive counterfactuals. The proposal consists of the following parts. First, I show that in cases of temporal mismatch, [past] cannot be interpreted inside the proposition where it occurs at surface structure. Instead, it must be interpreted as constraining the time argument of the accessibility relation. This has the effect of shifting the time of the evaluation of the conditional to some contextually salient past time. Second, I will propose (...) specific felicity conditions (presuppositions) for subjunctive conditionals and I will argue that there is a strict correspondence between the time of evaluation in the truth conditions of a conditional and the time relevant for the felicity conditions. In other words, if the time relevant for the accessibility relation has been shifted to the past, then the conditional's presupposition will make reference to a past context. On the other hand, if no past is constraining the time argument of the accessibility relation, the conditional's felicity will make reference to the current (main) context. Third, I will argue that the intuition that the antecedent of mismatched counterfactuals is not true is a scalar implicature arising from a competition not between assertions but between presuppositions. Finally, I will investigate the repercussions of my proposal for the general theory of modality. (shrink)

We all learn about the mistake of treating ‘nothing’ as if it were a term standing for something; but is it a mistake to treat it as an empty term, denoting nothing? We argue not, and we introduce ‘zilch’, defined as ‘the non-self-identical thing’, as a term which is empty as a matter of logical necessity. We contrast its behaviour with that of the quantifier ‘nothing’, and illustrate its uses. We use the same idea to vindicate Locke’s, Descartes’ and Hume’s (...) handling of ‘nothing’, and we show how Heidegger’s ‘das Nichts nichtet’ comes out as logically true. (shrink)

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

This paper advances a detailed exploration of the complex relationships among terms, concepts, and synonymy in the UMLS Metathesaurus, and proposes the study and understanding of the Metathesaurus from a model-theoretic perspective. Initial sections provide the background and motivation for such an approach, and a careful informal treatment of these notions is offered as a context and basis for the formal analysis. What emerges from this is a set of puzzles and confusions in the Metathesaurus and its literature pertaining to (...) synonymy and its relation to terms and concepts. A model theory for a segment of the Metathesaurus is then constructed, and its adequacy relative to the informal treatment is demonstrated. Finally, it is shown how this approach clarifies and addresses the puzzles educed from the informal discussion, and how the model-theoretic perspective may be employed to evaluate some fundamental criticisms of the Metathesaurus. (shrink)

The purpose of this study is to show that the distinctions made by Wilhelm Dilthey and Max Weber between the natural sciences and the 'Geisteswissen-schaften' are sound in principle, pace the arguments to the contrary within classical logical empiricism. It is held that intentional contexts are characteristic of social science. Intentional contexts are held to be more important in psychology than mental states, like toothache. If logical behaviourism is to have any plausibility, it has to be shown how intentional contexts (...) can be dealt with. Carnap's programme was to reconstruct scientific discourse within a truth-functional language. It is argued that his reduction of belief-sentences was not successful. It is further argued that in the logical empiricist's discussions of the problem of Verstehen, only motivational understanding is taken account of, what Max Weber calls observational understanding is overlooked as we try to show through a discussion of Theodore Abel's well-known explication of 'the operation called Verstehen'. From this it is concluded that the founda-tional problems of social science are different from those of natural science, and this conclusion is further elaborated through an exposition of views held by authors in the German tradition, which, in the fifties, many philosophers held to be obsolete. (shrink)

The paper studies first order extensions of classical systems of modal logic (see (Chellas, 1980, part III)). We focus on the role of the Barcan formulas. It is shown that these formulas correspond to fundamental properties of neighborhood frames. The results have interesting applications in epistemic logic. In particular we suggest that the proposed models can be used in order to study monadic operators of probability (Kyburg, 1990) and likelihood (Halpern-Rabin, 1987).

I identify a notion of compositionality at the intersection of the different notions philosophers, linguists, and psychologists are concerned with. The notion is compositionality of expression content: the idea that the content of a complex expression in a context of its utterance is determined by its syntactic structure and the contents of its constituents in the contexts of their respective utterances. Traditional arguments from productivity and systematicity cannot establish that the contents of linguistic expressions are compositionally determined in this sense. (...) I present a novel argument for this thesis. (shrink)

Syntactic semantics is a holistic, conceptual-role-semantic theory of how computers can think. But Fodor and Lepore have mounted a sustained attack on holistic semantic theories. However, their major problem with holism (that, if holism is true, then no two people can understand each other) can be fixed by means of negotiating meanings. Syntactic semantics and Fodor and Lepore’s objections to holism are outlined; the nature of communication, miscommunication, and negotiation is discussed; Bruner’s ideas about the negotiation of meaning are explored; (...) and some observations on a problem for knowledge representation in AI raised by Winston are presented. (shrink)

A widely held view about Fregean Sense has it that the determination of a sign's referent by the sign's sense is achieved viasatisfaction: the sense specifies a condition (or set of conditions) and the referent is that entity, if any, which uniquely satisfies that (set of) condition(s). This is usually held in conjunction with the claim that the sense is existentially and qualitatively independent of the referent: if the referent did not exist, or did not uniquely satisfy the sense, the (...) sense would still exist and would still specify the same condition(s) that it actually does (and might determine a different referent than its actual one). Proponents of this view give several reasons for holding it. I describe these reasons and argue that they are not convincing. More generally, I try to show that the notion of satisfaction has no useful application within Frege's system. I then suggest an alternative account of the determination of a referent by a sense that I think is truer to Frege and more illuminating. Compared to the satisfaction view, my account construes determination as a more naturalistic and epistemically real relation between speakers and things in the world. (shrink)