918 resultados para Philosophical logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

by Israel Efros