In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (_LFI_) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof theory of the first-order versions of such _LFI_s. Here, we intend to make a first step in this direction. On the other hand, the logic _Ciore_ was developed to provide new logical systems in the study of inconsistent databases from the point of view of _LFI_s. (...) An interesting fact about _Ciore_ is that it has a _strong_ consistency operator, that is, a consistency operator which (forward/backward) propagates inconsistency. Also, it turns out to be an algebraizable logic (in the sense of Blok and Pigozzi) that can be characterized by means of a 3-valued logical matrix. Recently, a first-order version of _Ciore_, namely _QCiore_, was defined preserving the spirit of _Ciore_, that is, without introducing unexpected relationships between the quantifiers. Besides, some important model-theoretic results were obtained for this logic. In this paper we study some proof–theoretic aspects of both _Ciore_ and _QCiore_ respectively. In first place, we introduce a two-sided sequent system for _Ciore_. Later, we prove that this system enjoys the cut-elimination property and apply it to derive some interesting properties. Later, we extend the above-mentioned system to first-order languages and prove completeness and cut-elimination property using the well-known Shütte’s technique. (shrink)

Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic NI\. It is however well known that the translation does not preserve the relations of identity among derivations induced by the permutative conversions and immediate expansions for the definable connectives, at least when the equational theory of NI\ is assumed to consist only of (...) \- and \-equations. On the basis of the categorial interpretation of NI\, we introduce a new class of equations expressing what in categorial terms is a naturality condition satisfied by the transformations interpreting NI\-derivations. We show that the Russell–Prawitz translation does preserve identity of proof with respect to the enriched system by highlighting the fact that naturality corresponds to a generalized permutation principle. Finally we sketch how these results could be used to investigate the properties of connectives definable in the framework of higher-level rules. (shrink)

In the present paper we discuss a recent suggestion of Schroeder-Heister concerning the possibility of defining an intensional notion of harmony using isomorphism in second-order propositional logic. The latter is not an absolute notion, but its definition is relative to the choice of criteria for identity of proofs. In the paper, it is argued that in order to attain a satisfactory account of harmony, one has to consider a notion of identity stronger than the usual one (based on β- and (...) η-conversions) that the authors have investigated in recent work. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

This paper defends the view that one's own mental states are metaphysically privileged vis-à-vis the mental states of others, even if only subjectively so. This is an instance of a more general view called Subjectivism, according to which reality is only subjectively the way it is. After characterizing Subjectivism in analogy to two relatively familiar views in the metaphysics of modality and time, I compare the Subjectivist View of the Mental with Egocentric Presentism, a version of Subjectivism recently advocated by (...) Caspar Hare. I argue that the Subjectivist View of the Mental goes a considerable way towards solving certain long-standing philosophical puzzles having to do with the unity of consciousness, the contents of self-awareness and the intransmissibility of experiential knowledge through testimony. (shrink)

Relativists make room for the possibility of “faultless disagreement” by positing the existence of subjective propositions, i.e. propositions true from some points of view and not others. We discuss whether the adoption of this position with respect to a certain domain of discourse is compatible with a realist attitude towards the matters arising in that domain. At first glance, the combination of relativism and realism leads to an unattractive metaphysical picture on which reality comprises incoherent facts. We will sketch the (...) contours of a realist-relativist position called “subjectivism”, which avoids this result by giving up the assumption that the points of view of different subjects are all metaphysically “on a par”. (shrink)

This paper argues that what is currently the most popular version of temporal Fragmentalism—‘unstructured’ temporal Fragmentalism, as I shall call it—faces a problem of Tensed Belief Explosion. Four possible solutions to this problem are reviewed and shown to be wanting; two more promising ones risk fostering scepticism about the existence of tensed facts—hence, about Fragmentalism itself. The tentative moral is that unstructured versions of Fragmentalism are at best unmotivated and at worst seriously flawed.

In a previous paper we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equational theory for System F codifying at a syntactic level some properties found in parametric models of polymorphic type theory. A different approach to extract proof-theoretic properties of natural deduction derivations was proposed in a recent series of papers on the basis of an embedding of intuitionistic propositional logic into a (...) predicative fragment of System F, called atomic System F. In this paper we show that this approach finds a general explanation within our equational study of second-order natural deduction, and a clear semantic justification in terms of parametricity. (shrink)

