A proof is given that the set of maximal intermediate propositional logics with the disjunction property and the set of maximal intermediate predicate logics with the disjunction property and the explicit definability property have the power of continuum. To prove our results, we introduce various notions which might be interesting by themselves. In particular, we illustrate a method to generate wide sets of pairwise "constructively incompatible constructive logics". We use a notion of "semiconstructive" logic and define wide sets of "constructive" (...) logics by representing the "constructive" logics as "limits" of decreasing sequences of "semiconstructive" logics. Also, we introduce some generalizations of the usual filtration techniques for propositional logics. For instance, "filtrations over rank formulas" are used to show that any two different logics belonging to a suitable uncountable set of "constructive" logics are "constructively incompatible". (shrink)

This is the second part of a paper devoted to the study of the maximal intermediate propositional logics with the disjunction property , whose first part has appeared in this journal with the title “A method to single out maximal propositional logics with the disjunction property I”. In the first part we have explained the general results upon which a method to single out maximal constructive logics is based and have illustrated such a method by exhibiting the Kripke semantics of (...) maximal constructive logics extending the logic ST of Scott, for which, in turn, a semantical characterization in terms of Kripke frames has been given. In the present part we complete the illustration of the method of the first part, having in mind some aspects which might be interesting for a classification of the maximal constructive logics, and an application of the heuristic content of the method to detect the nonmaximality of apparently maximal constructive logics. Thus, on the one hand we introduce the logic AST , which is compared with ST and is seen as a logic “alternative” to it, in a sense which will be precisely explained. We provide a Kripke semantics for AST and show that there are maximal constructive logics which neither are extensions of ST nor are extensions of AST. Finally, we give a further application of the results of the first part by exhibiting the Kripke semantics of a maximal constructive logic extending AST. On the other hand, we compare the maximal constructive logics presented in both parts of the paper with a constructive logic introduced by Maksimova , which has been conjectured to be maximal by Chagrov and Zacharyashchev ; from this comparison a disproof of the conjecture arises. (shrink)

This is the first part of a paper concerning intermediate propositional logics with the disjunction property which cannot be properly extended into logics of the same kind, and are therefore called maximal. To deal with these logics, we use a method based on the search of suitable nonstandard logics, which has an heuristic content and has allowed us to discover a wide family of logics, as well as to get their maximality proofs in a uniform way. The present part illustrates (...) infinitely many maximal logics with the disjunction property extending the well-known logic of Scott, and aims to provide a first picture of the method, sufficient for the reader who wish to achieve an overall understanding of it without entering into the further aspects developed in the second part. From this point of view, the latter will not be self-standing, but will be seen as a prosecution and a complement of the former, with the aim that the material presented in the whole paper can be used as a starting point for a classification of the subject. (shrink)

Since 1993, when Hudelmaier developed an O(n log n)-space decision procedure for propositional Intuitionistic Logic, a lot of work has been done to improve the efficiency of the related proof-search algorithms. In this paper a tableau calculus using the signs T, F and Fc with a new set of rules to treat signed formulas of the kind T((A → B) → C) is provided. The main feature of the calculus is the reduction of both the non-determinism in proof-search and the (...) width of proofs with respect to Hudelmaier's one. These improvements have a significant influence on the performances of the implementation. (shrink)

In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures (...) only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility. (shrink)

In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics.

In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of “large subsystems” of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures (...) only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility. (shrink)

In this paper we provide cut-free tableau calculi for the intuitionistic modal logics IK, ID, IT, i.e. the intuitionistic analogues of the classical modal systems K, D and T. Further, we analyse the necessity of duplicating formulas to which rules are applied. In order to develop these calculi we extend to the modal case some ideas presented by Miglioli, Moscato and Ornaghi for intuitionistic logic. Specifically, we enlarge the language with the new signs Fc and CR near to the usual (...) signs T and F. In this work we establish the soundness and completeness theorems for these calculi with respect to the Kripke semantics proposed by Fischer Servi. (shrink)

This review addresses the current and future potential of nanomedicine, and its ethical considerations within the comprehensive framework of the four dimensions of medical ethics: Beneficence, Non-Maleficence, Respect, and Justice. From this perspective, the ethical considerations for nanomedicine are not novel, but have been addressed by precedents throughout the history of medicine. While these ethical challenges are not unique to nanomedicine, some require additional consideration, given the envisioned pervasive impact of nanomedicine on society.

