Cette contribution a deux objectifs principaux. Le premier est de montrer que les intuitions sont caractérisées par ce que j’appellerai « une capacité rationnelle », c’est-à-dire, qu’elles sont susceptibles d’être évaluées quant à leur rationalité ou leur irrationalité. Le second objectif de cet article est d’étayer l’hypothèse selon laquelle les intuitions seraient des états affectifs proches des émotions — et non pas des états doxastiques ou des expériences perceptuelles —, en montrant qu’une telle conception affective des intuitions est seule capable (...) de rendre compte de la spécificité phénoménologique, la modularité, et la capacité rationnelle des intuitions. This article has two purposes. First, it wants to show that intuitions possess, what I shall call, “a rational capacity” : they are mental states susceptible to be assessed as rational or irrational. Second, this contribution aims at providing some evidence supporting the view that intuitions are affective states similar to emotions rather than doxastic or perceptual states. Such an affective account of the intuitions is the only one able to capture the specific phenomenology, the modularity and the rational capacity of the intuitions. (shrink)

Suppose that time t is just a few moments from now. And suppose that the proposition that Jones sits at t was true a thousand years ago. Does the thousand-years-ago truth of that proposition imply that Jones's upcoming sitting at t will not be free? This article argues that it does not. It also argues that Jones even now has a choice about the thousand-years-ago truth of that Jones sits at t . Those arguments do not require the complex machinery (...) of Ockhamism, with its distinction between hard facts and soft facts; indeed, those arguments do not require any complex machinery at all. Instead, those arguments are built on an uncontroversial understanding of the idea that truth depends on the world. In the final section of the article, those arguments are extended to show that foreknowledge of an action does not threaten that action's freedom. (shrink)

In this paper I develop a semantic theory of vagueness that is immune to worries regarding the use of precise mathematical tools. I call this view semantic quietism. This view has the advantage of being clearly compatible with the phenomenon of vagueness. The cost is that it cannot capture every robust semantic fact.

It is notoriously difficult to model the range of application of vague predicates relative to a suitable sorites series. In this paper I offer some critical remarks against an interesting view that has received little attention in the literature. According to it, the sharp cut-offs we find in our semantic models are just artifacts of the theory, and, as such, they are harmless. At the end I discuss a contextualist view that, at a cost, may be able to get around (...) the problems related to sharp cut-offs incurred in by other theories of vagueness. Es sumamente difícil modelar el rango de aplicación de predicados vagos relativo a una serie sorites apropiada. En este artículo ofrezco algunos comentarios críticos en contra de una postura interesante que ha recibido poca atención en la literatura. De acuerdo con ella, los cortes precisos que encontramos en modelos semánticos son simplemente artefactos de la teoría, y, como tales, son inofensivos. Al final del artículo discuto una postura contextualista que, no sin sacrificios, podría ser capaz de evadir los problemas relacionados con cortes precisos que otras teorías de la vaguedad poseen. (shrink)

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (shrink)

Does the recent success of Podemos and Syriza herald a new era of inclusive, egalitarian left populism? Because leaders of both parties are former students of Ernesto Laclau and cite his account of populism as guiding their political practice, this essay considers whether his theory supports hope for a new kind of populism. For Laclau, the essence of populism is an “empty signifier” that provides a means by which anyone can identify with the people as a whole. However, the concept (...) of the empty signifier is not as neutral as he assumes. As I show by analyzing the role of race in his theory, some subjects are constituted in a way that prevents their unmediated identification with the people. Consequently, Laclau’s view should be read as symptomatic of the problems with populist logic if its adherents are to avoid reproducing its exclusions and practice a more inclusive politics. (shrink)

The principle of common cause asserts that positive correlations between causally unrelated events ought to be explained through the action of some shared causal factors. Reichenbachian common cause systems are probabilistic structures aimed at accounting for cases where correlations of the aforesaid sort cannot be explained through the action of a single common cause. The existence of Reichenbachian common cause systems of arbitrary finite size for each pair of non-causally correlated events was allegedly demonstrated by Hofer-Szabó and Rédei in 2006. (...) This paper shows that their proof is logically deficient, and we propose an improved proof. (shrink)

