Given Kripke’s semantic views, a statement, such as ‘Water is H 2 O’, expresses a necessary a posteriori truth. Yet it seems that we can conceive that this statement could have been false; hence, it appears that we can conceive impossible states of affairs as holding. Kripke used a de dicto strategy and a de re strategy to address three illusions that arise with respect to necessary a posteriori truths: (1) the illusion that a statement such as ‘Water is (...) H 2 O’ possibly expresses a falsehood, (2) the illusion that conceivability can fail to latch on to a genuine metaphysical possibility, and (3) the illusion that one can access a real metaphysical possibility by conceiving that water is not H 2 O. In this paper I argue that while Kripke’s de dicto strategy dispels (1), his strategies do not enable him to dispel (2) and (3). (shrink)

The former president of the German Constitutional Court, Ernst-Wolfgang Böckenförde, coined the formulation, "The liberal, secularised state is nourished by presuppositions that it cannot itself guarantee."1 In the first part of this article I would like to discuss the deliberations of one who is considered the chief philosopher of the Federal Republic of Germany, Jürgen Habermas, in particular his thinking regarding the epistemological and existential status and role of religion in a modern democracy. I investigate Habermas's concept of philosophy with (...) the intention of exploring the possibility and range of a philosophy of religion allowed for in his approach. This is why the reactions to Habermas's discourse on... (shrink)

The analytic/synthetic distinction looks simple. It is a distinction between two different kinds of sentence. Synthetic sentences are true in part because of the way the world is, and in part because of what they mean. Analytic sentences - like all bachelors are unmarried and triangles have three sides - are different. They are true in virtue of meaning, so no matter what the world is like, as long as the sentence means what it does, it will be true. -/- (...) This distinction seems powerful because analytic sentences seem to be knowable in a special way. One can know that all bachelors are unmarried, for example, just by thinking about what it means. But many twentieth-century philosophers, with Quine in the lead, argued that there were no analytic sentences, that the idea of analyticity didn't even make sense, and that the analytic/synthetic distinction was therefore an illusion. Others couldn't see how there could fail to be a distinction, however ingenious the arguments of Quine and his supporters. -/- But since the heyday of the debate, things have changed in the philosophy of language. Tools have been refined, confusions cleared up, and most significantly, many philosophers now accept a view of language - semantic externalism - on which it is possible to see how the distinction could fail. One might be tempted to think that ultimately the distinction has fallen for reasons other than those proposed in the original debate. -/- In Truth in Virtue of Meaning, Gillian Russell argues that it hasn't. Using the tools of contemporary philosophy of language, she outlines a view of analytic sentences which is compatible with semantic externalism and defends that view against the old Quinean arguments. She then goes on to draw out the surprising epistemological consequences of her approach. (shrink)

The integration challenge for modality states that metaphysical theories of modality tend to fail in one of two ways: either they render the meanings of modal sentences mysterious, or they render modal knowledge mysterious. I argue that there are specific semantic and epistemic constraints on metaphysics implied by the integration challenge and that a plausible metaphysical theory of modality will satisfy both of them. I further argue that no popular metaphysical theory of modality simultaneously satisfies both of the constraints. Therefore, (...) a new metaphysical theory of modality is needed, one that can offer a clear response to the integration challenge. I attempt to supply the needed theory and show that it satisfies the constraints of the integration challenge. The overall result is an argument for a new and unique metaphysical theory of modality that I call constructionism. (shrink)

I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways in which (...) these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)

Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation (...) is kept constant. However, the received conception of an interpretation as a mapping from language to a model frame hinders keeping the interpretation constant while varying other components of the model. To make room for analyticity, the concept of an interpretation should therefore be revised. The latter should be made richer in content than it has usually been assumed. As a by-product, this revision also gives us a one-dimensional analogue of the influential two-dimensional account of a priori. We are thus able to map out the network of formal connections between the notions of analyticity, apriority, logical truth and necessity. (shrink)

The positivists’ notion of truth in virtue of meaning presupposes that the truth of certain sentences can be explained merely by reference to semantic rules. The currently most popular objection to the notion denies the possibility of such semantic explanations, on the grounds that semantic rules can only explain what a sentence says, but not whether what a sentence says is true. Though recent critics of the objection have insisted that semantic rules do explain the truth of (...) certain sentences, the very notion of a semantic explanation is often left unclear. This paper proposes to define the notion of semantic explanation as a valid argument that derives the truth of a sentence from accepted semantic rules. The account offered will then be used to respond to some of the most pressing objections to the idea of truth in virtue of meaning. (shrink)

This paper addresses four issues: 1. What is nonsense? 2. Is nonsense possible? 3. Is nonsense actual? 4. Why do the answers to (1)–(3) matter, if at all? These are my answers: 1. A sentence (or an utterance of one) is nonsense if it fails to have or express content (more on ‘express’, ‘have’, and ‘content’ below). This is a version of a view that can be found in Carnap (1959), Ayer (1936), and, maybe, the early Wittgenstein (1922). The notion (...) I propose abstracts away from their favored (but wrong) theories of what meaning is. It is a notion of nonsense that can be appealed to by all semantic frameworks and all theories of what content is, but structurally it is just like e.g. Carnap’s. Nonsense, as I construe it, is accompanied by illusions of thought (and I think that was part of Carnap’s conception as well). 2. Yes. In particular, I examine three arguments for the impossibility of illusion of thought (which on my construal accompanies linguistic nonsense) and they are all unsound. 3. Yes. There might be a lot of nonsense, both in ordinary and theoretical speech. In particular, it is likely that much of contemporary philosophy consists of nonsense. Empirical work is required to determine just how much. 4. The struggle to avoid nonsense (and achieve meaningfulness) is at least as important as the struggle for truth. The avoidance of nonsense is a precondition not just for having a truth value but also for more important properties such as saying something interesting or kind. (shrink)

