In the basic modal language and in the basic modal language with the added universal modality, first-order definability of all formulas over the class of all frames is shown. Also, it is shown that the problems of modal definability of first-order sentences over the class of all frames in the languages and are both PSPACE-complete.

M. B. Hintikka and J. Hintikka claimed that their reconstruction of the ‘Sherlock Holmes sense of deduction’ can “serve as an explication for the link between intelligence and memory”. The claim is vindicated, first for the single-agent case, where the reconstruction captures strategies for accessing the content of a distributed and associative memory; then, for the multi-agent case, where the reconstruction captures strategies for accessing knowledge distributed in a community. Moreover, the reconstruction of the ‘Sherlock Holmes sense of deduction’ allows (...) to conceptualize those strategies as belonging to a continuum of behavioral strategies. (shrink)

In this paper, I focus on the Armchair Access Problem for E=K as presented by Nicholas Silins (2005), and I argue, contra Silins, that it does not represent a real threat to E=K. More precisely, I put forward two lines of response, both of which put pressure on the main assumption of the argument, namely, the Armchair Access thesis. The first line of response focuses on its scope, while the second line of response focuses on its nature. The second line (...) of response is the most interesting one, for it represents the framework within which I develop a novel account of second-order knowledge, one that involves evaluation of counterfactual conditionals and the employment of our imaginative capacities, i.e., an imagination-based account of second-order knowledge. The two lines of response are shown to be jointly compatible and mutually supportive. I then conclude that the Armchair Access Problem is not a challenge for E=K, yet it relies on the ambiguity of the notion of armchair knowledge underpinning the Armchair Access thesis. (shrink)

The combination of quantifiers with a semantics for epistemic operators in a modal framework is one of the major contributions of Hintikka in intensional logic. Hintikka’s starting point is his diagnosis of the failure of existential generalization and the substitution of identicals in terms of referential multiplicity. In this paper, I introduce Hintikka as a free logician. Indeed, Hintikka’s first-order epistemic logic is grounded on a logic free of ontological presuppositions with respect to singular terms. It is also a logic (...) free of presuppositions of uniqueness of reference. After having focused on the use of quantifiers and singular terms in Hintikka’s epistemic logic, I discuss some consequences from a semantico-logical perspective, but also from a philosophical one. By arguing against the so-called contingent a priori truths defended by Kripke, I conclude with a proposal in favour of Hintikka’s non-rigid interpretation of proper names. (shrink)

The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...) facie unrelated deductive contexts in which Addition fails and attempt to harmonise them by developing a computational interpretation of conceptivist logics. (shrink)

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this (...) logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences. (shrink)

One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most of the propositions (...) which can be constructed from possible and impossible worlds are in an important sense inexpressible; leaving the probabilistic model committed to saying that agents in general have at least as many attitudes towards inexpressible propositions as they do towards expressible propositions. If it is reasonable to think that our attitudes are generally expressible, then a model with such commitments looks problematic. (shrink)

When spelled out properly infallibilism is a viable and even attractive view. Because it has long been summary dismissed, however, we need a guide on how to properly spell it out. The guide has to fulfil four tasks. The first two concern the nature of knowledge: to argue that infallible belief is necessary, and that it is sufficient, for knowledge. The other two concern the norm of belief: to argue that knowledge is necessary, and that it is sufficient, for justified (...) certainty. With such a guide in hand infallibilism can be evaluated on its own merits. The most controversial parts are the first and fourth. The idea that knowledge requires infallible belief is thought to be excessively sceptical. The idea that knowledge warrants certainty is thought to be excessively dogmatic. The present paper addresses the first. It argues that knowledge requires infallible belief. (shrink)

My thesis situates itself within the field of the Philosophy of Worldviews. Specifically, it aims to address the normative question of what the task should be of such a philosophy when faced with the problem of conflicting beliefs between religious worldviews. To answer this question, I turn to the procedure of aporetical analysis, in short, aporetics. Firstly, aporetics offers a distinct method of consistency restoration within inconsistent sets on the basis of thesis rejection and thesis modification. Secondly, aporetics leads to (...) an understanding of the availability of aporetic exits on the basis of epistemic criteria. On the one hand, this leads us to opt for an orientational monism/pluralism, which steers the middle course between the epistemic stances of exclusivism and pluralism. On the other hand, it allows us to identify epistemic criteria for worldview acquisition on the basis of three distinct superclasses. These superclasses can be derived from Jürgen Habermas' validity claims, and applied to the self-understanding of contemporary theories of religion. (shrink)

