This paper gives a new, purely semantic proof of the following theorem: if an intermediate propositional logic L has the disjunction property then a disjunction free formula is provable in L iff it is provable in intuitionistic logic. The main idea of the proof is to use the well-known semantic criterion of the disjunction property for "simulating" finite binary trees (which characterize the disjunction free fragment of intuitionistic logic) by general frames.

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4 , 1377--1402. Project Euclid: euclid.jsl/1183744119 Part III: Michael Zakharyaschev. Canonical Formulas for K4. Part III: The Finite Model Property. J. Symbolic Logic, Volume 62, Issue 3 , 950--975. Project Euclid: euclid.jsl/1183745306.

This paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper develops a manageable model theory for this consequence and its extensions (...) which also reveals some unexpected phenomena. The balance between the intuitionistic and modal languages is restored by adding to the former one more implication. (shrink)

In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator have at most one free variable. We show that the satisfiability problem for monodic formulas in various linear time structures can be reduced to the satisfiability problem for a certain fragment of classical first-order logic. This reduction is then used to single out a number of decidable fragments of first-order temporal logics and of two-sorted (...) first-order logics in which one sort is intended for temporal reasoning. Besides standard first-order time structures, we consider also those that have only finite first-order domains, and extend the results mentioned above to temporal logics of finite domains. We prove decidability in three different ways: using decidability of monadic second-order logic over the intended flows of time, by an explicit analysis of structures with natural numbers time, and by a composition method that builds a model from pieces in finitely many steps. (shrink)

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with 'quantitative' operators 'somewhere in the sphere of radius r.' including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard '∈-definitions' of closure and interior to simple constraints (...) on relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a 'well-behaved' common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

Sulla base di una straordinaria analisi dei problemi deontologici riconducibili alla crisi della professione medica, Ivan Cavicchi e un gruppo di lavoro multidisciplinare – promosso e organizzato dall’Ordine dei Medici Chirurghi e Odontoiatri della Provincia Autonoma di Trento, in collaborazione con il programma FBK per la salute della Fondazione Bruno Kessler e il gruppo di Biodiritto del l’Università di Trento – hanno rielaborato le basi concettuali della tradizionale deontologia medica per mettere in condizione gli Ordini dei Medici di riformare (...) il proprio codice deontologico. Si tratta di una vera e propria «rivoluzione» destinata a modificare nei prossimi anni la deontologia nel nostro Paese, a influenzare la redazione dei futuri codici di tutte le professioni medico-sanitarie, ma soprattutto a cambiare radicalmente i rapporti tra medici e cittadini, tra professione e società, tra medicina ed economia. Assumendo il malato come «archè», la proposta di rielaborazione cambia postulati, presupposti, linguaggi, concetti, soluzioni e obiettivi, affrontando problematiche usualmente ignorate dalla deontologia convenzionale. Lo scopo di fondo è definire una nuova figura di medico capace di recuperare il rapporto fiduciario con i malati e con la società e di farsi carico dei problemi di sostenibilità economica che ormai da anni gravano su tutti i sistemi di tutela sanitaria. (shrink)

We tend to associate Henry David Thoreau with the renunciation of material possessions, projecting onto him our fantasies of a life lived beyond the modern obsession with "things." But Thoreau's practical philosophy held a special place for tools, artworks, Native American artifacts, and a variety of natural phenomena. In Mindprints, Ivan Gaskell focuses on the material items that were important to Thoreau, using them to reveal Thoreau's unique and profound aesthetics of everyday life and the environment. "Mindprint" was Thoreau's (...) term for a material object that has captured the presence of its maker and first user. Thoreau applied the term to ancient stone artifacts and other objects in an effort to capture something of the relationship between material items and humans. For Thoreau, these relationships contribute to the creation of "worlds." By looking at Thoreau's engagement with material worlds through his writings and his practical philosophical experiment at Walden Pond--but also, importantly, via his work as a designer of improved pencils, as a house builder, as a land surveyor, and as a collector--Gaskell reveals the aesthetics at the heart of Thoreau's thinking. (shrink)

The spirit in you -- We are one -- The Druid path -- Rebirth into spirit -- Starting your journey -- Becoming a bard -- Mastering awareness -- Ritual and ceremony -- Spiritual cleansing -- Sacred creativity -- The power of manifestation -- The freedom of transformation -- Magical adventures -- The spirit of Gaia -- The four elements -- Earth -- Water -- Air -- Fire -- Spirit dancer -- The continuing life of Ivan Mcbeth.