The psychological concept of illusion is defined as a process involving an interaction of logical and empirical considerations. Common usage suggests that an illusion is a discrepancy between one's awareness and some stimulus. Following preliminary definitions of classes of stimuli, five definitions of illusion are considered, based upon the possible discrepancies between awareness and a stimulus. It is found that each of these definitions fails to make important distinctions, even to the point of equating all illusory and perceptual phenomena. This (...) dilemma is resolved by redefining illusion without reference to truth or falsity, but relative to the functioning of a given perceptual system under different conditions. The definition accepted as best is 'a discrepancy between one's perceptions of an object or event observed under different conditions'. Conditions may differ in terms of stimulus exposure, stimulus context, or experiental context. The philosophical and psychological implications are discussed of accepting a definition of illusion not based on a discrepancy between awareness and a stimulus. (shrink)

Contextualism, in its standard form, is the view that the truth conditions of sentences of the form ‘S knows that P’ vary according to the context in which they are uttered. One possible objection to contextualism appeals to what Keith DeRose calls a warranted assertability maneuver (or WAM), according to which it is not our knowledge sentences themselves that have context-sensitive truth conditions, but what is pragmatically conveyed by the use of such sentences. Thus, proponents of WAMs argue, (...) the context sensitivity of knowledge attributions is not a semantic phenomenon but a pragmatic one. I examine a number of WAMs and show that each (i) is seriously flawed, or (ii) undercuts standard contextualism if we hold a minimalist conception of semantic content. I propose an alternative form of contextualism that accommodates minimalism and is immune to the second type of WAM, and show that this new form of contextualism shares the virtues of standard contextualism. (shrink)

Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s (...) proposal saves one direction of the parallel for semantics, it gives up the parallelism for truth. I spell out a different response which meshes naturally with Husserl’s account of meaning. If the parallelism is restricted to a class of basic propositions, the truth of non-basic propositions can be defined inductively, without leading to the paradox. I then discuss objections that have been raised against a similar proposal by Dummett. The result is that exegetically plausible and popular interpretations of Husserl’s correlationism are indeed challenged by Church and Fitch. But when taking into account the ‘logical adumbration’ of propositional blindspots, truth and possible fulfilment can be connected without paradox. (shrink)

Semantic relativism is the view that the truth-value of some types of statements can vary depending on factors besides possible worlds and times, without any change in their propositional content. It has grown increasingly popular as a semantic theory of several types of statements, including statements that attribute knowledge of a proposition to a subject (knowledge attributions). The ways of knowing claim is the view that perception logically implies knowledge. In my “Semantic Relativism and Ways of Knowing” (2019) I (...) argued that a relativist semantics for knowledge attributions is incompatible with the ways of knowing claim. I suggested that this incompatibility depends on some basic features of the logic of relativist semantics, and therefore can be shown to generalise beyond the discussion of knowledge attributions to semantic relativism more broadly. Here I make this generalisation. I demonstrate that for any proposition p expressed by a statement that does not have a relativist semantics, and for any proposition q expressed by a statement that does have a relativist semantics, p fails to logically imply q. I explain why this happens, discuss some of its philosophical consequences, and consider a way to modify relativist semantics to avoid it. I conclude that semantic relativism raises interesting philosophical questions that have gone largely unnoticed in discussions of this view until now. (shrink)

The paper investigates interpretations of propositional and firstorder logic in which validity is defined in terms of partial indices; sometimes called possibilities but here understood as non-empty subsets of a set W of possible worlds. Truth at a set of worlds is understood to be truth at every world in the set. If all subsets of W are permitted the logic so determined is classical first-order predicate logic. Restricting allowable subsets and then imposing certain closure conditions provides a (...) modelling for intuitionistic predicate logic. The same semantic interpretation rules are used in both logics for all the operators. (shrink)

Camouflage commonly refers to the ability to make something appear as different from what it actually is, or not to make it appear at all. This concept originates from biological studies to describe a range of strategies used by organisms to dissimulate their presence in the environment, but it is frequently borrowed by other semantic fields as it is possible to camouflage one’s position, intentions, opinion etc.: an interesting conceptual continuum between the multiple denotations of camouflage seems to emerge from (...) the multiple homologies. Following this outlook, the first part of this paper aims at sketching out the main forms of camouflage as understood within their biological framework, insisting on the inferential dynamics underdetermined and allowing camouflage, making use of the concept of abduction as received from the Peircean heritage. The second part explores some of the most relevant occurrences of camouflage in dialectical and rhetorical perspectives. The third section aims at drawing the sums of the comparison between linguistic and biological camouflage, showing how strategies aimed at debunking verbal camouflage correspond to their respective countermeasures in biologically-intended camouflage. (shrink)

Abstract: Recent years have witnessed a revival of interest in relativism. Proponents have defended various accounts that seek to model the truth-conditions of certain propositions along the lines of standard possible world semantics. The central challenge for such views has been to explain what advantage they have over contextualist theories with regard to the possibility of disagreement. I will press this worry against Max Kölbel’s account of faultless disagreement. My case will proceed along two distinct but connected lines. First, (...) I will argue that the sense of faultlessness made possible by his relativism conflicts with our intuitive understanding of disagreement. And second, that his meta-epistemological commitments are at odds with the socio-epistemic function of disagreement. This latter problem for relativistic accounts of truth has thus far been largely ignored in the literature. (shrink)