The Lockean Thesis says that you must believe p iff you’re sufficiently confident of it. On some versions, the 'must' asserts a metaphysical connection; on others, it asserts a normative one. On some versions, 'sufficiently confident' refers to a fixed threshold of credence; on others, it varies with proposition and context. Claim: the Lockean Thesis follows from epistemic utility theory—the view that rational requirements are constrained by the norm to promote accuracy. Different versions of this theory generate different versions of (...) Lockeanism; moreover, a plausible version of epistemic utility theory meshes with natural language considerations, yielding a new Lockean picture that helps to model and explain the role of beliefs in inquiry and conversation. Your beliefs are your best guesses in response to the epistemic priorities of your context. Upshot: we have a new approach to the epistemology and semantics of belief. And it has teeth. It implies that the role of beliefs is fundamentally different than many have thought, and in fact supports a metaphysical reduction of belief to credence. (shrink)

In chapter 5 of Knowledge and its Limits, T. Williamson formulates an argument against the principle (KK) of epistemic transparency, or luminosity of knowledge, namely “that if one knows something, then one knows that one knows it”. Williamson’s argument proceeds by reductio: from the description of a situation of approximate knowledge, he shows that a contradiction can be derived on the basis of principle (KK) and additional epistemic principles that he claims are better grounded. One of them is a reflective (...) form of the margin for error principle defended by Williamson in his account of knowledge. We argue that Williamson’s reductio rests on the inappropriate identification of distinct forms of knowledge. More specifically, an important distinction between perceptual knowledge and non-perceptual knowledge is wanting in his statement and analysis of the puzzle. We present an alternative account of this puzzle, based on a modular conception of knowledge: the (KK) principle and the margin for error principle can coexist, provided their domain of application is referred to the right sort of knowledge. (shrink)

In this paper I argue for a doctrine I call ?infallibilism?, which I stipulate to mean that If S knows that p, then the epistemic probability of p for S is 1. Some fallibilists will claim that this doctrine should be rejected because it leads to scepticism. Though it's not obvious that infallibilism does lead to scepticism, I argue that we should be willing to accept it even if it does. Infallibilism should be preferred because it has greater explanatory power (...) than fallibilism. In particular, I argue that an infallibilist can easily explain why assertions of ?p, but possibly not-p? (where the ?possibly? is read as referring to epistemic possibility) is infelicitous in terms of the knowledge rule of assertion. But a fallibilist cannot. Furthermore, an infallibilist can explain the infelicity of utterances of ?p, but I don't know that p? and ?p might be true, but I'm not willing to say that for all I know, p is true?, and why when a speaker thinks p is epistemically possible for her, she will agree (if asked) that for all she knows, p is true. The simplest explanation of these facts entails infallibilism. Fallibilists have tried and failed to explain the infelicity of ?p, but I don't know that p?, but have not even attempted to explain the last two facts. I close by considering two facts that seem to pose a problem for infallibilism, and argue that they don't. (shrink)

Some wag reported the following story: Scholars have recently established that the Iliad and the Odyssey were not, after all, written by Homer. They were actually written by another author, of the same name.The majority of current theories of naming and reference, including ones as divergent in other respects as those of Russell and Searle, would rule this story impossible. They would do so on roughly these grounds: the sense and reference of the name ‘Homer’ is determined, given the absence (...) of other reliable testimony, by the sole description: ‘Author of the Iliad and the Odyssey’. ‘Homer is the author of the Iliad and the Odyssey’ is therefore known a priori, hence necessarily true. There could not be another author of that name and claim to fame.In lectures delivered at Princeton in the Winter of 1970, Saul Kripke offered a lucid alternative to such theories. (shrink)

