The idea of an ?inversion principle?, and the name itself, originated in the work of Paul Lorenzen in the 1950s, as a method to generate new admissible rules within a certain syntactic context. Some fifteen years later, the idea was taken up by Dag Prawitz to devise a strategy of normalization for natural deduction calculi (this being an analogue of Gentzen's cut-elimination theorem for sequent calculi). Later, Prawitz used the inversion principle again, attributing it with a semantic role. Still working (...) in natural deduction calculi, he formulated a general type of schematic introduction rules to be matched ? thanks to the idea supporting the inversion principle ? by a corresponding general schematic Elimination rule. This was an attempt to provide a solution to the problem suggested by the often quoted note of Gentzen. According to Gentzen ?it should be possible to display the elimination rules as unique functions of the corresponding introduction rules on the basis of certain requirements?. Many people have since worked on this topic, which can be appropriately seen as the birthplace of what are now referred to as ?general elimination rules?, recently studied thoroughly by Sara Negri and Jan von Plato. In this study, we retrace the main threads of this chapter of proof-theoretical investigation, using Lorenzen's original framework as a general guide. (shrink)

The theory that ``consistency implies existence'' was put forward by Hilbert on various occasions around the start of the last century, and it was strongly and explicitly emphasized in his correspondence with Frege. Since (Gödel's) completeness theorem, abstractly speaking, forms the basis of this theory, it has become common practice to assume that Hilbert took for granted the semantic completeness of second order logic. In this paper I maintain that this widely held view is untrue to the facts, and that (...) the clue to explain what Hilbert meant by linking together consistency and existence is to be found in the role played by the completeness axiom within both geometrical and arithmetical axiom systems. (shrink)

This paper is a study of the opening section of Gentzen’s first publication of 1932,Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen, a text which shows the relevance of Hertz’s work of the 1920’s for the young Gentzen. In fact, Gentzen borrowed from Hertz the analysis of the notion of consequence, which was given in terms of the rules of thinning (Verdünnung) and cut (Schnitt) on sequents (there called “sentences”(Sätze)). Moreover, following Hertz again, he also judged it necessary to justify (...) the forms of inference of the system by providing a semantics for them, so that it became possible to make precise the informal notion of consequence, and to show that the inference rules adopted are correct and sufficient. (shrink)

The paper is devoted to an examination of the epistemic account of the notion of deductive inference recently provided by D. Prawitz, and based on the notion of ground. This is part of the general scenario constituted by the “Proof-theoretic semantics”, presented since the ’70s of the last century as an alternative to the standard model-theoretic explication of the notion of logical consequence.Our argument pivots on the so-called “Curry–Howard Correspondence”, which exploited the idea of considering proofs as proper mathematical objects (...) in a remarkable way. A sort of rational reconstruction of this idea is outlined, tracing it back to Hilbert and Husserl’s investigations. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

Since the manipulation of sport competitions became one of the main threats to sport integrity, both the academy and international organizations have sought to establish a coherent conceptual framework that defines what criteria determine a manipulation and what are the factors that might cause it. Although the literature has shown that the manipulation of sport competition is a multifaceted phenomenon that includes individual, relational, organizational and institutional variables, most of the authors have focused their explanations on individual factors, and institutional (...) prevention campaigns continue to understand match-fixing as a problem of moral failure of on-field sports actors. This work proposes a novel dynamic framework for analysis based on the theoretical roots on Morin’s paradigm of complexity and Archer’s critical realism. In addition to articulating the micro, meso, and macro factors together, the paper defends the idea of three conceptions of integrity, personal, competition and institutional, often operating simultaneously in the same space. Each one of these integrities, operates across individual, organizational and structural levels, acting recursively on the others, generating the gears of the global sports integrity. We then discuss the reasons, structures, opportunities and incentives that each of these integrities creates and fuels. We argue that the errors and ineffectiveness of the fight against the manipulation of sport competitions are largely due to a lack of understanding of, and appreciation for, the different conceptions of integrity and their interactions that require different approaches and differentiated public policies. We conclude with innovative possibilities for more effective policy-making processes in this space. (shrink)

BackgroundA child’s death is the most stressful event and the most complex grief that families face. The process of psychological adaptation to the illness and death of a child is difficult due to a variety of emotional reactions. Parental grief had received the attention of researchers only in recent years when it became clear that this reality differs substantially from the general grief process.ObjectiveThis work aims to highlight the needs of bereaved parents; increase the specificity and effectiveness of the therapeutic (...) approach to prevent complications in the process of loss-making; and find the recurrent thematic nuclei in the development of bereavement present in a therapeutic group of parents who have lost their child to an onco-hematological disease.MethodBetween 2011 and 2016, five therapeutic groups for the grief elaboration were made. The sample included a total of 50 parents of children who died from cancer between the ages of 0 and 21 years.Content analysis was carried out as a qualitative analysis method. The SAS® Text Miner software was used to read, interpret, classify and integrate the data from numerous sources.ResultsThe development and consecutive interpretation of the 5 clusters have been carried out to analyze the related topics using the node “Topic Analysis” and requesting the subdivision into five topics. Four topics have been well defined. Clear topics are reducible to categories of emotional relief, tools, legacy, and unfinished business. The topic analysis provides interesting indications about the different interpretive journeys of the bereavement situation and offers ideas regarding the different types of social responses.ConclusionsAfter reviewing the existing bibliography, we have confirmed the lack of specific literature on the problem of grief in parents whose children have died from cancer. Much research has shown that parents who lose a child to cancer want support, and there are still few studies on the most effective interventions for this group. (shrink)

The focus of this paper is on two attempts Sainati made to renew neo-idealistic themes by means of suggestions drawn from the famous Goedel’s Incompleteness Theorems of 1931. Sainati’s remarks on the relationship between «logo astratto » and «logo concreto» are here pursued by reference to some of Goedel’s unpublished texts.

The aim of this paper is to reconsider several proposals that have been put forward in order to develop a Proof-Theoretical Semantics, from the by now classical neo-verificationist approach provided by D. Prawitz and M. Dummett in the Seventies, to an alternative, more recent approach mainly due to the work of P. Schroeder-Heister and L. Hallnäs, based on clausal definitions. Some other intermediate proposals are very briefly sketched. Particular attention will be given to the role played by the so-called Fundamental (...) Assumption. We claim that whereas, in the neo-verificationist proposal, the condition expressed by that Assumption is necessary to ensure the completeness of the justification procedure ( from the outside , so to speak), within the definitional framework it is a built-in feature of the proposal. The latter approach, therefore, appears as an alternative solution to the problem which prompted the neo-verificationists to introduce the Fundamental Assumption. (shrink)

The author presents and defends three theses: (1) "the first is that it is not profitable for us at present to do moral philosophy; that should be laid aside at any rate until we have an adequate philosophy of psychology." (2) "the second is that the concepts of obligation, And duty... And of what is morally right and wrong, And of the moral sense of 'ought', Ought to be jettisoned if this is psychologically possible...." (3) "the third thesis is that (...) the differences between the well-Known english writers on moral philosophy from sidgwick to the present day are of little importance." (staff). (shrink)

The relations between reason, motivation and value present problems which, though ancient, remain intractable. If values are objective and rational how can they move us and if they are dependent on our contingent desires how can they be rational? E. J. Bond makes a bold attack on this dilemma. The widespread view among philosophers today is that judgements contain an irreducible element of personal commitment. To this Professor Bond proposes an account of values as objective and value judgements as true (...) or false, employing a distinction between grounding and motivating reasons to establish their connection with action. He defines and tests his position against a number of recent theories, providing in the process forceful criticism of Williams, Wiggins, Foot, Narveson and Nagel, among others. A distinctive contribution to the subject, it will stimulate interest and worthwhile debate among philosophers, while also serving as an introduction to this vital topic. (shrink)

Derek Parfit’s view of personal identity raises questions about whether advance decisions refusing life-saving treatment should be honored in cases where a patient loses psychological continuity; it implies that these advance decisions would not be self-determining at all. However, rather than accepting that an unknown metaphysical ‘further fact’ underpins agential unity, one can accept Parfit’s view but offer a different account of what it implies morally. Part II of this article argues that contractual obligations provide a moral basis for honoring (...) advance decisions refusing life-saving and/or life-sustaining medical treatment; advance decisions have similarities to contracts, such as life insurance policies and will-contracts, that come into effect when the psychological discontinuity is through death. (shrink)

The aim of this study is to explore how nurses perceive patient participations of patients over 75 years old undergoing hemodialysis treatment in dialysis units, and of their next of kin. Ten nurses told stories about what happened in the dialysis units. These stories were analyzed with critical discourse analysis. Three discursive practices are found: (1) the nurses’ power and control; (2) sharing power with the patient; and (3) transferring power to the next of kin. The first and the predominant (...) discursive practice can be explained with an ideology of paternalism, in which the nurses used biomedical explanations and the ethical principle of benefice to justify their actions. The second can be explained with an ideology of participation, in which the nurses used ethical narratives as a way to let the patients participate in the treatment. The third seemed to involve autonomous decision-making and the ethical principle of autonomy for the next of kin in the difficult end-of-life decisions. (shrink)

Arguing that psychologists and their predecessors have invariably relied on metaphors in articulation, the contributors to this volume offer a new "key" to understanding a critically important area of human knowledge by specifying the major metaphors.

Released in 1984, Steven E. Rhoads' classic was considered by many to be among the best introductions to the economic way of thinking and its applications. This anniversary edition has been updated to account for political and economic developments - from the greater interest in redistributing income and the ascendancy of behaviorism to the Trump presidency. Rhoads explores opportunity cost, marginalism, and economic incentives and explains why mainstream economists - even those well to the left - still value free markets. (...) He critiques economics for its unbalanced emphasis on narrow self-interest as controlling motive and route to happiness, highlighting philosophers and positive psychologists' findings that happiness is far more dependent on friends and family than on income or wealth. This thought-provoking tour of the economist's mind is a must read for our times, providing a clear, lively, non-technical insight into how economists think and why they shouldn't be ignored. (shrink)

A dialogue between a foreign philosopher and a powerful statesman outline Plato's reflections on the family, the status of women, property rights, and criminal law.

В статье философия характеризуется на основе дискурсной парадигмы анализа: как текст, интеллектуальная деятельность и коммуникация. Характеризуются два равнозначных аспекта философского дискурса - когнитивный и коммуникативный. Обсуждается феномен философских контроверз, специфика философского спора, выразительные (знаковые) средства философского дискурса, роль мировоззренческого дискурса в современной общественно-политической ситуации в стране.

Although the equally pervasive and abstract concept of space has generated a vast body of disciplines, time, and the related idea of "becoming" (transforming, ...