Frege puzzles exploit cognitive differences between co-referential terms. Traditionally, they were handled by some version of Frege’s distinction between sense and reference, which avoided disruptive consequences for epistemology. However, the Fregean programme did not live up to its original promise, and was undermined by the development of theories of direct reference; for semantic purposes, its prospects now look dim. In particular, well-known analogues of Frege puzzles concern pairs of uncontentious synonyms; attempts to deal with them by distinguishing idiolects or postulating (...) ‘narrow contents’ or elaborate forms of context-sensitivity are inadequate or semantically implausible. Although ascriptions of knowledge, belief, and other attitudes are ubiquitous in epistemology, epistemologists have not properly come to terms with the surprising consequences of anti-Fregean semantic accounts of attitude ascriptions. In ‘A Puzzle about Belief ’, Saul Kripke shows that natural-seeming disquotational principles for ascribing belief lead to apparently unacceptable consequences, including outright contradictions, in problem cases. Such disquotation principles, I argue, are best regarded not as conceptual connections but just as heuristics in the psychological sense, quick and easy ways of assessing belief ascriptions, usually accurate under normal conditions but far from 100% reliable. I discuss similar heuristics for ascribing knowledge and other attitudes. That the principles have a merely heuristic status need not be pre-theoretically manifest to their users. This view vindicates Kripke’s conclusion that it would be wrong-headed to draw semantic conclusions from Frege puzzles. I discuss the epistemological consequences of an anti-Fregean approach to Frege puzzles, including for Kripke’s cases of the contingent a priori and the necessary a posteriori, but also for evidence, for epistemic modalities, and for epistemic and subjective conceptions of probability. Anna Mahtani’s recent identification of Frege puzzles for the ex ante Pareto Principle as used in welfare economics provides an interesting example. I suggest a model-building methodology as the most promising way of handling at least some of the difficulties. A final issue is the choice between different anti-Fregean approaches to semantics, from very coarse-grained intensional approaches on which sentences express functions from possible worlds to truth-values to more fine-grained hyperintensional approaches on which sentences express functions from possible or impossible worlds to truth-values or else Russellian structured propositions. Some of the hyperintensional theories violate semantic compositionality. More generally, since our attitude ascriptions rely on heuristics, they should be expected to exhibit some level of error; although hyperintensional approaches may be able slightly to reduce the level of postulated error, they do so at the cost of vastly increased theoretical complexity, and so have weak explanatory power. Methodologically, a simple intensional approach does better. (shrink)

A central theoretical motivation for epistemic contextualism is that it can explain something that invariantism cannot. Specifically, contextualism claims that judgments about “knowledge” are sensitive to the salience of error possibilities and that this is explained by the fact that salience shifts the evidential standard required to truthfully say someone “knows” something when those possibilities are made salient. This paper presents evidence that undermines this theoretical motivation for epistemic contextualism. Specifically, it demonstrates that while error salience does sometimes impact “knowledge” (...) judgments as contextualism predicts, it does so in ways that are consistent with invariantism and does not require positing any additional contextualist semantics to explain. These results advance our understanding of the pathways by which error possibility affects “knowledge” judgments, answer a major challenge to invariantism, and suggest several methodological improvements for the study of knowledge attribution. (shrink)

The contemporary consensus in analytic philosophy concerning cultural relativism is: it is impossible to formulate relativism coherently, diversity does not provide good reason for accepting relativist conclusions anyway, and if relativism is false, or incoherent, then cross-cultural disagreement, however intractable, raises no important epistemological challenge. I challenge every aspect of this consensus in the light of contemporary theories of reference and knowledge, focussing on various traditional cultures' supernatural explanations of illness. ;I defend the coherence of relativism against standard objections, arguing (...) that: it is possible to make sense of the claim that a sentence has different truth-conditions in different frameworks, while, in significant respects, retaining the same meaning; cultural relativism does not rule out the possibility of rational discussion between distinct cultural traditions; even self-referential relativist theses are neither self-refuting nor self-undermining. I suggest a distinctive way of arguing from cross-cultural differences to relativism, which is plausible, though inconclusive. ;I then argue that the alternative to relativism about rationally irresolvable cross-cultural disagreement is skepticism. Far from undermining the anthropological challenge to the objective justification of our beliefs--as might be thought--naturalistic epistemology and semantics themselves provide reasons to appreciate the force of this challenge, though they require us to rethink its nature. Reliability of belief production or regulation is not sufficient to provide knowledge, or even justification, in cases in which rival methods of belief assessment pose salient alternatives and there is no "neutral" reason for supposing one method to be more reliable. If, as I argue, neutral reasons for rejecting traditional methods of witchcraft detection are not available, then we do not know that witches do not exist. The resulting skepticism, however, would be a fairly circumscribed one. Most scientific beliefs we ordinarily take to be well confirmed--including beliefs about unobservable entities--remain so on the standards I defend. What proves less epistemically secure are the deeper metaphysical commitment to materialism and naturalism associated with Western science, commitments underlying our rejection of supernatural explanations of illness. (shrink)

