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.

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)

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)

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)

One of the mammalian groups absent from the Finlay et al. study is cetaceans (dolphins, whales, and porpoises). Inclusion of cetaceans would be useful for assessing the generalizability of the authors' conclusions. Recent findings suggest dolphins may differ from the general pattern observed by Finlay et al. I encourage Finlay and her colleagues to include developmental neurobiological data on cetaceans, when available.

Epistemic limitations concerning prediction and explanation of the behaviour of robots that learn from experience are selectively examined by reference to machine learning methods and computational theories of supervised inductive learning. Moral responsibility and liability ascription problems concerning damages caused by learning robot actions are discussed in the light of these epistemic limitations. In shaping responsibility ascription policies one has to take into account the fact that robots and softbots - by combining learning with autonomy, pro-activity, reasoning, and planning - (...) can enter cognitive interactions that human beings have not experienced with any other non-human system. (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)

Early Buddhist texts were first being composed and compiled during South Asia’s Iron Age, and thus contain many references to iron and other metal technologies. This article examines one metalworking image that came to play a special role in the imagination of early Buddhists: the red-hot iron ball. I argue that the iron ball, which comes to be a torture device in hell, force-fed by hell wardens, is a mimesis of the pi??ap?ta, or almsfood offered to monks and nuns by (...) the laity. Around iron ball imagery clusters a set of related Buddhist concerns: anxieties about undisciplined and deceitful monks and nuns, especially in relation to taking alms; the public perception of the sa?gha; the conceptualization of Buddhist hells as an unfortunate karmic result of lacking discipline; and the relationship between these hells and Indian juridical forms of punishment. (shrink)

Is there anything irrational, or self-undermining, about having "inconsistent" attitudes of caring or valuing? In this paper, I argue that, contra suggestions of Harry Frankfurt and Charles Taylor, the answer is "No." Here I focus on "valuations," which are endorsed desires or attitudes. The proper characterization of what I call "valuational inconsistency" I claim, involves not logical form (valuing A and not-A), but rather the co-possibility of what is valued; valuations are inconsistent when there is no possible world in which (...) what is valued can co-exist. Essentially conflicting valuations, I show, are no worse for an agent than contingently conflicting ones, which are common and no threat to rationality or well-being. Partly based on reflections about a conflicted mother, who values staying at home and also having a career, I argue that valuational inconsistency does not render a person unable to act, does not make a person's actions ineffective because of vacillation, does not undermine a person's autonomy, and need not make a person dissatisfied with himself. I defend my characterization of inconsistency as an apt one; I offer some reasons to value inconsistency itself; and I draw out some implications for coherence thinking in moral philosophy. (shrink)

This is a philosophical-moral study on the concept of altruistic happiness, through a hermeneutic analysis of a fundamental episode of the Divine Comedy. The symbol of the White Rose, contemplated by Dante in Paradise XXXI, represents the communion of saints, that is, of those who can experience in their psyche the extinction of desire in full joy. The kingdom of heaven is seen by the pilgrim poet as a beautiful flower with many petals. Its value is in the whole, the (...) flower, but also in its individual parts, the petals. The salvation of the soul is therefore linked to altruism, to denying ourselves for our neighbors, in the name of a collective good. However, the poet shows us that every human individuality is precious, and the paradisiacal abolition of egoism is not the destruction of the uniqueness of the soul but the fulfillment of the self. Inside hell, which is described by Dante like an emblem of selfishness, Beatrice appears as a divine creature, ready to save her beloved poet. This means that Christianity starts the process of human salvation from the lowest material depth of the universe. Consequently, the low is not the opposite of the high: since there is also a high within that low. The individual, if purified from selfishness, becomes in the kingdom of heaven the independent and complementary mirror of a universal joy, a collective joy. Dante, deeply linked to Franciscanism, defends the Mariological concept of ‘Immaculate Conception’ and, in the Divine Comedy, offers us a philosophical-moral message that translates the profound meaning of this same theological idea into secular terms. The solitude of the individual matter that forms the body of every man is only apparent. We are not alone. There is another invisible, silent, very pure reality that has sunk into this matter of ours and into consciousness. This reality can save mankind and bring every person back into joyful wholeness. (shrink)

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