While the definitions employed by different governmental agencies and scientific societies differ somewhat, the term “nanotechnology” is generally understood to refer to the manufacturing, characterization, and use of man-made devices with dimensions on the order of 1-100 nanometers. Devices that comprise a fundamental functional element that is nanotechnological are also frequently comprised within nanotechnology, as are manufactured objects with dimensions less than one micrometer. The differences in definition lead to occasional paradoxes, such as the fact that the most widely used (...) nanodrug is labeled a “nanopharmaceutical” by governments of European countries, Canada, and Australia, but it is not a nanotechnology for the U.S. Food and Drug Administration. It is also common in scientific domains to restrict the term “nanotechnology” to objects that possess special, “emerging” properties that only arise because of their nanoscale dimension. (shrink)

Here we review and discuss the link between regeneration capacity and tumor suppression comparing mammals (embryos versus adults) with highly regenerative vertebrates. Similar to mammal embryo morphogenesis, in amphibians (essentially newts and salamanders) the reparative process relies on a precise molecular and cellular machinery capable of sensing abnormal signals and actively reprograming or eliminating them. As the embryo's evil twin, tumor also retains common functional attributes. The immune system plays a pivotal role in maintaining a physiological balance to provide surveillance (...) against tumor initiation or to support its initiation and progression. We speculate that susceptibility to cancer development in adult mammals may be determined by the loss of an advanced regenerative capability during evolution and believe that gaining mechanistic insights into how regenerative capacity linked to tumor suppression is postnatally lost in mammals might illuminate an as yet unrecognized route to cancer treatment. (shrink)

È noto come il capolavoro di Marcel Proust, À la recherche du temps perdu, sia stato fin dal suo apparire oggetto privilegiato dell’interesse dei filosofi: non sarebbe pertanto fruttuoso, in questa breve recensione, limitarci a porre l’attenzione su tale osservazione. Forse meno noto, e in ogni caso meritevole d’essere posto in evidenza e degno di attenta considerazione, è il fatto che anche negli ultimi anni, i primi del secolo appena nato, si sia assistito, in Italia come in ambito internaz...

In his book, which is a sort of summa of his philosophy, Ferraris outlines a general and comprehensive ontology. To distinguish the three major regions within which everything can be classified, Ferraris makes use of the concepts of space and time specifying its distance from Kant and referring instead to Leibniz; but, trying to develop his thinking on this point, some problems arise. The article also summarizes the position of Mauro Dorato, that unlike Ferraris built his interpretation of space (...) and time in a profound confrontation with science. (shrink)

In his book, which is a sort of summa of his philosophy, Ferraris outlines a general and comprehensive ontology. To distinguish the three major regions within which everything can be classified, Ferraris makes use of the concepts of space and time specifying its distance from Kant and referring instead to Leibniz; but, trying to develop his thinking on this point, some problems arise. The article also summarizes the position of Mauro Dorato, that unlike Ferraris built his interpretation of space (...) and time in a profound confrontation with science. (shrink)

The first comprehensive account of Platonism in Antiquity, from the foundation of Plato's Academy in the fourth century BC to Late Antiquity. Written in a clear language, the book shows that Platonism is philosophically engaging and very influential in the history of philosophy. Useful for both students and scholars.

Introduction to New Realism provides an overview of the movement of contemporary thought named New Realism, by its creator and most celebrated practitioner, Maurizio Ferraris. Sharing significant concerns and features with Speculative Realism and Object Oriented Ontology, New Realism can be said to be one of the most prescient philosophical positions today. Its desire to overcome the postmodern antirealism of Kantian origin, and to reassert the importance of truth and objectivity in the name of a new Enlightenment, has had an (...) enormous resonance both in Europe and in the US. Introduction to New Realism is the first volume dedicated to exposing this continental movement to an anglophone audience.Featuring a foreword by the eminent contemporary philosopher and leading exponent of Speculative Realism, Iain Hamilton Grant, the book begins by tracing the genesis of New Realism, and outlining its central theoretical tenets, before opening onto three distinct sections. The first, 'Negativity', is a critique of the postmodern idea that the world is constructed by our conceptual schemas, all the more so as we have entered the age of digitality and virtuality. The second thesis, 'positivity', proposes the fundamental ontological assertion of New Realism, namely that not only are there parts of reality that are independent of thought, but these parts are also able to act causally over thought and the human world. The third thesis, 'normativity,' applies New Realism to the sphere of the social world. Finally, an afterword written by two young scholars explains in more detail the relationship between New Realism and other forms of contemporary realism. (shrink)

