The introduction of normothermic regional perfusion (NRP) in controlled donation after circulatory determination of death (cDCDD) protocols is by some regarded as controversial and ethically troublesome. One of the main concerns that opponents have about introducing NRP in cDCDD protocols is that reestablishing circulation will negate the determination of death by circulatory criteria, potentially resuscitating the donor. In this article, I argue that this is not the case. If we take a closer look at the concept of death underlying the (...) circulatory criterion for determination of death, we find that the purpose of the criterion is to show whether the organism as a whole has died. I argue that this purpose is fulfilled by the circulatory criterion in cDCDD protocols, and that applying NRP does not negate the determination of death or resuscitate the donor. (shrink)

This essay explores the implications of historicising John Rawls’s theory of justice. While historical research on Rawls and his social context has provided valuable insights, some scholars argue that historicising carries significant philosophical consequences. This paper critically examines one such argument that contends that historicising Rawls’s theory demonstrates its contextual nature, undermines its diagnostic powers, and leads to its complete dissolution. We offer a reconstruction of this argument and show that it fails. Further, while we argue that this argument fails, (...) we go on to suggest that historical evidence may contribute to a defensive argument against appeals to expert opinion. By examining the appropriate relationship between historical research and philosophy, this essay contributes to the evaluation of the historicist critique and offers insights into the broader role of historical research in philosophical discourse. (shrink)

Recently, there have been attempts at offering new justifications of the Rawlsian idea of public reason. Blain Neufeld has suggested that the ideal of political autonomy justifies public reason, while R.J. Leland and Han van Wietmarschen have sought to justify the idea by appealing to the value of political community. In this paper, I show that both proposals are vulnerable to a common problem. In realistic circumstances, they will often turn into reasons to oppose, rather than support, public reason. However, (...) this counterintuitive result can be avoided if we conceive of autonomy and community differently. (shrink)

We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP-hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC) is in coNE, thus obtaining a sharp complexity estimate for admissibility in these systems.

Alienation is among the most influential terms in Marxist theory, but also one of the most ambiguous and controversial. Unlike previous literature, which has tended to focus on Marx’ early philosophical writings, this offers a novel reinterpretation of the theory of alienation found in Marx’s later works. Rather than conceiving alienation as a subjective experience or an inherent feature of social organization, I contend that alienation in the Marxist sense can be understood as an objective process arising from the appropriation (...) of the results of production and their transformation into capital. This interpretation resolves the main theoretical problems conventionally associated with alienation theory, for example the tendency towards essentialism and moral paternalism. In particular, a Marxist theory of alienation explains the paradox of social power and isolation that characterizes contemporary capitalist societies, in which feelings of powerlessness and loneliness are intensified despite objective increases in humanity’s social power and interdependence. (shrink)

We develop approximate counting of sets definable by Boolean circuits in bounded arithmetic using the dual weak pigeonhole principle (dWPHP(PV)), as a generalization of results from [15]. We discuss applications to formalization of randomized complexity classes (such as BPP, APP, MA, AM) in PV₁ + dWPHP(PV).

We show that $$ VTC ^0$$, the basic theory of bounded arithmetic corresponding to the complexity class $$\mathrm {TC}^0$$, proves the $$ IMUL $$ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the $$\mathrm {TC}^0$$ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, $$ VTC ^0$$ can also prove the integer division axiom, and (by our previous results) the $$ RSUV $$ -translation of induction and minimization for sharply (...) bounded formulas. Similar consequences hold for the related theories $$\Delta ^b_1\text{- } CR $$ and $$C^0_2$$. As a side result, we also prove that there is a well-behaved $$\Delta _0$$ definition of modular powering in $$I\Delta _0+ WPHP (\Delta _0)$$. (shrink)

We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory are recursively saturated in a rich language with predicates expressing the integers, rationals, and logarithmically bounded numbers. Combined with our previous results on the construction of the real exponential function on completions of models of, we show that every countable model of is an exponential integer part of a real‐closed exponential field.

Der Mensch ist das sprechende Lebewesen. So lautet eine der altesten Definitionen des Menschen, die heute - auch mit Blick auf neuere Forschungen zur Tiersprache und zur Computersprache - zu prazisieren und zu begrunden ist: Wie bildet sich die Sprache im menschlichen Leben heraus? Was beinhaltet das Sprachvermogen und welches ist seine existentielle Bedeutung fur den Menschen? Dass der Mensch sich aussern und anderen mitteilen kann, dass er mit Worten die Welt erkunden und erfassen kann, dass er sich uber sich (...) verstandigen kann - all dies gehort zum Wunder der Sprache, das sein Leben im Ganzen durchdringt. Sprache, das zeigt dieser Band, ermoglicht es dem Menschen, ein wahrhaft menschliches Leben zu fuhren. (shrink)

We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...) theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

We prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.

