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)

En el presente trabajo se analiza la conexión existente entre la etapa marxista de juventud y la neoaristotélica de madurez en el pensamiento de Alasdair MacIntyre, enfatizando el problema que representa para él la posibilidad de criticar y justificar racionalmente una teoría moral. A través de una lectura comparativa de obras de ambos períodos se muestra cómo la incapacidad para dar una respuesta satisfactoria a esta preocupación temprana es una de las razones que llevan al abandono de la tradición marxista, (...) y cómo su formulación aristotélica madura busca superar esta dificultad, manteniendo constantes otros presupuestos y compromisos teóricos previos. (shrink)

According to the form of logical pluralism elaborated by Beall and Restall there is more than one relation of logical consequence. Since they take the relation of logical consequence to reside at the very heart of a logical system, different relations of logical consequence yield different logics. In this paper, we are especially interested in understanding what are the consequences of endorsing Beall and Restall’s version of logical pluralism vis-à-vis the normative guidance that logic is taken to provide to reasoners. (...) In particular, the aim of this paper is threefold. First, in Sections 2 and 3, we offer an exegesis of Beall and Restall’s logical pluralism as a thesis of semantic indeterminacy of our concept of logical consequence – i.e. understood as indeterminacy logical pluralism. Second, in Sections 4 and 5, we elaborate and critically scrutinize three models of semantic indeterminacy that we think are fit to capture Beall and Restall’s indeterminacy logical pluralism. Third, in Section 6, following Beall and Restall’s assumption that the notion of logical consequence has normative significance for deductive reasoning, we raise a series of normative problems for indeterminacy logical pluralism. The overall conclusion that we aim to establish is that Beall and Restall’s indeterminate logical pluralism cannot offer an adequate account of the normative guidance that logic is taken to provide us with in ordinary contexts of reasoning. (shrink)

Il existe un lien intuitif entre le bien-être et le bonheur. Nous souhaitons proposer une nouvelle théorie selon laquelle le bien-être consiste en un bonheur approprié. Notre théorie peut être considérée comme la combinaison de quatre thèses. La première thèse est que le bonheur psychologique consiste en une balance largement positive d’états affectifs tels que les émotions, les humeurs et les plaisirs sensoriels. La seconde est que les émotions, les humeurs et les plaisirs sensoriels sont différents types d’expériences perceptuelles de (...) propriétés évaluatives. Il s’ensuit que le bonheur consiste en une balance largement positive d’expériences perceptuelles de propriétés évaluatives. La troisième thèse est que, dans la mesure où le bonheur est constitué par des états qui ont des conditions d’adéquation, alors le bonheur aussi peut être évalué comme étant approprié ou inapproprié. La quatrième thèse est une thèse concernant le bien-être : elle affirme que le bien-être consiste en un bonheur approprié ainsi défini. (shrink)

This paper argues that Deonna and Teroni's attitudinal theory of emotions faces two serious problems. The first is that their master argument fails to establish the central tenet of the theory, namely, that the formal objects of emotions do not feature in the content of emotions. The second is that the attitudinal theory itself is vulnerable to a dilemma. By pointing out these problems, our paper provides indirect support to the main competitor of the attitudinal theory, namely, the perceptual theory (...) of emotions. (shrink)

Thomas Kuhn is mostly known for his contributions to the philosophy of science. However, it was chiefly to investigations in philosophy of language that he dedicated the last part of his career. The aim of this paper is to present a systematic view of Kuhn’s main ideas on this subject. I start by describing his theory of concept, in particular what he says about kind terms. Such terms, acquired in blocks that form contrast sets or “taxonomies,” are learned through ostensible (...) definitions. Next, I analyze Kuhn’s concepts of “meaning” and “truth.” Finally, I discuss a second type of kinds terms, not fully investigated by him, which is learned together with scientific laws. Resumo Thomas Kuhn é conhecido principalmente por suas contribuições para a filosofia da ciência. No entanto, foi em grande medida à filosofia da linguagem que ele dedicou a última parte de sua carreira. O objetivo deste artigo é apresentar uma visão sistemática das principais ideias de Kuhn sobre esse assunto. Começo descrevendo sua teoria do conceito, em particular o que ele diz sobre termos para espécie. Tais termos, aprendidos em blocos que formam conjuntos de contraste ou “taxonomias”, são aprendidos através de definições ostensivas. Em seguida, analiso as concepções de Kuhn de “significado” e “verdade”. Finalmente, discuto um segundo tipo de termo para espécies, não totalmente investigado por ele, que é aprendido junto com as leis científicas. (shrink)

In this paper, we consider the question of whether there exists an essential relation between emotions and wellbeing. We distinguish three ways in which emotions and wellbeing might be essentially related: constitutive, causal, and epistemic. We argue that, while there is some room for holding that emotions are constitutive ingredients of an individual’s wellbeing, all the attempts to characterise the causal and epistemic relations in an essentialist way are vulnerable to some important objections. We conclude that the causal and epistemic (...) relation between emotions and wellbeing is much less strong than is commonly thought. (shrink)

The goal of this paper is to offer a new theory of moods, according to which moods are perceptual experiences that represent undetermined objects as possessing specific evaluative properties. I start by listing a series of features that moods are typically taken to possess and claim that a satisfactory theory of moods must be able either to explain why moods genuinely possess these features or to explain these appearances away in a non-ad hoc way. I show that my account provides (...) a plausible explanation of all the main features of moods. I conclude by addressing some objections against my account. (shrink)

Mechanisms are a way of explaining how biological phenomena work rather than why single elements of biological systems are there. However, mechanisms are usually described as physiological entities, and little or no attention is paid to malfunction as an independent theoretical concept. On the other hand, malfunction is the main focus of interest of applied sciences such as medicine. In this paper I argue that malfunctions are parts of pathological mechanisms, which should be considered separate theoretical entities, conceptually having a (...) priority over physiological sequences. While pathological mechanisms can be described in terms of a Cummins-like mechanistic explanation, they show some unnoticed peculiarities when compared to physiological ones. Some features of pathological mechanisms are considered, such as outcome variability, ambivalence and dependence on a range. (shrink)