In everyday reasoning - just as in science and art - knowledge is acquired more by "doing" than with long analyses. What do we "do" when we discover something new? How can we define and explore the pattern of this reasoning, traditionally called "synthetic"? Following in the steps of classic pragmatists, especially C.S. Pierce, Giovanni Maddalena's Philosophy of Gesture revolutionizes the pattern of synthesis through the ideas of change and continuity and proposes "gesture" as a new tool for synthesis. (...) Defining gesture as an action with a beginning and an end that carries on a meaning, Maddalena explains that it is a dense blending of all kinds of phenomena - feelings and vague ideas, actual actions, habits of actions - and of signs - icons, indexes, and symbols. When the blending of phenomena and signs is densest, the gesture is "complete," and its power of introducing something new in knowledge is at its highest level. Examples of complete gestures are religious liturgies, public and private rites, public and private actions that establish an identity, artistic performances, and hypothesizing experiments. A departure from a traditional Kantian framework for understanding the nature and function of reason, The Philosophy of Gesture proposes an approach that is more attuned with our ordinary way of reasoning and of apprehending new knowledge. (shrink)

This handbook is currently in development, with individual articles publishing online in advance of print publication. At this time, we cannot add information about unpublished articles in this handbook, however the table of contents will continue to grow as additional articles pass through the review process and are added to the site. Please note that the online publication date for this handbook is the date that the first article in the title was published online.

The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity of second and higher-order logic. However, the epistemological significance of such investigations has not received much attention in the contemporary foundational debate.We discuss Girard’s normalization proof for second order type theory or System F and compare it with two faulty consistency arguments: the one given by Frege for the logical system of the Grundgesetze and (...) the one given by Martin-Löf for the intuitionistic type theory with a type of all types.The comparison suggests that the question of the circularity of second order logic cannot be reduced to Russell’s and Poincaré’s 1906 “vicious circle” diagnosis. Rather, it reveals a bunch of mathematical and logical ideas hidden behind the hazardous idea of impredicative quantification, constituting a vast domain for foundational research. (shrink)

Emotions and personhood are important notions within the field of mental health care. How they are related is less evident. This book provides a framework for understanding the important and complex relationship between our emotional wellbeing and our sense of self, drawing on psychopathology, philosophy, and phenomenology.

There are two intuitions about time. The first is that there's something special about the present that objectively differentiates it from the past and the future. Call this intuition Specialness. The second is that the time at which we happen to live is just one among many other times, all of which are ‘on a par’ when it comes to their forming part of reality. Call this other intuition Egalitarianism. Tradition has it that the so-called ‘A-theories of time’ fare well (...) at addressing the first intuition, but rather badly when it comes to the second. The goal of this article is to offer advice to A-theorists about how to reconcile their view with Egalitarianism. (shrink)

How can we better understand and treat those suffering from schizophrenia and manic-depressive illnesses? This important new book takes us into the world of those suffering from such disorders. Using self descriptions, its emphasis is not on how mental health professionals view sufferers, but on how the patients themselves experience their disorder. A new volume in the International Perspectives in Philosophy and Psychiatry series, this book will be of great interest to all those working with sufferers from such disorders - (...) helping them to better understand their mental lives, and providing important insights into how best to treat them. (shrink)

Pubblicata nel 1930 come summa delle lezioni universitarie del biennio precedente, "La filosofia dell'arte" il primo vero confronto di Giovanni Gentile con il tema dell'Estetica. Dopo decenni in cui il pensatore si era approcciato soltanto in parte o di sfuggita al problema dell'arte, in questo volume affronta esplicitamente l'argomento, per fornire il suo punto di vista - in polemica velata, fra gli altri, con Benedetto Croce - e inquadrarlo meglio all'interno della sua visione attualista, che tanto ha influenzato il (...) pensiero della prima met del XX secolo. (shrink)

We introduce a sequent calculusBfor a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic. quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterizeBpositively: reflection, symmetry and visibility.A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with a metalinguistic link between assertions, (...) and if its syntactic inference rules are obtained by solving that equation. All connectives of basic logic satisfy reflection.To the control of weakening and contraction of linear logic, basic logic adds a strict control of contexts, by requiring that all active formulae in all rules are isolated, that is visible. From visibility, cut-elimination follows. The full, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them, producing the structure of a cube. (shrink)

