In this paper, we review and connect the three essential conditions needed by the collapse model to achieve a complete and exact formulation, namely the theoretical, the experimental, and the ontological ones. These features correspond to the three parts of the paper. In any empirical science, the first two features are obviously connected but, as is well known, among the different formulations and interpretations of non-relativistic quantum mechanics, only collapse models, as the paper well illustrates with a richness of details, (...) have experimental consequences. Finally, we show that a clarification of the ontological intimations of collapse models is needed for at least three reasons: (1) to respond to the indispensable task of answering the question ’what are collapse models (and in general any physical theory) about?’; (2) to achieve a deeper understanding of their different formulations; (3) to enlarge the panorama of possible readings of a theory, which historically has often played a fundamental heuristic role. (shrink)

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

Garry Young has made three objections against Sebastian Ostritsch’s endorsement view on the immorality of computer games. In this paper, we want to defend the endorsement view against all three of them.

An alarming number of philosophers and cognitive scientists have argued that mind extends beyond the brain and body. This book evaluates these arguments and suggests that, typically, it does not. A timely and relevant study that exposes the need to develop a more sophisticated theory of cognition, while pointing to a bold new direction in exploring the nature of cognition Articulates and defends the “mark of the cognitive”, a common sense theory used to distinguish between cognitive and non-cognitive processes Challenges (...) the current popularity of extended cognition theory through critical analysis and by pointing out fallacies and shortcoming in the literature Stimulates discussions that will advance debate about the nature of cognition in the cognitive sciences. (shrink)

Der private, sehr gefahrdete Bucherbestand Friedrich Nietzsches gilt als ein besonders interessantes Beispiel einer Schriftstellerbibliothek des 19. Jahrhunderts.

Introduction: the advance of governmentality -- Foucault, power, and governmentality: introduction; what is governmentality?; beyond the microphysics of power?; from theory of the state to genealogy of the state; history of the art of government; pastoral power; raison d'état; liberal governmentality; five propositions on foucault and governmentality -- Governmentality 3.4.7.: introduction; governmentality after Foucault; governmentality and the political sciences; some problems in governmentality -- Foucault effect redux? some notes on international governmentality studies: constellation; a few preliminary observations; problems and debates (...) in international governmentality studies -- Reconnecting governmentality and genealogy: introduction; genealogy and governmentality; pluralizing genealogy; practicing genealogy; lines of descent: the family tree of power?; counter-memory and re-serialization; the retrieval of forgotten struggles and subjugated knowledges -- Conclusion: encountering governmentality: governmentality as a new cartography of power; from mapping to encountering; governmentality and politics. (shrink)

This is the fullest existing collection of the texts, for the moment only in Italian translation, with an introduction, notes, general presentation of the texts, various indexes (part of this material is to be found in an attached CD).

Called “the most important critic of his time” by Hannah Arendt, Walter Benjamin has only become more influential over the years, as his work has assumed a crucial place in current debates over the interactions of art, culture, and meaning. A “natural and extraordinary talent for letter writing was one of the most captivating facets of his nature,” writes Gershom Scholem in his Foreword to this volume; and Benjamin's correspondence reveals the evolution of some of his most powerful ideas, (...) while also offering an intimate picture of Benjamin himself and the times in which he lived. Writing at length to Scholem and Theodor Adorno, and exchanging letters with Rainer Maria Rilke, Hannah Arendt, Max Brod, and Bertolt Brecht, Benjamin elaborates on his ideas about metaphor and language. He reflects on literary figures from Kafka to Karl Kraus, and expounds his personal attitudes toward such subjects as Marxism and French national character. Providing an indispensable tool for any scholar wrestling with Benjamin’s work, The Correspondence of Walter Benjamin, 1910–1940 is a revelatory look at the man behind much of the twentieth century’s most significant criticism. (shrink)

In addition to ethical aspects Citizen Science projects also involve social, economic and—not least—regulatory challenges that arise from their very openness and opportunities for participation. So...

Views from one of the most original cultural critics of the twentieth century, Walter Benjamin.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and (...) offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses the history of paraconsistent logic; language, negation, contradiction, consistency and inconsistency; logics of formal inconsistency and the main paraconsistent propositional systems; many-valued companions, possible-translations semantics and non-deterministic semantics; paraconsistent modal logics; first-order paraconsistent logics; applications to information processing, databases and quantum computation; and applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning. (shrink)

The article analyzes the anti-Islamic polemical discourse of Nicetas of Byzantium, one of the most important Byzantine apologists and polemicists flourishing in the intellectual-theological context of Patriarch Photios in Constantinople. This paper crystallizes the main topics of discussion in Nicetas’ Refutation of the Qur’an and presents his argumentation against Islam.To structure and evaluate the wayNicetas perceives Islam, I have developed a methodology of four thematic categories with correspondent polemical subcategories. This research approach may also serve as a paradigm enhancing further (...) studies on other sources related to Christian-Muslim interfaith dialogue. (shrink)

The most recent work toward compiling a comprehensive database of adenosine‐to‐inosine RNA editing events suggests that the potential for RNA editing is much more pervasive than previously thought; indeed, it is manifest in more than 100 million potential editing events located primarily within Alu repeat elements of the human transcriptome. Pairs of inverted Alu repeats are found in a substantial number of human genes, and when transcribed, they form long double‐stranded RNA structures that serve as optimal substrates for RNA editing (...) enzymes. A small subset of edited Alu elements has been shown to exhibit diverse functional roles in the regulation of alternative splicing, miRNA repression, and cis‐regulation of distant RNA editing sites. The low level of editing for the remaining majority may be non‐functional, yet their persistence in the primate genome provides enhanced genomic flexibility that may be required for adaptive evolution. (shrink)

