The purpose of One Heart is to illuminate the common sacred ground at the heart of seven faiths: Buddhism, Christianity, Confucianism, Hinduism, Islam, Judaism, and Taoism. Its method is to identify 65 essential principles, among them: Feel what other people feel; Don't harm others; Lead with virtue and concern for others; Be honest ; Practice what you preach; Be content; Don't let anger take over; Choose your companions wisely; Accept the existence of spiritual beings; Seek and you will find. Illustrating (...) each principle are one, two, or three quotations from a wide variety of texts sacred to each of the seven faiths—including the Old and New Testaments, the Talmud, the Mahabarata, the Tao Te Ching, the Bhagavad Gita, the Analects of Confucius, and many other sacred sources. In addition, each chapter also provides guidance on a spiritual theme or practice—prayer beads, a home altar, labyrinth walking—to enhance our understanding of these wise words and universal principles. (shrink)

Graphic pattern (e.g. geometric design) and number-based code (e.g. digital sequencing) can store and transmit complex information more efficiently than referential modes of representation. The analysis of the two genres and their relation to one another has not advanced significantly beyond a general classification based on motion-centred geometries of symmetry. This article examines an intriguing example of patchwork coverlets from the maritime societies of Oceania, where information referencing a complex genealogical system is lodged in geometric designs. By drawing attention to (...) the interplay of graphic pattern and number-based code and its role in the knowledge economies of maritime societies, the article offers new insight into possible ways of designing a digital informational surface that captures the behaviour of an operational system, allowing both for differentiation and integration. (shrink)

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)

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)

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 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)

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.

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)

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)

This book distills six decades of diary entries on science, religion, truth, ethics, success, and society by Walter Kistler, scientist, industrialist, and philanthropist. The book explores these subjects through the lenses of analysis and implication, and presents the compelling findings of an extraordinary, lifelong, intellectual odyssey.

O sentido principal deste livro é provocar uma experiência de leitura em pessoas interessadas no ensino de filosofia. TAlvez seja mais justo dizer que o que se almeja é propiciar experiências de leitura filosófica sobre tal ensino. ISso significa provocar experiências que transformem a relação que temos com o ensino de filosofia, que incomodem o que há de verdade adormecida quando pensamos sobre o ensino de filosofia, e de modo mais direto, quando ensinamos filosofia. ESte livro procura discutir o tipo (...) de filosofia que se vai ensinar e os seus sentidos educacionais: qual filosofia ensinar? Para que fazê-lo? E não se pretende propiciar respostas conclusivas a favor ou contra a filosofia. AO contrário, busca-se mudar a relação com uma verdade apenas afirmativa ou negativa, apologética ou condenatória; busca-se pensar diversas formas de conceber a filosofia e uma pluralidade de sentidos para ensiná-la. (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)

It is commonly held that the natural numbers sequence 0, 1, 2,... possesses a unique structure. Yet by a well known model theoretic argument, there exist non-standard models of the formal theory which is generally taken to axiomatize all of our practices and intentions pertaining to use of the term “natural number.” Despite the structural similarity of this argument to the influential set theoretic indeterminacy argument based on the downward L ̈owenheim-Skolem theorem, most theorists agree that the number theoretic version (...) does not have skeptical consequences about the reference of “natural number” analogous to the ‘relativity’ Skolem claimed pertains to notions such as “uncountable” and “cardinal.” In this paper I argue that recent proposals by Shapiro, Lavine, McGee and Field which aim to distinguish the number and set theoretic indeterminacy arguments by locating extra-mathematical constraints on the interpretation of our number theoretic vocabulary are inadequate. I then suggest that if we consider the manner in which the natural numbers figure in our computational practices – e.g. in characterizing how we compute sums and products or determine prime factorizations – it follows that our application of computational terms such as “computable function” and “tractable computational problem” indirectly uniquely determines their structure. (shrink)