Results for 'Emil Przesz��owski'

999 found
Order:
  1.  14
    Emil L. Post. Finite Combinatory Processes—Formulation 1. The Journal of Symbolic Logic, Vol. 1 , Pp. 103–105.Alonzo Church & Emil L. Post - 1937 - Journal of Symbolic Logic 2 (1):43.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Emil Brunner Revisited: On the Cognitive Science of Religion, the Imago Dei, and Revelation.Taede A. Smedes - 2014 - Zygon 49 (1):190-207.
    This article aims at a constructive and argumentative engagement between the cognitive science of religion (CSR) and philosophical and theological reflection on the imago Dei. The Swiss theologian Emil Brunner argued that the theological notion that humans were created in the image of God entails that there is a “point of contact” for revelation to occur. This article argues that Brunner's notion resonates quite strongly with the findings of the CSR. The first part will give a short overview of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Emil Brunner on Love & Marriage: Selections From 'the Divine Imperative'.Emil Brunner - 1970 - London: Fontana.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Emil Cioran: El último Dandi (entrevistas con Emil Cioran, 18987 y 1990).Emil Cioran - 2010 - A Parte Rei 67:1.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  15
    Hammacher, Emil, Privatdozent an der Universität Bonn: Die Bedeutung der Philosophie Hegels für die G e g e n w a r t.Emil Hammacher - 1911 - Kant-Studien 16 (1-3).
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  8
    Lask, Emil, Die Logik der Philosophie und die Kategorienlehre. [REVIEW]Emil Hammacher - 1911 - Société Française de Philosophie, Bulletin 16:455.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  8
    Hammacher, Emil, Privatdozent an der Universität Bonn: Die Bedeutung der Philosophie Hegels für die G e g e n w a r t.Emil Hammacher - 1911 - Kant-Studien 16 (1-3):455.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Kühn, Emil, Kants Prolegomena in sprachlicher Hinsicht. [REVIEW]Emil Kraus - 1918 - Kant-Studien 22:143.
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  6
    Utitz, Emil, Grundlegung der allgemeinen Kunstwissenschaft.Emil Utitz - 1920 - Kant-Studien 25 (1).
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  26
    The Divine Imperative.Emil Brunner - 1937 - Philadelphia: the Westminster Press.
    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 ...
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  11.  74
    The Two-Valued Iterative Systems of Mathematical Logic.Emil Leon Post - 1941 - London: Oxford University PRess.
    INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  12.  54
    The Legal Philosophies of Lask, Radbruch, and Dabin.Emil Lask, Gustav Radbruch, Jean Dabin & Kurt Wilk (eds.) - 1950 - Cambridge: Harvard University Press.
  13. Anfang Und Grenzen des Sinns: Für Emil Angehrn.Emil Angehrn, Brigitte Hilmer, Georg Lohmann & Tilo Wesche (eds.) - 2006 - Velbrück Wissenschaft.
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  25
    Emil du Bois-Reymond: Neuroscience, Self, and Society in Nineteenth-Century Germany.Gabriel Finkelstein - 2013 - The MIT Press.
    This biography of Emil du Bois-Reymond, the most important forgotten intellectual of the nineteenth century, received an Honorable Mention for History of Science, Medicine, and Technology at the 2013 PROSE Awards, was shortlisted for the 2014 John Pickstone Prize (Britain's most prestigious award for the best scholarly book in the history of science), and was named by the American Association for the Advancement of Science as one of the Best Books of 2014. -/- In his own time (1818–1896) du (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  15. Tocqueville'owski ethos demokracji a współczesne społeczeństwo polskie.Szymon Krzyżaniak - 2002 - Colloquia Communia 73 (2):125-140.
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  24
    Non-Referential Names and a Particular Quantifier.Witold Michaŀowski - 1964 - Studia Logica 15 (1):273 - 274.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17. L'anthropologie et la théologie dans le plan philosophique d'Epicure.K. Paw Owski - 1989 - Studia Filozoficzne 280:45-58.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  2
    Metaphysics and Historicity.Emil L. Fackenheim - 1961 - Milwaukee, Marquette University Press.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. 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   19 citations  
  20. Finite Combinatory Processes—Formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  21.  88
    Emil Lask and Kantianism.Frederick Beiser - 2008 - Philosophical Forum 39 (2):283-295.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  41
    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   16 citations  
  23.  40
    Recursive Unsolvability of a Problem of Thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  24.  12
    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   14 citations  
  25.  47
    To Mend the World: Foundations of Post-Holocaust Jewish Thought.Emil L. Fackenheim - 1994 - Indiana Univ. Press.
    " -- 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 ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  13
    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 (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  27.  24
    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 (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  12
    Imitation, Sign Language Skill and the Developmental Ease of Language Understanding Model.Emil Holmer, Mikael Heimann & Mary Rudner - 2016 - Frontiers in Psychology 7.
  29. 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   6 citations  
  30.  24
    The Religious Dimension in Hegel's Thought.Emil L. Fackenheim - 1967 - University of Chicago Press.
  31.  22
    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. Epistemic Expressivism and the Argument From Motivation.Klemens Kappel & Emil F. L. Moeller - 2014 - Synthese 191 (7):1-19.
    This paper explores in detail an argument for epistemic expressivism, what we call the Argument from Motivation. While the Argument from Motivation has sometimes been anticipated, it has never been set out in detail. The argument has three premises, roughly, that certain judgments expressed in attributions of knowledge are intrinsically motivating in a distinct way (P1); that motivation for action requires desire-like states or conative attitudes (HTM); and that the semantic content of knowledge attributions cannot be specified without reference to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  12
    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   1 citation  
  34.  21
    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 (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35. Political Liberalism and the Interests of Children: A Reply to Timothy Michael Fowler.Emil Andersson - 2011 - Res Publica 17 (3):291-296.
    Timothy Michael Fowler has argued that, as a consequence of their commitment to neutrality in regard to comprehensive doctrines, political liberals face a dilemma. In essence, the dilemma for political liberals is that either they have to give up their commitment to neutrality (which is an indispensible part of their view), or they have to allow harm to children. Fowler’s case for this dilemma depends on ascribing to political liberals a view which grants parents a great degree of freedom in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. On the Compatibility Between Euclidean Geometry and Hume’s Denial of Infinite Divisibility.Emil Badici - 2008 - Hume Studies 34 (2):231-244.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  7
    Iterated Mixed Strategies and Pascal’s Wager.Emil Badici - 2019 - Logica Universalis 13 (4):487-494.
    Mixed strategies have been used to show that Pascal’s Wager fails to offer sufficient pragmatic reasons for believing in God. Their proponents have argued that, in addition to outright belief in God, rational agents can follow alternatives strategies whose expected utility is infinite as well. One objection that has been raised against this way of blocking Pascal’s Wager is that applying a mixed strategy in Pascal’s case is tantamount to applying an iterated mixed strategy which, properly understood, collapses into the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. 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   4 citations  
  39.  2
    To Mend the World: Foundations of Future Jewish Thought.Emil L. Fackenheim - 1982 - Schocken Books.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Viktor Emil Von Gebsattel on the Doctor-Patient Relationship.Jos V. M. Welie - 1995 - Theoretical Medicine and Bioethics 16 (1).
    This article provides a summary overview of the ideas on medical anthropology and anthropological medicine of the German philosopher-psychiatrist Viktor Emil von Gebsattel (1883–1974), and discusses in more detail his views on the doctor-patient relationship. It is argued that Von Gebsattel''s warning against a dehumanization of medicine when the person of both patient and physician are not explicitly present in their relationship remains valid notwithstanding the modern emphasis on respect for patient (and provider) autonomy.
     
    Export citation  
     
    Bookmark   3 citations  
  41.  14
    Proof Complexity of Intuitionistic Implicational Formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  42.  31
    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   4 citations  
  43.  16
    Rules with Parameters in Modal Logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.
  44.  94
    The Liar Paradox and the Inclosure Schema.Emil Badici - 2008 - Australasian Journal of Philosophy 86 (4):583 – 596.
    In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to 'sink (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  37
    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 (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  18
    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 (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  23
    Emil Post.Alasdair Urquhart - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--617.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  12
    Hegel. A Re–Examination.Emil L. Fackenheim - 1960 - Philosophical Review 69 (4):544.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  49.  45
    Consuming Knowledge Claims Across Contexts.Emil Frederik Lundbjerg Moeller - 2015 - Synthese 192 (12):4057-4070.
    Williamson and others have argued that contextualist theories of the semantics of ‘know’ have a special problem of accounting for our practices of ‘consuming’ knowledge attributions and denials made in other contexts. In what follows, I shall understand the objection as the idea that contextualism has a special problem of accounting for how we are able to acquire epistemically useful information from knowledge claims made in other contexts. I respond to the objection by arguing that the defeasibility of knowledge makes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  15
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 999