The main claim of the paper is that one can be ‘realist’ (in some sense) about quantum mechanics without requiring any form of realism about the wave function. We begin by discussing various forms of realism about the wave function, namely Albert’s configuration-space realism, Dürr Zanghi and Goldstein’s nomological realism about Ψ, Esfeld’s dispositional reading of Ψ Pusey Barrett and Rudolph’s realism about the quantum state. By discussing the articulation of these four positions, and their interrelation, we conclude that instrumentalism (...) about Ψ is by itself not sufficient to choose one over the other interpretations of quantum mechanics, thereby confirming in a different way the indetermination of the metaphysical interpretations of quantum mechanics. -/- Key words: . (shrink)

Realitism: the postmodern attack on reality -- Realism: things that have existed since the beginning of the world -- Reconstruction: why criticism starts from reality -- Emancipation: unexamined life has no value.

The rich and diverse contributions to this volume span a wide variety of disciplines, from psychology and philosophy to neuroscience, by some of the most influential scholars in the emerging science of personal wisdom. As such, it is a collection of essential readings and the first publication to integrate both the spiritual and pragmatic dimensions of personal wisdom. The content of the book goes beyond speculative theory to present a wealth of scientific research currently under way in this expanding field. (...) It also describes numerous promising methods now being deployed in the quest for scientific knowledge of the elusive, yet critical, phenomenon of personal wisdom. The book is an excellent introduction to the field for novice researchers as well as a stimulating and enlightening resource for established experts. Its broad appeal makes it a vital addition to the libraries of academics and practitioners in many disciplines, from developmental psychology to gerontology, and from philosophy to contemplative religious traditions such as Buddhism. (shrink)

The paper discusses some formal difficulties concerning the theory of universals of Trope-Only ontologies, from which the formal theory of predication advanced by Trope-Only theorists seems to be irremediably affected. It is impossible to lay out a successful defense of a Trope-Only theory without Russellian types, but such types are ontologically inconsistent with tropes’ nominalism. Historically, Tropists’ first way to avoid the problem is appealing to the supervenience claim, which however fails on its terms and, thus, fails as a ground (...) for a solution to the higher-order or ‘type’ problem. A later solution involves the invariance of primitive equivalence relations in order to make universals ontologically innocuous. However, I argue that this latter solution fails to meet the requirements imposed on an ontologically unbiased nominalist attitude. So, this paper discusses how Trope-Only theories alter standard formal moves in Nominalism, and also is interested in clarifying further the formal assumptions for these problems. (shrink)

Ausgehend von Franz Brentanos berühmter Intentionalitätspassage aus der Psychologie vom empirischen Standpunkt wird dargelegt, daß die vorherrschende ontologische Deutung seines sogenannten frühen Intentionalitätsgedankens unhaltbar ist. Unter Berücksichtigung von Brentanos Quellen, vor allem Aristoteles' Wahmehmungslehre und Theorie der Relativa, wird die Auffassung des sogenannten intentionalen bzw. immanenten Objektes als bewußtseinsimmanenter Entität abgelehnt und die Kontinuität hervorgehoben, die zwischen Brentanos früher und späterer, sogenannter reistischer Intentionalitätsauffassung besteht.

The paper compares dispositionalism about laws of nature with primitivism. It argues that while the distinction between these two positions can be drawn in a clear-cut manner in classical mechanics, it is less clear in quantum mechanics, due to quantum non-locality. Nonetheless, the paper points out advantages for dispositionalism in comparison to primitivism also in the area of quantum mechanics, and of contemporary physics in general.

