We describe the constructive content of proofs in a fragment of propositional Infinitary Linear Logic in terms of strategies for a suitable class of games. Such strategies interpret linear proofs as parallel algorithms as long as the asymmetry of the connectives ? and ! allows it.

We present a possible computational content of the negative translation of classical analysis with the Axiom of (countable) Choice. Interestingly, this interpretation uses a refinement of the realizability semantics of the absurdity proposition, which is not interpreted as the empty type here. We also show how to compute witnesses from proofs in classical analysis of ∃-statements and how to extract algorithms from proofs of ∀∃-statements. Our interpretation seems computationally more direct than the one based on Godel's Dialectica interpretation.

We associate with any game G another game, which is a variant of it, and which we call . Winning strategies for have a lower recursive degree than winning strategies for G: if a player has a winning strategy of recursive degree 1 over G, then it has a recursive winning strategy over , and vice versa. Through we can express in algorithmic form, as a recursive winning strategy, many common proofs of non-constructive Mathematics, namely exactly the theorems of the (...) sub-classical logic Limit Computable Mathematics [6], Hayashi and Nakata [7]). (shrink)

We consider the restriction of classical principles like Excluded Middle, Markov’s Principle, König’s Lemma to arithmetical formulas of degree 2. For any such principle, we find simple mathematical statements which are intuitionistically equivalent to it, provided we restrict universal quantifications over maps to computable maps.

The purpose is to study the strength of Ramsey’s Theorem for pairs restricted to recursive assignments ofk-many colors, with respect to Intuitionistic Heyting Arithmetic. We prove that for every natural number$k \ge 2$, Ramsey’s Theorem for pairs and recursive assignments ofkcolors is equivalent to the Limited Lesser Principle of Omniscience for${\rm{\Sigma }}_3^0$formulas over Heyting Arithmetic. Alternatively, the same theorem over intuitionistic arithmetic is equivalent to: for every recursively enumerable infinitek-ary tree there is some$i < k$and some branch with infinitely many (...) children of indexi. (shrink)

We introduce an implication-free fragment image of ω-arithmetic, having Exchange rule for sequents dropped. Exchange rule for formulas is, instead, an admissible rule in image. Our main result is that cut-free proofs of image are isomorphic with recursive winning strategies of a set of games called “1-backtracking games” in [S. Berardi, Th. Coquand, S. Hayashi, Games with 1-backtracking, Games for Logic and Programming Languages, Edinburgh, April 2005].We also show that image is a sound and complete formal system for the (...) implication-free fragment of LCM , Seventh International Conference on Typed Lambda Calculi and Applications, in: Lecture Notes in Computer Science, vol. 3461, 2005, pp. 11–22. Invited paper]). A simple syntactical description of this fragment was still missing. No sound and complete formal system is known for LCM itself. (shrink)

A basic result in intuitionism is Π02-conservativity. Take any proof p in classical arithmetic of some Π02-statement , with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ∀x.∃y.P, with P of degree k, may be effectively turned into some proof of the same statement, using Excluded Middle only over degree k formulas. When k = 0, (...) we get the original conservativity result as particular case. This result was a by-product of a semantical construction. J. Avigad of Carnegie Mellon University, found a short, direct syntactical derivation of the same result, using H. Friedman's A-translation. His proof is included here with his permission. (shrink)

In 1996, Krivine applied Friedman's A-translation in order to get an intuitionistic version of Gödel completeness result for first-order classical logic and countable languages and models. Such a result is known to be intuitionistically underivable 559), but Krivine was able to derive intuitionistically a weak form of it, namely, he proved that every consistent classical theory has a model. In this paper, we want to analyze the ideas Krivine's remarkable result relies on, ideas which where somehow hidden by the heavy (...) formal machinery used in the original proof. We show that the ideas in Krivine's proof can be used to intuitionistically derive some crucial mathematical results, which were supposed to be purely classical up to now: the Ultrafilter Theorem for countable Boolean algebras, and the maximal ideal theorem for countable rings. (shrink)

