In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as for instance (...) Stit Logics. (shrink)

The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...) outlines its defence strategy. Each pair of papers in this section can be read as a discussion between presentists and eternalists, wherein each directly responds to the arguments and objections offered by the other. This is a discussion that is sometimes absent in the literature, or which is at best carried out in a fragmented way. The first two papers of the section deal with the problem of the compatibility of Special Relativity Theory (SRT) and presentism. SRT is often considered to be a theory that contradicts the main tenet of presentism, thereby rendering presentism at odds with one of our most solid scientific theories. Christian Wüthrich’s paper presents arguments for the incompatibility of the two theories (SRT and presentism) within a new framework that includes a discussion of further complications arising from the theory of Qauantum Mechanics. Jonathan Lowe’s paper, by contrast, develops new general arguments against the incompatibility thesis and replies to Wüthrich’s paper. The second pair of papers focuses on the problem that presentists face, in providing grounds for past tensed truths. In the first (by Matthew Davidson), new arguments are provided to defend the idea that the presentist cannot adequately explain how what is now true about the past is grounded, since for the presentist the past is completely devoid of ontological ground. The second paper (by Brian Kierland) takes up the challenge of developing a presentist explanation of past truths, beginning by outlining some existing views in the literature before advancing an original proposal. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

L’esistenza non è logica è un libro estremamente interessante e di grande qualità, e Francesco Berto ha il pregio di accostare un’esposizione sempre accessibile alla solidità teorica della sua proposta e alla padronanza dei temi che affronta. Il titolo riassume una delle idee principali del volume: l’esistenza è una proprietà, e – soprattutto – è una proprietà che non va definita in termini di una nozione logica come – per esempio – quella espressa dal quantificatore esistenziale. Nel libro,...

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

The problem of future contingents is one of the most ancient and debated puzzles in Western philosophy, and Supervaluationism is, today, one of the most prominent solutions to the problem. Recently, John MacFarlane has carried a well-known criticism to Supervaluationism and put forward a new solution of the problem of future contingents, which is known as Double Time Reference Theory. Here, we compare DTRT with Supervaluationist semantics, and we show that the success of MacFarlane's criticism crucially depends on the expressivity (...) of the language adopted. Once a reasonable expressive power is granted, however, MacFarlane's criticism no longer applies. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

In this paper, we use a ‘normality operator’ in order to generate logics of formal inconsistency and logics of formal undeterminedness from any subclassical many-valued logic that enjoys a truth-functional semantics. Normality operators express, in any many-valued logic, that a given formula has a classical truth value. In the first part of the paper we provide some setup and focus on many-valued logics that satisfy some of the three properties, namely subclassicality and two properties that we call fixed-point negation property (...) and conservativeness. In the second part of the paper, we introduce normality operators and explore their formal behaviour. In the third and final part of the paper, we establish a number of classical recapture results for systems of formal inconsistency and formal undeterminedness that satisfy some or all the properties above. These are the main formal results of the paper. Also, we illustrate concrete cases of recapture by discussing the logics $\mathsf{K}^{\circledast }_{3}$, $\mathsf{LP}^{\circledast }$, $\mathsf{K}^{w\circledast }_{3}$, $\mathsf{PWK}^{\circledast }$ and $\mathsf{E_{fde}}^{\circledast }$, that are in turn extensions of $\mathsf{{K}_{3}}$, $\mathsf{LP}$, $\mathsf{K}^{w}_{3}$, $\mathsf{PWK}$ and $\mathsf{E_{fde}}$, respectively. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

This paper makes first steps toward a systematic investigation of how pertinence to topic contributes to determine deductively valid reasoning along with preservation of designated values. I start from the interpretation of Weak Kleene Logic WKL as a reasoning tool that preserves truth and topic pertinence, which is offered by Jc Beall. I keep Beall’s motivations and I argue that WKL cannot meet them in a satisfying way. In light of this, I propose an informal definition of a topic-sensitive logic (...) and I proceed to turn it into a formal one by deploying the topic-algebraic framework from the Topic-Sensitive Intentional Modalities project by Francesco Berto. I apply the framework in order to define semantically a ‘classical topic-sensitive logic’ CTSL that meets Beall’s motivations and proves topic-sensitive. Then, I prove results that connect CTSL and any possible topic-sensitive logic to the tradition of containment logics and provide a unification tool for a wide range of recent proposals in philosophical logic. A topic-theoretical interpretation of WKL is then offered without prejudice to the fact that the logic is not topic-sensitive. Finally, the paper discusses some conceptual issues and research perspectives. (shrink)