Plato's Republic has proven to be of astounding influence and importance. Justly celebrated as Plato's central text, it brings together all of his prior works, unifying them into a comprehensive vision that is at once theological, philosophical, political and moral. The essays in this volume provide a picture of the most interesting aspects of the Republic, and address questions that continue to puzzle and provoke, such as: Does Plato succeed in his argument that the life of justice is the most (...) attractive one? Is his tripartite analysis of the soul coherent and plausible? Why does Plato seem to have to force his philosopher-guardians to rule when they know this is something that they ought to do? What is the point of the strange and complicated closing Myth of Er? This volume will be essential to those looking for thoughtful and detailed excursions into the problems posed by Plato's text and ideas. (shrink)

En este libro, que aparece en Italia en 1987, publicado muchas veces y muy comentado también en el extranjero, Vincenzo Ferrari analiza las funciones sociales del derecho en una perspectiva relativista, subjetivista y conflictualista, opuesta a la del funcionalismo sociológico. De tal manera, el derecho se revela como un medio de acción social dirigido a lograr los proyectos de seres humanos empeñados en relaciones variables de cooperación y de lucha. Así, se muestra cómo las normas jurídicas pueden orientar las (...) actitudes y desorientarlas; solucionar los conflictos y agravarlos o fomentarlos; legitimar cualquier forma de poder con argumentos tan válidos como ficticios. Solo al nivel de los ideales se redescubre el valor del derecho, su potencialidad libertadora y su naturaleza igualitaria. (shrink)

Mauro Dorato charts pressing debates within the philosophy of science that centre around scientific expertise, access to knowledge, consensus, debate, and decision-making. This English-language translation of Disinformazione Scientifica e Democrazia argues that the advancement of science depends on an exponential process of specialization, accompanied by the creation of technical languages that are less and less accessible to the general public. Dorato reveals how such a process must align with representative forms of democracies, in which knowledge and decision-making ought to (...) aim at the society's general interest. Given the importance of the principle of competence, however, the role of experts as mediators of knowledge threatens the citizens' autonomy of choice. Consequently, the risk of technocratic regimes calls for new ways to increase literacy about science and its philosophical and probabilistic foundations. Stressing the conceptual conflict between pluralism and conformism, Science and Representative Democracyreveals the obstacles to the functioning of both science and democracy. (shrink)

In this article, I aim to cast light on the genetic analyses of the apperception of the other that the phenomenologist Marc Richir develops in his late masterwork Phénoménologie en esquisses (2000). My reading hypothesis is that these analyses consist in the original contribution that Richir makes to the standard phenomenological account of empathy from within his overall project of a non-standard revision/refoundation of the Husserlian genetic phenomenology. To test this hypothesis, I trace Richir’s reinterpretation of two texts from Husserl’s (...) so-called phenomenology of intersubjectivity (Hua XIII, 10 and 13), in which Husserl interweaves together the questions of the I’s implication in phantasy and of the apprehension of the other’s living body by presentification. As my examination develops, I show that Richir finds in these texts the phenomenological attestation of the nomadic and presubjective phantasia that, on his reading, Husserl had discovered in his earlier 1904–05 lectures on phantasy. (shrink)

Emerging at the margins of science fiction, the concept of posthuman has become the most potent and pervasive movement of contemporary culture. From science to ethics, from philosophy to art, from politics to communication, posthuman studies transcend analytical-conceptual categories of traditional disciplines. This new anthropology, open to a hetero-referential alterity (bio-techno-IT), requires, on the pathic level, new forms of adaptation and integration. The emancipation of the idea of a presumed human 'essence' brings possibilities as well as risks. This book sets (...) out to show how, beyond epistemological asymmetries and different forms of language, reflection on the posthuman in terms of the complex questions of our time imposes a biotechnopoiesis on multiple levels: from redefining our relationship with the planetary environment to questioning the dimensions of our historical condition. The study thereof revolves around sensorial, perceptual and emotional activity in terms of cognition and neurophysiology. Consciousness is to be regarded not as a workspace demarcated by the brain, but as a unitas multiplex that emerges from co-operation between brain and body. The posthuman defines a new model of existence and leaves an emerging anthropological identity open to dialogue with eteroreferential (otherness) in "bio-techno-informatics." This requires the development of a commensurate adequacy of emotions and affections (the pathic). Man and woman are thus called to 'care' for the posthuman: their passion for the new status of "nomadic subjectivity" will bring with it the ability to engage biotechnopoiesis in multiple ways to the greater good of mankind. [Subject: Psychology, Philosophy]. (shrink)