The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...) formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LETj is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LETj, as well as some technical results that fit the intended interpretation. (shrink)

Origin of the German Trauerspiel was Walter Benjamin's first full, historically oriented analysis of modernity. Readers of English know it as "The Origin of German Tragic Drama," but in fact the subject is something else--the play of mourning. Howard Eiland's completely new English translation, the first since 1977, is closer to the German text and more consistent with Benjamin's philosophical idiom. Focusing on the extravagant seventeenth-century theatrical genre of the trauerspiel, precursor of the opera, Benjamin identifies allegory as the (...) constitutive trope of the Baroque and of modernity itself. Allegorical perception bespeaks a world of mutability and equivocation, a melancholy sense of eternal transience without access to the transcendentals of the medieval mystery plays--though no less haunted and bedeviled. History as trauerspiel is the condition as well as subject of modern allegory in its inscription of the abyssal. Benjamin's investigation of the trauerspiel includes German texts and late Renaissance European drama such as Hamlet and Calderón's Life Is a Dream. The prologue is one of his most important and difficult pieces of writing. It lays out his method of indirection and his idea of the "constellation" as a key means of grasping the world, making dynamic unities out of the myriad bits of daily life. Thoroughly annotated with a philological and historical introduction and other explanatory and supplementary material, this rigorous and elegant new translation brings fresh understanding to a cardinal work by one of the twentieth century's greatest literary critics.--. (shrink)

A companion volume to Illuminations, the first collection of Walter Benjamin's writings, Reflections presents a further sampling of his wide-ranging work. Here Benjamin evolves a theory of language as the medium of all creation, discusses theater and surrealism, reminisces about Berlin in the 1920s, recalls conversations with Bertolt Brecht, and provides travelogues of various cities, including Moscow under Stalin. He moves seamlessly from literary criticism to autobiography to philosophical-theological speculations, cementing his reputation as one of the greatest and most (...) versatile writers of the twentieth century. Also included is a new preface by Leon Wieseltier that explores Benjamin's continued relevance for our times. (shrink)

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...) and principles of mathematical and transfinite induction as well as the status of the latter with respect to various foundational characterizations of number theory. (shrink)

The Dialectical Forge identifies dialectical disputation as a primary formative dynamic in the evolution of pre-modern Islamic legal systems, promoting dialectic from relative obscurity to a more appropriate position at the forefront of Islamic legal studies. The author introduces and develops a dialectics-based analytical method for the study of pre-modern Islamic legal argumentation, examines parallels and divergences between Aristotelian dialectic and early juridical jadal-theory, and proposes a multi-component paradigm—the Dialectical Forge Model—to account for the power of jadal in shaping Islamic (...) law and legal theory.In addition to overviews of current evolutionary narratives for Islamic legal theory and dialectic, and expositions on key texts, this work shines an analytical light upon the considerably sophisticated “proto-system” of juridical dialectical teaching and practice evident in Islam’s second century, several generations before the first “full-system” treatises of legal and dialectical theory were composed. This proto-system is revealed from analyses of dialectical sequences in the 2nd/8th century Kitāb Ikhtilāf al-ʿIrāqiyyīn / ʿIrāqiyyayn through a lens molded from 5th/11th century jadal-theory treatises. Specific features thus uncovered inform the elaboration of a Dialectical Forge Model, whose more general components and functions are explored in closing chapters. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

This paper explores the relationship borne by the traditional paradoxes of set theory and semantics to formal incompleteness phenomena. A central tool is the application of the Arithmetized Completeness Theorem to systems of second-order arithmetic and set theory in which various “paradoxical notions” for first-order languages can be formalized. I will first discuss the setting in which this result was originally presented by Hilbert & Bernays (1939) and also how it was later adapted by Kreisel (1950) and Wang (1955) in (...) order to obtain formal undecidability results. A generalization of this method will then be presented whereby Russell’s paradox, a variant of Mirimanoff’s paradox, the Liar, and the Grelling–Nelson paradox may be uniformly transformed into incompleteness theorems. Some additional observations are then framed relating these results to the unification of the set theoretic and semantic paradoxes, the intensionality of arithmetization (in the sense of Feferman, 1960), and axiomatic theories of truth. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

I argue that the best available parent view, in its present formulation, struggles to accommodate for our very weighty duty not to perpetuate historical injustices. I offer an alternative view that reconciles this tension.

The world was changing at a blistering speed in Bagehot's day. New scientific ideas were reshaping the world, and every field of human inquiry was affected by this new interest in giving a full explanation for the history of everything in existence. In this work, first published in 1872, Bagehot applies scientific ideas, like survival of the fittest, to the development of nations and government. He further discusses the effect of scientific and technological advancements, like the invention of stronger and (...) more deadly weapons, on politics. British journalist WALTER BAGEHOT (1826-1877) was an early editor of The Economist and was among the first economists to discuss the concept of the business cycle. He is also the author of The English Constitution (1873) and The Postulates of English Political Economy (1885). (shrink)

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could (...) have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator. (shrink)

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\"onig's (...) Lemma, and (iv) the large-scale intellectual backdrop to arithmetical transfinite recursion in descriptive set theory and its effectivization by Borel, Lusin, Addison, and others. (shrink)