In the past sixty years or so, a real forest of intuitionistic models for classical theories has grown. In this paper we will compare intuitionistic models of first order classical theories according to relevant issues, like completeness (w.r.t. first order classical provability), consistency, and relationship between a connective and its interpretation in a model. We briefly consider also intuitionistic models for classical ω-logic. All results included here, but a part of the proposition (a) below, are new. This work is, ideally, (...) a continuation of a paper by McCarty, who considered intuitionistic completeness mostly for first order intuitionistic logic. (shrink)

This paper presents a constructive interpretation for the proofs in classical logic of $\Sigma^0_1$ -sentences and for a witness extraction procedure based on Prawitz's reduction rules.

In this paper we give a strong normalization proof for a set of reduction rules for classical logic. These reductions, more general than the ones usually considered in literature, are inspired to the reductions of Felleisen's lambda calculus with continuations.

Digital technologies hold promise to modernize healthcare. Such opportunity should be leveraged also to address the needs of rapidly ageing populations. Against this backdrop, this paper examines the use of wearable devices for promoting healthy ageing. Previous work has assessed the prospects of digital technologies for health promotion and disease prevention in older adults. However, to our knowledge, ours is one of the first attempts to specifically address the use of wearables for healthy ageing, and to offer ethical insights for (...) assessing the prospects of leveraging wearable devices in this context. We provide an analysis of the considerable opportunities associated with the use of wearables for healthy ageing, with a focus on the five domains of intrinsic capacity: locomotion, sensory functions, psychological aspects, cognition, and vitality. We then highlight current limitations and ethical challenges of such approach to healthy ageing, including issues related to access, inclusion, privacy, surveillance, autonomy, and regulation. We conclude by discussing the implications of our analysis in light of current debates on the ethics of digital health, and suggest measures to address the identified challenges. (shrink)

In this commentary, I propose a framework for thinking about data quality in the context of scientific research. I start by analyzing conceptualizations of quality as a property of information, evidence and data and reviewing research in the philosophy of information, the philosophy of science and the philosophy of biomedicine. I identify a push for purpose dependency as one of the main results of this review. On this basis, I present a contextual approach to data quality in scientific research, whereby (...) the quality of a dataset is dependent on the context of use of the dataset as much as the dataset itself. I exemplify the approach by discussing current critiques and debates of scientific quality, thus showcasing how data quality can be approached contextually. (shrink)

This paper addresses the transformation of subjectivity in trauma by considering recent psychopathological research, especially in relation to the works of Judith Herman and Bessel van der Kolk. It...

Wearable devices are increasingly present in the health context, as tools for biomedical research and clinical care. In this context, wearables are considered key tools for a more digital, personalised, preventive medicine. At the same time, wearables have also been associated with issues and risks, such as those connected to privacy and data sharing. Yet, discussions in the literature have mostly focused on either technical or ethical considerations, framing these as largely separate areas of discussion, and the contribution of wearables (...) to the collection, development, application of biomedical knowledge has only partially been discussed. To fill in these gaps, in this article we provide an epistemic (knowledgerelated) overview of the main functions of wearable technology for health: monitoring, screening, detection, and prediction. On this basis, we identify 4 areas of concern in the application of wearables for these functions: data quality, balanced estimations, health equity, and fairness. To move the field forward in an effective and beneficial direction, we present recommendations for the 4 areas: local standards of quality, interoperability, access, and representativity. (shrink)

If the ancient Stoics conceived passion as a judgment or the consequence of a judgment referring to external reality, it is correct to define their conception of the psyche as ‘monistic’; it is very different if we consider that passion is due to another faculty independent of reason. In this second case, a scenario opens up in which a realistic and ‘reified’ conception of passion emerges. With reference to this, in theLetter113 Seneca discusses the paradoxical thesis of the ancient Stoic (...) scholars according to whom “the soul is an animal”, just as virtues and passions are. Through a series of close logical arguments, he shows the absurdities that can be reached in this way. By comparing this letter with theDe irawe can define the position of Seneca as a type of practical/operational imaginary dualism: the development of an original coherent form of monism. Not to give in to passion (for example to anger or libido) will not be just or not so much a psychological exercise of reason and will, but certainly a physical experience of resistance. (shrink)

