Results for 'Kahl Hellmer'

164 found
Order:
  1. Itsy Bitsy Spider…: Infants React with Increased Arousal to Spiders and Snakes.Stefanie Hoehl, Kahl Hellmer, Maria Johansson & Gustaf Gredebäck - 2017 - Frontiers in Psychology 8.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  32
    Four-year-olds’ strategic allocation of resources: Attempts to elicit reciprocation correlate negatively with spontaneous helping.Ben Kenward, Kahl Hellmer, Lina Söderström Winter & Malin Eriksson - 2015 - Cognition 136 (C):1-8.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. (1 other version)Establishing Government Accountability in the Anti-Sweat Shop Campaign: Toward a Logical, Activist Approach to Improving the Working Conditions of the Poor.Ellennita Muetze Hellmer - 2005 - Journal of Libertarian Studies 19 (3):33.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  39
    Reading in Ereignis.Ryan S. Hellmers - 2008 - Epoché: A Journal for the History of Philosophy 13 (1):133-162.
    A close analysis of truth and freedom in Heidegger’s Beiträge zur Philosophie is offered, demonstrating that an engagement with Friedrich Wilhelm Joseph vonSchelling is decisive in bringing Heidegger to an understanding of Dasein in terms of freedom, community, culture, and history. The controversial claim that a reconsideration of German Idealism can provide a new way of accessing Heidegger’s later work is strongly supported in this essay, demonstrating that the payoff of this approach is vast as well as highly coherent with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  18
    Ein Prophet des wahren Sozialismus? Zur Rezeption Karl Barths in der ehemaligen DDR.Michael Murrmann-Kahl - 1994 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 1 (1):139-166.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  77
    Edwin D. Mares, relevant logic—a philosophical interpretation.Reinhard Kahle - 2007 - Studia Logica 85 (3):419-424.
  7. Das Problem des Nicht: kritisch-historische und systematische Untersuchungen.Gertrud Kahl-Furthmann - 1934 - Berlin: Junker und Dünnhaupt. Edited by Adolf Hitler & G. Kahl-Furthmann.
     
    Export citation  
     
    Bookmark  
  8.  7
    M.Reinhard Kahle - 2018 - In Hassan Tahiri, The Philosophers and Mathematics: Festschrift for Roshdi Rashed. Cham: Springer Verlag. pp. 117-126.
    This paper provides a discussion to which extent the Mathematician David Hilbert could or should be considered as a Philosopher, too. In the first part, we discuss some aspects of the relation of Mathematicians and Philosophers. In the second part we give an analysis of David Hilbert as Philosopher.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  11
    ʿubaidallāh Ibn Buḫtīšūʿ on Apparent Death: The kitāb Taḥrīm Dafn Al-Aḥyāʾ, Arabic Edition and English Translation with a Hebrew Supplement by Gerrit Bos.Oliver Kahl & Gerrit Bos (eds.) - 2018 - Brill.
    This book offers an Arabic edition, English translation, study and glossaries of ʿUbaidallāh Ibn Buḫtīšūʿ’s important work on apparent death; an appendix moreover provides the Arabic and Hebrew recensions of ʿUbaidallāh’s lost Greek _Vorlage_.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.
    In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  22
    Dual Axiomatics.Reinhard Kahle - 2019 - In Michael Robert Matthews, Mario Bunge: A Centenary Festschrift. Springer. pp. 633-642.
    Mario Bunge forcefully argues for Dual Axiomatics, i.e., an axiomatic method applied to natural sciences which explicitly takes into account semantic aspects of the concepts involved in an axiomatization. In this paper we will discuss how dual axiomatics is equally important in mathematics; both historically in Hilbert and Bernays’s conception as well as today in a set-theoretical environment.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  14
    Gentzen's Centenary: The Quest for Consistency.Reinhard Kahle & Michael Rathjen (eds.) - 2015 - Springer.
    Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  23
    Gerhard Jäger* and Wilfried Sieg.** Feferman on Foundations: Logic, Mathematics, Philosophy.Reinhard Kahle - 2020 - Philosophia Mathematica 28 (3):421-425.
  14.  87
    Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
    We give an overview of recent results in ordinal analysis. Therefore, we discuss the different frameworks used in mathematical proof-theory, namely "subsystem of analysis" including "reverse mathematics", "Kripke-Platek set theory", "explicit mathematics", "theories of inductive definitions", "constructive set theory", and "Martin-Löf's type theory".
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Den Himmel zum Sprechen bringen. Über Theopoesie.Michael Murrmann-Kahl - 2020 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 28 (1):165-174.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Inwiefern kann man Wolffs Ontologie eine Transzendentalphilosophie nennen?,„.G. Kahl-Furthmann - 1949 - Studia Philosophica 9:80-92.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  9
    Sābūr Ibn Sahl's Dispensatory in the Recension of the ʻaḍudī Hospital.Jochem Kahl - 2008 - Brill.
    This book offers an Arabic edition and English translation of a recension of Sābūr ibn Sahl's famous dispensatory as prepared by the physicians of a Baghdad hospital around the middle of the 11th century CE.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  14
    (1 other version)Christus ohne Jesus? – Die „Fragwürdigkeit des Empirischen“ als Konstruktionsmoment in Paul Tillichs Christologie.Michael Murrmann-Kahl - 2011 - International Yearbook for Tillich Research 6 (1):23-46.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  32
    Über den Begriff.Wilhelm Kahle - 1965 - Zeitschrift für Religions- Und Geistesgeschichte 17 (3):206-234.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  33
    Der "Evangelische Ruf" des Bundes der Evangeliumschristen - Ein Dokument protestantisch-orthodoxer Begegnung- Für Ernst Benz zur Vollendung des 70. Lebensjahres.Wilhelm Kahle - 1977 - Zeitschrift für Religions- Und Geistesgeschichte 29 (1):305-324.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. Towards a Proof-Theoretic Semantics of Equalities.Reinhard Kahle - 2015 - In Peter Schroeder-Heister & Thomas Piecha, Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  7
    The Dispensatory of Ibn at-Tilmīḏ: Arabic Text, English Translation, Study and Glossaries.Oliver Kahl - 2007 - Brill.
    This book offers a critical Arabic edition, annotated English translation, introductory study, and two-way glossaries of a pharmacological masterpiece composed around the middle of the 12th century CE in Baghdad by the Nestorian physician Ibn at-Tilmīḏ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  11
    Der Umweg der Freiheit. Falk Wagners Theorie des christlichen Geistes.Michael Murrmann-Kahl - 2019 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 28 (1):158-163.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  9
    Fünf Thesenpapiere von Falk Wagner.Michael Murrmann-Kahl - 2021 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 28 (2):299-318.
    Falk Wagner was the leading Hegelian in late 20th century German Protestant theology. Wagner who had studied philosophy with Theodor W. Adorno and Wolfgang Cramer in Frankfurt am Main and Systematic Theology with Wolfhart Pannenberg at the University of Mainz taught Systematic Theology at the Universities of Munich and, since 1988, Vienna. He published several influential books. In his lectures and seminars he frequently handed out short theory papers to his students which should serve as the basis for debate. The (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  31
    The Scientific Adventure; Essays in the History and Philosophy of Science. [REVIEW]H. Russell Kahl - 1953 - Journal of Philosophy 50 (16):505-507.
  26.  41
    The Corporate Board Glass Ceiling: The Role of Empowerment and Culture in Shaping Board Gender Diversity.Krista B. Lewellyn & Maureen I. Muller-Kahle - 2020 - Journal of Business Ethics 165 (2):329-346.
    In this study, we use a mixed methods research design to investigate how national cultural forces may impede or enhance the positive impact of females’ economic and political empowerment on increasing gender diversity of corporate boards. Using both a longitudinal correlation-based methodology and a configurational approach with fuzzy-set qualitative comparative analysis, we integrate theoretical mechanisms from gender schema and institutional theories to develop a mid-range theory about how female empowerment and national culture shape gender diversity on corporate boards around the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Das Problem des Nicht.G. Kahl-Furthmann - 1968 - Meisenheim am Glan,: A. Hain.
     
    Export citation  
     
    Bookmark  
  28. Selected Writings of Hermann von Helmholtz.R. Kahl - 1973 - British Journal for the Philosophy of Science 24 (4):413-414.
     
    Export citation  
     
    Bookmark   1 citation  
  29. Verantwortung. Ein Begriff in seiner Aktualität.Reinhard Kahle & Niels Weidtmann (eds.) - 2022 - Paderborn: Brill.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  74
    The proof-theoretic analysis of transfinitely iterated fixed point theories.Gerhard Jager, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.
    This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  31. Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.
  32.  48
    ESG Leaders or Laggards? A Configurational Analysis of ESG Performance.Krista Lewellyn & Maureen Muller-Kahle - 2024 - Business and Society 63 (5):1149-1202.
    We draw from resource dependence and institutional theories to explore how board characteristics associated with directors’ capacities to provide resources and legitimacy (i.e., board size, the number of non-executive, interlocking, and female directors) along with regulative, normative, and cultural-cognitive institutional conditions combine to shape firm environmental, social, and governance (ESG) performance. Using a process of configurational theorizing with fuzzy set qualitative comparative analysis and data from firms in 32 countries, we identify multiple equifinal configurations that are associated with high and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  65
    A Predictive Processing Model of Perception and Action for Self-Other Distinction.Sebastian Kahl & Stefan Kopp - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  16
    Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier, Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.
    In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  49
    Is There a “Hilbert Thesis”?Reinhard Kahle - 2019 - Studia Logica 107 (1):145-165.
    In his introductory paper to first-order logic, Jon Barwise writes in the Handbook of Mathematical Logic :[T]he informal notion of provable used in mathematics is made precise by the formal notion provable in first-order logic. Following a sug[g]estion of Martin Davis, we refer to this view as Hilbert’s Thesis.This paper reviews the discussion of Hilbert’s Thesis in the literature. In addition to the question whether it is justifiable to use Hilbert’s name here, the arguments for this thesis are compared with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  2
    Studies in explanation.Russell Kahl - 1963 - Englewood Cliffs, N.J.,: Prentice-Hall.
  37.  11
    Spekulative Theologie und gelebte Religion: Falk Wagner und die Diskurse der Moderne.Christian Danz & Michael Murrmann-Kahl (eds.) - 2015 - Tübingen: Mohr Siebeck.
    English summary: In this volume, the Munich and Vienna-based theologian Falk Wagner's work in the fields of philosophical theology, sociology and lived religion is taken up for the first time against the backdrop of current theological and philosophical controversies. The essays integrate Wagner's thinking into the history of theology and philosophy in the twentieth century, reconstruct fundamental elements of his philosophical theology between the poles of speculative theology and lived religion, while also highlighting the constellations and context wherein his theology (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  24
    Preface.Wilfried Buchholz & Reinhard Kahle - 2005 - Annals of Pure and Applied Logic 133 (1-3):1.
  39. Axiomatic Thinking I & II.Fernando Ferreira, Kahle Reinhard & Giovanni Sommaruga (eds.) - 2022 - Cham: Springer.
    "Each nation can do well, as in the life of individuals, only if things go equally well in all of her neighboring nations; the life of sciences is similar to that of states whose interest demands that everything be in order within individual states as properly as their relations be in good order among themselves. Understanding this correctly, the most important carriers of mathematical thoughts have always shown great interest in the law and order in neighboring sciences and, above all (...)
     
    Export citation  
     
    Bookmark  
  40.  27
    Roemer, Jupiter's Satellites and the Velocity of Light.Leif Kahl Kristensen & Kurt Møller Pedersen - 2012 - Centaurus 54 (1):4-38.
    The paper lists all the predictions and observations of eclipses of Jupiter's satellites 1668–1678 and compares them with modern computations of the these eclipses by J. H. Lieske. We discuss Roemer's method that led to his discovery of the retardment of light and finally we shall interpret Roemer's calculations.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  18
    The Cairo Geniza.Harry M. Orlinsky & Paul E. Kahle - 1949 - Journal of the American Oriental Society 69 (3):164.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  14
    Feminist Politics: Identity, Difference, and Agency.Deborah Orr, Dianna Taylor, Eileen Kahl, Kathleen Earle & Christa Rainwater (eds.) - 2007 - Rowman & Littlefield Publishers.
    This anthology of articles provides contemporary international feminist perspectives on issues of identity, agency, and difference as they pertain to both feminist politics in particular, and contemporary western politics more generally.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  27
    Sābūr Ibn Sahl, Dispensatorium Parvum (al-Aqrābādhīn al-Saghīr)Sabur Ibn Sahl, Dispensatorium Parvum.Daniel Martin Varisco & Oliver Kahl - 1996 - Journal of the American Oriental Society 116 (1):177.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  49
    Astrology and Alchemy; Two Fossil Sciences. [REVIEW]Russell Kahl - 1954 - Journal of Philosophy 51 (8):252-254.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    The Third Reich and Argentina. The Diplomatic Relations with special reference to the Trade Policy (1933–1939). [REVIEW]Günter Kahle - 1972 - Philosophy and History 5 (2):197-198.
  46. Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
    We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47.  65
    Claiming solidarity: A multilevel discursive reconstruction of solidarity.Franziska Ziegler, Stefan Wallaschek, Patrick Kahle, Hannes Schammann, Michael Corsten & Marianne Kneuer - 2022 - European Journal of Social Theory 25 (3):366-385.
    Solidarity is one of the central concepts in social theory and has gained much attention due to the multiple challenges that the EU has been facing the last decade and due to the most recent COVID-19 pandemic. Although the debate on the nature and conditions of solidarity has been revitalized, there remains a large variety in how to conceptualize solidarity. In contrast to other approaches, we do not conceive solidarity as normative concept, but as descriptive–analytical one. Therefore, we provide a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  20
    Are Expectations the Missing Link between Life History Strategies and Psychopathology?Phillip S. Kavanagh & Bianca L. Kahl - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Introduction to Proof Theoretic Semantics. Special issue of.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148.
  50.  45
    Universes over Frege structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.
    In this paper, we study a concept of universe for a truth predicate over applicative theories. A proof-theoretic analysis is given by use of transfinitely iterated fixed point theories . The lower bound is obtained by a syntactical interpretation of these theories. Thus, universes over Frege structures represent a syntactically expressive framework of metapredicative theories in the context of applicative theories.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 164