Results for 'Emil Raff-Wien'

933 found
Order:
  1. Die Monadenlehre in ihrer wissenschaft ichen Vervollkommnung.Emil Raff-Wien - 1911 - Archiv für Geschichte der Philosophie 24:99.
     
    Export citation  
     
    Bookmark  
  2.  22
    IV. Die Monadenlehre in ihrer wissenschaftlichen Vervollkommnung.Emil Raff - 1911 - Archiv für Geschichte der Philosophie 24 (1):99-127.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  30
    X. Die Deduktions- und Kategorienlehre Kants als Beweis für den idealen Charakter seiner Philosophie.Emil Raff - 1913 - Archiv für Geschichte der Philosophie 26 (2):174-194.
  4. Gemeinschaftsethik, nach vorlesung über praktische philosophie gehalten and der Universität Wien.Emil Reich - 1935 - Wien [etc.]: R. M. Rohrer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    Wissenschaftliche Beilage zum Achtzehnten Jahresbericht (1905) der Philosophischen Gesellschaft an der Universitat zu Wien.Emil C. Wilm - 1907 - Philosophical Review 16 (5):554.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  44
    Does Controlled Donation after Circulatory Death Violate the Dead Donor Rule?Emil J. Nielsen Busch & Marius T. Mjaaland - 2022 - American Journal of Bioethics 23 (2):4-11.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  7.  5
    Schattenfiguren, Spektren, Gespenster als leuchtende Verheißung. Simon Kronbergs Sonderstellung in der deutschen Literatur des Expressionismus.Dorothea Rebecca Schönsee - 2020 - Naharaim 14 (2):265-296.
    Der Artikel untersucht den originären Beitrag Simon Kronbergs zur deutschen Literatur des Expressionismus. Der zu den „vergessenen und verkannten Autoren der expressionistischen Generation” (Lützeler) gehörende Kronberg ist bis heute kaum untersucht. Als Sohn jüdisch-galizischer Zuwanderer 1891 in Wien geboren, studiert er 1913 bei Emile Jacques-Dalcroze, dessen Licht- und Bewegungschoreographien ihn nachhaltig prägen. Weitere Stationen sind Düsseldorf bei dem Schauspieler-Paar Lindemann/dumont, München und Berlin. 1934 emigriert er nach Palästina, wo er 1947 stirbt. Seine Texte entwerfen eine Sprache, deren sinnstiftende Bilder (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  13
    Restoring the Organism as a Whole: Does NRP Resurrect the Dead?Emil J. N. Busch - 2024 - American Journal of Bioethics 24 (6):27-33.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  2
    The Philosophy of Religion.Emil Brunner - 1937 - Charles Scribner's Sons.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  85
    The legal philosophies of Lask, Radbruch, and Dabin.Emil Lask, Gustav Radbruch, Jean Dabin & Kurt Wilk (eds.) - 1950 - Cambridge,: Harvard University Press.
  11. Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  12.  53
    Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  13.  33
    Hegel. A Re–examination.Emil L. Fackenheim - 1960 - Philosophical Review 69 (4):544.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  14.  16
    Die Lehre vom Urteil (Classic Reprint).Emil Lask (ed.) - 2017 - Forgotten Books.
    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. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  65
    Independent bases of admissible rules.Emil Jerábek - 2008 - Logic Journal of the IGPL 16 (3):249-267.
    We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  16.  35
    The Sources of Religious Insight.Emil C. Wilm & Josiah Royce - 1913 - Philosophical Review 22 (2):229.
  17.  81
    Capitalism and alienation: Towards a Marxist theory of alienation for the 21st century.Emil Øversveen - 2022 - European Journal of Social Theory 25 (3):440-457.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  83
    The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  19.  32
    Dual weak pigeonhole principle, Boolean complexity, and derandomization.Emil Jeřábek - 2004 - Annals of Pure and Applied Logic 129 (1-3):1-37.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  20.  50
    The religious dimension in Hegel's thought.Emil L. Fackenheim - 1967 - Chicago: University of Chicago Press.
  21. Approximate Counting in Bounded Arithmetic.Emil Jeřábek - 2007 - Journal of Symbolic Logic 72 (3):959 - 993.
    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).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  34
    Recursive functions and existentially closed structures.Emil Jeřábek - 2019 - Journal of Mathematical Logic 20 (1):2050002.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  20
    IX. Hugo Spitzer zu seinem 70. Geburtstage.Emil Binder - 1926 - Archiv für Geschichte der Philosophie 37 (3-4):181-190.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  50
    The strength of sharply bounded induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
    We prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  20
    To mend the world: foundations of future Jewish thought.Emil L. Fackenheim - 1982 - New York: Schocken Books.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  26.  43
    Substitution Frege and extended Frege proof systems in non-classical logics.Emil Jeřábek - 2009 - Annals of Pure and Applied Logic 159 (1-2):1-48.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  27.  45
    Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  28.  5
    Les Fondements Philosophiques des systèmes économiques: et essais en son honneur.Emil Maria Claassen & Jacques Rueff - 1967 - Payot.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  12
    ... Gesammelte schriften.Emil Lask & Eugen Herrigel - 1923 - Tübingen,: Mohr. Edited by Eugen Herrigel.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  30. Die acht Urbilder des I Ging.Emil Hugo Gräfe - 1968 - Oberstedten/Oberursel Ts.,: H. Gräfe.
     
    Export citation  
     
    Bookmark  
  31.  44
    On theories of bounded arithmetic for NC 1.Emil Jeřábek - 2011 - Annals of Pure and Applied Logic 162 (4):322-340.
    We develop an arithmetical theory and its variant , corresponding to “slightly nonuniform” . Our theories sit between and , and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translations of -formulas provable in admit L-uniform polynomial-size Frege proofs.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  32.  6
    Rechtsphilosophie (Classic Reprint).Emil Lask (ed.) - 2016 - Forgotten Books.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. The Text as a Model?: On Reading and Understanding of the World.Emil Angehrn - unknown - Phainomena 70.
    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 (...)
    No categories
     
    Export citation  
     
    Bookmark  
  34. Approximate counting by hashing in bounded arithmetic.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (3):829-860.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  6
    Die Teleologie Kants und Ihre Bedeutung Für Die Logik Der Biologie - Primary Source Edition.Emil Ungerer - 2014 - Nabu Press.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Autonomy, Community, and the Justification of Public Reason.Andersson Emil - 2023 - Canadian Journal of Philosophy 53 (4):336-350.
    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, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37.  30
    Sequence encoding without induction.Emil Jeřábek - 2012 - Mathematical Logic Quarterly 58 (3):244-248.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. La logique de la philosophie et la doctrine des catégories. Études sur la forme logique et sa souveraineté.Emil Lask, Jean-Francois Courtine, Marc de Launay, Dominique Pradelle & Philippe Quesme - 2005 - Revue Philosophique de la France Et de l'Etranger 195 (3):411-412.
     
    Export citation  
     
    Bookmark  
  39. Mostrerò loro qual è la Mia volontà: Francesco d'assisi tra governo dell'ordine E difesa dell'ideale minoritico.Emil Kumka - 2012 - Miscellanea Francescana 112 (3-4):557-580.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Anthropological Horizons of the Theories of Cognitive Development.Emil Kupek - 1988 - Communication and Cognition. Monographies 21 (3-4):261-271.
  41.  27
    La théorie des idées.Emil Lask - 2010 - Philosophie 2 (2):9.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    Werke.Emil Lask - 2002 - Jena: D. Scheglmann Reprintverlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Man in Revolt: A Christian Anthropology.Emil Brunner & Olive Wyon - 1939 - Philosophy 14 (56):500-502.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  44.  62
    A sorting network in bounded arithmetic.Emil Jeřábek - 2011 - Annals of Pure and Applied Logic 162 (4):341-355.
    We formalize the construction of Paterson’s variant of the Ajtai–Komlós–Szemerédi sorting network of logarithmic depth in the bounded arithmetical theory , under the assumption of the existence of suitable expander graphs. We derive a conditional p-simulation of the propositional sequent calculus in the monotone sequent calculus.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  56
    God's presence in history: Jewish affirmations and philosophical reflections.Emil L. Fackenheim - 1970 - Northvale, N.J.: J. Aronson.
    Comprises the Charles F. Deems Lectures delivered at New York University in 1968. Discusses the significance of the Holocaust, emphasizing theological issues, and its uniqueness in history. An authentic response to it - religious or secular - is a commitment to the autonomy and security of the State of Israel. Refers to Jewish midrash to explore the meaning and significance of the Holocaust and relates Jewish thinking about the Holocaust to Jewish thinking about earlier catastrophes. Jewish particularism remains a scandal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  46.  14
    Reestablishing Circulation in Donors: To What Degree Does It Matter?Emil Junge Nielsen Busch - 2024 - American Journal of Bioethics 24 (8):1-3.
    Does normothermic regional perfusion (NRP) resurrect the dead? That was the question I asked in one of the target articles published in the special issue of The American Journal of Bioethics (AJOB)...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. A Treatise on Love by Ibn Sina. Translated.Emil L. Fackenheim - 1945 - Mediaeval Studies 7 (1):208-228.
  48.  40
    Proof complexity of intuitionistic implicational formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  49. Fünf Ursprünge von Hegels Religionsphilosophie.Gustav Emil Müller - 1962 - Studia Philosophica 22:60.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  6
    Education limited.Gustav Emil Müller - 1949 - Norman,: University of Oklahoma Press.
1 — 50 / 933