Currently, anomalous lived temporality is not included in the main diagnostic criteria or standard symptom checklists. In this article, we present the Transdiagnostic Assessment of Temporal Experience, a structured interview that can be used by researchers and clinicians without a comprehensive phenomenological background to explore abnormal time experiences in persons with abnormal mental conditions regardless of their diagnosis. When extensive data gathered by this scale are available, it will be possible to delineate well-defined anomalous lived temporality profiles for each psychopathological (...) disorder. This instrument may also prove useful for clinicians by providing a more refined assessment of relevant psychopathological symptoms and an in-depth understanding of the patient’s abnormal behaviour as related to specific types of time experience. In the first part of the article, we provide a brief overview of the phenomenological concept of temporality, including pre-phenomenal and phenomenal time, synthesis, conation and synchronization, and of abnormal time experiences in persons affected by psychopathological conditions. In the following part, we describe the basic structure of the interview that comprises seven categories corresponding to the abnormal features of lived temporality: anomalies of synchrony, of time structure, of implicit time flow, of explicit time flow, and anomalous experiences of the past, the present and the future. The paper also includes a section on administration and scoring of the TATE scale, the complete interview and a Likert table for quantifying the frequency, intensity and interference with daily life of the phenomena explored. (shrink)

Our objective in this paper is twofold: first, we intend to address the tenability of the enactivist middle way between realism and idealism, as it is proposed in The Embodied Mind. We do so by taking the enactivist conception of bringing forth a world literally in three conceptual levels: enaction, niche construction and social construction. Based on this proposal, we claim that enactivism is compatible with the idea of an independent reality without committing to the claim that organisms have cognitive (...) access to a world composed of properties specified prior to any cognitive activity. Our second goal is to show that our literal interpretation of bringing forth a world not only sustains the legitimacy of the middle way, but it also allows us to revive the conception of evolution as natural drift—which is perhaps the least examined aspect of the original enactivist theory and is central to the understanding of cognition in an enactive way. Natural drift focuses on how structural couplings between organism and environment trigger viable pathways of maintenance and reproduction, instead of selecting the most adapted trait to a pregiven environment. Thus, although enactivists typically do not explore the consequences of their views regarding evolutionary dynamics, we show how natural drift provides a suitable starting point. (shrink)

Risk and crisis communication (RCC) is a current ethical issue subject to controversy, mainly due to the tension between individual liberty (a core component of fairness) and effectiveness. In this paper we propose a consistent definition of the RCC process in public health emergencies (PHERCC), which comprises six key elements: evidence, initiator, channel, publics, message, and feedback. Based on these elements and on a detailed analysis of their role in PHERCC, we present an ethical framework to help design, govern and (...) evaluate PHERCC strategies. The framework aims to facilitate RCC, incorporating effectiveness, autonomy, and fairness. It comprises five operational ethical principles: openness, transparency, inclusivity, understandability, and privacy. The resulting matrix helps understanding the interplay between the PHERCC process and the principles of the framework. The paper includes suggestions and recommendations for the implementation of the PHERCC matrix. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:7 Franciscan Studies 62 (2004) THE FRANCISCAN INSTITUTE HONORS GIOVANNI MICCOLI On July 16, 2004 Professor Giovanni Miccoli, a respected scholar of medieval, Church and Franciscan history, received the Franciscan Institute Medal from St. Bonaventure University during its celebration of the Feast of St. Bonaventure. University president Sr. Margaret Carney, O.S.F., and Fr. Michael Cusato, O.F.M., director of The Franciscan Institute and dean of the School of (...) Franciscan Studies, presented the medal during an Academic Convocation at 7 p.m. in The Regina A. Quick Center for the Arts. A reception followed in the Dresser-Rand Atrium. During the Convocation, Giovanni Miccoli gave a presentation, “A Reading of the Christian Proposal of Francis According to His First Biographers,” continuing a longtime focus on the study of Francis of Assisi and his contributions to the Church. Professor Miccoli, who was born in Trieste, Italy, in 1933, studied in Pisa at the Scuola Normale Superiore and the Università, in Munich at the Monumenta Germaniae Historica, and London at the Warburg Institute. He has taught in Pisa, Venice and his native Trieste, where he is now a professor emeritus at the Università di Trieste. A historian of the Middle Ages and of the Roman Catholic Church, he has combined those loves to specialize first in the Gregorian Reformation, reforms undertaken within the Church under Pope Gregory VII at the end of the 11th century. Turning his eyes to more modern times, he is also an expert on the relationship between the Catholic Church and Fascism in Italy, including the questions related to Pius XII’s pontificate during World War II. His study of the Church in Italy during the Middle Ages led to a focus on Francis of Assisi and his impact on the Church, which led to his becoming one of foremost Franciscan scholars of modern times. Miccoli is particularly known for his contribution to 1974’s “La Storia Religiosa” (Religious History of Italy), which is the second volume of “Storia d’Italia” (History of Italy). In “La Storia Religiosa” he examined how Francis and his movement influenced the history and development of the Church in Italy. 8 GIOVANNI MICCOLI Since that time, he has published several major articles on Franciscan issues, largely drawing from early Franciscan documents and sources, which have been translated from Italian to English and published in Greyfriars Review, a publication of the Franciscan Institute. One essay, “Francis of Assisi’s Christian Proposal,” was published in Italian in 1983 and in Greyfriars Review in 1989; another, “A Christian Experience Between Gospel and Institution,” appeared in Italian in 1992 and in Greyfriars Review in 1997; while a third, “The Writings of Francis,” was published in Italian in 1997 and in Greyfriars Review in 2001. The Franciscan Institute established the medal in 1987 to honor scholars who have made outstanding contributions to Franciscan studies in the areas of philosophy, theology, history and spirituality. Giovanni Miccoli was the 16th recipient of the medal. Recent honorees have included Fr. Clément Schmitt, O.F.M., Sr. Ingrid Peterson, O.S.F., Fr. Kenan Osborne, O.F.M., and Fr. Zachary Hayes, O.F.M. THE FRANCISCAN PROPOSAL OF GIOVANNI MICCOLI Giovanni Miccoli was born a little more than seventy years ago in the city of Trieste in northern Italy. He studied at the Scuola normale superiore of Pisa, the most prestigious school in Italy, where he was taught by renowned professors, particularly Arsenio Frugoni. He also received scholarships to study in Munich, Germany, and in London, England. Although he was offered a wide variety of important research and teaching positions in the major cities of Italy, he chose scholarly authority over academic power, and decided to return to his home town and join the university of Trieste, where he taught until his recent appointment as professor emeritus. Trieste is a city at the crossroads of the Latin, Germanic and Slavic worlds. Although largely ignored nowadays, in the past it was the harbor of Austria and, more recently during the Cold War, the last city of Western Europe facing the communist world. It is an enigmatic, fascinating city. This evening we honor Giovanni Miccoli as one of the greatest... (shrink)