An intuitive conception of objectivity involves an ideal of neutrality—if we’re to engage in objective inquiry, we must try to sideline our prejudices, values, and politics, lest these factors taint inquiry and unduly influence our results. This intuition underlies various “purist” epistemological frameworks, which grant epistemic significance only to “epistemic factors” like evidence or the truth of a belief. Feminist epistemologists typically condemn purist frameworks as inimical to feminist aims. They argue that purist epistemology is divorced from the ineliminably (...) social and value-laden nature of our epistemic practices, and, moreover, that it abstracts away precisely those features that are needed to explain how power shapes knowledge. As they see it, purist frameworks simply lack the conceptual space needed to ask the right kinds of questions. Thus, they go in for “impurist” frameworks, which grant epistemic significance to “non-epistemic” factors, and so shed the confining constraints of purism. I turn the tables on the impurists—where they have connected purist norms with perniciously disengaged epistemology, I connect impurist norms with a creeping anxiety that is diminishing feminist epistemology’s political possibilities. First, I demonstrate that it’s increasingly common for impurist epistemologists to use moral considerations as a means to bypass the evidence, which betrays a lack of faith that the evidence will bear out feminist commitments. Second, I demonstrate that there is needless pessimism about our capacity to understand, as evidenced by the increasingly widespread idea that privileged social positions place robust limits on what people can know about oppression that they don’t personally experience. In both cases, moral and political considerations are invoked to give the illusion of being socially engaged, while in fact they allow people to give up on the difficult project of figuring things out. An extended case study on rape culture illustrates the stakes of doing inquiry that is only superficially socially engaged; I show that the two anxious traps I’ve identified have prevented contemporary feminist theorists from detecting and rooting out racist distortion in their accounts of rape culture because both traps interfere with a genuinely intersectional approach to feminist theorizing. (shrink)

According to actualism, modal reality is constructed out of valuations (combinations of truth values for all propositions). According to possibilism, modal reality consists in a set of possible worlds, conceived as independent objects that assign truth values to propositions. According to possibilism, accounts of modal reality can intelligibly disagree with each other even if they agree on which valuations are contained in modal reality. According to actualism, these disagreements (possibilist disagreements) are completely unintelligible. An essentially actualist semantics for (...) modal propositional logic specifies which sets of valuations are compatible with the meanings of the truth-functional connectives and modal operators without drawing on formal resources that would enable us to represent possibilist disagreements. The paper discusses the availability of an essentially actualist semantics for modal propositional logic. I argue that the standard Kripkean semantics is not essentially actualist and that other extant approaches also fail to provide a satisfactory essentially actualist semantics. I end by describing an essentialist actualist semantics for modal propositional logic. (shrink)

This paper deals with the simple paradoxes of validity and with the possibility of solving them in terms of Bradwardinian-Buridanian semantics. The paradoxes of validity as conceived here are cases of semantic pathology, which result due to the use of terms signifying the validity of inference. Semantic paradoxes are a semantico-epistemological phenomenon which is a symptom of the need to revise several apparently acceptable semantic assumptions. The analysis of possible solutions to the paradoxes focuses on Bradwardinian-Buridanian semantics and as a (...) result on the closed, token-based semantic theories that assume the existence of an implicit meaning of propositions. The key theses, as far as the solution to the paradoxes is concerned, are the principle of truth-implication which claims that every proposition expresses or implies its own truth and the closure principle which claims that every proposition asserts or expresses everything that follows from it logically. The present paper advances on recent research in claiming that (with certain reservations) the application of these principles can effectively solve inconsistency-paradoxes but not indeterminacy-paradoxes of validity. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and (...) our use of that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

Truth conditions of sentences ascribing non-doxastic propositional attitudes seem to depend on the information structure of the embedded clause. In this paper, we argue that this kind of sensitivity is a semantic phenomenon rather than a pragmatic one. We report four questionnaire studies which explore the impact of the information structure on the truth conditions of non-doxastic attitude ascriptions from different perspectives. The results of the first two studies show that the acceptability of those ascriptions can be affected (...) by some structural modifications of the embedded clause, in particular, when we replace a simple form by an equivalent complex _conjunctional_ form (‘_p_ and _q_’). However, it is possible that different evaluations of such ascriptions have a pragmatic source, namely, the ascriptions with embedded conjunction _imply_ that the agent’s attitude transfers to both conjuncts. In the second pair of studies, we further investigate the nature of this implication which can be classified as ‘Conjunction Elimination’ (CE) in the scope of an attitude verb. The results show that CE-inferences in the context of non-factive non-doxastic attitude ascriptions are not easily cancellable and hence of a semantic rather than pragmatic nature. The results are not conclusive when it comes to the factive non-doxastic attitudes. We conclude our findings by some considerations about a potential source of the observed difference between non-factive and factive attitude verbs and the significance of our general findings to the semantic theory of non-doxastic attitude ascriptions. (shrink)

