By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.

The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Vessel of Honor: The Virgin Birth and the Ecclesiology of Vatican II by Brian A. GraebeAaron Pidel S.J.Vessel of Honor: The Virgin Birth and the Ecclesiology of Vatican II. By Brian A. Graebe (Steubenville, OH: Emmaus Academic, 2021), 351 pp.Though Mary's undiminished virginity in giving birth (virginitas in partu) was long understood to be an event as miraculous and a teaching as authoritative as her virginity in conceiving (...) (virginitas ante partum), virginitas in partu underwent a kind of existential reinterpretation in the middle of the twentieth century. Authors such as Albert Mitterer and Karl Rahner suggested that, physically speaking, Jesus's birth might have happened like any other, rupturing the hymen, distending the birth canal, and causing Mary pain, albeit not in the spiritually disintegrating way common to postlapsarian humanity. These arguments effectively "unsettled" the traditional understanding of virginitas in partu, leading theologians of the highest stature to distinguish between the doctrine itself and the anatomical aspects attached to it over time. Fr. Brian Graebe has written a fine book arguing that the bodily dimensions of the virgin birth, including the physical "seal" of virginity, belong to the substance of the doctrine. This more inclusive understanding not only does better justice to the data of tradition, he argues, but illuminates the ecclesiology of the Second Vatican Council. The book impresses by its theologically reflective method, its clarity of exposition, [End Page 1106] and its depth of research—especially into the archival and antepreparatory sources of Vatican II.Vessel of Honor responds in effect to Rahner's argument that physical intactness is peripheral to the dogmatic core of Mary's virginity in partu. To show otherwise, Rahner contended, one would need to show that such a doctrine can be found directly in the apostolic teaching, or that it, "being implicitly contained therein, has grown out of the apostolic doctrine, by a legitimate historical, logical, and theological process, as its authentic development" (68–69). If the bodily aspects of this doctrine really belonged to the deposit of faith, in other words, one would need to show how they are implied in the traditio divino-apostolica, as well as how they cohere organically with the rest of the deposit. The two major parts of Vessel of Honor respond in turn to each aspect of Rahner's challenge.The first three chapters argue that Mary's bodily integrity in parturition belongs at least implicitly to the traditio divino-apostolica. Turning first to the postapostolic tradition, Fr. Graebe shows that—apart from the early exceptions of Origen and Tertullian—patristic sources either affirm or strongly imply a miraculous delivery. This constant witness culminates in the Lateran Council (649 AD), which, while not itself an ecumenical council, was received into the magisterium of Pope Martin and affirmed by the Third Council of Constantinople (680 AD). Its teaching that Mary "gave birth without corruption" (incorruptibiliter... genuisse) would be defended by Paschasius, Ratramnus, Thomas Aquinas, and others. This consensus remained undisturbed until the eve of Vatican II.Even at Vatican II, Fr. Graebe argues in the next chapter, the Council Fathers intended to reaffirm the more inclusive idea of virginitas in partu against those who would marginalize its bodily dimensions. Here he really breaks new ground, delving deep into the antepreparatory, preparatory, and conciliar drafting history. He shows convincingly that many of the chief drafters of the final formula—"Our Lord, who did not diminish his mother's virginal integrity but sanctified it..." (Lumen Gentium §57)—saw it as excluding Rahner's and Mitterer's minimalizing interpretations. Drawing on material from the Vatican Apostolic Archives, Fr. Graebe shows that some of the very theologians who voted to omit the pointed phrase "in the birth itself" (in ipsomet partu) did so for tonal rather than substantive reasons.The third chapter argues that Mary's physical integrity in birth is to be believed with divine and Catholic faith, despite the ongoing confusion introduced by Rahner and others. Admittedly, Vatican II did not define but merely reaffirmed the traditional understanding of virginitas in partu. But there are other reasons for including it in the traditio divino-apostolica. [End Page 1107] Drawing heavily... (shrink)

