We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.

Correspondence theories are frequently either too vaguely expressed – “true statements correspond to the way things are in the world,” or implausible – “true statements mirror raw, mind-independent reality.” I address this problem by developing features and roles that ought to characterize what I call ldquo;modest” correspondence theories. Of special importance is the role of correspondence in directing our responses to cases of suspected non-factuality; lack of straightforward correspondence shows the need for, and guides us in our choice of, various (...) kinds of reconstrual projects. This, I argue, is in contrast to the approaches suggested by deflationism and coherence, and thus modest correspondence theories are appropriately distinct from rivals. (shrink)

Two aspects of consciousness are first considered: consciousness as awareness (phenomenological meaning) and consciousness as strategic control (functional meaning). As to awareness, three types can be distinguished: first, awareness as the phenomenal experiences of objects and events; second, awareness as meta-awareness, i.e., the awareness of mental life itself; third, awareness as self-awareness, i.e., the awareness of being oneself. While phenomenal experience and self-awareness are usually present during dreaming (even if many modifications are possible), meta-awareness is usually absent (apart from some (...) particular experiences of self-reflectiveness) with the major exception of lucid dreaming. Consciousness as strategic control may also be present in dreams. The functioning of consciousness is then analyzed, following a cognitive model of dream production. In such a model, the dream is supposed to be the product of the interaction of three components: (a) the bottom-up activation of mnemonic elements coming from LTM systems, (b) interpretative and elaborative top-down processes, and (c) monitoring of phenomenal experience. A feedback circulation is activated among the components, where the top-down interpretative organization and the conscious monitoring of the oneiric scene elicitates other mnemonic contents, according to the requirements of the dream plot. This dream productive activity is submitted to unconscious and conscious processes. (shrink)

On Harrison Hall's reading, Kierkegaard uses the terms translated ?eternal happiness? and ?salvation? to refer to a quality of this?worldly life. As I understand him, the author denies that Kierkegaard believed in an afterlife. While acknowledging the vein of meanings that ?Love and Death . . .? point to, I argue that Kierkegaard did in fact look forward to an eternal life in the traditional, Biblical, and so?called common sense of the term. In connection with his views on the question (...) of salvation, Hall holds, and I take issue, that for Kierkegaard Christianity has a minimal objective content. (shrink)

No anthropologist has been as influential outside the own discipline as Lévi-Strauss. From philosophy to history, from politics to literary criticism, from linguistics to sociology, from psychoanalysis to poetry, from art to contemporary music, the œuvre of the author of Tristes Tropiques has fallen on these fields like a beneficial rain, giving them new life. Such a great influence has several reasons. The design of a wide-ranging anthropological project, its philosophical implications, an immense and precious erudition which allows to build (...) connections between the most different fields of humanistic and scientific knowledge, and lastly a great writing, rich of literary vibrations. All the great questions of the present, from the world’s overpopulation to cultural relativism, from the resurgence of the myth to the return of localisms, from the war of the veil to genetic manipulations, all subjects appear in the œuvre of Lévi-Strauss, always in a provocative and anticipatory formulation which represents the precious heritage of the last of the classics. (shrink)

No anthropologist has been as influential outside the own discipline as Lévi-Strauss. From philosophy to history, from politics to literary criticism, from linguistics to sociology, from psychoanalysis to poetry, from art to contemporary music, the œuvre of the author of Tristes Tropiques has fallen on these fields like a beneficial rain, giving them new life. Such a great influence has several reasons. The design of a wide-ranging anthropological project, its philosophical implications, an immense and precious erudition which allows to build (...) connections between the most different fields of humanistic and scientific knowledge, and lastly a great writing, rich of literary vibrations. All the great questions of the present, from the world’s overpopulation to cultural relativism, from the resurgence of the myth to the return of localisms, from the war of the veil to genetic manipulations, all subjects appear in the œuvre of Lévi-Strauss, always in a provocative and anticipatory formulation which represents the precious heritage of the last of the classics. (shrink)

Name der Zeitschrift: Der Islam Jahrgang: 92 Heft: 2 Seiten: 442-467.

This article seeks to locate Louis Althusser’s late preoccupation with the status of Marxists in philosophy through a survey of archival and marginal texts written on and amid struggles within the French education system. This material evidences that Althusser held a long-term ambition to reconcile the demands of being a Marxist in his professional life with the demands of being a philosopher in his political life. On this basis, this article offers an expanded contextualisation of the stakes that weighed upon (...) Althusser’s shifting understanding and inhabitation of a Marxist position in philosophy. It aims to show that Althusser’s involvement with, and changing attitudes towards, the educational institution (and in particular the teaching of philosophy) played a significant role in forging the discontinuities in his conceptualisation of Marxist philosophy. The article additionally traces the afterlife of this practice in the work of Jacques Derrida and the Groupe de recherches sur l’enseignement de a philosophe (GREPH). (shrink)

