Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...) is subordinate to a restriction condition . Hence a default logic is a pair (L, ) where properties of the logic , like compactness, can be interpreted through the restriction condition . Different default systems are then given a common characterization through a specific condition on the logicL. We also prove cumulativity for any default logic (L, ) by slightly modifying the notion of default proof. We extend, in fact, the language ofL in a way close to that followed by Brewka in the formulation of his cumulative default system. Finally we show the existence of infinitely many intermediary default logics, depending on and called linear logics, which lie between Reiter's and ukaszewicz' versions of default logic. (shrink)
We present tableau systems and sequent calculi for the intuitionistic analoguesIK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 andIS5 of the normal classical modal logics. We provide soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. Fischer Servi. We then show the disjunction property forIK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IK45 andIS5. We also investigate the relationship (...) of these logics with some other intuitionistic modal logics proposed in the literature. (shrink)
In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.
<span class='Hi'></span> We present a class of normal modal calculi PFD,<span class='Hi'></span> whose syntax is endowed with operators M r <span class='Hi'></span>(and their dual ones,<span class='Hi'></span> L r)<span class='Hi'></span>, one for each r <span class='Hi'></span>[0,1]<span class='Hi'></span>: if a is sentence,<span class='Hi'></span> M r is to he read the probability that a is true is strictly greater than r and to he evaluated as true or false in every world of a F-restricted probabilistic kripkean model.<span class='Hi'></span> Every such a model is (...) a kripkean model,<span class='Hi'></span> enriched by a family of regular <span class='Hi'></span>(see below)<span class='Hi'></span> probability evaluations with range in a fixed finite subset F of <span class='Hi'></span>[0,1]<span class='Hi'></span>: there is one such a function for every world w,<span class='Hi'></span> P F(w,<span class='Hi'></span>-)<span class='Hi'></span>, and this allows to evaluate M ra as true in the world w iff p F(w,<span class='Hi'></span> )<span class='Hi'></span> r.For every fixed F as before,<span class='Hi'></span> suitable axioms and rules are displayed,<span class='Hi'></span> so that the resulting system P FD is complete and compact with respect to the class of all the F-restricted probabilistic kripkean models. (shrink)
Gianni Vattimo occupies the relatively rare position of being both a prominent philosopher and an engaged politician. This article outlines Vattimo’s philosophy of “weak thought” and his democratic socialist politics, and argues that there is a “gap” between them: his stated political positions seem at odds with aspects of his philosophy. This gap between the phi- losophical and the political is examined with reference to the topic of globalised capitalism. I then apply Vattimo’s own strategy in reading other philosophers (...) to his thought, attempt- ing to draw out the possible political implications of weak thought against his own stated position. I do this through the application of one of Vattimo’s central concepts, Verwindung (―twisting-free‖), to globalised capitalism. I conclude with some reflections on the prospects for a politics of weak thought. (shrink)
DISSERTAÇÃO DE MESTRADO BUENO, Marcos Paulo de Oliveira. A arte de crer na contemporaneidade : possibilidades e limites do cristianismo segundo Gianni Vattimo. 2012. 127 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.
Gianni Vattimo es sin duda uno de los mayores filósofos vivos que se ha embarcado en una difícil empresa de renovación del pensamiento critico de izquierda en una era posmetafísica, mediante una propuesta de pensamiento débil que reformula las posibilidades de emancipación humana en términos de una progresiva reducción de la violencia y el dogmatismo. En este trabajo se reconstruyen las tesis fundamentales de la hermenéutica debolista y se intenta responder a la pregunta de por qué el compromiso con (...) la emancipación es importante para la filosofía de Vattimo cuando ya no es más posible seguir invocando a la noción de verdad por correspondencia para legitimar el discurso. (shrink)
ExcerptIt is only fitting that the readers of Telos should be introduced to the thought of contemporary Italian philosopher Gianni Vattimo at a certain “end” marked by the last lesson he gave on the occasion of his retirement from the University of Turin on October 14, 2008. Announced here is the coming to a close of a lecture course and of a long and illustrious university career, though not the end of an active theoretical and political engagement. (As far (...) as the latter is concerned, Vattimo was reelected, after a brief hiatus, as a deputy to the European Parliament in…. (shrink)
A connection is often made between postmodernism and nihilism, but the full meaning of such a connection is rarely explored. The contemporary Italian philosopher Gianni Vattimo is one of the few philosophers to have devoted much work to explaining this connection. Vattimo extrapolates the relevance of Nietzsche’s theory of nihilism for the postmodern condition, arguing that the concept of the postmodern can only be thought rigorously in relation to the nihilistic destiny of the West. This article explores Vattimo’s postmodern (...) reading of Nietzsche and argues that this reading helps to illuminate (1) the connection between nihilism and the postmodern; (2) the postmodern transformation of nihilism, which was originally a theory of the ails of modernity rather than of postmodernity; and (3) why postmodernists may wish to affirm nihilism rather than take the accusation that postmodernism is nihilistic as a charge that must be refuted. (shrink)
For Gianni Vattimo, the renunciation of violence is the starting point for constructing a post foundational politics. So far, criticism of Vattimo’s argument has focused on his larger commitment to metaphysical nihilism and whether the renunciation of violence is a thicker principle than his post foundational philosophy can support. I argue that Vattimo’s renunciation of violence can also be criticized for two other reasons. First, Vattimo attempts to distinguish between acceptable and unacceptable uses of violence through an under developed (...) idea of self-defense. Second, despite his attention to the political and philosophical impact of mass communications technology, Vattimo ignores emerging technological challenges to our understanding of violence. Nonetheless, I argue that Vattimo’s renunciation can still serve as a useful starting point for contemporary political thinking. What Vattimo’s logic shows is that we can enhance the moral standing of democracy by decisively detaching its practices and institutions from historical artifacts of political violence. (shrink)
¿Puede esperarse una globallzaclón política que esté en condiciones de hacer frente a lo globalizaclón económica de las multinacionales? Se presentan dos respuestas sobre las que vale la pena discutir. Las llamo, en lo que sigue, la respuesta populista y la respuesta federalista.
O presente artigo pretende relacionar entre os autores das teorias contemporâneas da hermenêutica filosófica os traços que conduzem à hermenêutica enquanto ciência da interpretação, ao ponto de possibilitar uma ruptura com os modelos metafísicos do pensamento; o ser, destituído de seu caráter estável, é compreendido agora como evento, acontecimento, e por isso mesmo é interpretação. A pluralidade cultural, que se revela sob a forma de uma estetização geral da vida, é a marca da Pós-Modernidade. A experiência estética proporcionada pelos mass (...) media não é apenas vinculada à experiência da arte; é também, ou principalmente, um efeito que evidencia culturas e subculturas que se libertam dos ideiais da Modernidade – a humanidade reduzida à Europa. Hoje podemos então ter a experiência de um diálogo entre as diversas formas de existência, de visões de mundo. (shrink)