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)

Anxiety -- Depression -- Death -- Authenticity -- Faith -- Ethics -- Love.

Per una sociosemiotica della comunicazione musicale -- Per una sociosemiotica dei generi musicali -- Per una sociosemiotica della novità in musica -- Per una sociosemiotica del dubstep.

Martin Heidegger and Hans-Georg Gadamer undoubtedly belong among the most important representatives of twentieth-century phenomenological hermeneutics, which represents, in turn, one of the major traditions within so-called continental philosophy. Respectively teacher and pupil, during their long and philosophically intense lives and careers Heidegger and Gadamer greatly contributed to the development of philosophical thought in our age, providing significant and often decisive contributions in various fields of philosophical inquiry. Their main works, Being and Time (1927) and Truth and Method (1960), respectively (...) amount to the great "classics" of contemporary philosophy, both being extraordinarily influential books without which the history of twentieth- and also twenty-first century philosophy as we know it would not be conceivable. This book addresses a number of problems concerning aesthetics, metaphysics, language and philosophical anthropology, by focusing on Heidegger's and Gadamer's specific contributions in these fields, and by establishing fruitful and original comparisons between their views and those of other relevant thinkers of our time, such as Hannah Arendt, Richard Rorty and John McDowell. The book adopts a comparative approach that portrays the complex philosophical problems and concepts at the core of this investigation from various points of view, thus broadening the philosophical horizon, generating a more comprehensive perspective, and underlining the compatibility of different philosophical views. (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.

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)