Introduction -- Tending the dark fire: the Boehmian notion of drive -- The night-side of nature: the early Schellingian unconscious -- The speculative psychology of dissociation: the later Schellingian unconscious -- Schellingian libido theory.

Background Empirical studies of surrogate decision-making tend to assume that surrogates should make only a 'substituted judgement'—that is, judge what the patient would want if they were mentally competent. Objectives To explore what people want in a surrogate decision-maker whom they themselves select and to test the assumption that people want their chosen surrogate to make only a substituted judgement. Methods 30 undergraduate students were recruited. They were presented with a hypothetical scenario about their expected loss of mental capacity in (...) the future and asked to answer some questions about their choice of surrogate. These data were analysed qualitatively using thematic content analysis. Results Most respondents talked about choosing someone who was caring and competent in certain ways, giving interesting evidence for their judgements. Surprisingly few highlighted how well they thought their chosen surrogate knew their preferences and would be able to make a substituted judgement. Moreover, few specified that their chosen surrogate had similar attitudes and values to their own and so would make a similar decision to theirs in the circumstances presented. Some respondents also referred to the social role of their chosen surrogate or the social dynamics of their situation which influenced their choices, as well as to ideas of reciprocity and characteristics of honesty and loyalty. Conclusion In the event that they lose mental capacity, many people will not select a surrogate to decide about medical treatments on their behalf solely on the basis that they expect their surrogate to make a substituted judgement. (shrink)

The early Schelling and the romantics constructed the unconscious in order to overcome the modern split between subjectivity and nature, mind and body, a split legislated by Cartesian representationalism. Influenced by Boehme and Kabbalah, the later Schelling modified his notion of the unconscious to include the decision to be oneself, which must sink beneath consciousness so that it might serve as the ground of one's creative and personal acts. Slavoj Zizek has read the later Schelling's unconscious as a prototype of (...) Lacan's reactive unconscious, an unconscious that only exists as the excluded other of consciousness. This reading, though close to the text of Schelling, misses something essential: the unconscious for Schelling is not a repression but a condition of the possibility of life and love. (shrink)

How do we know that our own actions belong to us? How are we able to distinguish self-generated sensory events from those that arise externally? In this paper, I will briefly discuss experiments that were designed to investigate these questions. In particularly, I will review psychophysical and neuroimaging studies that have investigated how we recognise the consequences of our own actions, and why patients with delusions of control confuse self-produced and externally produced actions and sensations. Studies investigating the failure of (...) this 'self-monitoring' mechanism in patients with delusions of control will be discussed in the context of the hypothesis that overactivity in the parietal cortex and the cerebellum contribute to the misattribution of an action to an external source (). (shrink)

Context: Philosophical debates in recent decades have developed new ways of dealing with old philosophical problems such as reality, truth, knowledge, language, communication, and action. These new approaches deserve serious consideration because they can improve the discourse of radical constructivism. Problem: This paper discusses the following problem: How can we overcome dualistic and ontological approaches to basic philosophical problems – problems that are relevant to all scientific domains? Method: The method applied here can be roughly described as a transition from (...) entities/substantives/identities to actions and processes, the actions and processes from which so-called entities result. Action-orientation – or an actor-based process – is necessarily combined with sense-orientation as provided by culture and society. Results: The paper demonstrates how the problems mentioned above can be reformulated in a non-dualistic and non-ontological way. Implications: Opening up constructivist thinking to insights provided by neighbouring philosophical approaches facilitates interdisciplinary cooperation and helps overcome dualistic remnants – as well as the cognitive one-sidedness of traditional constructivism. (shrink)

Increasingly, medical students are required to face up to ethical issues in their training and practice. At the same time, there is growing interest in philosophy courses in the ethical issues raised by medical practice. This textbook, designed primarily for students of medicine, develops the issues to a philosophical level complex enough to be satisfying to students of philosophy as well as MA students on applied ethics courses. The author advocates an approach to medical ethics which breaks out of the (...) straitjacket of the narrow choice between utilitarian or deontological theory, and contains a valuable discussion of practical wisdom. It maintains a balance between case studies and philosophical arguments - which are developed in a historical context, and will be of interest at all levels of the medical profession. (shrink)

