The Emotions: A Philosophical Introduction

The emotions are at the centre of our lives and, for better or worse, imbue them with much of their significance. The philosophical problems stirred up by the existence of the emotions, over which many great philosophers of the past have laboured, revolve around attempts to understand what this significance amounts to. Are emotions feelings, thoughts, or experiences? If they are experiences, what are they experiences of? Are emotions rational? In what sense do emotions give meaning to what surrounds us? The Emotions: A Philosophical Introduction introduces and explores these questions in a clear and accessible way. The authors discuss the following key topics: the diversity and unity of the emotions the relations between emotion, belief and desire the nature of values the relations between emotions and perceptions emotions viewed as evaluative attitudes the link between emotions and evaluative knowledge the nature of moods, sentiments, and character traits. Including chapter summaries and guides to further reading, The Emotions: A Philosophical Introduction is an ideal starting point for any philosopher or student studying the emotions. It will also be of interest to those in related disciplines such as psychology and the social sciences.

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Censors for Boolean Description Logic

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Later Wittgenstein's Anti-Philosophical Therapy

The object of this essay is to discuss Ludwig Wittgenstein's remarks in Philosophical Investigations and elsewhere in the posthumously published writings concerning the role of therapy in relation to philosophy. Wittgenstein's reflections seem to suggest that there is a kind of philosophy or mode of investigation targeting the philosophical grammar of language uses that gratuitously give rise to philosophical problems, and produce in many thinkers philosophical anxieties for which the proper therapy is intended to offer relief. Two possible objectives of later Wittgensteinian therapy are proposed, for subjective psychological versus objective semantic symptoms of ailments that a therapy might address for the sake of relieving philosophical anxieties. The psychological in its most plausible form is rejected, leaving only the semantic. Semantic therapy in the sense defined and developed is more general and long-lasting, and more in the spirit of Wittgenstein's project on a variety of levels. A semantic approach treats language rather than the thinking, language-using subject as the patient needing therapy, and directs its attention to the treatment of problems in language and the conceptual framework a language game use expresses in its philosophical grammar, rather than to soothing unhappy or socially ill-adjusted individual psychologies.

Against Logically Possible World-Relativized Existence

The thesis that entities exist in, at, or in relation to logically possible worlds is criticized. The suggestion that actually nonexistent fictional characters might nevertheless exist in nonactual merely logically possible worlds runs afoul of the most general transworld identity requirements. An influential philosophical argument for the concept of world-relativized existence is examined in Alvin Plantinga’s formal development and explanation of modal semantic relations. Despite proposing an attractive unified semantics of alethic modality, Plantinga’s argument is rejected on formal grounds as supporting materially false actual existence assertions in the case of actually nonexistent objects in the framework of Plantinga’s own underlying classical predicate-quantificational logic.