Peter Singer has argued for a radical anti-intuitionism on the basis of recent empirical research into the psychological and evolutionary origins of moral intuition. There is, however, a gap between the putative genealogy of moral intuition that Singer offers and his desired methodological claim. I explore three ways to bridge the gap, and argue that the promising way is to construe the genealogy as a debunking genealogy. I sketch an account of how debunking arguments work, and then show that this (...) causes problems for Singer, since utilitarianism itself is liable to be debunked. Finally, I suggest how we can take lessons for ethics from the empirical work, but that the result is a far more restricted kind of anti-intuitionism than Singer was hoping for. (shrink)

In section 1 we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of theclassical meaning of the logical constants, and consequently is incompatible with the antirealism of orthodox intuitionism. In section 2 we show how what we call the potential intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion of atemporal provability (...) and, on the other, by means of the operator K of epistemic logic. Intuitionistic logic, as reconstructed within this perspective, turns out to be a part of epistemic logic, so that it loses its traditional foundational role, antithetic to that of classical logic. In section 3 we uphold the view that certain consequences of the adoption of atemporal notion of truth, despite their apparent oddity, are quite acceptable from an antirealist point of view. (shrink)

Inquiry, Volume 57, Issue 1, Page 55-96, February 2014.

I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...) a conception of conditionals as referential devices which allow us to talk about particular worlds. (shrink)

Scientific progress has many facets and can be conceptualized in different ways, for example in terms of problem-solving, of truthlikeness or of growth of knowledge. The main claim of the paper is that the most important prerequisite of scientific progress is the institutionalization of competition and criticism. An institutional framework appropriately channeling competition and criticism is the crucial factor determining the direction and rate of scientific progress, independently on how one might wish to conceptualize scientific progress itself. The main intention (...) is to narrow the divide between traditional philosophy of science and the sociological, economic and political outlook at science that emphasizes the private interests motivating scientists and the subsequent contingent nature of the enterprise. The aim is to show that although science is a social enterprise taking place in historical time and thus is of a contingent nature, it can and in fact does lead to genuine scientific progress - contrary to the claims of certain sociologists of science and other relativists who standardly stress its social nature, but deny its progressive character. I will first deal with the factual issue by way of introducing the main concepts and mechanisms of modern institutional theory and by applying them to the analysis of the cultural phenomenon that we call modern science. I will then turn to the normative issue: what is the appropriate content of the institutional framework, for scientific progress to emerge and be sustained at which level should it be set and by whom? Addressing this problematic is equivalent to conducting a constitutional debate leading to a Constitution of Science. (shrink)

The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers’ 2D semantics with Kripke’s modal metaphysics. I argue that such a project is not viable. The ambitious modal epistemology involves an inconsistent triad composed of (1) Modal Monism, (2) Two-Dimensionalism, and what I call (3) “Metaphysical Kripkeanism”. I present the three theses and show how only two of those can be true at a time. There is a fundamental incompatibility between (...) Chalmers’ Modal Rationalism and Kripke’s modal metaphysics. Specifically, Chalmers’ conceivability entails possibilities that a Kripkean rejects as genuinely metaphysical. However, three positive stances in modal epistemology emerge from the combinations that the triad allows. One of those offers a promising way forward for 2D modal epistemologies. But it comes with a cost, as it requires abandoning modal monism and reshaping the scope of what a priori conceivability can give us access to. (shrink)

The thin red line ( TRL ) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL is widely regarded (...) to suffer from several fundamental problems. In this paper we propose several new TRL semantics, each with differing degrees of success. This leads up to our final semantics, which is a cross between the TRL and supervaluationism. We discuss the notions of truth, validity and semantic consequence which result from our final semantics, and demonstrate some of its pleasing results. This account, we believe, answers the main objection in the literature, and thus places the TRL on the same level as any other competing semantics for future contingents. (shrink)