In this paper, we discuss the notion of inevitable ignorance that the Italian Constitutional Court has introduced in justifying a restriction of the legal maxim Ignorantia legis non excusat. In particular, we argue that the epistemic flavor of the notion extends to the notion of inevitability beside that of ignorance, and we offer an epistemic analysis of the notion. This analysis is based both on the legal-theoretical framework defined by the justification of the restriction of the maxim, and on a (...) discussion of some paradigmatic Italian cases where the standard of excusability involving inevitable ignorance is applied. The analysis reveals that the notion of inevitable ignorance is closely connected to a number of notions also used in formal epistemology, such as belief, evidence, rationality, and trust. (shrink)

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the (...) field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University Bochum, June 2012. (shrink)

Temporal aspects dwell both in the world around us and at the core of our experience of it. Reality, thought, and language all seem to be imbibed in temporality at some level or another. It is thus not surprising that philosophers who have to face the problems of understanding time have resorted to tools from different spheres of investigation, and often at the points of overlap of these areas. Metaphysics, philosophy of physics and science in general, philosophy of language, phenomenology, (...) philosophy of mind, the study of perception and cognition, but also anthropology, sociology, and history of culture, art, and ideas all contain theories and reflections that are crucial to our understanding and experience of time. Many recent debates in analytic philosophy have tackled in different ways the question of whether the sensation of the passage of time that seems to characterise our ordinary experience should be understood as reflecting some obje .. (shrink)

The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help framing two possible interpretations of the logic in question - a `subjective' and an `objective' one - and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments.

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...) result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that the logic resulting from this “abundance of the future” is a non-adjunctive paraconsistent formalism based on subvaluations, which (...) has the virtue that all classical laws are valid in it, while no formula like φ ∧ ¬φ is satisfiable ; The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; abundance preserves some important features of classical logic when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. (shrink)

After Husserl and Heidegger, phenomenology has attempted to push the reduction beyond the reference of objects to the performances effected by consciousness, or of beings to Being. First, a new level of the reduction comes forth in M. Henry's radical reduction of appearing to the appearing of appearing, and leads to the disclosure of a dimension in which no horizons are to be fulfilled because the superabundance of life holds sway. Secondly, according to H. Rombach, the phenomena decribed in the (...) first two levels are nothing but epiphenomena, and must be explained in terms of structures that emerge in a creative development. Reality brings forth something from itself, and we must take advantage of this contribution in order to obtain more than what is anticipated in our projects. Thirdly, J.-L. Marion advances a theory on saturated phenomena in order to account for phenomena that surpass the bounds outlined for them in the mere significational intentions because they show a surplus of intuition. The three trends lead respectively to an originary phenomenality, an outbreak of phenomena, and saturated phenomena. The article contends that they tend to come together because they link the third level of phenomenology to a reflection that turns on the duality between what appears and its appearing, and, in doing so, disclose a surplus with regard to three different aspects of the duality, i.e., appearing as such, the overall condition of what appears, or the appearing of some preeminent phenomena. Finally, some anticipations of these trends in Husserl's transcendental phenomenology are shown.Luego de Husserl y Heidegger, la fenomenología ha intentado llevar la reducción más allá de la referencia de los objetos a las operaciones efectuadas por la conciencia o de los entes al ser. En primer lugar, un nuevo nivel de reducción se manifiesta en la reducción radical propuesta por M. Henry para retroceder del aparecer al aparecer del aparecer, y conduce al descubrimiento de una dimensión en que no hay horizontes que puedan ser plenificados porque impera la sobreabundancia del la vida. En segundo lugar, según H. Rombach, los fenómenos descritos en los dos primeros niveles no son otra cosa que epifenómenos y tienen que ser explicados en términos de estructuras que emergen en un desarrollo creador. La realidad produce algo a partir de sí misma, y esta contribución debe ser aprovechada a fin de alcanzar más de lo anticipado en nuestros proyectos. En tercer lugar, J.-L. Marion presenta una teoría sobre los fenómenos saturados a fin de dar cuenta de aquellos casos que exceden los límites que les han sido delineados en las intenciones significativas vacías porque muestran una demasía de intuición. Las tres tendencias conducen respectivamente a una fenomenalidad originaria, a un estallido del fenómeno y a una saturación del fenómeno. El artículo sostiene que tienden a converger porque vinculan el tercer nivel de la fenomenología con una reflexión en torno de la dualidad entre lo que aparece y su aparecer, y que, al hacerlo, ponen de manifiesto una excedencia respecto de tres aspectos distintos de la dualidad, esto es, el aparecer en cuanto tal, la condición general de lo que aparece o la aparición de algunos fenómenos preeminentes. Finalmente, se indican algunas anticipaciones de estas tendencias en la fenomenología trascendental de Husserl. (shrink)

