LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 3 of total 3

Search options

  1. Book ; Online: Peter Schroeder-Heister on Proof-Theoretic Semantics

    Piecha, Thomas / Wehmeier, Kai F

    (Outstanding Contributions to Logic ; 29)

    2024  

    Author's details edited by Thomas Piecha, Kai F. Wehmeier
    Series title Outstanding Contributions to Logic ; 29
    Keywords Philosophy ; Logic ; Language and languages/Philosophy ; Mathematics/Philosophy ; Mathematical logic ; Linguistics
    Language English
    Size 1 Online-Ressource (X, 463 p. 29 illus., 12 illus. in color)
    Edition 1st ed. 2024
    Publisher Springer Nature Switzerland ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online
    HBZ-ID HT030687345
    ISBN 978-3-031-50981-0 ; 9783031509803 ; 9783031509827 ; 9783031509834 ; 3-031-50981-1 ; 3031509803 ; 303150982X ; 3031509838
    DOI 10.1007/978-3-031-50981-0
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  2. Book: Heinrich Scholz

    Schmidt am Busch, Hans-Christoph / Wehmeier, Kai F

    Logiker - Philosoph - Theologe

    2005  

    Abstract: Heinrich Scholz (1884-1956) ist einer der bemerkenswertesten deutschen Gelehrten des vergangenen Jahrhunderts. Schüler Adolf von Harnacks und Alois Riehls, widmete er sich zunächst der Religionsphilosophie und evangelischen Theologie. Durch einen " ... ...

    Author's details Hans-Christoph Schmidt am Busch; Kai F. Wehmeier (Hrsg.)
    Abstract Heinrich Scholz (1884-1956) ist einer der bemerkenswertesten deutschen Gelehrten des vergangenen Jahrhunderts. Schüler Adolf von Harnacks und Alois Riehls, widmete er sich zunächst der Religionsphilosophie und evangelischen Theologie. Durch einen "Glücksfall" 1921 mit den *Principia Mathematica* von Bertrand Russell und Alfred North Whitehead in Berührung gekommen, wandelt sich Scholz zum mathematischen Logiker und Grundlagenforscher; sein Münsteraner philosophischer Lehrstuhl wird zur Keimzelle des ersten Instituts für Mathematische Logik in Deutschland. Der vorliegende Band enthält Beiträge zur internationalen wissenschaftlichen Tagung "Heinrich Scholz: Logiker, Philosoph, Theologe", die im Jahr 2000 aus Anlaß des fünfzigjährigen Bestehens des Münsteraner Instituts für Mathematische Logik und Grundlagenforschung zu Ehren seines Gründers veranstaltet wurde. Die enthaltenen Aufsätze beleuchten u.a. Scholzens Religionsphilosophie, seine Philosophie der Logik, seine Haltung zur Metaphysik sowie seine Freundschaft mit dem polnischen Logiker Jan Lukasiewicz
    Keywords Philosophers
    Language German
    Size 134 S, 24 cm
    Publisher mentis
    Publishing place Paderborn
    Document type Book
    ISBN 3897852799 ; 9783897852792
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  3. Book ; Online: Peter Schroeder-Heister on Proof-Theoretic Semantics

    Piecha, Thomas / Wehmeier, Kai F

    (Outstanding Contributions to Logic)

    420  

    Series title Outstanding Contributions to Logic
    Keywords Philosophy ; Philosophy: logic ; Philosophy of language ; Philosophy of mathematics ; Mathematical foundations ; Language: history & general works ; Proof-theoretic Semantics ; Logical Constants ; Proof Theory ; Deductive Logic ; Constructive Logic ; Intuitionistic Logic ; Mathematical Logic ; Peter Schroeder-Heister ; Gerhard Gentzen ; Gottlob Frege
    Language 0|e d
    Dates of publication 420-24
    Size 1 electronic resource (463 pages)
    Publisher Springer Nature
    Publishing place Cham
    Document type Book ; Online
    Note English
    HBZ-ID HT030720137
    ISBN 9783031509803 ; 3031509803
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

To top