In “Against Arguments from Reference” (Mallon et al., 2009), Ron Mallon, Edouard Machery, Shaun Nichols, and Stephen Stich (hereafter, MMNS) argue that recent experiments concerning reference undermine various philosophical arguments that presuppose the correctness of the causal-historical theory of reference. We will argue three things in reply. First, the experiments in question—concerning Kripke’s Gödel/Schmidt example—don’t really speak to the dispute between descriptivism and the causal-historical theory; though the two theories are empirically testable, we need to look at quite different data (...) than MMNS do to decide between them. Second, the Gödel/Schmidt example plays a different, and much smaller, role in Kripke’s argument for the causal-historical theory than MMNS assume. Finally, and relatedly, even if Kripke is wrong about the Gödel/Schmidt example—indeed, even if the causal-historical theory is not the correct theory of names for some human languages—that does not, contrary to MMNS’s claim, undermine uses of the causalhistorical theory in philosophical research projects. (shrink)

We argue against the knowledge rule of assertion, and in favour of integrating the account of assertion more tightly with our best theories of evidence and action. We think that the knowledge rule has an incredible consequence when it comes to practical deliberation, that it can be right for a person to do something that she can't properly assert she can do. We develop some vignettes that show how this is possible, and how odd this consequence is. We then argue (...) that these vignettes point towards alternate rules that tie assertion to sufficient evidence-responsiveness or to proper action. These rules have many of the virtues that are commonly claimed for the knowledge rule, but lack the knowledge rule's problematic consequences when it comes to assertions about what to do. (shrink)

Many have argued that a rational agent's attitude towards a proposition may be better represented by a probability range than by a single number. I show that in such cases an agent will have unstable betting behaviour, and so will behave in an unpredictable way. I use this point to argue against a range of responses to the ‘two bets’ argument for sharp probabilities.

In this paper I present a new way of understanding Dutch Book Arguments: the idea is that an agent is shown to be incoherent iff he would accept as fair a set of bets that would result in a loss under any interpretation of the claims involved. This draws on a standard definition of logical inconsistency. On this new understanding, the Dutch Book Arguments for the probability axioms go through, but the Dutch Book Argument for Reflection fails. The question of (...) whether we have a Dutch Book Argument for Conditionalization is left open. (shrink)

Could a sentence be, say, 3rd order vague, but 4th order precise? In Williamson 1999 we find an argument that seems to show that this is impossible: every sentence is either 1st order precise, 2nd order precise, or infinitely vague. The argument for this claim is unpersuasive, however, and this paper explains why.

(No abstract is available for this citation).

We divide analytic metaphysics into naturalistic and non-naturalistic metaphysics. The latter we define as any philosophical theory that makes some ontological (as opposed to conceptual) claim, where that ontological claim has no observable consequences. We discuss further features of non-naturalistic metaphysics, including its methodology of appealing to intuition, and we explain the way in which we take it to be discontinuous with science. We outline and criticize Ladyman and Ross's 2007 epistemic argument against non-naturalistic metaphysics. We then present our own (...) argument against it. We set out various ways in which intellectual endeavours can be of value, and we argue that, in so far as it claims to be an ontological enterprise, non-naturalistic metaphysics cannot be justified according to the same standards as science or naturalistic metaphysics. The lack of observable consequences explains why non-naturalistic metaphysics has, in general, failed to make progress, beyond increasing the standards of clarity and precision in expressing its theories. We end with a series of objections and replies. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

This paper motivates and explores an expressivist theory of vagueness, modelled on Allan Gibbard’s normative expressivism. It shows how Chris Kennedy’s semantics for gradable adjectives can be adjusted to fit into a theory on Gibbardian lines, where assertions constrain not just possible worlds but plans for action. Vagueness, on this account, is literally indecision about where to draw lines. It is argued that the distinctive phenomena of vagueness, such as the intuition of tolerance, can be explained in terms of practical (...) constraints on plans, and that the expressivist view captures what is right about several contending theories of vagueness. (shrink)

Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. (shrink)

Some people think that grounding is a type of identity. And some people think that grounding connections hold necessarily. I show that, under plausible assumptions, if grounding is a type of identity, then grounding connections hold necessarily.

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...) n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

Consider one of several things. Is the one thing necessarily one of the several? This key question in the modal logic of plurals is clarified. Some defenses of an affirmative answer are developed and compared. Various remarks are made about the broader philosophical significance of the question.

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

Imaginative resistance refers to a phenomenon in which people resist engaging in particular prompted imaginative activities. On one influential diagnosis of imaginative resistance, the systematic difficulties are due to these particular propositions’ discordance with real-world norms. This essay argues that this influential diagnosis is too simple. While imagination is indeed by default constrained by real-world norms during narrative engagement, it can be freed with the power of genre conventions and expectations.

