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)

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 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)

Documediality indicates the allegiance between the constitutive power of documents and the mobilizing power of the media. The chapter proposes to treat documediality as the ending point of a great historical transformation whose previous phases have been capitalism and mediality. Capitalism in the strict sense corresponds to the economic era of production, and to the political era of liberalism. When populism prevails over liberalism, and communication has the upper hand over production, we enter the phase of mediality. Finally, documediality corresponds (...) to a third phase, characterized by recording: that is, by the use of a huge apparatus, namely the Web, which has the essential feature of keeping track of any interaction. This chapter highlights the key features of documediality in comparison to those of capitalism and mediality. (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)

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)

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)

In order to understand the system wherein human resource management practices are determined by the interactions of a complex system of actors, it is necessary to have a conceptual framework of analysis. In this respect, the works of scholars concerning stakeholder theory opened new perspectives in management theory. An organisation is understood as being part of a politico-economic system of stakeholders who interact and influence management practices. Each stakeholder tries to optimise and protect his interests, 61-75). The framework of stakeholder (...) analysis enables escape from a purely instrumental approach to HRM, and avoids reducing our understanding of conflicts within companies to mere antagonism between employees and their employers. It enables us to point out the existence of other stakeholders in the relationship. Notably, it allows for the incorporation into management theory of actors from the sphere of politics as well as their dependent administrations. All these actors are considered to be stakeholders who define the legal framework of firm management and guarantee the application of these laws. (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)

Against the consensus that Aristotle in the "Poetics" sets out to give tragedy a role in exercising or improving the mature citizen's moral sensibilities, I argue that his aim is rather to analyse what makes a work of literature successful in its own terms, and in particular how a tragic drama can achieve the effect of suspense. The proper pleasure of tragedy is produced by the plotting and eventual dispelling of the play's suspense. Aristotle claims that poetry 'says what is (...) universal' not in order to suggest that poetry achieves anything of the effect of philosophy, but to explain how in creating his plots the poet takes into consideration what, in general, could be expected to happen. Chapter 4 of the "Poetics" is not a theory of mimesis but an analysis of the lowest common denominator of the pleasure we take in fictions. The inevitability or likelihood by which events in the tragic plot are to be connected has an aesthetic rather than a moral function. Doing away with the irrationality of chance and increasing the human intelligibility of the action is not its point; the point is to furnish the plot with the second half of the formula for successful suspense: that events in the plot should happen 'against expectation because of one another'. The first half of the formula is examined under the rubric of peripety or reversal. The formula as a whole describes the pivotal moment when the pieces of the plot suddenly fit with a configuration that only in retrospect can we see to have been falling into place all along. Pity and fear are the emotions on which Aristotle focusses because they are the emotions engaged by the tightening-towards-release of literary suspense. And the pleasure of catharsis is the pleasure of that release. (shrink)

In the preface of the Philosophical Investigations, Wittgenstein says that his “most fruitful ideas” are due to the stimulus of Sraffa's criticism, but Sraffa is not mentioned anywhere else in the book. It remains a puzzle in the literature how and why Sraffa influenced Wittgenstein. This paper presents a solution to this puzzle. Sraffa's criticism led Wittgenstein away from the calculus conception of language of the Big Typescript (arguably, an adaptation of the calculus of the Tractatus), and towards the “anthropological (...) view,” which structures both the opening sections of the Philosophical Investigations and Wittgenstein's later philosophy of mathematics. (shrink)

Highlights Merleau-Ponty’s interest in film and connects it to his aesthetic theory.

