We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

My essay will take as its point of departure the paragraph from Gershom Scholem’s “Reflections on Jewish Theology,” in which he depicts the modern religious experience as the one of the "void of God" or as "pious atheism". I will first argue that the "void of God" cannot be reduced to atheistic non-belief in the presence of God. Then, I will demonstrate the further development of the Scholemian notion of the ‘pious atheism’ in Derrida, especially in his Lurianic treatment of (...) Angelus Silesius, whose modern mysticism emerges in Derrida’s reading as the ‘almost-atheism’. The interesting feature of this development is that, while for Scholem, the ‘void of God’ is a predominantly negative experience, for Derrida, it becomes an affirmative model of modern – not just Jewish, but more generally, Abrahamic – religiosity which, on the one hand, touches upon atheistic non-belief in the divine presence here and now, yet, on the other, still insists on commemorating the ‘withdrawn God’ through his ‘traces.’ What, therefore, for Scholem, constitutes the ultimate cry of despair, best embodied in Kafka’s work – for Derrida, reveals the more positive face of the modern predicament in which God has absented himself in order to make room for the creaturely reality. And while Scholem envisages redemption as the full restoration of the divine presence – Derrida redefines redemption as the ‘pious’ work of deconstruction to be undertaken in the ‘almost-atheistic’ condition of irreversible separation between God and the world. (shrink)

Obóz Kultury 2.0 Mirosław Filiciak, Alek Tarkowski, Agata Jałosińska, Andrzej Klimczuk, Maciej Rynarzewski, Jacek Seweryn, Stunża M., D. Grzegorz, Marcin Wilkowski & Anna Orlik .

Based on the 1985 science fiction novel by the astronomer Carl Sagan, Contact tells the story of what a first encounter between humans and intelligent extraterrestrial beings might be like. It also details the complexities of faith and belief in a world where religion and science often come into conflict—a favorite theme of Sagan's, and a major subject in the history of philosophy. This chapter explores tangles of faith and belief through the lens of philosophy and the characters (...) and concepts of Contact. We pay special attention to Sagan's mouthpiece Ellie Arroway, who embodies the practice of doubting as essential to living a life rich in insight and meaning. While this is far from the sole philosophic quandary raised by the film, it is perhaps the central one. (shrink)

Public discussions of science are often marred by two pernicious phenomena: a widespread rejection of scientific findings (e.g., the reality of anthropogenic climate change, the conclusion that vaccines do not cause autism, or the validity of evolutionary theory), coupled with an equally common acceptance of pseudoscientific notions (e.g., homeopathy, psychic readings, telepathy, tall tales about alien abductions, and so forth). The typical reaction by scientists and science educators is to decry the sorry state of science literacy among the general public, (...) and to call for more science education as the answer to both problems. But the empirical evidence concerning the relationship between science literacy, rejection of science and acceptance of pseudoscience is mixed at best. In this chapter I argue that—while certainly important—efforts at increasing public knowledge of science (science education) need to be complemented by attention to common logical fallacies (philosophy), cognitive biases and dissonance (psychology), and the role of ideological commitments (sociology). Even this complex, multi-disciplinary approach to science education will likely only yield measurable results in the very long term. Meanwhile science remains, as Carl Sagan famously put it, a candle in the dark, delicate and in need of much nurturing. (shrink)

This book is my gift to Albert Einstein on the occasion of his 142nd birthday - and is also a gift to everybody in the world he helped to shape! -/- My book adopts the view that the universe is infinite and eternal - but scientifically created. This paradox of creating eternity depends on the advanced electronics developed by future humanity. Those humans will develop time travel, plus programs that use "imaginary" time and infinite numbers like pi. They'll also become (...) the El or Elohim (names used by various religions to mean "God" or "the gods"). As astronomer Carl Sagan wrote in "Pale Blue Dot", "Many religions teach that it is the goal of humans to become gods." (I think that Elohim would be termed supernatural today, though their infinite abilities are actually natural outcomes of progress.) -/- A look through the book will tell you that some ideas are frequently repeated. This is because each article is meant to be understood without reading the others … so the same ideas show up in more than one. I’ve tried to stay away from jargon and equations unless they’re necessary (I find that they often make a subject harder to understand, not easier). All objects and events on Earth, in space, and in time (including the inevitability of world peace and immortality) are just one thing – strings of electronics' binary digits 1 and 0. -/- -/- TABLE OF CONTENTS -/- CHAPTER 1 - HYPOTHESIS OF QUANTUM GRAVITY -/- CHAPTER 2 - THE PHYSICIST AND THE PHILOSOPHER -/- CHAPTER 3 - ATTENTION MEDICAL DOCTORS! PHYSICS THEORY IMPLIES ALL PATIENTS CAN BE NORMALISED USING GRAVITY -/- CHAPTER 4 - SETI, EVOLUTION, AND TIME -/- CHAPTER 5 - ANYONS - ONE KEY TO UNLOCK GRAVITATIONAL-ELECTROMAGNETIC UNION, THE TOPOLOGICAL UNIVERSE, SPACE-TIME TRAVEL, FUTURE COMPUTERS, DARK MATTER/DARK ENERGY -/- CHAPTER 6 - WHAT CAUSES THE PLANETS TO SPEED UP AND SLOW DOWN WHILE THEY ARE ORBITING THE SUN -/- CHAPTER 7 - A BRIEF OUTLINE OF THE POSSIBLE BASICS OF COSMOLOGY IN THE 22nd CENTURY, AND WHAT IT MEANS FOR RELIGION -/- CHAPTER 8 - THE WORLD'S REAL-LIFE EXPERIMENTS WITH COVID-19 AND PHYSICS ALTER SOCIETY AND GLOBAL ECONOMICS -/- CHAPTER 9 - UNITING TIME -/- CHAPTER 10 - EXTRACTING ENERGY FROM BLACK HOLES -/- CHAPTER 11 - TIME TREK: THE 25TH CENTURY'S ANSWER TO STAR TREK. (shrink)

'If a complete unified theory was discovered, it would only be a matter of time before it was digested and simplified - and taught in schools, at least in outline. We should then all be able to have some understanding of the laws that govern the universe and are responsible for our existence.' ('A Brief History of Time' by Stephen Hawking, Introduction by Carl Sagan) So let's see what can be written when we we throw away everyday tradition and (...) conformity, let our imaginations fly (while trying to stay grounded in science and technology), and all gain "... some understanding of the laws that govern the universe and are responsible for our existence. (This tries to focus on the outlines of the workings of Nature, including how science will be reconciled with philosophy and religion. Also, this latest version suggests Particle spin, F=ma and black holes revise gravity, unify gravitation with electromagnetism and matter, and eliminate the two nuclear forces.). (shrink)

Science and religion represent two great systems of human thought. For the majority of people on our planet, religion is the predominant influence over their affairs. When science impinges on their lives, it does so, in general, through technology. The core of religion is the religious experience. True religion does not thrive on belief, it requires us to become; it is not a set of propositions to be accepted, it is a state to be experienced. The so-called religious experience is (...) the progeny of a free mind, a mind that does not conform unthinkingly, but questions everything and finds the truth itself. Some of the greatest scientists have succeeded in synthesizing science and religion inwardly, on a personal level. Religious experience is then seen as an extension of scientific activity. (shrink)

A review of Eric Schneider and Dorion Sagan's 2006, "Into the Cool: Energy Flows, Thermodynamics, and Life.".