What is the contrary of pleasure? “Pain” is one common answer. This paper argues that pleasure instead has two natural contraries: unpleasure and hedonic indifference. This view is defended by drawing attention to two often-neglected concepts: the formal relation of polar opposition and the psychological state of hedonic indifference. The existence of mixed feelings, it is argued, does not threaten the contrariety of pleasure and unpleasure.

In "Metaphysics" Gamma 3 Aristotle declares that the philosopher investigates things that are qua things that are and that he therefore should be able to state the firmest principles of everything. The firmest principle of all is identified as the principle of non-contradiction (PNC). The main focus of Gamma 3 is Aristotle's proof for this identification. This paper begins with remarks about Aristotle's notion of the firmness of a principle and then offers an analysis of the firmness proof for PNC. (...) It focuses on some key assumptions of the proof and on the range and force of the proof. Aristotle closes Gamma 3 with the claim that PNC is ultimate in the sense that all other principles somehow rest on it. This, rather controversial, claim is given a defensible reading and shown to be central to the chapter's effort to establish PNC as the firmest principle of all. As such it completes the firmness proof and is not simply an appended remark. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

Desires matter. What are desires? Many believe that desire is a motivational state: desiring is being disposed to act. This conception aligns with the functionalist approach to desire and the standard account of desire's role in explaining action. According to a second influential approach, however, desire is first and foremost an evaluation: desiring is representing something as good. After all, we seem to desire things under the guise of the good. Which understanding of desire is more accurate? Is the guise (...) of the good even right to assume? Should we adopt an alternative picture that emphasizes desire's deontic nature? What do neuroscientific studies suggest? -/- Essays in the first section of the volume are devoted to these questions, and to the puzzle of desire's essence. In the second part of the volume, essays investigate some implications that the various conceptions of desire have on a number of fundamental issues. For example, why are inconsistent desires problematic? What is desire's role in practical deliberation? How do we know what we want? -/- This volume will contribute to the emergence of a fruitful debate on a neglected, albeit crucial, dimension of the mind. (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

The proper sensible criterion of sensory individuation holds that senses are individuated by the special kind of sensibles on which they exclusively bear about (colors for sight, sounds for hearing, etc.). H. P. Grice objected to the proper sensibles criterion that it cannot account for the phenomenal difference between feeling and seeing shapes or other common sensibles. That paper advances a novel answer to Grice's objection. Admittedly, the upholder of the proper sensible criterion must bind the proper sensibles –i.e. colors– (...) to the common sensibles –i.e. shapes– so as to account for the visual phenomenal character of shapes. But, as Grice rightly objected, neither association, nor ontological dependence will do –I spend some time isolating why dependence is a bad answer here, basically because the dependence of shape on colors is generic, and that genericity is arguably not part of the phenomenal content of perception. -/- Grice is wrong, however, to think that once association and dependence have been rebutted, there is no other way to attach color to extension. The right way to connect proper and common sensibles is rather trivial, although it seems to have been widely neglected: proper sensibles FILL common ones. To see a shape, by contrast to feeling it, is to perceived as filled by some color. To feel a shape, is to perceive it as, say, filled by pressure. Filling in is the phenomenal connection between proper and common sensibles. -/- One important corollary of that proposal is that proper sensibles –color, pressure, noise, taste...– have to belong to the category of stuffs, in the sense of uncountable entities. Against the widespread view that colors are properties, which have countable instances, the last part of the paper argues that colors are phenomenal stuffs, which fill some visual area. One commits a category mistake in asking: "How many tropes/instances of this determinate redness is there on that ladybird". One should rather ask "How much of this determinate redness is there on that ladybird". (shrink)

Scholars often assert that Plato and Aristotle share the view that discursive thought is internal speech. However, there has been little work to clarify or substantiate this reading. In this paper I show Plato and Aristotle share some core commitments about the relationship of thought and speech, but cash out TIS in different ways. Plato and Aristotle both hold that discursive thinking is a process that moves from a set of doxastic states to a final doxastic state. The resulting judgments (...) can be true or false. Norms govern these final judgments and, in virtue of that, they govern the process that arrives at those judgments. The principal norm is consistency. However, the philosophers differ on the source of this norm. For Plato, persuasiveness and accuracy ground non-contradiction because internal speech is dialogical. For Aristotle, the Principle of Non-Contradiction grounds a Doxastic Thesis that no judgment can contradict itself. For Aristotle, metaphysics grounds non-contradiction because internal speech is monological. (shrink)

This presentation traces an historical root of the reductio ad absurdum mode of argumentation in Greek philosophy. I propose a new understanding of the liar paradox as an instance of this mode of argumentation. I show that the paradox was crea ted as part of a refutational argument in the controversy over the justification of realism and the realists concepts of truth and certainty. The paradox was part of the dialectical style of Greek scepticism, which was characterized, inter alia, by (...) the u se of the reductio ad absurdum. The paradox turns out to be a metaphysical and epistemological argument. (shrink)

The preface paradox strikes us as puzzling because we feel that if a person holds a set of inconsistent beliefs, i.e. beliefs such that at least one of them must be correct, then he should give at least one of them up. Equally, if a person's belief is rational, then he has a right to hold it. Yet the preface example is prima facie a case in which a person holds an inconsistent set of beliefs each of which is rational, (...) and thus a case in which that person has a duty to relinquish what he has a right to keep. (shrink)

A number of philosophers deny that contradictions can be believed. Are they correct? In this note, I show that even in quite weak logics, on pain of inconsistency, if there are false beliefs, either there are propositions which are true but unbelievable or contradictions are believable. Since the antecedent clearly holds, I offer some considerations in favor of the latter disjunct. Objections and variants of the main argument are considered.

Simon Evnine examines various epistemic aspects of what it is to be a person. Persons are defined as finite beings that have beliefs, including second-order beliefs about their own and others' beliefs, and are agents, capable of making long-term plans. It is argued that for any being meeting these conditions, a number of epistemic consequences obtain. First, all such beings must have certain logical concepts and be able to use them in certain ways. Secondly, there are at least two principles (...) governing belief that it is rational for persons to satisfy and are such that nothing can be a person at all unless it satisfies them to a large extent. These principles are that one believe the conjunction of one's beliefs and that one treat one's future beliefs as, by and large, better than one's current beliefs. Thirdly, persons both occupy epistemic points of view on the world and show up within those views. This makes it impossible for them to be completely objective about their own beliefs. Ideals of rationality that require such objectivity, while not necessarily wrong, are intrinsically problematic for persons. This "aspectual dualism" is characteristic of treatments of persons in the Kantian tradition. In sum, these epistemic consequences support a traditional view of the nature of persons, one in opposition to much recent theorizing. (shrink)