From the Editor’s Introduction: "The Internal Limitations of Human Understanding." We carry, unavoidably, the limits of our understanding with us. We are perpetually confined within the horizons of our conceptual structure. When this structure grows or expands, the breadth of our comprehensions enlarges, but we are forever barred from the wished-for glimpse beyond its boundaries, no matter how hard we try, no matter how much credence we invest in the substance of our learning and mist of speculation. -/- The limitations (...) in view here are not due to the mere finitude of our understanding of ourselves and of the world in which we live. They are limitations that come automatically and necessarily with any form of understanding. They are, as we shall see, part and parcel of any organization or ordering of data that we call information. -/- The consequences of these limitations are varied: As a result of them, hermeneutics cannot help but be hermetic; scientific theories of necessity are circumscribed by the boundaries of the ideas that define them; formal systems must choose between consistency and comprehensiveness; philosophical study, because it includes itself within its own proper subject matter, is forced to be reflexive in its self-enclosure. The fundamental dynamic shared by all forms of understanding testifies to an internal limitative keystone. (shrink)

p. cm. — (Zeuthen lecture book series) Includes bibliographical references (p. ) and index. ISBN 0-262-18187-8 (hardcover : alk. paper). — ISBN 0-262-68100-5 (pbk. : alk. paper) 1. Decision-making. 2. Economic man. 3. Game theory. 4. Rational expectations (Economic theory) I. Title. II. Series.

In the accounts we give of one another, claims about our abilities appear to be indispensable. Some abilities are so widespread that many who have them take them for granted, such as the ability to walk, or to write one's name, or to tell a hawk from a handsaw. Others are comparatively rare and notable, such as the ability to hit a Major League fastball, or to compose a symphony, or to tell an elm from a beech. In either case, (...) however, when we ascribe such abilities to one another we have the impression that we are making claims that, whether they are worth saying or not, are at least sometimes true. The impression of truth exerts a pressure towards giving a philosophical theory of ability. It is not an option, at least at the outset, to dismiss all our talk of ability as fiction or outright falsehood. A theory of ability can be reasonably expected to say what it is to have an ability in a way that vindicates the appearance of truth. Such a theory will deserve the name “philosophical” insofar as it gives an account, not of this or that range of abilities, but of abilities generally. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

The deontic modal must has two surprising properties: an assertion of must p does not permit a denial of p, and must does not take past tense complements. I first consider an explanation of these phenomena that stays within Angelika Kratzer’s semantic framework for modals, and then offer some reasons for rejecting that explanation. I then propose an alternative account, according to which simple must sentences have the force of an imperative.

: Evidence claims depend on fallible assumptions. Three strategies for making true evidence claims in spite of this fallibility are strengthening the support for those assumptions, weakening conclusions, and using multiple independent tests to produce robust evidence. Reliability itself, understood in frequentist terms, does not explain the usefulness of all three strategies; robustness, in particular, sometimes functions in a way that is not well-characterized in terms of reliability. I argue that, in addition to reliability, the security of evidence claims is (...) of epistemic value, where an evidence claim is secure relative to an epistemic situation if it remains true in all scenarios that are epistemically possible relative to that epistemic situation. (shrink)

What is the epistemological structure of situations where many small risks amount to a large one? Lottery and preface paradoxes and puzzles about quantum-mechanical blips threaten the idea that competent deduction is a way of extending our knowledge. Seemingly, everyday knowledge involves small risks, and competently deducing the conjunction of many such truths from them yields a conclusion too risky to constitute knowledge. But the dilemma between scepticism and abandoning MPC is false. In extreme cases, objectively improbable truths are known. (...) Safety is modal, not probabilistic, in structure, with closure and factiveness conditions. It is modelled using closeness of worlds. Safety is analogous to knowledge. It suggests an interpretation of possible worlds semantics for epistemic logic. To avoid logical omniscience, a relation of epistemic counterparthood between formulas is introduced. This supports a safety conception of knowledge and formalizes how extending knowledge by deduction depends on logical competence. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Verbs such as know, believe, hope, fear, regret and desire are commonly taken to express an attitude that one may bear towards a proposition and are therefore called verbs of propositional attitude. Thus in (1) below the agent Cathy is reported to have a certain attitude.

The paper sketches an analysis of the notion of a self-fulfilling belief in terms of doxastic modal logic. We point out a connection between self-fulfilling beliefs and Moore’s paradox. Then we look at self-fulfilling beliefs in the context of neighborhood semantics. We argue that the analysis of several interesting self-fulfilling beliefs has to make essential use of propositional quantification.