By a well-known result of Cook and Reckhow [S.A. Cook, R.A. Reckhow, The relative efficiency of propositional proof systems, Journal of Symbolic Logic 44 36–50; R.A. Reckhow, On the lengths of proofs in the propositional calculus, Ph.D. Thesis, Department of Computer Science, University of Toronto, 1976], all Frege systems for the classical propositional calculus are polynomially equivalent. Mints and Kojevnikov [G. Mints, A. Kojevnikov, Intuitionistic Frege systems are polynomially equivalent, Zapiski Nauchnyh Seminarov POMI 316 129–146] have recently shown p-equivalence of (...) Frege systems for the intuitionistic propositional calculus in the standard language, building on a description of admissible rules of IPC by Iemhoff [R. Iemhoff, On the admissible rules of intuitionistic propositional logic, Journal of Symbolic Logic 66 281–294]. We prove a similar result for an infinite family of normal modal logics, including K4, GL, S4, and. (shrink)

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in (...) existential theories in the process. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:504 HISTORY OF PHILOSOPHY Earle's position, needless to say, is a radical one. If taken seriously it appears to commit him either to a private language doctrine or, more likely, to silence. If the concepts embodied in our language are public, intersubjective concepts, then either a minimal characterization of singular human existence is possible or Earle is stranded in a hopeless, speechless solipsism. I shall mention just one other (...) paper, Natanson's "Alienation and Social Role." Natanson distinguishes role-taking from the more basic activity which he refers to as the intentionality of role-taking or, as he terms it, "role-action." He attempts to give a phenomenological grounding to the notion of role-taking, thereby showing the relevance of phenomenology to problems in social philosophy and sociology. Though a difficult paper, "Alienation and Social Role" is a helpful study of various structures presupposed in social interaction. Natanson's analyses go a long way toward dispelling the view that a phenomenological starting point commits one to subjectivism. I might have mentioned other, equally instructive essays. These, however, give some indication of the diversity of concerns inherent in the American phenomenological tradition. Phenomenology in America documents these concerns well. STEPHEN A, ERICKSON Pomona College Heimkehr ins Eigentliche. By Walter Robert Corti. (Amriswil, Switzerland, Amriswiler BiichereL 1969. Pp. 152. n.p.) This collection of essays written between 1935 and 1966 gives a fine example of the changes in the concern for the meaning of human existence during these thirty years both in the mind and emotions of an individual philosopher and in Western culture generally. The essay from which the title is taken dates from 1958. It is a charming, poetic autobiography, describing the growth of philosophic and scientific wonder from the author's childhood, when he was thrilled by the wonders of biology and chemistry, to his more general wonder at being in and of the world of wonders, culminating in a self-conscious wonder about the implications of a wondering being in a wonderful world. The early essay of 1935, entitled Zu den Dingen is a vivid statement of a Heidegger-inspired existentialism, which analyses the difference between the attempt of Husserl to understand Sachen by his search for the essence of an object ;rod his formulation of phenomenology, and the very different appreciation of things in nature, which demands a non-verbal familiarity or "communion" with another natural being in existential terms, not in terms of the concept of "essence." The later essay of 1958 contains a critical history of the relations between the theories of explication, evolution, and development as cosmologies. After the historical survey it describes the physiological and mental restlessness of man. In this context, the problem of the meaning of existence is explored, not as a question to be answered, but as a significant form of human restlessness which has implications for a kind of restlessness in nature and in cosmic process. Beside these essays which are contributions to the history of recent philosophy, there are several other essays related to the varied and remarkable interests and BOOKS RECEIVED 505 achievements of Dr. Corti, partly in his activities as a distinguished Swiss public leader, partly in connection with his work as director of the Archly fiir genetische Philosophie in Winterthur. HERBERT W. SCHNEIDER Claremont, California BOOKS RECEIVED First Editions Adler, Mortimer. The Time of Our Lives: The Ethics of Common Sense. New York: Holt, Rinehart and Winston, I970. Pp. xiii+361. $7.95. Allen, Gay Wilson. William lames. Pamphlets on American Writers, Number 88. Minneapolis : University of Minnesota, 1970. Pp. 48. $.95. Bahm, Archie. Directory o[ American Philosophers. V 1970-71. Alburquerque: Archie I. Bahm, I970. Pp. 436. $I4.95. Brown, Peter. Augustine of Hippo: A Biography. Berkeley and Los Angeles: University of California Press, 1969. Pp. 463. Paper. $2.95. A review of this book appeared in the Journal, ~ 4, Vol. 6. Cailliet, Emile. Journey Into Light. Grand Rapids: Zondervan Publishing House, 1968. Pp. 117. $3.95. Cantore, Enrico. Atomic Order: An Introduction to the Philosophy of Microphysics. (~mbridge (Mass.): The MIT Press, 1969. Pp. xi+334. $12.50. Caponigri, A. Robert. Philosophy from the Renaissance to the Romantic Age. A History of... (shrink)

We study the extension 123) of the theory S21 by instances of the dual weak pigeonhole principle for p-time functions, dWPHPx2x. We propose a natural framework for formalization of randomized algorithms in bounded arithmetic, and use it to provide a strengthening of Wilkie's witnessing theorem for S21+dWPHP. We construct a propositional proof system WF , which captures the Π1b-consequences of S21+dWPHP. We also show that WF p-simulates the Unstructured Extended Nullstellensatz proof system of Buss et al. 256). We prove that (...) dWPHP is equivalent to a statement asserting the existence of a family of Boolean functions with exponential circuit complexity. Building on this result, we formalize the Nisan–Wigderson construction in a conservative extension of S21+dWPHP. (shrink)

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections (...) in the preservation process, and hope you enjoy this valuable book. (shrink)