I argue that Wittgenstein’s engagement with Russell’s The Analysis of Mind was crucial for the development of his new method. First, I show that Wittgenstein’s criticism of the causal theory of meaning (namely: that it generates an infinite regress and that it does not determine the depiction of a fact) is motivated by its incompatibility with the pictorial conception of language. Second, I show that in reacting against that theory he comes to invent the calculus conception of language. Third, I (...) argue that the calculus conception is vulnerable to critiques that parallel those presented against Russell’s theory (a rule-following regression and the indeterminacy of depicted facts). Fourth, the striking similarity between the problems present in Russell’s theory and in Wittgenstein’s own views makes him realize that both were working under misleading trains of thought and false analogies. It is this realization that brings Wittgenstein to the view that his task is to investigate the genesis of philosophical puzzlement in order to stop philosophical theorizing right from the beginning. Thus, in explaining the invention of Wittgenstein’s new method I show its relation to Russell’s philosophy and indicate the origins of the rule-following problem. (shrink)

RESUMO O objetivo deste artigo é mostrar que as interpretações "tradicional" e "resoluta" não livraram o "Tractatus" da aparente autoderrota paradoxal. Argumento que essas leituras apresentam apenas uma nova roupagem ao paradoxo. A leitura "tradicional" de Hacker acaba atribuindo uma conspiração metafísica ao "Tractatus", o que é incompatível com os objetivos do livro. A leitura "resoluta" de Diamond e Conant atribui a Wittgenstein uma conspiração autoral, o que contradiz suas opiniões sobre autoria e método. Com base nas dificuldades encontradas em (...) ambos os lados do debate atual, concluo este artigo propondo vários requisitos que a correta interpretação do "Tractatus" deve preencher. (shrink)

In this article, I focus on the reading of Heidegger's Kant that Derrida offers in his recently published 1978-9 seminar Donner le temps II (§§12–3). Here Derrida tracks across Heidegger's text the auto-affective or auto-dative structure (namely, the originary synthesis of spontaneity and receptivity) in which the Kantian conceptions of the experience of time and of transcendental imagination converge, and which is seen as scandalously underpinning the conception of respect. In particular, I draw attention to the moment in which Derrida (...) originally accounts for the structure of the Kantian respect as the movement of abandonment or delivery over to the event which he also ascribes to other figures of freedom (or unconditionality without sovereignty) explored in his later writings. My hypothesis is that, in doing so, Derrida may be building a bridge between two thoughts of imagination: on the one hand, imagination as a figure of his early differance, and, on the other hand, imagination as the non-sovereign freedom that undergirds his late work on sovereignty. (shrink)

In this paper, I pursue two main goals. The first is to raise three objections against Tom Roberts and Joel Krueger’s recent account of loneliness (2021). The second is to sketch an alternative, receptive account. Roberts and Krueger focus on loneliness conceived of as an occurrent emotion. According to their account, loneliness involves two components: (1) a pro-attitude (e.g., a desire) towards certain social goods and (2) an awareness that such goods “are missing and out of reach, either temporarily or (...) permanently” (p. 186). My first objection is that having a pair of pro-attitudes and cognitive states of the sort that Roberts and Krueger have in mind is neither sufficient nor necessary for an individual to experience loneliness. The second is that Roberts and Krueger’s account has trouble accounting for the unpleasant phenomenology of loneliness. The third is that their account has trouble demarcating loneliness from other negative emotions that one may experience within romantic, friendship or social relationships. Next, I sketch my own account of loneliness. According to the receptive theory (Tappolet 2022) to which I adhere, emotions are receptive experiences that non-conceptually represent their intentional objects as possessing specific evaluative properties. Accordingly, I argue that loneliness consists in a receptive experience that represents the absence of certain relational goods as bad in a particular way. I draw a distinction between the intentional object and the intentional locus of loneliness, and clarify the role that some of the individual’s pro-attitudes play in loneliness. I also show how a receptive account can explain the phenomenology of loneliness and demarcate it from other emotion types, and offer an account of degrees of loneliness, which distinguishes between the intensity and the centrality of episodes of loneliness. (shrink)

Though the target article is not without fertile suggestions, at least two problems limit its overall validity: (1) the extended gene-culture coevolutionary framework is not an alternative to standard evolutionary theory; (2) the proposed model does not explain how much time is necessary for selective pressure to determine the stabilization of a new aspect of the genotype.