Increasingly, medical students are required to face up to ethical issues in their training and practice. At the same time, there is growing interest in philosophy courses in the ethical issues raised by medical practice. This textbook, designed primarily for students of medicine, develops the issues to a philosophical level complex enough to be satisfying to students of philosophy as well as MA students on applied ethics courses. The author advocates an approach to medical ethics which breaks out of the (...) straitjacket of the narrow choice between utilitarian or deontological theory, and contains a valuable discussion of practical wisdom. It maintains a balance between case studies and philosophical arguments - which are developed in a historical context, and will be of interest at all levels of the medical profession. (shrink)

In this paper the authors argue that research ethics committees should not be paternalistic by rejecting research that poses risk to people competent to decide for themselves. However it is important they help to ensure valid consent is sought from potential recruits and protect vulnerable people who cannot look after their own best interests. The authors first describe the tragic deaths of Jesse Gelsinger and Ellen Roche. They then discuss the following claims to support their case: competent individuals are epistemologically (...) and ethically in the best position to say which risks are reasonable for them, so RECs should be no more restrictive than the “normal” constraints on people taking risks with themselves; RECs do not judge individual competence ; individual liberty is mostly limited by what serves the public interest, and RECs do not determine public interest; RECs may have a paternalistic role in preventing exploitation of competent people vulnerable to the use of incentives, and in protecting the interests of incompetent people; however, the moral and political authority of RECs has not been established in this respect. (shrink)

In the academic year 1920-1921 at the University of Freiburg, Martin Heidegger gave a series of extraordinary lectures on the phenomenological significance of the religious thought of St. Paul and St. Augustine. The publication of these lectures in 1995 settled a long disputed question, the decisive role played by Christian theology in the development of Heidegger’s philosophy. The lectures present a special challenge to readers of Heidegger and theology alike. Experimenting with language and drawing upon a wide range of now (...) obscure authors, Heidegger is finding his way to Being and Time through the labyrinth of his Catholic past and his increasing fascination with Protestant theology. A Companion to Heidegger's Phenomenology of Religious Life is written by an international team of Heidegger specialists. (shrink)

The purported failures of ergodic theory (seen in its often proved ineptitude to ground a mechanical explanation of thermodynamics) are shown to arise from misconception of the functions served by scientific explanation. In fact, the predictive failures of ergodic theory are precisely its points of greatest physical utility, where genuinely new knowledge about actual physical systems can be obtained, once the links between explanation and reconstructive estimation are recognized.

Cora Diamond has recently criticised as mere legend the interpretation of a quip of Ramsey's, contained in the epigraph below, which takes him to be objecting to or rejecting Wittgenstein's Tractarian distinction between saying and showing. Whilst I agree with Diamond's discussion of the legend, I argue that her interpretation of the quip has little evidential support, and runs foul of a criticism sometimes made against intuitionism. Rather than seeing Ramsey as making a claim about the nature of propositions, as (...) Diamond does, we should understand him as making a claim about the grammar of the logical connectives. Such a view coheres with the extant evidence of the nature of Wittgenstein's and Ramsey's 1929 philosophical encounters. It is also compatible with attributing to Ramsey a recognition of Wittgenstein's distinction and with denying that criticising it is the lesson of the quip. (shrink)