Werkmeister's new book, The Basis and Structure of Knowledge is the second major attempt in recent years to defend the idealistic theory of knowledge. The first was Blanshard's Nature of Thought; and it is worth noticing that both authors, in undertaking the defense of a position long in the shadows, are well aware of contemporary developments in logic and technical philosophy. Werkmeister freely acknowledges his debt to Blanshard; yet his work differs in scope from the latter's in at least two (...) ways. Firstly, the more recent book is concerned largely with the epistemological analysis of meaning and truth and hardly at all with what an older generation called "philosophical psychology," while philosophical psychology fills all of the first and part of the second volume of Blanshard's work. In my opinion, this is all to the good. (That our generation inverts the error and too often indulges in psychological philosophy is another story!) Secondly, Werkmeister presents us with detailed analyses of scientific method, of the structure of scientific theories, and of mathematics, all three areas to which Blanshard pays virtually no attention. The First Part of Werkmeister's book treats of Language and Meaning; the Second of Truth and the World About Us, the Third of Formal Knowledge, and the Fourth Part deals with Empirical Knowledge. But there is a fundamental thesis that runs through all of this. The analysis of each of these four domains reveals, according to Werkmeister, that only a coherence theory of meaning and truth can adequately reflect the criteria actually used by science and commonsense. It is not my intention to rehearse here the familiar dialectic of the arguments for and against this doctrine; the less so, since Werkmeister himself gives a useful review of both sides of the controversy. Rather, I want to try to fix as precisely as possible, within the context of Werkmeister's discussion, the nature of the difference between coherence theories on the one hand and correspondence theories on the other. This difference has not always been too clearly stated; it even seems that recent developments in linguistic analysis have been the occasion for some new confusions on this very point. For coherence theorists who have recognized that philosophical semantics is a "formal" discipline now insist that "to say what a symbol means is not to relate it to an object, but to give it an interpretation in terms of other symbols," as Ayer2 has recently put it. This seems to contradict the "comparison with fact" feature of the traditional realistic formulations of the correspondence view. A superficial bystander could even believe that the correspondence theorists have given up their original position, since both sides now agree that truth is a matter of a relation between symbols. Such agreement, as I hope to show, is more apparent than real, for what is now at stake is the nature of that "intrasymbolic relation." And on this nature the two parties disagree. There is little doubt that Werkmeister's book appears at a moment more propitious for the advocacy of the coherence theory of truth than did Blanshard's. In the near decade that separates the two works the intellectual climate has become, for better or for worse, considerably more favorable to a reconsideration of, and possibly even a reconciliation with, some of the major tenets of rationalism. This is reflected in the current discussion regarding the contrary-to-fact conditional, the dissatisfaction with material implication, and the correlative concern for a more adequate analysis of the concept of a natural law. It is evident too in the revived enthusiasm for intensional logic and in the related interest in the modalities. As uncompromising an empiricist as C. L. Lewis, with whom, by the way, Werkmeister shares a common Kantian background, has introduced into his latest work a "congruence" theory of truth which, despite the substitution of a so-called "probability" inference for necessary inference, looks very much like the coherance criterion all over again. So Werkmeister's book should be welcome for its clear presentation of the relevant issues; and even those who disagree with him can admire the candor and forthrightness with which he champions what remains, despite vacillations, an essentially unpopular position. (shrink)

The article deals with an approach to the analysis of propositional attitudes based on the type-theoretical semantics proposed by A. Ranta and originating from the type theory of P. Martin-Löf. Type-theoretical semantics contains the notion of context and tools of extracting information from it in an explicit form. This allows us to correctly formalize the dependence on contexts typical of propositional attitudes. In the article the context is presented as a dependent sum type (Record type in the proof assistant Coq). (...) Ranta’s approach is refined and applied to the analysis of Quine’s phrase “Ralph believes that someone is a spy”. Three variants of formalization for this phrase are described which differ in the content of contextual knowledge and the way the truth values of the phrase are derived. Contexts are connected through the function of conversion, making it possible to relate truth values. As a result, it is shown that the instruments for working with contexts provided by type-theoretical semantics allow us to avoid the problem of opacity described by Quine. Provided formalization along with proofs is coded in Coq and made freely available. (shrink)

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no (...) analytic or conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (shrink)

The paper identifies two major strands of truth theories, ontological and epistemological ones, and argues that both are of equal primacy and find their home within two-dimensional semantics. Contrary to received views, it argues further that epistemological truth theories operate on Lewisian possible worlds and ontological truth theories on Wittgensteinian possible worlds and that both are mediated by the so-called epistemic-ontic map the further specification of which is of utmost philosophical importance.

This paper puts forth a class of algebraic structures, relativized Boolean algebras (RBAs), that provide semantics for propositional logic in which truth/validity is only defined relative to a local domain. In particular, the join of an event and its complement need not be the top element. Nonetheless, behavior is locally governed by the laws of propositional logic. By further endowing these structures with operators—akin to the theory of modal Algebras—RBAs serve as models of modal logics in which truth (...) is relative. In particular, modal RBAs provide semantics for various well-known awareness logics and an alternative view of possibility semantics. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

Moral epistemology is central to ethical theory and, after a period of some neglect, is currently receiving much attention. Discussion of the subject suffered no small setback from the influence of positivistic noncognitivism. Nor was moral epistemology a main object of the narrowly metaethical focus that dominated much of ethical discussion between the Second World War and the early 1970s; the concern during that period was mainly semantical and metaphysical. Even now, many writers in ethics who tend to take for (...) granted that there is much scientific knowledge are skeptical about the possibility of any moral knowledge; and some of them accept the view, especially common in university communities, that moral judgments represent at best cultural assumptions having no claim to truth. (shrink)

My paper takes issue both with the standard view that the Tractatus contains a correspondence theory and with recent suggestions that it features a deflationary or semantic theory. Standard correspondence interpretations are mistaken, because they treat the isomorphism between a sentence and what it depicts as a sufficient condition of truth rather than of sense. The semantic/deflationary interpretation ignores passages that suggest some kind of correspondence theory. The official theory of truth in the Tractatus is an obtainment theory (...) – a sentence is true iff the state of affairs it depicts obtains. This theory differs from deflationary theories in that it involves an ontology of states of affairs/facts; and it can be transformed into a type of correspondence theory: a sentence is true iff it corresponds to, i.e. depicts an obtaining state of affairs (fact). Admittedly, unlike correspondence theories as commonly portrayed, this account does not involve a genuinely truth-making relation. It features a relation of correspondence, yet it is that of depicting, between a meaningful sentence and its sense – a possible state of affairs. What makes for truth is not that relation, but the obtaining of the depicted state of affairs. This does not disqualify the Tractatus from holding a correspondence theory, however, since the correspondence theories of Moore and Russell are committed to a similar position. Alternatively, the obtainment theory can be seen as a synthesis of correspondence, semantic and deflationary approaches. It does justice to the idea that what is true depends solely on what is the case, and it combines a semantic explanation of the relation between a sentence and what it says with a deflationary account of the agreement between what the sentence says and what obtains or is the case if it is true. (shrink)