‘Philosophical dialogue’ indicates both a form of philosophical inquiry and its corresponding literary genre. In its written form, it typically features two or more characters who engage in a discussion concerning morals, knowledge, as well as a variety of topics that can be widely labelled as ‘philosophical’. Our philosophical dialogue takes place in Krakow, Poland. It is a rainy morning and two strangers are waiting at a tram stop. One of them is dressed neatly, and cannot stop fidgeting with his (...) closed umbrella. The other was caught unprepared by the morning downpour and water is dripping from his worn, soaked jacket. (shrink)

In this commentary, I discuss the scientific changes brought by the exposome, asking what is new about this approach and line of research. I place the exposome in a historical perspective, by analyzing the conditions under which the exposome has been conceived, developed and established in the context of contemporary epidemiological research. I argue that the exposome has been developed by transferring approaches, methods and conceptualizations from other lines of research in the life and health sciences. I thus discuss the (...) conceptual and methodological innovations of the exposome as a result of the merging and adaptation of these elements for new uses and purposes. On this basis, I argue that the novelty of the exposome should be seen in incremental rather than revolutionary terms and, in this sense, the exposome shares significant elements with other projects and repertoires in postgenomics. I conclude by discussing the consequences of this analysis for the potential limitations and future development of exposome research. (shrink)

Name der Zeitschrift: Deutsche Zeitschrift für Philosophie Jahrgang: 65 Heft: 1 Seiten: 67-88.

This paper analyses the déjà-vu experience in order to deepen the understanding of the complex nature of time-consciousness from a phenomenological point of view. The paper is divided into two sections: the first section focuses on Bergson’s research on déjà vu in order to assess the validity of his position; the second section describes a specific form of déjà-vu experience from a phenomenological perspective. This investigation will question the widespread assumption according to which déjà vu should be conceived as a (...) disturbance of the memory of the past. On the contrary, the author shows that the disturbance primarily pertains to the dimension of the future. In order to understand this phenomenon, it is necessary to focus on the coherent deformation of the immediate expectation of the imminent future. (shrink)

This book seeks to rectify misrepresentations of Popperian thought with a historical approach to Popper’s philosophy, an approach which applies his own mature view, that we gain knowledge through conjectures and refutations, to his own development, by portraying him in his intellectual growth as just such a series. Gattei seeks to reconstruct the logic of Popper’s development, in order to show how one problem and its tentative solution led to a new problem.

Recently, there has been increasing interest in methodological aspects of advanced imaging, including the role of guidelines, recommendations, and experts’ consensus, the practice of self-referral, and the risk of diagnostic procedure overuse. In a recent Delphi study of the European Association for Nuclear Medicine (EANM), panelists were asked to give their opinion on 47 scientific questions about imaging in prostate cancer. Nine additional questions exploring the experts’ attitudes and opinions relating to the procedure of consensus building itself were also included. (...) The purpose was to provide insights into the mechanism of recommendation choice and consensus building as seen from the experts’ point of view. Results: Regarding the factors likely to influence the willingness to refer a patient for imaging, the most voted were incorporation into guidelines and data from scientific literature, while personal experience and personal relationship were chosen by a small minority. Regarding the recommendations more relevant to prescribe an imaging procedure, it resulted the incorporation into guidelines promoted by scientific societies (59% of votes); these guidelines also resulted the more trusted. With respect to patients’ preferences considered when prescribing an imaging procedure, the most voted was accuracy, resulted more important than easy access and time to access to the procedure. The majority of the experts expressed the opinion that there is a scarce use of imaging procedures in prostate cancer. With respect to the most relevant factor to build consensus, it resulted the transparency of the process (52% of votes), followed by multidisciplinarity of contributors. The main obstacle to incorporation of modern imaging procedures into guidelines resulted the lack of primary literature on clinical impact. Conclusions: Firstly, the panelists portray themselves as having Evidence-Based Medicine oriented and scientifically inclined attitudes and preferences. Secondly, guidelines and recommendations from scientific societies, especially clinical ones, are positively taken into account as factors influencing decisions, but panelists tend to consider their own appraisal of the scientific literature as more relevant. Thirdly, in respect of overuse, panelists do not think that advanced diagnostic procedures are overutilized in the specific case of Prostate Cancer, but rather they are underutilized. (shrink)