Un primer aspecto concierne a la praxis no-intencional y primaria del cuerpo propio. A ello se añade su condición de sostén para los valores sensibles de la comodidad y la salud, y de trampolín para valores espirituales cuyo nivel superior se encuentra en los valores éticos de la persona. Estos puntos de vista husserlianos encuentran nuevos desarrollos en la fenomenología: M. Henry pone el acento en un "yo puedo" pre-intencional, y Ricoeur describe el cuerpo propio como "fuente" de valores propios (...) y "resonador afectivo" de todos los valores, y a la vez esboza una concepción de la felicidad que incluye temples particulares de la corporalidad. Por último, Husserl considera la ofrenda del cuerpo propio a los valores espirituales en el sacrificio como la afirmación positiva de la vida de la humanidad. J. Patocka y E. Lévinas han desarrollado esta línea de pensamiento. A first aspect has to do with the non-intentional and primal praxis of the living body. To this is added its status as a support for the sensuous values of comfort and health and a springboard for spiritual values, the highest level of which lies in the ethical values of the person. These Husserlian views find new developments in phe-nomenology: M. Henry highlights a pre-intentional "I can", M. Scheler analyzes the relationship between hedonistic, vital, and spiritual values, and P. Ricoeur describes the living body both as the "source" ofits own proper values and the "affective resonator" of all values, and also outlines a view on happiness that encompasses particular bodily attunements. Finally, Husserl considers the offering of the living body to spiritual values in sacrifice as the positive assertion of humankind's life. J. Patocka and E. Lévinas have developed this line of thought. (shrink)

Este texto procura analisar uma passagem do terceiro livro de A República de Platão, que trata dos tipos de poesia e de elocução. Observa-se certa variação de emprego do vocabulário associado à ideia de imitação que parece conduzir a algumas dificuldades de entendimento do sentido e dos objetivos da doutrina. A seguir, a análise tenta propor uma forma de explicar e solucionar o que parece ser uma espécie de flutuação semântica desse vocabulário, com base em teses já estabelecidas anteriormente no (...) diálogo. (shrink)

Se intentan poner de manifiesto isomorfismos estructurales en las teorías de Heidegger y Husserl sobre tiempo e historia. En relación con Ser y tiempo, la atención está puesta en la tesis compartida de que la historiografía está arraigada en la historicidad y esta en la temporeidad. Con referencia al curso de 1934 se pone de relieve la convergencia heideggeriana de misión, encargo y trabajo, que remiten al futuro, al pasado y al presente. Se muestran nociones equivalentes en los niveles que (...) Husserl distingue en la historia: protohistoria, historia efectiva e historia racional. Finalmente, en lo que atañe al viraje, se trazan paralelos entre el Ereignis y el presente viviente como instancias últimas de una indagación restrospectiva, entre la temporeidad del Dasein y al tiempo inmanente como resonancias de una dimensión profunda, y en torno de una conexión mutua en el análisis de la historia en términos de desviación, reposición, incorporación y superación, esto es, los momentos que componen la noción de Gewind. (shrink)

In quantum information and computation, entanglement is a resource. When combining concepts, the application of entanglement outside of micro-physical systems is an useful tool. We suggest new cognitive image-based tests that do not need to be translated. No prior knowledge of terms related to the concepts is required, therefore the choice is more intuitive. We examine the merging of two concepts that establish non-classical statistical correlation and present an entanglement-aware vector encoding algorithm. This research’s added value results in an automated (...) system that teaches artificial intelligence to identify and handle entangled concepts. (shrink)

