Results for 'Gerhard Holzmüller'

1000+ found
Order:
  1.  2
    Einleitung in die allgemeine Logik und die Kritik der reinen Vernunft.Johann Gottlieb Gerhard Buhle - 1795 - [Bruxelles,: Culture et Civilisation.
  2.  7
    Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Direct download  
     
    Export citation  
     
    Bookmark   98 citations  
  3.  4
    Some Set-Theoretic Reduction Principles.Michael Bärtschi & Gerhard Jäger - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 425-442.
    In this article we study several reduction principles in the context of Simpson’s set theory ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} and Kripke-Platek set theory KP (with infinity). Since ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} is the set-theoretic version of ATR0 there is a direct link to second order arithmetic and the results for reductions over ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} are as expected and more or less (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  8
    Collective Affordances.Martin Weichold & Gerhard Thonhauser - 2020 - Ecological Psychology 32 (1).
    This article develops an ecological framework for understanding collective action. This is contrasted with approaches familiar from the collective intentionality debate, which treat individuals as fundamental units of collective action. Instead, we turn to social ecological psychology and dynamical systems theory and argue that they provide a promising framework for understanding collectives as the central unit in collective action. However, we submit that these approaches do not yet appreciate enough the relevance of social identities for collective action. To analyze this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  5
    Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility.Ringo Baumann, Gerhard Brewka & Markus Ulbricht - 2022 - Artificial Intelligence 310 (C):103742.
  6.  3
    Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  16
    Cusanus-Marginalien. Zur Edition und Interpretation einer Textüberlieferung am Seitenrand.Mario Meliadò & Hans Gerhard Senger - 2023 - Bulletin de Philosophie Medievale 64:209-241.
    The extant manuscripts of Nicholas of Cusa’s private library are not only a unique testimony to the reading world of one of the most important philosophers of the 15th century. They also document the material context of a specific literary activity by their reader: as is well known, Cusanus frequently annotated his books, noting his thoughts in the margins. This paper focuses on Cusanus’ marginalia as an object of research and edition. In a first step, the essay reconstructs the 20th-century (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    Grundlagen der Leibeserziehung in Theorie und Praxis.Gerhard Stöcker - 1970 - Düsseldorf,: Pädagogischer Verlag Schwann.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Uber den Lehrer =.G. Thomas, Gerhard Jüssen, J. H. J. Krieger & Schneider - 1988 - Hamburg: Meiner. Edited by G. Jüssen, Gerhard Krieger, J. H. J. Schneider & Thomas.
     
    Export citation  
     
    Bookmark  
  10.  14
    Language structure: psychological and social constraints.Gerhard Jäger & Robert Rooij - 2006 - Synthese 159 (1):99-130.
    In this article we discuss the notion of a linguistic universal, and possible sources of such invariant properties of natural languages. In the first part, we explore the conceptual issues that arise. In the second part of the paper, we focus on the explanatory potential of horizontal evolution. We particularly focus on two case studies, concerning Zipf’s Law and universal properties of color terms, respectively. We show how computer simulations can be employed to study the large scale, emergent, consequences of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  11.  7
    CHAMEO: An ontology for the harmonisation of materials characterisation methodologies.Pierluigi Del Nostro, Gerhard Goldbeck & Daniele Toti - 2022 - Applied ontology 17 (3):401-421.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Averroes and the Aristotelian Tradition.Jan Aertsen & Gerhard Endress (eds.) - 1999
    No categories
     
    Export citation  
     
    Bookmark  
  13.  2
    Introduction.Evandro Agazzi & Gerhard Heinzmann - 2015 - In Evandro Agazzi & Gerhard Heinzmann (eds.), The practical turn in philosophy of science: (proceedings of the annual Meeting of the International Academy of the Philosophy of Science Pont-à-Mousson / France, 10-14 September 2014). Milano, Italy: FrancoAngeli. pp. 7-13.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. 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}_{<\alpha};$ the exact proof-theoretic ordinals of these systems are presented.
     
    Export citation  
     
    Bookmark   12 citations  
  15.  2
    Didaktik als Struktur der Lehrfunktionen.Gerhard Schröter - 1972 - Düsseldorf,: Pädagogischer Verlag Schwann.
  16.  4
    Recherches sur la Déduction Logique.Gerhard Gentzen & Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):350-351.
  17.  7
    Correspondance Dieudonné-Cavaillès (1939).Jean Dieudonné & Gerhard Heinzmann - 2020 - Revue de Métaphysique et de Morale 106 (2):199-208.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  15
    Modeling experts, knowledge providers and expertise in Materials Modeling: MAEO as an application ontology of EMMO’s ecosystem.Pierluigi Del Nostro, Gerhard Goldbeck, Andrea Pozzi & Daniele Toti - 2023 - Applied ontology 18 (2):99-118.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  4
    Skeptical reason maintenance and belief revision.Cees Witteveen & Gerhard Brewka - 1993 - Artificial Intelligence 61 (1):1-36.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  11
    A Configuration Approach to Mindset Agency Theory: A Formative Trait Psychology with Affect, Cognition and Behaviour.Maurice Yolles & Gerhard Fink - 2021 - New York, NY: Cambridge University Press. Edited by Gerhard Fink.
    This book explains psychological, sociopolitical and organisational change in multidisciplinary settings. It shows how advanced techniques of contextual analysis can be applied to complex situations and offers a new cybernetic agency paradigm based on living systems theory. It models, diagnoses, and analyses complex, realworld situations to anticipate patterns of behaviour.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  5
    On Disproportionate Force and Fighting in Vain.Gerhard Øverland - 2011 - Canadian Journal of Philosophy 41 (2):235-261.
    Two conditions guiding permissible use of force in self-defence are proportionality and success. According to the proportionality condition the means used to prevent an attack can be permissible only if they are proportional to the interest at stake. According to the success condition, otherwise impermissible acts can be justified under the right to self-defence only if they are likely to succeed in preventing the perceived threat. These requirements should not always be interpreted narrowly. Sometimes people are permitted to kill culpable (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  3
    Utilitarismus in der Bioethik: seine Voraussetzungen und Folgen am Beispiel der Anschauungen von Peter Singer.Wojciech Bołoz & Gerhard Höver (eds.) - 2002 - Münster: Lit.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Tradition and Interpretation in Matthew.Günther Bornkamm, Gerhard Barth, Heinz Joachim Held & Percy Scott - 1963
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  24.  4
    Proclus et son influence: actes du colloque de Neuchâtel, juin 1985.Gilbert Boss & Gerhard Seel (eds.) - 1987 - Zürich: GMB Editions du Grand Midi.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  3
    Semantical considerations on multiagent only knowing.Vaishak Belle & Gerhard Lakemeyer - 2015 - Artificial Intelligence 223 (C):1-26.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  5
    The Illegal Way In and The Moral Way Out.Gerhard Øverland - 2007 - European Journal of Philosophy 15 (2):186-203.
    At the heart of the current debate about immigration we find a conflict of convictions. Many people seem to believe that a country has a right to decide who to let in and who to keep out, but quite often they appear equally committed to the view that it is morally wrong to expel someone from within the borders of their country if that would seriously jeopardise the person in question. While the first conviction leads to stricter border controls in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Hegel und der preussische Staat. Zur Herkunft und Kritik des liberalen Hegelbildes.Gerhard Dulckeit - 1936 - Zeitschrift für Deutsche Kulturphilosophie 2:63.
    No categories
     
    Export citation  
     
    Bookmark  
  28. System und Geschichte in Hegels Philosophie.Gerhard Dulckeit - 1938 - Zeitschrift für Deutsche Kulturphilosophie 4:25.
    No categories
     
    Export citation  
     
    Bookmark  
  29.  1
    Bemerkungen zum Problem der Mehrwertigen Logiken.Gerhard Frey - 1954 - Journal of Symbolic Logic 19 (2):131-132.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Gesetz und Entwicklung in der Natur.Gerhard Frey - 1965 - Revista Portuguesa de Filosofia 21 (2):193-195.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  4
    Logic as Empirical Science.Gerhard Frey - 1965 - Philosophy Today 9 (1):26.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Kants Satz: die praktische Freiheit kann durch Erfahrung bewiesen werden.Gerhard Funke - 1981 - Revue Internationale de Philosophie 35 (136/137):207.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  4
    A Conversation between Joschka Fischer and Andre Glucksmann on the French and German left.Gerhard Spört & Roger de Week - 1986 - Telos: Critical Theory of the Contemporary 1986 (67):206-217.
    Question: Where, when and under what circumstances did the two of you get to know each other?Fischer: It was in the early seventies, in Frankfurt, after the dissolution of the gauche proletarienne and while there were still leftist groups in Germany. It must have been 1972. Question: Was that a private visit?Glucksmann: We had private discussions. We also participated in rallies and demonstrations.Question: That was in the late phase of the student movement.Fischer: We kept in contact through my old room-mate, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Jahre Rechtsphilosophie.Gerhard Sprenger - 2009 - In Annette Brockmöller & Eric Hilgendorf (eds.), Rechtsphilosophie Im 20. Jahrhundert: 100 Jahre Archiv für Rechts- Und Sozialphilosophie. Nomos.
  35.  6
    Der begriff AlS erkenntnismittel und AlS erkenntnisgegenstand.Gerhard Stammler - 1943 - Kant Studien 43 (1-2):189-209.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  2
    Der begriff der null und der negativen ganzen zahlen.Gerhard Stammler - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7 (1):146-164.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  2
    Das Verhältnis von wissenschaftlicher und theologischer Erkenntnis (Fortsetzung und Schluß).Gerhard Stammler - 1963 - Zeitschrift für Philosophische Forschung 17 (2):245 - 283.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  1
    Das Verhältnis von wissenschaftlicher und theologischer Erkenntnis. Eine erkenntnistheoretische Studie zur Wissenschaftslehre.Gerhard Stammler - 1963 - Zeitschrift für Philosophische Forschung 17 (1):75 - 110.
  39.  1
    Grundsätzliches zur Beurteilung des Verhältnisses von Logik und Logikkalkül (Logistik).Gerhard Stammler - 1946 - Zeitschrift für Philosophische Forschung 1 (2/3):308 - 313.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  2
    Hat die Frage nach dem Sinn der Geschichte selber einen Sinn? (Eine logisch-erkenntnistheoretische Vorfrage zur Geschichtsphilosophie).Gerhard Stammler - 1954 - Zeitschrift für Philosophische Forschung 8 (1):55 - 92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  2
    Mythos Und Logos: Antike Philosophie von Homer Bis Sokrates.Gerhard Stapelfeldt - 2007 - Kovač.
  42.  1
    Zur Philosophischen Neugestaltung der Logischen Urteilslehre.Gerhard Stammler - 1953 - Journal of Symbolic Logic 18 (4):330-330.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Beiträge zur Geschichte und Interpretation der Philosophic Kants.Gerhard Lehmann - 1971 - Revista Portuguesa de Filosofia 27 (4):433-433.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  44. Erklären und Verstehen in der Wissenschaft.Gerhard Schurz - 1992 - Erkenntnis 36 (2):259-262.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  45.  1
    Die Idee Gottes im Geiste der Philosophie Hegels.G. Watts Cunningham & Gerhard Dulckeit - 1951 - Philosophical Review 60 (3):417.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    Entgrenzungen der Phänomenologie und Hermeneutik: Festschrift für Helmuth Vetter zum 70. Geburtstag.Silvia Stoller, Gerhard Unterthurner & Helmuth Vetter (eds.) - 2012 - Nordhausen: Verlag Traugott Bautz.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  10
    Introduction.Michel Bourdeau, Gerhard Heinzmann & Pierre Wagner - 2018 - Philosophia Scientiae 22:3-15.
    L’idée d’organiser à Paris un congrès international de philosophie scientifique « fut émise pour la première fois au cours d’une conversation à Berlin, en juillet 1932, entre Hans Reichenbach et Louis Rougier ». Dans une lettre du 6 août 1932 adressée à Reichenbach, Rougier mentionne déjà des contacts avec le ministère des Affaires étrangères pour obtenir des subventions et le 6 novembre de la même année, il propose à Reichenbach de tenir la manifestation en 1934 [voir Padovani 2006, 239-–240...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  7
    Delimiting experience: aesthetics and politics.Ryan Crawford, Gerhard Unterthurner & Erik Michael Vogt (eds.) - 2013 - Berlin: Verlag Turia + Kant.
    [T]he essays collected here... further determine the limits of experience as well as salvage something essential from that which takes place at the very limit of political and aesthetic experience. Included here are critical readings of such seminal figures as Locke, Kant, Nietzsche, Adorno, Foucault, Fanon, Lacoue-Labarthe, Badiou, and Rancière." -Cover.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  6
    Natur und Bildung: Perspektiven einer Pädagogik der Zukunft.Gerhard de Haan - 1985 - Weinheim: Beltz.
  50.  2
    Ich und der Andere: Aspekte menschlicher Beziehungen.Reiner Marx & Gerhard Stebner (eds.) - 1996 - St. Ingbert: Röhrig Universitätsverlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000