Excerpt from Goethe als Geschichtsphilosoph und die Geschichtsphilosophische Bewegung Seiner Zeit Eine Pflanze ist in ihrer Erscheinung nur recht zu begreifen, wenn man die Umgebung, wenn man den Boden kennt, dem sie entsprossen ist. Und je langer sie an einem Standorte beharrte, desto mehr kommt dieser Boden, diese Umgebung charakteristisch in ihr zum Ausdruck. Ja, wird sie verpflanzt und in andere Umgebung gebracht, nur langsam und schwer wird sie sich andern. So lange wie sie vermag, bleibt sie ihrem alten Charakter (...) getreu, und immer wieder zeigen sich von der einstigen Umgebung uberkommene Zuge. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (shrink)

The vital status of patients who are a part of controlled donation after circulatory death (cDCD) is widely debated in bioethical literature. Opponents to currently applied cDCD protocols argue that they violate the dead donor rule, while proponents of the protocols advocate compatibility. In this article, we argue that both parties often misinterpret the moral implications of the dead donor rule. The rule as such does not require an assessment of a donor’s vital status, we contend, but rather an assessment (...) of whether procurement of organs in cDCD cause the death of the donor or not. We then argue that commonly practiced cDCD protocols do not violate the dead donor rule, since the donation does not trigger or cause the death of the donors. (shrink)

Short description: One of the major works of the great German theologian Emil Brunner, The Divine Imperative deals with one the many uncertainties in which we ...

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)

It has been argued that Hume's denial of infinite divisibility entails the falsity of most of the familiar theorems of Euclidean geometry, including the Pythagorean theorem and the bisection theorem. I argue that Hume's thesis that there are indivisibles is not incompatible with the Pythagorean theorem and other central theorems of Euclidean geometry, but only with those theorems that deal with matters of minuteness. The key to understanding Hume's view of geometry is the distinction he draws between a precise and (...) an imprecise standard of equality in extension. Hume's project is different from the attempt made by Berkeley in some of his later writings to save Euclidean geometry. Unlike Berkeley, who interprets the theorems of Euclidean geometry as false albeit useful approximations of geometrical facts, Hume is able to save most of the central theorems as true. (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.

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)

Excerpt from Die Lehre vom Urteil Windelband hat in seinen "präludien und in dem Aufsatz der Festschrift für Zeller "beiträge zur Lehre vom nega tiven Urteil gerade vermittelst der Urteilslehre den ent scheidenden Schritt zu tun vermocht, der Logik wieder ihre sachliche Heimat im Ganzen der Philos0phie zu bestimmen. Rickerts "gegenstand der Erkenntnis ist sodann das Grund buch für alle logischen Untersuchungen der Werttheorie geworden und geblieben. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

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

" -- Franklin H. Littell In To Mend the World Emil L. Fackenheim points the way to Judaism's renewal in a world and an age in which all of our notions -- about ...

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 study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...) nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal. (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)

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 prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.

This is a reproduction of a book published before 1923. This book may have occasional imperfectionssuch 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 worksworldwide. We appreciate your understanding of the imperfections in the (...) preservation process, and hope you enjoy this valuable book.++++The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: ++++ Naturwissenschaftliche Plaudereien 3 Emil Arnold Budde. (shrink)

"Jewish Philosophy and the Academy reflects in broad terms on the current state of Jewish philosophy in the university. This generation of university teachers lives at a unique historic junction. It is the last to be taught by the giants of European Wissenschaft des Judentums and the first to experience the remarkable expansion of Judaic scholarship in Israel and abroad." "Emil Fackenheim suggests that if we are indebted to Athens for the philosophical method, we are also indebted to Jerusalem (...) for the ethical content of philosophy, which is both an intellectual and a moral challenge. This dual challenge shapes the diverse papers in this volume."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved. (shrink)

We investigate the substitution Frege () proof system and its relationship to extended Frege () in the context of modal and superintuitionistic propositional logics. We show that is p-equivalent to tree-like , and we develop a “normal form” for -proofs. We establish connections between for a logic L, and for certain bimodal expansions of L.We then turn attention to specific families of modal and si logics. We prove p-equivalence of and for all extensions of , all tabular logics, all logics (...) of finite depth and width, and typical examples of logics of finite width and infinite depth. In most cases, we actually show an equivalence with the usual system for classical logic with respect to a naturally defined translation.On the other hand, we establish exponential speed-up of over for all modal and si logics of infinite branching, extending recent lower bounds by P. Hrubeš. We develop a model-theoretical characterization of maximal logics of infinite branching to prove this result. (shrink)

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)

1. Fichtes idealismus und die geschichte. Rechtsphilosophie. Hegel in seinem verhältnis zur weltanschaung der aufklärung. Gibt es einen "Primat der praktischen vernunft" in der logik?--2. Die logik der philosophie und die kategorienlehre. Die lehre vom urteil.--3. Platon. Zum system der logik. Zum system der wissenschaften.

Excerpt from Rechtsphilosophie Fast samtliche Anhanger absoluter rechtsphilosophischer Wertprinzipien im neunzehnten Jahrhundert so z. B. Stahl, Trendelenburg, Lasson haben den Empirismus auf sich wirken lassen und eine Versohnung der Spekulation mit der positiven Rechtswissenschaft zum mindesten angestrebt. In neuester Zeit hat vor allem Stammler die Einordnung des Rechts in absolute Zweckzusammenhange mit der Ansicht zu vereinigen gewusst, dass die formale Gesetzmassigkeit oder gegenstandliche Richtig keit lediglich einen Massstab fur oder eine unbedingte Anforde rung an das Recht, ein Ziel fur den (...) Gesetzgeber, nicht aber eine ausserlich verbindliche Norm fur das Zusammenleben der Menschen bedeuten kann. So erfullt die kritische Wertspekulation die Forderung Bergbohms, Philosophie des positiven Rechts zu sein. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (shrink)

The 'readability of the world', according to Blumenberg, means an ideal of understanding. However, the question is whether our knowledge of the world should be described as an act of reading or, more generally, in terms of language. Many theorists argue that the 'model of the text' is not an adequate paradigm for describing culture and human understanding. Language has a central function in human life, but there are many non-linguistic ways of expression and of communication. The paper deals with (...) the various motives, which underlie the generalization of the reading metaphor in cultural sciences. (shrink)

We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.

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)

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 show that the universally axiomatized, induction-free theory equation image is a sequential theory in the sense of Pudlák's 5, in contrast to the closely related Robinson's arithmetic.