According to the Transmission View of Testimony : TVT: If a speaker testifies to a hearer that p, and if the hearer is justified in believing that p on the basis of that speaker's testimony, then the hearer's belief is justified by whatever justification the speaker has for believing that p. The aim of this paper is to develop and defend a novel objection to the TVT.

This essay develops a joint theory of rational (all-or-nothing) belief and degrees of belief. The theory is based on three assumptions: the logical closure of rational belief; the axioms of probability for rational degrees of belief; and the so-called Lockean thesis, in which the concepts of rational belief and rational degree of belief figure simultaneously. In spite of what is commonly believed, this essay will show that this combination of principles is satisfiable (and indeed nontrivially so) and that the principles (...) are jointly satisfied if and only if rational belief is equivalent to the assignment of a stably high rational degree of belief. Although the logical closure of belief and the Lockean thesis are attractive postulates in themselves, initially this may seem like a formal “curiosity”; however, as will be argued in the rest of the essay, a very reasonable theory of rational belief can be built around these principles that is not ad hoc and that has various philosophical features that are plausible independently. In particular, this essay shows that the theory allows for a solution to the Lottery Paradox, and it has nice applications to formal epistemology. The price that is to be paid for this theory is a strong dependency of belief on the context, where a context involves both the agent's degree of belief function and the partitioning or individuation of the underlying possibilities. But as this essay argues, that price seems to be affordable. (shrink)

Vetter's Potentiality is an exposition and development of a new account of possibility and necessity, given in terms of potentialities. In this critical notice, I give an outline of some of the key claims of the book. I then raise some issues for the extent to which Vetter's view can accommodate genuine de re modalities, especially those of possible existence and non-existence.

In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes’ representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas–Dunn duality and introduce the categories of 2spaces and 2spaces\. The categories of 2spaces and 2spaces\ will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces (...) with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent. (shrink)

Vagueness is an extremely common feature of natural language, but does it actually play a positive, efficiency enhancing, role in communication? Adopting a probabilistic interpretation of vague terms, we propose that vagueness might act as a source of randomness when deciding what to assert. In this context we investigate the efficacy of multiple sender channels in which senders choose assertions stochastically according to vague definitions of the relevant words, and a receiver then aggregates the different signals. These vague channels are (...) then compared with Boolean channels in which assertions are selected deterministically based on classical definitions. We show that given a sufficient number of senders, a linear stochastic channel outperforms Boolean channels when performance is measured by the expected squared error between the actual value described by the senders and the receiver’s estimate of it based on the signals they receive. The number of senders required for vague channels to be at least as accurate as Boolean channels is shown to be a decreasing function of the size of the language i.e. the number of description labels available to the senders. Vague channels are then shown to be robust to transmission error provided the error rate is not too large. In addition, we investigate the behaviour of both Boolean and vague channels for a parametrised family of distributions on the input values. Finally, we consider optimal vague channels assuming a fixed number of senders and show that, provided there are more than two senders, a vague channel can be found that outperforms the optimal Boolean channel. In this context, we show that for channels with relatively low numbers of senders S-curve production functions are optimal. (shrink)

Abstract: Chomsky (1986) has claimed that the prima facie incompatibility between descriptive linguistics and semantic externalism proves that an externalist semantics is impossible. Although it is true that a strong form of externalism does not cohere with descriptive linguistics, sociolinguistic theory can unify the two approaches. The resulting two-level theory reconciles descriptivism, mentalism, and externalism by construing community languages as a function of social identification. This approach allows a fresh look at names and definite descriptions while also responding to Chomsky's (...) (1993, 1995) challenge to articulate an externalist theory of meaning that can be used in the scientific investigation of language. (shrink)

Recent arguments for relativist semantic theories have centered on the phenomenon of “faultless disagreement.” This paper offers independent motivation for such theories, based on the interpretation of predicates of personal taste in certain attitude contexts and presuppositional constructions. It is argued that the correct interpretation falls out naturally from a relativist theory, but requires special stipulation in a theory which appeals instead to the use of hidden indexicals; and that a hidden indexical analysis presents problems for contemporary syntactic theory.