In this paper, a novel experimental task is developed for testing the highly influential, but experimentally underexplored, possible worlds account of conditionals (Stalnaker, 1968; Lewis, 1973). In Experiment 1, this new task is used to test both indicative and subjunctive conditionals. For indicative conditionals, five competing truth tables are compared, including the previously untested, multi-dimensional possible worlds semantics of Bradley (2012). In Experiment 2, these results are replicated and it is shown that they cannot be accounted for by an (...) alternative hypothesis proposed by our reviewers. In Experiment 3, individual variation in truth assignments of indicative conditionals is investigated via Bayesian mixture models that classify participants as following one of several competing models. As a novelty of this study, it is found that a possible worlds semantics of Lewis and Stalnaker is capable of accounting for participants’ aggregate truth value assignments in this task. Applied to indicative conditionals, we show across three experiments, that the theory both captures participants’ truth values at the aggregate level (Experiments 1 and 2) and that it makes up the largest subgroup in the analysis of individual variation in our experimental paradigm (Experiment 3). (shrink)

Two Experiments demonstrate the existence of a “collapse illusion”, in which reasoners evaluate Truthteller-type propositions (“I am telling the truth”) as if they were simply true, whereas Liar-type propositions (“I am lying”) tend to be evaluated as neither true nor false. The second Experiment also demonstrates an individual differences pattern, in which shallow reasoners are more susceptible to the illusion. The collapse illusion is congruent with philosophical semantic truth theories such as Kripke's (1975), and with hypothetical thinking theory's (...) principle of satisficing, but can only be partially accounted for by the model theory principle of truth. Pragmatic effects related to sentence cohesion further reinforce hypothetical thinking theory interpretation of the data, although the illusion and cohesion data could also be accounted for within a modified mental model theory. (shrink)

Jody Azzouni argues that we involuntarily experience certain physical items, certain products of human actions, and certain human actions themselves as having meaning-properties. We understand these items as possessing meaning or as having truth values. For example, a sign on a door reading "Drinks Inside" strikes native English speakers as referring to liquids in the room behind the door. The sign has a truth value--if no drinks are found in the room, the sign is misleading. Someone pointing in (...) a direction has the same effect: we experience her gesture as significant. Azzouni does not suggest that we don't recognize the expectations or intentions of speakers ; we do recognize that the person pointing in a certain direction intends for us to understand her gesture's significance. Nevertheless, Azzouni asserts that we experience that gesture as having significance independent of her intentions. The gesture is meaningful on its own. The same is true of language, both spoken and written. We experience the meanings of language artifacts as independent of their makers' intentions in the same way that we experience an object's shape as a property independent of the object's color. There is a distinctive phenomenology to the experience of understanding language, and Semantic Perception shows how this phenomenology can be brought to bear as evidence for and against competing theories of language. (shrink)

Traditional correspondence theory of truth with the concept of fact encounters many serious difficulties, main one of which is that it is too difficult to explain clearly the concept of ‘fact’ and how propositions ‘correspond’ to facts. This does not mean that we should abandon the traditional correspondence theory of truth and turn to some other type theories of truth. In order to guarantee the objectivity of truth, any reasonable theory of truth must adhere to (...) the core insight of the traditional correspondence theory: it is not something in our language, nor in our mind, but something in the external world, that make the propositions we use to describe the states of affairs in the world either true or false. It is entirely possible to formulate a new correspondence theory of truth without the concept of fact but still adhering to the core insights mentioned above of the traditional correspondence theory. New correspondence theory of truth has its own metaphysical and epistemological assumptions, and also its assumption in the philosophy of language. Because of the generativity of language, in defining the concept of truth, the new correspondence theory of truth must resort to Tarskian recursive procedure. First, it gives the semantic value of the components of a proposition, defines the truth of its atomic propositions, then gradually defines the truth of its more and more complex propositions and finally of the whole proposition. Coherence is the intrinsic element of truth. The concept of truth is by no means trivial and insignificant; on the contrary, it is very substantive. The pursuit of truth is our mission. (shrink)

Providing a possible worlds semantics for a logic involves choosing a class of possible worlds models, and setting up a truth definition connecting formulas of the logic with statements about these models. This scheme is so flexible that a danger arises: perhaps, any logic whatsoever can be modelled in this way. Thus, the enterprise would lose its essential 'tension'. Fortunately, it may be shown that the so-called 'incompleteness-examples' from modal logic resist possible worlds modelling, even in the above wider (...) sense. More systematically, we investigate the interplay of truth definitions and model conditions, proving a preservation theorem characterizing those types of truth definition which generate the minimal modal logic. (shrink)

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. (...) In this paper, we review two main conceptions of truth (one sentence-based and one model-based) and two of empirical adequacy (one sentence-based and one model-based), we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism (MCR). We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