This article concerns the morality of establishing regulated kidney markets in an effort to reduce the chronic shortage of kidneys for transplant. The article tries to rebut the view, recently defended by James Taylor, that if we hold autonomy to be intrinsically valuable, then we should be in favor of such markets. The article then argues that, under current conditions, the buying and selling of organs in regulated markets would sometimes violate two Kantian principles that are seen as moral constraints. (...) One principle forbids expressing disrespect for the dignity of humanity; the other forbids treating others merely as means. In light of the moral danger posed by regulated markets, the article advocates an alternative way of diminishing the current organ shortage, namely opt-out systems of cadaveric organ donation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Who or What is the Preembryo?S.J. Richard A. McCormick (bio)IntroductionAlthough widely used by scientists, the term "preembryo" has raised some suspicions. Histopathologist Michael Jarmulowicz (1990), for example, asserts that the term was adopted by the American Fertility Society (AFS) and the Voluntary Licensing Authority (VLA) in Britain "as an exercise of linguistic engineering to make human embryo research more palatable to the general public."I cannot speak for the VLA, (...) but I can clarify that this was not the motive of the AFS. As a member of the AFS ethics committee that discussed and adopted this terminology, I know that our discussion was not tied to embryo research or moral issues. The term "preembryo" was adopted because the earliest stages of mammalian development primarily involve establishment of the nonembryonic trophoblast, rather than the formation of the embryo. As Clifford Grobstein (1988, p. 61), a distinguished basic scientist who also sat on the AFS committee notes:The scientific rationale for the term preembryo... is its greater accuracy in characterizing the initial phase of mammalian and human development.... The status implications of such a change in terminology were not at issue in the discussion.This is not to say that the moral status of the preembryo is not a concern worthy of independent consideration. It is an important question with significant practical implications, especially in the context of in vitro fertilization. At stake are issues such as: (1) what may be done to preembryos before transfer; (2) whether all preembryos must be transferred; and (3) what may be done to preembryos that are not transferred (Ethics Committee of the American Fertility Society (AFS) 1986, p. 29S). Furthermore, emergency treatment of rape cases may also depend on such a determination. [End Page 1]Cryopreservation, which entails freezing unused preembryos for possible later use, is one example of a procedure that raises issues associated with the moral status of the preembryo. Cryopreservation decreases the number of stimulated egg recovery cycles a woman must undergo and increases flexibility in transfer protocols. But thawing of the preembryos is not a completely benign process; significant numbers of the preembryos die in the process and injury cannot be excluded.In addition, down the road a year or so lies preimplantation genetic diagnosis, now being tested in several centers of reproductive research. This would involve the removal of one or more cells from a preembryo developing in vitro. The DNA from these cells would be studied and then only genetically normal preembryos would be transferred. With the growth in knowledge about single gene defects and the rapid advance of amplification technology, which allows gene visualization, it is not difficult to imagine scientists embarking on a variety of micromanipulations of the preembryo for the sake of gaining knowledge.Not all research with gametes involves preembryos, but clearly some experiments and procedures await resolution of the moral status of the preembryo. I contend in this paper that the moral status—and specifically the controversial issue of personhood—is related to attainment of developmental individuality (being the source of one individual). This contrasts with the view that holds that personhood occurs earlier, at the point of genetic uniqueness. I believe that an embryo that has developed to the point where it can be one individual and one individual only, differs in moral status from a preembryo that has not, even if in many cases we may choose to treat them similarly.The Scientific UnderpinningsTwo things must be kept in mind—and in a sense, in tension—in turning to science for help in assessing the status of the preembryo. First, science is not competent to decide the question of personhood or ensoulment. As the Catholic document, Declaration on Procured Abortion, which I will return to later, notes: "It is a philosophical problem" (Congregation for the Doctrine of the Faith (CDF) 1974, p. 10, endnote 19). On the other hand, another Catholic document, Donum vitae(CDF 1987), notes that the conclusions of science provide a "valuable indication" for reason's deliberations about personhood. We might say that if science cannot decide the question of personhood, neither can it be decided without science.For my review of embryological science... (shrink)

There is, in the Ramsey Archive at the Hillman Library of the University of Pittsburgh, a note, written in 1929, in Ramsey's hand and mostly in German, consisting of twenty paragraphs the contents...