El trabajo tiene como hilo conductor la diferenciación efectuada por P. Ricoeur respecto del lenguaje entre la lengua, el discurso oral, la escritura y la lectura. Cada uno de estos modos de lenguaje puede ser examinado según los fenómenos de la temporalidad, la subjetividad, el mundo y la intersubjetividad. Siguiendo a M. Presas, este esquema se aplica al arte y a su función de dejar que las cosas se manifiesten en su plena presencia. Se destaca su énfasis en la liberación (...) efectuada por el arte respecto de la limitación fáctica de nuestra situación finita. Esto se logra mediante la apertura a la verdad de una existencia posible que no se identifica con una evasión de la realidad. Los análisis de Presas se centran en P. Klee y F. Marc, y destacan los rasgos distintivos relacionados con los mencionados fenómenos. En el intento de ofrecer un complemento a este examen, se mencionan las interpretaciones de Merleau-Ponty sobre P. Cézanne, de M. Henry sobre V. Kandinsky y de J.-C. Marion sobre G. Courbet. Se muestra que en ellas también se encuentran explicitaciones de lo que Presas ha afirmado sobre la discordia, el ser insular y la ausencia de apremio. (shrink)

""Forty-nine steps" refers to the Talmudic doctrine that there are forty-nine steps to meaning in every passage of the Torah. Employing this interpretive approach, Calasso offers a "secret history" of European literature and philosophy in the wake of Nietzsche, Marx, and Freud. Calasso analyzes how figures ranging from Gustav Flaubert, Gottfried Benn, Karl Kraus, Martin Heidegger, Walter Benjamin, Franz Kafka, Bertolt Brecht, and Theodor Adorno has contributed to, or been emblematic of, the current state of Western thought. This book's theme, (...) writ large, is the power of fable - specifically, its persistence in art and literature despite its exclusion from orthodox philosophy."--BOOK JACKET. (shrink)

Studying Giles of Rome’s De ecclesiastica potestate, scholars usually focus their attention on the first part, where the Augustinian master argues in favor of his extreme theory of papal power. The present paper deals with the second part of the treatise, devoted to the relationship between the Church and temporal possessions. The main issues discussed in this part are therefore not political and ecclesiastical power, but ownership and poverty. The paper underlines in the first place the connection existing between Giles (...) of Rome’s treatment of these problems and the controversy between Secular and Mendicant clergy. Although originally a mendicant friar himself, Giles tries to avoid any interpretation of mendicant proverty that could undermine the right of the Church to exercise lordship over temporal goods. In the second place, the paper shoes how Giles’ account of the origin of private poverty is functional to his claim that the Church possesses all rights on temporal goods at the highest level. In this way, the Church is the sole authority that can grant a right of property, so that every human being depends on the Church also for his legitimate possession of temporal goods. (shrink)

In popular culture, Einstein’s shaggy mustaches and disheveled hairstyle have come to represent the image of physics itself. The most famous physicist of the twentieth century is mainly celebrated as the creator of relativity, intended as both special and general relativity theories. The ubiquitous E = mc2 equation comes hand in hand with pictures of Einstein’s thoughtful wrinkles. Insofar as quantum theory is concerned, Einstein is usually remembered as a strenuous opponent of quantum mechanics who rejected this successful theory on (...) epistemological grounds till the end of his life.In Einstein and the Quantum: The Quest of the Valiant Swabian Douglas Stone—a theoretical physicist specialized in the application of quantum mechanics to solid-state physics—pursues the clearly stated aim of challenging this conventional view. In fact, Einstein made momentous contributions to the quantum theory as the main proponent of novel notions that radically shook the foundat .. (shrink)

Writing his Moralis philosophia, Roger Bacon discussed issues relevant to medieval political discourse. He felt the need to appeal to the authority of Aristotle, but having no access to Aristotle’s Politica, he tried to reconstruct its main tenets through the writings of other thinkers, such as Avicenna and Alfarabi. The result of this attempt is a sketch of a political theory that goes mainly under the name of Aristotle but has little to do with the actual contents of the Politica. (...) In the following years, Bacon remained faithful to his first reconstruction. The author suggests that, with all probability, Bacon, never read the actual text of the Politica. the result is that Bacon’s contribution in this field was not influenced by Aristotle’s political masterpiece, but by other texts, in particular by Avicenna’s Philosophia prima. Such an assessment should not imply a negative judgement on Bacon. Rather, we should consider him among those authors who contributed to the rich diversity of medieval political thought independent of Aristotle’s Politica. (shrink)