In this article the author seeks to highlight a specific disorder related to bodily experience in melancholia conceived as a severe form of clinical depression. The article is divided into three parts. In the first section, the author investigates the intersubjective dimension of bodily experience in light of the categories of Außen- and Innenleiblichkeit. In the second section, I explore a specific disturbance of the dimension of intercorporeality. The excessive feeling of the bodily (außenleibliche) visibility of his/her own sufferance is (...) a fundamental aspect of depression. At a pre-reflexive level, we constantly assume the noncoincidence between one's own bodily expression and the Other's experience/reading of these expressions. An alteration of this (pre-reflexive) awareness occurs in melancholia. The patient feels as if the melancholic condition would be transparent to the other. In the third section, the author intends to show the alteration of the embodied communication between the melancholic person and the other investigating two particular phenomena: the exchange of gaze in a face to face encounter, and the disturbance of the oral sense, revealing a specific form of irresponsiveness and the experience of void. (shrink)

Plato tries to explain the becoming of the cosmos by referring to the concepts of order and disorder. Scholars have usually focused on the relationship between the cosmos and the demiurge that Plato puts forward to explain the reasonable development. Along these lines, scholarship has examined the providential role played by both the demiurge and the soul of the world. Yet, an interesting prob­lem still remains open: what exactly is the function of disorder? What is the sense of the concept (...) of a perfectly established order if we do not know the manner in which it is achieved, since we have no understand­ing of the conditions that make it possible? Pursuing this line of thought, one may point to a providential role of the disorder given the balance of forces that operates in Plato’s cosmic becoming. (shrink)

The Adventures of the Man in Gold / Les aventures de l’Homme en Or is an interesting, original and, to some extent, also “strange” or “bizarre” book by the American philosopher Richard Shusterman. The book appears in bilingual edition, with Shusterman’s text published both in the original English version and in French translation, and is structured in a very clear way: Preface, three chapters, biographies of the author and all contributors, and acknowledgments. The book is also enriched by ma...

The concept of nature plays a decisive role in Adorno’s philosophy, and must be understood as part of a conceptual constellation that also includes the notions of myth, enlightenment, dialectics, fate, reason, conceptuality, knowledge, freedom, society, and history. In the first section we provide a general analysis of the role played by the concept of nature in Adorno’s philosophy. In doing so, we mostly concentrate on his works The Idea of Natural History, Dialectic of Enlightenment, Minima Moralia, Negative Dialectics, and (...) also his 1964-65 lectures on History and Freedom. In the second section, then, we turn to Adorno’s aesthetics, which must not be merely understood as a philosophy of art but rather as a general theory of the aesthetic that also includes nature among its objects. On this basis, and by referring not only to Adorno’s posthumously published Aesthetic Theory but also to his 1958-59 lecture course on Aesthetics, we explain why, in our view, the question concerning natural beauty holds a special place in the whole of his aesthetics, and why this question is essential indeed in order to properly understand the general meaning, philosophical range and ultimate goals of his philosophical project. (shrink)

In this paper I start with Adorno’s famous and provocative statement “To write poetry after Auschwitz is barbaric”, aimed at asking whether art was still possible in the age of genocides. Then, I take into examination Adorno’s concept of commitment in art – which is closely related to these questions - and the meaning itself of the notion of “Auschwitz” in Adorno’s philosophy. Analyzing what Adorno called “true” art (i.e. art provided with a relevant “truth content”) leads to take into (...) consideration what he understood vice-versa as false or untrue art, in particular mass culture and popular music. Adorno would have probably considered as a sort of blasphemy or heresy the idea itself to write and perform pop-rock songs about such subjects as genocide, but I argue that his views rely on some prejudices that negatively condition his philosophy of art and especially of music. The songs on the Armenian genocide written and performed by the heavy metal band System of a Down serve here as a profitable example that may be of help to foster a critical rethinking of some aspects of Adorno’s aesthetics. (shrink)