Pavel Cmorej has argued that the existence of unverifiable and unfalsifiable empirical propositions follows from certain plausible assumptions concerning the notions of possibility and verification. Cmorej proves, it the context of a bi-modal alethic-epistemic axiom system AM4, that (1) p and it is not verified that p is unverifiable; (2) p or it is falsified that p is unfalsifiable; (3) every unverifiable p is logically equivalent to p and it is not verifiable that p; (4) every unverifiable p entails that (...) p is unverifiable. This article elaborates on Cmorej’s results in three ways. Firstly, we formulate a version of neighbourhood semantics for AM4 and prove completeness. This allows us to replace Cmorej’s axiomatic derivations with simple model-theoretic arguments. Secondly, we link Cmorej’s results to two well-known paradoxes, namely Moore’s Paradox and the Knowability Paradox. Thirdly, we generalise Cmorej’s results, show them to be independent of each other and argue that results (3) and (4) are independent of any assumptions concerning the notion of verification. (shrink)

Much of the extant discussion focuses on the question of whether contextualism resolves skeptical paradoxes. Understandably. Yet there has been less discussion as to the internal structure of contextualist theories. Regrettably. Here, for instance, are two questions that could stand further discussion: (i) what is the linguistic basis for contextualism and (ii) what is the parameter that shifts with context?

This thesis deals with the phenomenon of attitude reporting. More specifically, it provides a unified semantics of de re and de se belief reports. After arguing that de se belief is best thought of as a special case of de re belief, I examine whether we can extend this unification to the realm of belief reports. I show how, despite very promising first steps, previous attempts in this direction ultimately fail with respect to some relatively recent linguistic data involving quantified (...) and infinitival reports, logophoric constructions, and monstrously shifted indexicals. Formalizing my idea of a contextual resolution of acquaintance relations in a dynamic framework, I arrive at an alternative analysis that handles all these data. (shrink)

This work explores the hypothesis that natural language is a tool for changing a language user's state of mind and, more specifically, the hypothesis that a sentence's meaning is constituted by its characteristic role in fulfilling this purpose. This view contrasts with the dominant approach to semantics due to Frege, Tarski and others' work on artificial languages: language is first and foremost a tool for representing the world. Adapted to natural language by Davidson, Lewis, Montague, et. al. this dominant approach (...) has crystalized as truth-conditional semantics: to know the meaning of a sentence is to know the conditions under which that sentence is true. Chapter 1 details the animating ideas of my alternative approach and shows that the representational function of language can be understood in terms of the more general function of changing representational mental states. Chapters 2-4 argue that the additional resources of this more general conception of meaning allow us to explain certain phenomena involving conditionals and grammatical mood that truth-conditional semantics does not. In the analysis of these specific phenomena and the articulation of the general approach on offer, it emerges that this approach combines insights and benefits from both use-theoretic and truth-theoretic work on meaning. (shrink)

: Evidence claims depend on fallible assumptions. This paper discusses inferential robustness as a strategy for justifying evidence claims in spite of this fallibility. I argue that robustness can be understood as a means of establishing the partial security of evidence claims. An evidence claim is secure relative to an epistemic situation if it remains true in all scenarios that are epistemically possible relative to that epistemic situation.

I contrast two modes of error-elimination relevant to evaluating evidence in accounts that emphasize frequentist reliability. The contrast corresponds to that between the use of of a reliable inference procedure and the critical scrutiny of a procedure with regard to its reliability, in light of what is and is not known about the setting in which the procedure is used. I propose a notion of security as a category of evidential assessment for the latter. In statistical settings, robustness theory and (...) misspecification testing exemplify two distinct strategies for securing statistical inferences. (shrink)

In this paper, we investigate the representation of negated sentences in Minimal Recursion Semantics (Copestake, Flickinger, Pollard, & Sag, 2005). We begin with its treatment in the English Resource Grammar (Flickinger, 2000, 2011), a broad-coverage implemented HPSG (Pollard & Sag, 1994), and argue that it is largely a suitable representation for English, despite possible objections. We then explore whether it is suitable for typologically different languages: namely, those that express sentential negation via inflection on the verb, particularly Turkish and Inuktitut. (...) We find that the interaction between negation and intersective modifiers requires a change to the way in which (at least) one of them contributes to semantic composition, and we argue for adapting the analysis of intersective modifiers. (shrink)

