Results for 'Hans Hermes'

1000+ found
Order:
  1. Einführung in die mathematische Logik.Hans Hermes - 1969 - Stuttgart,: B. G. Teubner.
  2. Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.Hans Hermes - 1936 - Hildesheim: Gerstenberg. Edited by Heinrich Scholz.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Semiotik: eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen.Hans Hermes - 1938 - Hildesheim: Gerstenberg.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  3
    Eine Axiomatisierung der allgemeinen Mechanik.Hans Hermes - 1938 - Hildesheim: Gerstenberg.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  16
    Introduction to mathematical logic.Hans Hermes - 1973 - New York,: Springer Verlag.
    This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for (...)
  6.  26
    Eine Axiomatisierung der Allgemeinen Mechanik.Hans Hermes - 1938 - Journal of Symbolic Logic 3 (3):119-120.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  9
    Eine Termlogik mit Auswahloperator.Hans Hermes - 1965 - Springer.
  8.  4
    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der Rekursiven Funktionen.Hans Hermes - 1966 - Journal of Symbolic Logic 31 (2):254-254.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  11
    Ein Axiomensystem für die Syntax des Logikkalküls.Hans Hermes - 1937 - Travaux du IXe Congrès International de Philosophie 6:43-45.
    1. Les procédés de construction du calcul logique classique. Les expressions. Les propositions. Les propositions syntactiques. Les propriétés ou rapports de structure. On recherche ici un système d’axiomes d’où puissent se déduire les propriétés de structure, sans aucun appel à l’intuition. — 2. Les quatre axiomes de 1’« arithmétique généralisée ». — 3. Extension de ce système d’axiomes au système d’axiomes de la syntaxe du calcul logique. Possibilité de déduire des propositions syntactiques sans revenir à l’intuition. — 4. L’avantage de (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  5
    Einführung in die mathematische Logik: Klassische Prädikatenlogik.Hans Hermes - 1963 - Stuttgart,: Teubner.
    Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Prädikaten logik geben. Die Beschränkung auf die klassische Logik soll nicht besagen, daß diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet (...)
  11.  20
    La Teoria de Reticulos y su Aplicación a la Lógica Matemática.Hans Hermes - 1971 - Journal of Symbolic Logic 36 (3):545-546.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  1
    Maschinen zur Entscheidung von Mathematischen Problemen.Hans Hermes - 1957 - Journal of Symbolic Logic 22 (4):376-377.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  3
    P. Lorenzen. Methodical thinking. Ratio , Bd. 7 , S. 35–60.Hans Hermes - 1969 - Journal of Symbolic Logic 33 (4):618.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Prädikatenlogik und theorie der rekursiven funktionen.Hans Hermes - 1968 - In Raymond Klibansky (ed.), Contemporary Philosophy. Firenze, la Nuova Italia. pp. 1--254.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  9
    Term Logic with Choice Operator.Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):679-680.
  16.  9
    Zum einfachheitsprinzip in der wahrscheinlichkeitsrechnung.von Hans Hermes - 1958 - Dialectica 12 (3‐4):317-331.
    ZusammenfassungDa die zuletzt von Shimony, Lehman und Kemeny ausgebaute Begründung der Wahrscheinlichkeitstheorie durch Zurückführung auf den Begriff der Wette im wesentlichen nur die Axiome von Kolmogoroff liefert, welche für die Anwendungen nicht ausreichen, muss man nach einem neuen Prinzip suchen, um weitere Axiome zu gewinnen. Als solches bietet sich an ein Einfachheitsprinzip, welches besagt, dass eine einfachere Hypothese die wahrscheinlichere ist. Es wird kritisch berichtet über verschiedene Versuche, die in Münster insbesondere von Kiesow und W. Oberschelp unternommen worden sind, um (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  2
    Zur Geschichte der Mathematischen Logik und Grundlagenforschung in den Letzten Funfundsiebzig Jahren.Hans Hermes - 1968 - Journal of Symbolic Logic 33 (1):112-112.
  18.  13
    In memoriam: Wilhelm Ackermann (1896-1962).Hans Hermes - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):1-8.
  19. Nachgelassene Schriften.Gottlob Frege, Hans Hermes, Friedrich Kambartel & Friedrich Kaulbach - 1972 - Philosophy of Science 39 (2):269-271.
     
    Export citation  
     
    Bookmark   48 citations  
  20. Gottlob Frege: Philosophical and Mathematical Correspondence.Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, Brian McGuinness & Hans Kaal (eds.) - 1980 - Blackwell.
     
    Export citation  
     
    Bookmark   13 citations  
  21.  33
    Helena Rasiowa. Wstęp do matematyki współczesnej. Third edition. Biblioteka matematyczna, vol. 30. Polısh original of the foregoing. Państwowe Wydawnictwo Naukowe, Warsaw1971, 302 pp. - Rózsa Peter. Rekursive Funktionen in der Komputer-Theorie. Akadémiai Kiadó, Budapest1976, 190 pp. [REVIEW]Hans Hermes - 1978 - Journal of Symbolic Logic 43 (1):154.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  18
    Thomason Richmond H.. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London 1970, xiii + 367 pp. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678.
  23.  6
    Review: P. Lorenzen, Methodical Thinking. [REVIEW]Hans Hermes - 1968 - Journal of Symbolic Logic 33 (4):618-618.
  24.  8
    Review: Richmond H. Thomason, Symbolic Logic. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678-678.
  25.  5
    Eine rein Topologische Form Nichtaristotelischer Logik.Carl G. Hempel, Hans Hermes & Heinrich Scholz - 1937 - Journal of Symbolic Logic 2 (2):94-94.
  26.  6
    Gedenken an Heinrich Scholz.H. Seifert, Carl Heinz Ratschow & Hans Hermes - 1960 - Journal of Symbolic Logic 25 (1):65-66.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  6
    Ein Stück Heimat? Hans Mayers ambivalente Sicht auf Israel.Stefan Hermes - 2022 - Naharaim 16 (1):129-148.
    Hans Mayer, one of the most eminent literary critics and public intellectuals in post-war Germany, visited Israel four times between 1968 and 1995. This article aims to reconstruct the key elements of Mayer’s ambivalent perception of Israeli society and culture as it is documented in his travelogue Reisen nach Jerusalem from 1997 and several further texts. However, Mayer’s view on Israel can only be understood adequately by also considering his situation as a non-religious Jew and Shoah survivor in Germany.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  6
    Autonomía En la Esfera Política y Religiosa En Kant.Hermes Raúl Torres Sánchez - 2011 - Praxis Filosófica 19.
    La filosofía kantiana se ha destacado por ocuparse por temas tan importantes como la ética, la religión, el derecho, entre otros. Todos ellos desde una perspectiva humanista, es decir, teniendo en cuenta valores como la dignidad humana y la autonomía moral propios de un proyecto ilustrado. Estos valores han servido para cuestionar y criticar muchas de las injusticias y abusos que se cometen contra el ser humano, en especial en el terreno de la religión por no asumir un pensamiento propio. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  26
    Socialismo y Democracia.Hermes H. Benítez - 2006 - Polis 15.
    En este paper se busca establecer, mediante un examen puramente teórico, abstracto, si acaso la conflictiva relación que han guardado hasta hoy socialismo y democracia, se derivaría de alguna propiedad esencial de aquella forma social, o si podría explicarse, más bien, como el resultado de las especiales condiciones en que se dieron, durante el siglo XX, los distintos intentos de construcción socialista.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  8
    Interne "synkrisis" bei Plutarch.Hans Beck - 2002 - Hermes 130 (4):467-489.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  9
    Probleme der Anthropologie bei Gregor von Nyssa:: Zur Interpretation seiner Schrift 'De hominis opificio'.Hans Oesterle - 1985 - Hermes 113 (1):101-114.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Towards the ideal special language translation dictionary.Hans Kristian Mikkelsen - 1991 - Hermes 6:91-109.
     
    Export citation  
     
    Bookmark  
  33.  7
    Zum Text der 'Frösche' des Aristophanes.Hans-Joachim Newiger - 1985 - Hermes 113 (4):429-448.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Parerga Caesariana.Hans Drexler - 1935 - Hermes 70 (2):203-234.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  35. Terentiana.Hans Drexler - 1938 - Hermes 73 (1):39-98.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  36. Zum Eunuch des Terenz.Hans Drexler - 1941 - Hermes 76 (1):75-83.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  37.  16
    Die gute Ehefrau im Wandel der Zeit–von Xenophon zu Plutarch.Hans-Ulrich Wiemer - 2005 - Hermes 4 (4):33.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  3
    Held, Gott oder Tyrann? Alexander der Große im frühen Hellenismus.Hans-Ulrich Wiemer - 2011 - Hermes 139 (2):179-204.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  8
    La notion d'État et la psychologie sociale.Hans Kelsen - 1988 - Hermes 2:134.
  40.  12
    Arachnes Efeusaum.Hans Bernsdorff - 1997 - Hermes 125 (3):347-356.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  5
    Ein Nachtrag zum 'Supplementum Hellenisticum'.Hans Bernsdorff - 1997 - Hermes 125 (3):382-384.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  3
    Zu einer schwierigen Stelle in Ovids 'Fasten'.Hans Bernsdorff - 1993 - Hermes 121 (3):367-370.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Zur Begründung des Vorrangs der πρᾶξις vor dem ἦθος in der Aristotelischen Tragödientheorie.Hans-jürgen Horn - 1975 - Hermes 103 (3):292-299.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  44. Der Metaphysik-Kommentar des Joannes Philoponos.Hans Reiner - 1954 - Hermes 82 (4):480-482.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  12
    Zwei Binneninterpolationen im Zehnten Buch der 'Aeneis' und das Problem der Konkordanzinterpolation.Hans-Christian Günther - 1996 - Hermes 124 (2):205-219.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Probleme des Platonischen Ion.Hans Diller - 1955 - Hermes 83 (2):171-187.
     
    Export citation  
     
    Bookmark   1 citation  
  47.  6
    Advertising Innovation in Pindar’s Olympian 13.Hans Hansen - 2023 - Hermes 151 (4):386-404.
    As a technology of commemoration, epinician song was a late archaic innovation. To gain acceptance for this innovative genre, Pindar works to anchor it to Greek epic and encomiastic poetry, that is, to demonstrate its continuity with these genres. But Pindar also regularly vaunts his poetry on the grounds that it is novel and inventive, potentially undermining his efforts at anchoring. This paper studies Olympian 13 as an example of a text in which Pindar’s habits of anchoring his poetry and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  8
    Demetriana Varia.Hans Gärtner - 1990 - Hermes 118 (2):213-236.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  13
    Our Content.Carl Hess, Hans Klemperer, Kurt Strobl, L. S. Ornstein, C. Janssen Czn, C. Krygsman, P. Lenz, Wilhelm Geyger, Werner Weber & W. Rogowski - 1986 - Hermes 10:s00247 - 011.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  9
    Langages de la phénoménologie: expression, description et rhétorique, de Husserl à Blumenberg.Jean-Claude Monod, Nicola Zambon & Hans Blumenberg (eds.) - 2022 - Paris: Hermann.
    La phénoménologie vise à décrire les choses mêmes telles qu'elles se donnent à la conscience, sans y ajouter des éléments tirés d'héritages métaphysiques ou d'interprétations traditionnelles. Mais à cette fin, elle doit élucider le langage dans lequel elle tend à réaliser ce programme. Ce langage peut-il consister en une expression 'pure,' spontanée, ou doit-il se démarquer des usages quotidiens? N'est-il pas nécessairement marqué par une histoire, et n'obéit-il pas, qu'il le veuille ou non, à une rhétorique? Ne reconnaît-on d'ailleurs pas (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000