An increasing number of Italian scholars are beginning to share the idea that the conceptual basis of legal positivism (LP) is wrong, particularly in the field of Public Law. According to a group of theories called “neoconstitutionalism,” constitutionalism is to be understood not only as a principle based on the need to impose legal limits to political power, but also as an aggregation of values capable of continually remodelling legal relationships, positioning itself as a “pervasive” point of reference for legal (...) experience. A recent essay by Professor Antonio Baldassarre, President Emeritus of the Constitutional Italian Court, about the “misery of legal positivism” is a good expression of this view. In this article, the ideas outlined by Baldassarre are examined and criticized. The paper also tries to defend a version of legal positivism, which has both a conceptual and prescriptive meaning, relating to decisions made on the basis of rules. This view is based on the two correlated concepts of primary formalism and secondary formalism of “competence and procedure.”. (shrink)

The set, the closure of F, is the closure with respect to substitution and concatenation recursion on notation of a set of basic functions comprehending the set F. By improving earlier work, we show that is the substitution closure of a simple function set and characterize well‐known function complexity classes as the substitution closure of finite sets of simple functions.

A basis for a set C of functions on natural numbers is a set F of functions such that C is the closure with respect to substitution of the projection functions and the functions in F. This paper introduces three new bases, comprehending only common functions, for the Grzegorczyk classes ℰ_n with n ≥ 3. Such results are then applied in order to show that ℰ_{n+1} = K_n for n ≥ 2, where {K_n}n∈ℕ is the Axt hierarchy.

Phenomenology aims at analyzing the constitutive moments of the different experiences by doing justice to their specific ways of appearing. By doing so, it can make visible (and therefore correct) the problematic assumptions taken as valid from the outset. These assumptions coherently distort and manipulate the phenomena in such a way that the phenomena are transformed into something radically different. The phenomenon of déjà vu is very interesting in this regard for two different reasons. Déjà vu is transformed into a (...) different phenomenon in the field of cognitive sciences: déjà-vu is commonly understood as a simple memory error. Secondly, déjà vu implies a repetition of a unique, contingent experience. This logic of repetition is not easily compatible with the logos of empirical sciences that focus on the identification of invariant relations between general terms through experimental research and therefore requires a different approach. (shrink)

Antonio Signorini’s contribution to the constitutive theory of non-linear elasticity is reconstructed and analyzed. Some uninformed opinions suggesting he had a minor role, lacking of significant results, are discussed and refuted. It is shown that Signorini should be rightly credited for being among the first scholars aware of the central problem of non-linear elasticity: the determination of the general form of the elastic potential.

This volume features forty-two essays written in honor of Joseph Agassi. It explores the work and legacy of this influential philosopher, an exciting and challenging advocate of critical rationalism. Throughout six decades of stupendous intellectual activity, Agassi called attention to rationality as the very starting point of every notable philosophical way of life. The essays present Agassi’s own views on critical rationalism. They also develop and expand upon his work in new and provocative ways. The authors include Agassi's most notable (...) pupils, friends, and colleagues. Overall, their contributions challenge the received view on a variety of issues concerning science, religion, and education. Readers will find well-reasoned arguments on such topics as the secular problem of evil, religion and critical thinking, liberal democratic educational communities, democracy and constitutionalism, and capitalism at a crossroad.“/div>divTo Joseph Agassi, philosophy is the practice of reason, where reason is understood as the relentless search for criticisms of the best available explanations that we have to the world around us. This book not only honors one of the most original philosophers of science today. It also offers readers insights into a school of thought that lies at the heart of philosophy. (shrink)