This paper argues that truth values of sentences containing predicates of “personal taste” such as fun or tasty must be relativized to individuals. This relativization is of truth value only, and does not involve a relativization of semantic content: If you say roller coasters are fun, and I say they are not, I am negating the same content which you assert, and directly contradicting you. Nonetheless, both our utterances can be true (relative to their separate contexts). A formal semantic theory (...) is presented which gives this result by introducing an individual index, analogous to the world and time indices commonly used, and by treating the pragmatic context as supplying a particular value for this index. The context supplies this value in the derivation of truth values from content, not in the derivation of content from character. Predicates of personal taste therefore display a kind of contextual variation in interpretation which is unlike the familiar variation exhibited by pronouns and other indexicals. (shrink)

Objective Bayesianism says that the strengths of one’s beliefs ought to be probabilities, calibrated to physical probabilities insofar as one has evidence of them, and otherwise sufficiently equivocal. These norms of belief are often explicated using the maximum entropy principle. In this paper we investigate the extent to which one can provide a unified justification of the objective Bayesian norms in the case in which the background language is a first-order predicate language, with a view to applying the resulting formalism (...) to inductive logic. We show that the maximum entropy principle can be motivated largely in terms of minimising worst-case expected loss. (shrink)

A finite chain of valid arguments can never lead from truth to falsehood. Call this the concatenation principle, or CP. Some propose to reject CP in response to the sorites paradox. I offer...

What is the proper attitude toward what is expressed by a vague sentence in the face of borderline evidence? Some call this attitude “ambivalence” and distinguish it from uncertainty. It has been argued that Classical Epistemicism conjoined with classical probability theory fails to characterize this attitude, and that we must therefore abandon classical logic or classical probabilities in the presence of vagueness. In this paper, I give a characterization of ambivalence assuming a supervaluationist semantics for vague terms that does not (...) revise either. The theory, which I call the theory of Superprobabilities, identifies the proper attitude toward a vague sentence, in the presence of exact borderline evidence, as the set of classical probabilities of the evidence on each member of the set of all precisifications of a vague sentence. I defend the use of sets of probabilities against objections by generalizing the theory of Superprobabilities to a decision theory called Superrationality. I then compare the merits of the theory of Superprobabilities to Classical Epistemicism and nonclassical probabilities theories with respect to the problem of ambivalence. (shrink)

It is a common intuition that at least in some cases disagreement has skeptical consequences: the participants are not justified in persisting in their beliefs. I will argue that the currently popular non-dialectical and individualistic accounts of justification, such as evidentialism and reliabilism, cannot explain this intuition and defend the dialectical conception of justification that can explain it. I will also argue that this sort of justification is a necessary condition of knowledge by relying on Craig's genealogy of the concept (...) of knowledge. I will then respond to the accusation that the dialectical conception leads to radical skepticism. My response is partly concessive. It does lead to skepticism in areas where controversy prevails, such as philosophy, politics and religion, but this sort of skepticism is quite intuitive. Finally, I deal with the objection that my defense of skepticism about philosophy is self-refuting. (shrink)

Davidson argues that metaphorical sentences express no propositional contents other than the explicit literal contents they express. He offers a causal account, on the one hand, as an explanation of the supposed additional content of a metaphor in terms of the effects metaphors have on hearers, and on the other hand, as a reason for the non-propositional nature of the “something more” that a metaphor is alleged to mean. Davidson’s account is meant to restrict the semantic notions of meaning, content, (...) and truth, to literal sentences. I argue that the Davidsonian causal account does not satisfactorily account for metaphor’s figurativeness, speakers’ assertion and hearers’ uptake of metaphor, and our discursive practices of using metaphors in disagreements and argumentation. I offer a non-compositional analysis of a semantic account of metaphor within which one can make sense of the applicability of the notions of meaning and content to metaphor. This analysis shows that metaphorical sentences have meanings other than, and in addition to, their literal meanings and what speakers can use them to mean. (shrink)

The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations is provided. These negations (...) allow us to express the statements about knowing or not knowing something at the syntactic level. Moreover, such a system is applied to the analysis of knowability paradox. In particular, we show that the paradox is not derivable in terms of the logic of rational agent. (shrink)