A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. But it's hardly a conceptual or analytical truth that if a glass contains water, then it contains H2O-molecules. Neither is it a priori. The fact that water is composed of H2O-molecules was an empirical discovery made in the eighteenth century. (...) The fact that all bachelors are unmarried was not. But neither is a logical truth, so how do we explain the difference? Two-dimensional semantics is a framework that promises to shed light on these issues. The main purpose of this thesis is to understand and evaluate this framework in relation to various alternatives, to see whether some version of it can be defended. I argue that it fares better than the alternatives. However, much criticism of two-dimensionalism has focused on its alleged inability to provide a proper semantics for certain epistemic operators, in particular the belief operator and the a priori operator. In response to this criticism, a two-dimensional semantics for belief ascriptions is developed using structured propositions. In connection with this, a number of other issues in the semantics of belief ascriptions are addressed, concerning indexicals, beliefs de se, beliefs de re, and the problem of logical omniscience. (shrink)

Keskityn siihen miten Leibnizilla yksittäiset mielihyvän tai mielipahan tiedostamattomat havainnot voivat kasautua tai tiivistyä ja muodostaa vähitellen tunteita, joista tulemme tietoisiksi.

Italian is a well-known exception to the cross-linguistic generalization according to which `belief' predicates are indicative selectors across languages. We newly propose that languages that select the subjunctive with epistemic predicates allow us to see a systematic polysemy between what we call an expressive-`belief' (featuring only a doxastic dimension) and an inquisitive-`belief' (featuring both a doxastic and an epistemic dimension conveying doxastic certainty (in the assertion) and epistemic uncertainty (in the presupposition)). We offer several previously unseen contrasts proving this distinction (...) and offer a new analysis for mood choice cross-linguistically. We argue that the distinction between expressive and inquisitive attitudes is not an idiosyncrasy of non-factive epistemics. We provide novel data, showing that fictional predicates (dream, imagine) license the subjunctive. We explain the indicative/subjunctive alternation by again appealing to epistemic uncertainty and disentangling expressive from inquisitive-fictional meanings. We thus pave the way for a new typology of attitudes relying on this systematic polysemy and propose new criteria to explain mood distribution cross-linguistically. (shrink)

The frequently used term "certainty" plays in the human life an important role, especially in specifying the goals of human activities. The presented study distinguishes two different meanings of this term: the certainty as a state of the mind and the certainty of anything, i.e. the certainty connected with a set of specific conditions. A certainty in the former meaning is usually presented as an important component of some ideologies. As an explanatory model of the certainty of anything, there could (...) be applied the approaches developed in the sphere of intensional or modal logics, especially the concept of epistemic attitudes. The contemporary scientific and technological thinking usually justifies an acceptable model od epistemic attitudes by means of various measures based on the scheme of decreasing uncertainty or, as it is typical for information models, by means of decreasing entropy level. (shrink)

The main focus of this article is the occurrence of some polarity items (PIs) in the complements of emotive factive verbs and only. This fact has been taken as a challenge to the semantic approach to PIs (Linebarger 1980), because only and factive verbs are not downward entailing (DE). A modification of the classical DE account is proposed by introducing the notion of nonveridicality (Zwarts 1995, Giannakidou 1998, 1999, 2001) as the one crucial for PI sanctioning. To motivate this move, (...) it is first shown that two solutions in the direction of weakening classical monotonicity do not work: Strawson DE (von Fintel 1999) and weak DE (Hoeksema 1986). Weakening DE systematically either overgenerates or undergenerates, in either case failing to characterize the correct set of licensers. Nonveridicality is introduced as a conservative extension of DE and is shown to account for PIs also in contexts that are not DE (i.e. questions, modal verbs, imperatives, directive propositional attitudes). This theory, augmented with the premise that certain PIs (i.e. the liberal class represented by any) are subject to a weaker polarity dependency identified not as LICENSING but as RESCUING by nonveridicality, explains the occurrence of this particular class with only and emotive factive verbs. Crosslinguistic comparisons illustrate that the occurrence of PIs with only and emotive factives is not a general phenomenon, and further support the dual nature of polarity dependency and the semantic characterization of the elements that license or rescue PIs. (shrink)