This paper aims to explore the relationship between the necessity predicate and the truth predicate by comparing two possible-world interpretations. The first interpretation, proposed by Halbach et al. (J Philos Log 32(2):179–223, 2003), is for the necessity predicate, and the second, proposed by Hsiung (Stud Log 91(2):239–271, 2009), is for the truth predicate. To achieve this goal, we examine the connections and differences between paradoxical sentences that involve either the necessity predicate or the truth predicate. A primary (...) connection is established through two translations that change only one of the predicates to the other while keeping everything else unchanged. We prove that in bijective frames, a set of sentences that contains one of the two semantic predicates has the same paradoxicality as the corresponding set of sentences that contains the other predicate obtained through translation. However, there are substantial differences as well. First, the necessity predicate and the truth predicate, under the two interpretations, cannot be defined by each other. Moreover, for sentences that involve only the truth predicate, their paradoxicality is preserved under the homomorphisms of frames. For sentences containing the necessity predicate, their paradoxicality is preserved under bounded morphisms, but none of these sentences can have their paradoxicality preserved under the extension of frames. Finally, we also show that paradoxical sentences involving the necessity predicate and those involving the truth predicate differ significantly in terms of mirror symmetry, circularity dependence, and frame compactness. (shrink)

Davidson’s argument against the possibility of defining truth draws upon the work of Tarski. However, Tarski’s assumption that the semantic conception of truth holds only for formal languages which are not semantically closed is not as plausible as it seems to be since it can be shown that this would result in the impossibility of formulating a theory of truth, because the epistemological presuppositions of formal semantics undermine any theory of representation of reality in which our cognitions (...) can be true or false representations. Yet Davidson concludes that "there cannot be a definition of ‘For all languages L, and all sentences s in L, s is true in L if and only if... s... L’." I am challenging Davidson by introducing into his above scheme my own definition of truth — "For all languages L, and all sentences s in L, s is true in L if and only if we prove s in L" — and then showing how to prove this definition philosophically. (shrink)

In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some generalizations of it in non-classical logics: many-valued matrix semantics with three and four values, non-truth-functional bivalent semantics, Kripke possible world semantics. • DOI:10.5007/1808-1711.2010v14n1p31.

Philosophers are often interested in explaining significant contrasts between ordinary descriptive discourses, on the one hand, and discourses – such as ethics, mathematics, or mentalistic discourse – that are thought to be more problematic in various ways. But certain strategies for ‘saving the differences’ can make it too difficult to preserve notable similarities across discourses. My own preference is for strategies that ‘save the differences’ without sacrificing logico-semantic continuities or committing to deflationism about truth, but also without embracing either (...) truth-pluralism or global expressivism.I motivate my preference by examining, as a test case, mentalistic discourse. I begin by reconstructing three philosophical puzzles that have led philosophers to think of mentalistic discourse as problematic (Section 2). These puzzles concern the semantic, epistemological, and metaphysical status of contrasts between first-person present-tense attributions – ‘avowals’ – and all other ordinary contingent attributions. I then briefly present my own,neo-expressiviststrategy for addressing the puzzles (Section 3). Unlike traditional ‘simple expressivism’ (which is the analogue in the mentalistic realm of ethical emotivism), neo-expressivism is not committed to avowals’ being non-truth-apt or having non-propositional meanings. And yet it does not require embracing either deflationism about truth or global expressivism. It preserves continuities between mentalistic and other discourses while allowing us to capture discontinuities. Moreover, it is possible to apply the neo-expressivist framework in other areas where the notion of expression is deemed explanatorily useful, as illustrated by consideringethical neo-expressivism(Section 4). In the final section (5), I make more general comments on truth and meaning and tease out some of the commitments of the approach I advocate. (shrink)

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that (...) the notion in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work. (shrink)

The article presents a critical semantic analysis of the so-called analytical truths as they were discussed by R. Carnap and building on some new empirical data that are not fully satisfactorily explained by Carnap’s theory. A theoretical reconstruction of Carnap’s theory of analytical truths is proposed. It is demonstrated how his understanding of analytical truths, as statements that are true in all possible worlds and amenable to a quite obvious definition on a par with the concepts of sense (meaning) and (...) synonymy, applies exclusively to artificial languages of logic. Therefore, Carnap’s theory remains unreachable for the well-known criticism of W. Quine, who, in turn, pointed out the difficulties in defining these concepts for natural languages. A theoretical reconstruction of Carnap’s explication of the mentioned concepts in the theory of meaning for natural languages is carried out. The connection of Carnap’s approach with the perspective of contemporary formal semantics is established. Subsequently, problematic cases and the difficulties they pose for Carnap’s concept are examined. An explanation is proposed for analytical truths as containing in their logical form an (unpronounced) quantifier over possible worlds (situations). (shrink)

In many real-life applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all other sentences to be equally interpreted as true. Paraconsistent logics are exactly those logics that escape this explosive effect of the presence of inconsistencies and allow for sensible reasoning still to take effect. To provide reasonably intuitive semantics for paraconsistent logics has traditionally proven to be a challenge. Possible-translations (...) semantics can meet that challenge by allowing for each interpretation to be composed of multiple scenarios. Using that idea, a logic with a complex semantic behavior can be understood as an appropriate combination of ingredient logics with simpler semantic behaviors into which the original logic is given a collection of translations preserving its soundness. Completeness is then achieved through the judicious choice of the admissible translating mappings. The present note provides interpretation by way of possible-translations semantics for a group of fundamental paraconsistent logics extending the positive fragment of classical propositional logic. The logics PI, Cmin, mbC, bC, mCi and Ci, among others, are all initially presented through their non-truth-functional bivaluation semantics and sequent versions and then split by way of possible-translations semantics based on 3-valued ingredients. (shrink)