Se realizó un estudio de intervencisn educativa, con el objetivo de determinar el nivel de conocimientos acerca del VIH/sida en estudiantes de la ESBU "Marcos Rammrez Rodrmguez" en el permodo comprendido desde el 1ro de marzo al 30 de mayo del 2010. Se estudiaron 150 adolescentes, escogidos de un universo de 347, a travis de un muestreo por conglomerado bietapico. Inicialmente se aplics una encuesta previamente sometida al mitodo de expertos (Delphi) y evaluada de muy adecuada, donde se determins que (...) el 82 % tenman conocimientos generales inadecuados Despuis de la intervencisn educativa -evaluada de muy adecuada por el mitodo de expertos- el 98,7 % de los adolescentes alcanzaron un nivel de conocimientos adecuados. El analisis estadmstico utilizando la prueba de McNemar, evidencis la asociacisn estadmsticamente significativa (p=0.0000) entre el nivel de conocimiento que tenman los estudiantes antes y despuis de la intervencisn, lo que demostrs que el modelo educativo-participativo empleado aumenta el nivel de conocimientos en los adolescentes. A study of educational intervention was carried out in order to determine the level of knowledge about HIV/AIDS in students of Marcos Rammrez Rodrmguez ESBU in the period from March 1th to May 30th 2010. 150 Teenagers, selected from a universe of 347, were studied through a conglomerate two sampling. Initially, a survey previously submitted to method of expert (Delphi) was applied and properly assessed. It was determined that 82 % had inadequate general knowledge. After the educational intervention - assessed fairly by the method of expert - 98, 7% of teenagers achieved an adequate level of knowledge. Statistical analysis using the McNemar test, showed a statistically significant association (p = 0.0000) between the level of knowledge that students had before and after the intervention, which demonstrated that the educational participative model used increases the level of knowledge among adolescents. (shrink)

What we generally regard as ‘the face’ should be semiotically understood not as something given and monolithic, but rather stratified – it is at least threefold: biological (face), physiognomic (expression), perceivable (visage) – and relational as it has to be put within a narrative in order to make sense. The face lies at the centre of a whole semiotic system, the form of life, revolving around the issue of identity (which the face – the visage, to be precise – embodies (...) and still does not resolve). What we may call ‘the natural face’ is not, as common sense would suggest, the precondition of the ‘culturalized’ one (featured with modifications ranging from make-up and proper masks to surgery), but rather just one of the possible semiotic masks a person may choose to wear. At the same time, the mask does not have to be reduced to a deceptive device only (nor to be meant merely as a material object), being in fact at the centre of a more complex axiology. The classic veridictory square articulating the opposition between Being and Seeming may provide a suitable model for the semiotic square of ‘visageness’, so that we would have: Face, Disguise (the place of the mask proper), Fake, Anonymity. Based on these theoretical premises, the paper finally addresses popular music and outlines a provisional map of the pragmatics of the mask (subtractive vs. additive, ritualistic vs. continuous, material vs. virtual, mask as face vs. face as mask), as a suggestion for further studies. (shrink)

The difficulties inherent to any analysis of the concept of “modernity” have been frequently emphasised: irregular and approximative semantics, pushed to the limit of totally meaningless, and harmless convention; constant tautology and instability; a whole succession of oppositions, followed by inevitable shifts of meaning and terminological errors; in a word, an endemic and periodically verified crisis. For all these reasons, “modernity” defines (this, however, is only a manner of speaking) one of the most paradoxical of literary ideas: the more widespread (...) it becomes, the more it lacks clarity, the more it grows blurred. And yet—for the paradox to be complete—the phenomenon is clearly inevitable: in one form or another modernity emerges with every important mutation or revolution of literary thinking. Either partially or totally, and also within the framework of new theoretical syntheses, it accompanies or redefines all the decisive stages of European aesthetics. As a real framework concept, “modernity” tends to associate, crystalise or reformulate—with regard to “what is new”—all the essential transformations of literary consciousness. It embraces the complete cycle of the ideal moments of creation and, implicitly, of literature: from the negation of old-style creation, codified and dogma-ridden, to the affirmation of new-style creation, made liberal, and freed from all aesthetic constraint. Modernity breaks a tradition, it disputes the conservative order of art and literature, with a view to instituting and installing its own tradition—this is a cyclical situation, which has perhaps been inadequately discussed. In a similar light, modernity is devoid of all precise chronological determination and becomes a constant which, in the various historical phases and on different semantic levels, expresses the inner movement of literature. This immanent dialectic of the history of literary thought goes through certain essential moments: one day, perhaps, there will come a time when the task of putting these moments in a pattern will be assured of scoring a success. (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)