How to Do Things with Myths: A Performative Theory of Myths and How We Got There assembles a radically updated collection of the author's oft-cited publications on myth. Together, they tell how theories of myth have changed and led to a novel "performative" theory of myth.

Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4 , 1377--1402. Project Euclid: euclid.jsl/1183744119 Part II: Michael Zakharyaschev. Canonical Formulas for K4. Part II: Cofinal Subframe Logics. J. Symbolic Logic, Volume 61, Issue 2 , 421--449. Project Euclid: euclid.jsl/1183745008.

The "theory of mind" framework has been the fastest growing body of empirical research in contemporary psychology. It has given rise to a range of positions on what it takes to relate to others as intentional beings. This book brings together disparate strands of ToM research, lays out historical roots of the idea, and indicates better alternatives.

This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property.

We present our personal view on W.J. Blok's contribution to modal logic.

Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4, 1377--1402. Project Euclid: euclid.jsl/1183744119 Part II: Michael Zakharyaschev. Canonical Formulas for K4. Part II: Cofinal Subframe Logics. J. Symbolic Logic, Volume 61, Issue 2, 421--449. Project Euclid: euclid.jsl/1183745008.

This book argues that Nietzsche's Thus Spoke Zarathustra employs circular and cyclical (diurnal and seasonal) symbols to communicate both the life-affirmative and the cosmological aspect of "recurrence" as a unifying idea. It shows that twelve day cycles, which run throughout the book's narrative, and the one full annual cycle, which encompasses the circular and the diurnal images in a continuous cycle of life affirmation, track Zarathustra's ever-changing identity throughout the text. In representing the eternal recurrence, the circular and the cyclical (...) symbols respectively convey the book's central message: Zarathustra comes into being in order to affirm existence as the teacher of eternal recurrence in an endlessly repeating cosmos. The study complements recent findings that Nietzsche's book is on eternal recurrence by establishing the unity among its language, structure, and fundamental conception, which solves the century-old problem of the communication or location of the doctrine within the text. The book is designed for the specialised audience of Nietzsche studies. It would also appeal to both students and professors in various disciplines across humanities and social sciences, as well as to anyone interested in understanding the basic tenets of Thus Spoke Zarathustra. (shrink)

I discuss the role of beauty in physics. Physicists are sometimes described as platonists for their conviction that the fundamental laws are elegant and aesthetic arguments represent an important epistemic tool. After a review of the ideas of Plato and some of the leading figures of modern physics, which suggest that this is indeed the case, I present a list of current aesthetic criteria. I focus on symmetry and unity and demonstrate their increasing relevance in an array of experimentally verified (...) theories. I also deal with an open issue of naturalness as the third criterion. The laws of nature appear increasingly beautiful as we uncover them, and it is important to see if the trend continues in the future. (shrink)

Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability. Modal and modal-like languages also provide us with families of restricted description languages for relational and topological structures; they are being used in many disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. (...) This volume presents a broad and up-to-date view of the field, with contributions covering both the foundations of modal logic itself and each of the aforementioned application areas. Complemented with an editorial introduction covering the roots of modal logic, this book is indispensable for any advanced student and researcher in non-classical logic and its applications. (shrink)

When we talk about creation, we use the progressive and verbs of creation as in ‘Mary is building a house’. The modal account of the progressive says that a sentence such as ‘Mary is building a house’ is true just in case Mary eventually builds a house in all worlds in which her house-building proceeds normally. Recently, the modal account has come under fire from those who claim that it over-generates modal entailments and those who think the progressive should be (...) treated as a predicate of events. By properly situating the modal account within a contemporary semantic framework for natural language modals, I argue that it gives the best semantic treatment of the progressive. (shrink)

The research deals with the issue of genre hybridization in the novel “Silence – Chronicle of a Killer” written by a contemporary Austrian writer Thomas Raab. An examination of the novel's composition and structure, as a text in motion, has been accomplished in the article. The novel “Silence” is an excellent illustration of how the genre of adventure has been adapted to include elements of science fiction. This novel is a love tale, a rural life saga, a formation narrative, and (...) a psychological thriller all in one. As a fictionalized account of the life of a serial murderer with hypersensitive hearing who became a legend for his mental torment and suffering, it serves both as a biography and a thriller. Novelist Raab uses elements from classic horror novels like Frankenstein, German romantics, in particular, G. Kleist, the tale of Casper Hauser, and detective novels like Friedrich Durrenmatt's "Promise" to tell the story of Casper Hauser's disappearance in his book. A new aesthetic experience may be formed at various degrees of identification ranging from naive perception to higher levels of literary reception. Concentration is required for poetic and philosophical substance. Michel Focalut's nomadism, marginality, and authoritarian power rhetoric have been discussed in this article. The novel's ultimate content has been disclosed as the aphesis torment, emotional sublimation, as the birth of an artwork and, at the same time, death of the author, who exposes discourses, accountable for creating texts that are allocated to him. (shrink)