1. Il problema della povertà evangelica e francescana nel sec. XIII e XIV. Origine del pensiero politico di G. d'Ockham.--2. Il potere come servizio. Dal Principatus dominativus al Principatus ministrativus.

1. La conoscenza -- 2. Dio -- 3. La natura -- 4. L'uomo.

This paper is a critical discussion of Simon Blackburn’s recent work on lust. Blackburn develops a view on which lust is decent only when part of a pure mutuality in sex, and is best left alone—we ought not tamper with its “freedom of flow.” I argue that this treatment, which I believe reflects commonly held views, fails in several ways. First, it does not square with the fact that we pursue lust as a good in itself. Second, pure mutuality is (...) hard to come by and almost impossible to recognize, so Blackburn’s account is more restrictive than it may seem. Third, on such a view, masturbation is morally sanctioned only insofar as it mimics real sex; this doesn’t seem right. Finally, such a perspective fits ill with some recent research on the biology of lust in women. (shrink)

In this volume, political theorists, philosophers and legal scholars critically engage with this idealisation of Levinas ethics.

Writing for non-specialists and students as well as for fellow philosophers, this book explores some basic issues surrounding sex and love in today's world, among them consent, objectification, nonmonogamy, racial stereotyping, and the need to reconcile contemporary expectations about gender equality with our beliefs about how love works. Author Patricia Marino argues that we cannot fully understand these issues by focusing only on individual desires and choices. Instead, we need to examine the social contexts within which choices are made (...) and acquire their meanings. That perspective, she argues, is especially needed today, when the values of individualism, self-expression, and self-interest permeate our lives. Marino asks how we can fit these values, which govern so many areas of contemporary life, with the generosity, caring, and selflessness we expect in love and sex. Key Features ofPhilosophy of Sex and Love: An opinionated introduction Offers a contemporary, problems-based approach to the subject, helping readers better understand and address current issues and controversial questions Includes coverage of sex and love as they intersect with topics like disability, race, medicine, and economics Considers not only the ethical, but also the broadly social and political dimensions of sex and love Includes a helpful introduction and conclusion in each chapter and is written throughout in a clear and straightforward style, with examples and sign-posts to help guide the student and general reader A comprehensive and up-to-date bibliography provides a valuable tool for anyone's further research P> Offers a contemporary, problems-based approach to the subject, helping readers better understand and address current issues and controversial questions Includes coverage of sex and love as they intersect with topics like disability, race, medicine, and economics Considers not only the ethical, but also the broadly social and political dimensions of sex and love Includes a helpful introduction and conclusion in each chapter and is written throughout in a clear and straightforward style, with examples and sign-posts to help guide the student and general reader A comprehensive and up-to-date bibliography provides a valuable tool for anyone's further research. (shrink)

It is now a platitude that sexual objectification is wrong. As is often pointed out, however, some objectification seems morally permissible and even quite appealing—as when lovers are so inflamed by passion that they temporarily fail to attend to the complexity and humanity of their partners. Some, such as Nussbaum, have argued that what renders objectification benign is the right sort of relationship between the participants; symmetry, mutuality, and intimacy render objectification less troubling. On this line of thought, pornography, prostitution, (...) and some kinds of casual sex are inherently morally suspect. I argue against this view: what matters is simply respect for autonomy, and whether the objectification is consensual. Intimacy, I explain, can make objectification more morally worrisome rather than less, and symmetry and mutuality are not relevant. The proper political and social context, however, is crucial, since only in its presence can consent be genuine. I defend the consent account against the objection that there is something paradoxical in consenting to objectification, and I conclude that given the right background conditions, there is nothing wrong with anonymous, one-sided, or just-for-pleasure kinds of sexual objectification. (shrink)

Moral diversity is a fundamental reality of today’s world, but moral theorists have difficulty responding to it. Some take it as evidence for skepticism – the view that there are no moral truths. Others, associating moral reasoning with the search for overarching principles and unifying values, see it as the result of error. In the former case, moral reasoning is useless, since values express individual preferences; in the latter, our reasoning process is dramatically at odds with our lived experience. Moral (...) Reasoning in a Pluralistic World takes a different approach, proposing an alternative way of thinking about moral reasoning and progress by showing how diversity and disagreement are compatible with theorizing and justification. Patricia Marino demonstrates that, instead of being evidence for skepticism and error, moral disagreements often arise because we value things pluralistically. This means that although people share multiple values such as fairness, honesty, loyalty, and benevolence, we interpret and prioritize those values in various ways. Given this pluralistic evaluation process, preferences for unified single-principle theories are not justified. Focusing on finding moral compromises, prioritizing conflicting values, and judging consistently from one case to another, Marino elaborates her ideas in terms of real-life dilemmas, arguing that the moral complexity and conflict we so often encounter can be part of fruitful and logical moral reflection. Aiming to draw new connections and bridge the gap between theoretical ethics and applied ethics, Moral Reasoning in a Pluralistic World offers a sophisticated set of philosophical arguments on moral reasoning and pluralism with real world applications. (shrink)