Saul Kripke did more than anyone else to bring possible worlds into the contemporary philosophical discourse, first with his more formal work on the model theory for modal logic in the 1960s, and then with his more philosophical lectures on reference and modality, delivered in January 1970, that used the possible worlds apparatus informally to clarify the relations between semantic issues about names and metaphysical issues about individuals and kinds. Possible worlds semantics have been widely applied since then, both in (...) philosophy and in other fields such as linguistic semantics and pragmatics, theoretical computer science, and game theory. Kripke’s work, along with that of David Lewis, stimulated an ongoing debate about the nature and metaphysical status of possible worlds. Kripke himself has had little to say about the issues raised in this debate, in print, beyond what he said in Naming and Necessity and in brief remarks in a preface to a later edition of the lectures, published in 1980. But there is a clear view of the nature of possible worlds, and of the status of an explanation of modality in terms of possible worlds, implicit in the lectures and the preface. -/- The central focus of the post–Naming and Necessity debate about possible worlds has been a contrast between David Lewis’s modal realism and various versions of actualism. On this general issue, it is clear enough where Kripke stands: His criticisms of what he describes as the “other countries” picture of possible worlds are an explicit rejection of Lewis’s realism about possible worlds. But the rejection of modal realism raises a range of further questions: What exactly are possible worlds (or possible states of the world, which Kripke suggests would be less misleading terminology)? What contribution do they make to the explanation of modal discourse, and of the distinctive facts that modal discourse is used to state? Does the slogan “necessity is truth in all possible worlds” provide, or point to, a reductive analysis of necessity? Are possible worlds, in some sense, prior to modal operators and modal auxiliaries? If not, in what sense are they explanatory? How are possible worlds, or counterfactual situations, specified? How do they contribute to our understanding of specific meta- physical questions about the relations between particular individuals and their qualitative characteristics, the kinds to which they belong, and the matter of which they are constituted? How are we to understand the possible existence of individuals that do not actually exist? What is the status of the domains of individuals in merely possible worlds? -/- My aim in this chapter is to spell out the views about some of these foundational questions that are expressed or at least implicit in Kripke’s lectures. In Section 2, I discuss the general contrast between modal realism and actualism and questions about the kind of explanation that possible worlds provide for modal discourse and modal facts. In Section 3, I look at Kripke’s views about how possible worlds are specified, in particular at the role of individuals in specifying possible worlds. In Section 4, I consider the problems about merely possible individuals. (shrink)

Until Tarski’s semantic truth definition, the concept of truth was used informally in metalogic (metamathematics) or even proposed to be eliminated in favour of syntactic concepts, as in Rudolf Carnap’s early programme of philosophy via logical syntax. Tarski demonstrated that the concept of truth can be defined using precise mathematical devices. If L is a language for which the truth definition is given, it must be done in the metalanguage ML. According to this construction, semantics for (...) L must be performed in ML. The most important example concerns the arithmetic of natural numbers. According to Tarski’s theorem of undefinability, the set of truths of this theory cannot be defined in it – such a definition can be formulated in the metatheory. This fact illuminates the relation between syntax and semantics. If Th is a rich theory and presented as a syntactic theory (a calculus), its semantics is not reducible to its syntax. According to Tarski’s view, related to his work in the simple theory of types, semantics for L can be always constructed in the morphology of ML, provided that L is of the finite order. Two problems arise: what does the word “morphology” mean and how to formulate these ideas, when the framework is based on the distinction between first‑order logic and higher‑order logic. As far as the issue concerns morphology, it is possible to consider it as an extended syntax, i.e. vocabulary which does not refer to semantic concepts or defines such notions by not‑semantic, e.g. set‑theoretical, categories. If the hierarchy of logical types is replaced by the distinction of logics of various orders, in particular between first‑order and higher‑order (it is sufficient to use second‑order), it is possible to show that semantics of first‑order rich theories cannot be defined inside them. (shrink)

This topical collection is dedicated to the formal representation of arguments involving temporal reasoning and tensed truths; in particular, arguments with a clear significance to everyday life. In a broad perspective, temporal reasoning can be rigorously encoded via intensional logic, treating tenses as modalities, or via extensional logic, quantifying over domains of temporal objects (e.g., instants, intervals, etc.). Nowadays there are several formal devices (languages, systems, semantics, etc.) able to deal with time in many regards. Each of these devices is (...) characterized by peculiar features, such as a certain choice of primitive notions and, arguably, a certain kind of ontological commitment (see, e.g., the surveys of approaches offered by Prior 1967, van Benthem 1983, Gabbay, Hodkinson & Reynolds 1994 and Øhrstrøm & Hasle 1995). The truth-conditions of (the propositions expressed by) statements involving tenses can be explained either in terms of the “past-present-future” opposition (McTaggart’s A-theory) or in terms of the “earlier-later” opposition (McTaggart’s B-theory). Moreover, taking into account the difference between chronologically definite propositions and chronologically indefinite propositions (Rescher 1966), it is possible to distinguish between atemporal and temporal (or tensed) notions of truth. This topical collection will primarily focus on the latter. (shrink)

To what extent are meaning, on the one hand, and knowledge, on the other, determined by aspects of the 'outside world'? Internalism and Externalism in Semantics and Epistemology presents twelve specially written essays exploring these debates in metaphysics and epistemology and the connections between them. In so doing, it examines how issues connected with the nature of mind and language bear on issues about the nature of knowledge and justification. Topics discussed include the compatibility of semantic externalism and epistemic internalism, (...) the variety of internalist and externalist positions, semantic externalism's implications for the epistemology of reasoning and reflection, and the possibility of arguments from the theory of mental content to the theory of epistemic justification. (shrink)