We introduce a sequent calculus B for 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 characterize B positively: 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)

Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following: Let T be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula in T built up from the propositional variables $q,p_{1},...,p_{n}$ , using logical connectives and the predicate Pr, has the same "fixed-points" relative to q (that is, formulas $\psi (p_{1},...,p_{n})$ for which for all $p_{1},...,p_{n}\vdash _{T}\phi (\psi (p_{1},...,p_{n}),p_{1},...,p_{n})\leftrightarrow \psi (...) (p_{1},...,p_{n})$ ) of a formula $\phi ^{\ast}$ of the same kind, obtained from φ in an effective way. Moreover, such $\phi ^{\ast}$ is provably equivalent to the formula obtained from φ substituting with $\phi ^{\ast}$ itself all the occurrences of q which are under Pr. In the particular case where q is always under Pr in φ, $\phi ^{\ast}$ is the unique (up to provable equivalence) "fixed-point" of φ. Since this result is proved only assuming Pr to be canonical, it can be deduced that Löb's property is, in a sense, equivalent to Gödel's diagonalization lemma. All the results are proved more generally in the intuitionistic case. (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)

Pretopologies were introduced in [S], and there shown to give a complete semantics for a propositional sequent calculus BL, here called basic linear logic, as well as for its extensions by structural rules,ex falso quodlibetor double negation. Immediately after Logic Colloquium '88, a conversation with Per Martin-Löf helped me to see how the pretopology semantics should be extended to predicate logic; the result now is a simple and fully constructive completeness proof for first order BL and virtually all its extensions, (...) including the usual, or structured, intuitionistic and classical logic. Such a proof clearly illustrates the fact that stronger set-theoretic principles and classical metalogic are necessary only when completeness is sought with respect to a special class of models, such as the usual two-valued models.To make the paper self-contained, I briefly review in §1 the definition of pretopologies; §2 deals with syntax and §3 with semantics. The completeness proof in §4, though similar in structure, is sensibly simpler than that in [S], and this is why it is given in detail. In §5 it is shown how little is needed to obtain completeness for extensions of BL in the same language. Finally, in §6 connections with proofs with respect to more traditional semantics are briefly investigated, and some open problems are put forward. (shrink)

Martin-Löf Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. Per Martin-Löf's work has been of huge significance in the fields of logic and the foundations of mathematics, and has important applications in areas such as computing science and linguistics. This volume celebrates the twenty-fifth anniversary of the birth of the subject, and is an invaluable record both of areas of currentactivity and of the early development of the (...) subject. Also published for the first time is one of Per Martin-Löf's earliest papers. (shrink)

This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years.

The search for a synthesis between formalism and constructivism, and meditation on Gödel incompleteness, leads in a natural way to conceive mathematics as dynamic and plural, that is the result of a human achievement, rather than static and unique, that is given truth. This foundational attitude, called dynamic constructivism, has been adopted in the actual development of topology and revealed some deep structures that had remained hidden under other views. After motivations for and a brief introduction to dynamic constructivism, an (...) overview is given of the changes it induces in the practice of mathematics and in its foundation, and of the new results it allows to obtain. (shrink)

We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extends in a modular way to obtain a presentation of quantales, as “sup-lattices on monoids”, by using the notion of pretopology.Our presentation is then applied to frames, the link with Johnstone’s presentation of frames is spelled out, and his theorem on freely generated frames becomes a special case of our results on quantales.The (...) main motivation of this paper is to contribute to the development of formal topology. That is why all our definitions and proofs can be expressed within an intuitionistic and predicative foundation, like constructive type theory. (shrink)

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies can be presented in (...) a predicative way by an inductive generation and thus their properties can be proved inductively. We show however that some natural complete Heyting algebra cannot be inductively defined. (shrink)

We give arguments explaining why, when adopting a minimalist approach to constructive mathematics as that formalized in our two-level minimalist foundation, the choice for a pointfree approach to topology is not just a matter of convenience or mathematical elegance, but becomes compulsory. The main reason is that in our foundation real numbers, either as Dedekind cuts or as Cauchy sequences, do not form a set.