This is the first book to provide a coherent overview over the ethical implications of AI-related technologies in medicine. It explores how these technologies transform practices, relationships, and environments in the clinical field. It provides an introduction into ethical issues such as data security and privacy protection, bias and algorithmic fairness, trust and transparency, challenges to the doctor-patient relationship, and new perspectives for informed consent. The book focuses on the transformative impact that technology is having on medicine, and discusses several (...) strategies for dealing with the resulting challenges. It also introduces innovative methods of ethics research for addressing existing desiderata and future challenges. This book is written to inform health care professionals, policy-makers, and researchers in medicine, health sciences, nursing science, social sciences, and ethics, but may also function as a primary textbook for graduate as well as undergraduate university courses. (shrink)

According to Leibniz’s infinite-analysis account of contingency, any derivative truth is contingent if and only if it does not admit of a finite proof. Following a tradition that goes back at least as far as Bertrand Russell, several interpreters have been tempted to explain this biconditional in terms of two other principles: first, that a derivative truth is contingent if and only if it contains infinitely complex concepts and, second, that a derivative truth contains infinitely complex concepts if and only (...) if it does not admit of a finite proof. A consequence of this interpretation is that Leibniz’s infinite-analysis account of contingency falls prey to Robert Adams’s Problem of Lucky Proof. I will argue that this interpretation is mistaken and that, once it is properly understood how the idea of an infinite proof fits into Leibniz’s circle of modal notions, the problem of lucky proof simply disappears. (shrink)

In this paper I propose to read and understand gestures as logical tools within a synthetic paradigm of knowledge. This interpretation of gesture is drawn from a new pragmatist reading of reasoning in general, and synthetic reasoning in particular. Complete gestures are actions with a beginning and an end that bear a meaning. It is our regular way to embody vague ideas into singular actions with general meaning. The tool is forged by a dense blending of icons, indices, and symbols (...) and by a complexity of phenomenological characteristics as feelings, actual actions, general concepts and habits. The paper illustrates this new way to look at gestures and different kinds of complete and incomplete gestures. (shrink)

It has been observed that, unlike other kinds of singular judgments, mental self-ascriptions are immune to error through misidentification: they may go wrong, but not as a result of mistaking someone else’s mental states for one’s own. Although recent years have witnessed increasing interest in this phenomenon, three basic questions about it remain without a satisfactory answer: what is exactly an error through misidentification? What does immunity to such errors consist in? And what does it take to explain the fact (...) that mental self-ascriptions exhibit this sort of immunity? The aim of this paper is to bring these questions into focus, propose some tentative answers and use them to show that one prominent attempt to explain the immunity to error through misidentification of mental self-ascriptions is unsuccessful. (shrink)