We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement.

A positive topology is a set equipped with two particular relations between elements and subsets of that set: a convergent cover relation and a positivity relation. A set equipped with a convergent cover relation is a predicative counterpart of a locale, where the given set plays the role of a set of generators, typically a base, and the cover encodes the relations between generators. A positivity relation enriches the structure of a locale; among other things, it is a tool to (...) study some particular subobjects, namely the overt weakly closed sublocales. We relate the category of locales to that of positive topologies and we show that the former is a reflective subcategory of the latter. We then generalize such a result to the category of suplattices, which we present by means of cover relations. Finally, we show that the category of positive topologies also generalizes that of formal topologies, that is, overt locales. (shrink)

The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame (...) F is generated if and only if the dual algebra F* is s.i. The technical result is that A is s.i. when the set of points which generate the dual frame A* is not of zero measure. (shrink)

Global properties of canonical derivability predicates in Peano Arithmetic) are studied here by means of a suitable propositional modal logic GL. A whole book [1] has appeared on GL and we refer to it for more information and a bibliography on GL. Here we propose a sequent calculus for GL and, by exhibiting a good proof procedure, prove that such calculus admits the elimination of cuts. Most of standard results on GL are then easy consequences: completeness, decidability, finite model property, (...) interpolation and the fixed point theorem. (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)

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)

Qu'est-ce que la beauté? DOTOLI Giovanni part de la définition qu'en donne Charles Chaumont dans son livre Le secret de la beauté : "Apparemment, la beauté est la chose du monde à la fois la plus importante et la plus superflue". Si l'auteur est d'accord avec cette définition, du moins pour la première partie, il n'est pas sans savoir que, comme son opposé, la laideur, la beauté est profondément ambiguë. De ce postulat, découle une réflexion qui interroge la nature (...) de la beauté, son rôle essentiel dans la construction du monde et de notre vie quotidienne, son utilité, ainsi que sa part d'individualité comme de collectivité. Au cours de l'histoire, la beauté a été liée principalement à deux entités : l'art d'une part, et le corps humain de l'autre, en particulier le corps féminin. Mais il est nécessaire de dépasser ce simple constat pour comprendre la beauté. Cet ouvrage tente donc de découvrir les secrets cachés de la beauté et de démontrer en quoi la beauté est "le salut du monde". (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.

Par Undo do princípio de que a crítica feita em Wahrheit und Methode à Aufklärung tern sobretudo a ver com a hostilidade do iluminismo nos seus confrontos com o preconceito religioso enquanto fundado na revelação cristã, o presente artigo pretende demonstrar de que modo Gadamer, por exemplo já num ensaio de 1941 acerca da critica kantiana da religião, alcançou a partir da sua familiaridade de longa data com os Gregos e os seus deuses uma concepção do religioso que, ao fundar--se (...) sobre a experiência "humanística" do Divino, aspira a manter uma solidariedade intima com a "Religion nach der Aufklärung" ("Religiao segundo a Auflärung"), cujo Deus, apcsar de ser o Deus dos filósofos, nem por isso é menos versado em revelaqçõs e em formas extra-potentes de realidade ". O artigo mostra ainda como no contexto de uma concepção como esta o Divino acabapor assumir sobretudo a figura da "amizade" e da "transcendencia do belo." /// It can be said that Gadamer's critique of the Aufklärung in Wahrheit und Methode has to do with the hostility of the Enlightenment towards religious prejudice derived from Christian revelation. This article aims to demonstrate that, already in an essay dating from 1941 about the Kantian critique of religion, Gadamer possessed a conception of God, largely due to his familiarity with the Greek notions of divinity, that sought nevertheless to maintain close ties with "Religion nach der Aufklärung". Whilst this God is the God of philosophers, it is a God inclined towards revelations and extra-ordinary expressions of power. In addition, the article shows that in this philosophical context the Divine acquires a figure suggesting "friendship" and a transcendent sense of the beautiful. (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.

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)