Henri Sholtz

Henri Scholz

Première publication le mercredi 29 août 2018

Heinrich Scholz (1884–1956) était un théologien, philosophe et logicien protestant allemand qui soutenait la vision du monde scientifique néo-positiviste, l'appliquant cependant également à une métaphysique scientifique. Il a contribué à établir le domaine académique "Logique mathématique et fondements", revendiquant la priorité de la construction du langage et de la sémantique afin de résoudre des problèmes fondamentaux même en dehors des mathématiques. Il a également été le moteur de l'institutionnalisation de la logique mathématique en Allemagne et un pionnier de l'historiographie de la logique.

1. Introduction

Heinrich Scholz (1884–1956), théologien protestant allemand, philosophe et logicien, a commencé sa carrière universitaire en tant que théologien systématique protestant à l'Université de Breslau. Il a ensuite déménagé à l'Université de Kiel et en 1928 à l'Université de Münster en Westphalie. Sa Religionsphilosophie (Scholz 1921) est devenue particulièrement influente dans la théologie protestante. Inspiré par les Principia Mathematica d'Alfred North Whitehead et de Bertrand Russell (Whitehead et Russell 1910-1913), il a changé son domaine de recherche pour la logique mathématique et les fondements. Il réussit à établir la « Schule von Münster » (« École de Münster ») de logiciens et à fonder le premier département universitaire de logique mathématique en Allemagne, la «Institut für Mathematische Logik und Grundlagenforschung ” (“Institut de logique mathématique et de recherche fondamentale”) à Münster, toujours existant aujourd'hui. Scholz a combiné la recherche sur les calculs logiques avec un platonisme épistémologique et une ouverture aux approches métaphysiques. Néanmoins, il se sentait proche de la vision scientifique du monde de l'empirisme logique. De plus, avec son Geschichte der Logik (Scholz 1931a), Heinrich Scholz a été un pionnier de l'historiographie de la logique.

2. La vie

2.1 Carrière académique

Heinrich Scholz est né le 17 décembre 1884 à Berlin. Son père était pasteur protestant (sur la biographie de Scholz et son œuvre cf. Elstrodt et Schmitz 2013 ; Hermes 1958 ; Meschkowski 1984 ; Molendijk 1991 ; Molendijk 2005 ; Peckhaus 2008 ; Ritter, Hermes et Kambartel 1961 ; Wernick 1944). Il a étudié la théologie protestante et la philosophie à Berlin. Parmi ses professeurs figuraient le théologien protestant prussien Adolf von Harnack (1851-1930), le philosophe néo-kantien Alois Riehl (1844-1924) et le philosophe néo-idéaliste Friedrich Paulsen (1846-1908). En 1911, il obtient son Habilitationen philosophie de la religion et en théologie systématique. Il a obtenu un doctorat supplémentaire en philosophie à l'Université d'Erlangen en 1913. En 1917, il a été nommé professeur titulaire de philosophie de la religion et de théologie systématique à l'Université de Breslau en Silésie, aujourd'hui Wrocław, Pologne. Il a également reçu un doctorat honorifique de la Faculté de théologie de l'Université de Berlin. Quatre ans plus tard, en 1921, il est nommé à la chaire de philosophie à Kiel, avant d'accepter finalement l'offre d'une chaire de professeur à l'Université de Münster en 1928. Il y est d'abord professeur de philosophie. Il a développé une relation étroite avec Karl Barth, l'un des principaux représentants de la théologie kérygmatique et dialectique, qui a enseigné la théologie protestante à Münster à partir de 1925 (cf. Molendijk 1991, ch. 3). Scholz a changé son principal domaine de recherche en logique mathématique et fondements, et a officiellement enseigné le sujet à partir de 1936. En 1943, la dénomination de sa chaise a été changée enLogique mathématique et fondements . L'institut de ce nom a été fondé en 1950. Scholz a pris sa retraite en 1952. Il est décédé à Münster le 30 décembre 1956.

2.2 Institut de logique mathématique et fondements

Le "Memorandum about the New Mathematical Logic and Foundations" écrit pour le Reichs- und Preußischen Minister für Wissenschaft, Erziehung und Volksbildung (secrétaire impérial et prussien pour la science, l'éducation et l'instruction nationale) le 15 janvier 1938 (Scholz 1938) montre que pour Scholz, ce nouveau sujet allait au-delà de la logique symbolique ou mathématique, mais incluait des applications de l'analyse logique aux problèmes fondamentaux en général. Selon Scholz, le nouveau sujet a été préparé par Gottfried Wilhelm Leibniz (1646-1716), créé par Gottlob Frege (1848-1925), et repris par David Hilbert (1862-1943) qui, adoptant celui de Bertrand Russell (1872-1970) l'élaboration de la création de Frege, en a fait l'objet d'investigations approfondies visant, par exemple, "à une preuve de cohérence pour la logique classique", et avec cela, des mathématiques classiques (supposant la réduction logiciste des mathématiques à la logique). Cette nouvelle approche était, selon Scholz, dirigée contre l'opinion de Kant selon laquelle "les questions fondamentales de toute nature ne peuvent en principe pas être traitées avec des méthodes mathématiques et avec des moyens mathématiques de construction et des questions de recherche". Sa tâche était un approfondissement et une clarification des fondations en combinant des investigations structurelles et l'analyse du contexte d'application.

Dès le début, Scholz a enseigné à Münster dans une large mesure la logique, en particulier la logique "logistique", comme la nouvelle logique, c'est-à-dire formelle, symbolique, algébrique, algorithmique ou mathématique, a été appelée depuis le deuxième Congrès international de philosophie à Genève en 1904. (cf. Couturat 1904 ; Scholz 1931a, 57). En avril 1936, il reçoit une prolongation officielle de sa nomination philosophique à « Logistique logistique et fondements ». La même année, la « Section B » (composée de la chaire Scholz et du personnel académique et non académique qui lui est rattaché) du Séminaire philosophique est rebaptisée « Section logistique ». L'étape suivante fut franchie en 1938 lorsque la « section » devint un « séminaire » à part entière. La dénomination de la chaire de Scholz a été changée en "Philosophie des mathématiques et des sciences avec une considération particulière de la nouvelle logique et des fondements". En 1943, la dénomination a été changée à nouveau en "Logique mathématique et fondements". Le "Séminaire Logistique" a été rebaptisé "Séminaire de Logique Mathématique et Fondements" en 1946, et finalement, en 1950, il a été rebaptisé à nouveau, et élevé dans son statut organisationnel, en "Institut de Logique Mathématique et Fondements" (cf. Schmidt am Busch & Wehmeier 2005a).

Scholz était également politiquement efficace dans la promotion de son domaine. Il a assemblé le "Gruppe von Münster" (plus tard "Schule von Münster") et a encouragé un certain nombre de ses étudiants à entreprendre des études de logique et de fondements, plaçant certains d'entre eux dans des postes universitaires. Ils ont obtenu des résultats importants dans la théorie du calcul des prédicats, la théorie des systèmes axiomatiques, la métamathématique, la sémantique et la théorie de l'abstraction. Parmi eux se trouvaient Friedrich Bachmann (1909–1982), Albrecht Becker (1907–?), Gisbert Hasenjaeger (1919–2006), Hans Hermes (1912–2003), Walter Kinder (1909–?), Karl Schröter (1905–1977) , et Hermann Schweitzer (1909–?). Pour la publication des résultats de son école et des recherches connexes, Scholz a fondé la série Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften(huit numéros 1937-1943, ns réimprimés sous le nom de Scholz, éd. 1970), parmi lesquels le livre exceptionnel de Heinrich Scholz et Hermann Schweitzer Die sogenannten Definitionen durch Abstraktion avec son élaboration de la théorie moderne de l'abstraction utilisant des classes d'équivalence (Scholz et Schweitzer 1935).

En essayant d'établir un centre de logique de premier plan à Münster, il a pu obtenir le Nachlass de Frege pour sa chaise Münster en 1935. Plus tard, il a ajouté à cette collection les articles de l'algébriste allemand de la logique, Ernst Schröder (1841–1902) , qu'il avait obtenu de la bibliothèque de l'Université technique de Karlsruhe. C'est l'un des événements tragiques de la Seconde Guerre mondiale que les papiers de Frege et Schröder soient perdus, peut-être détruits lors des attentats à la bombe sur Münster en mars 1945 (cf. Peckhaus 1993 ; Wehmeier et Schmidt am Busch 2000). Scholz avait l'intention de publier une édition en trois volumes de l'œuvre posthume et de la correspondance de Frege. La plupart des copies dactylographiées que Scholz avait faites du matériel original ont été conservées (sur les papiers Frege cf. Scholz et Bachmann 1936).

Au début des années 1930, Münster se tenait encore dans l'ombre de Göttingen et de Berlin en tant que centre de recherche sur la logique. Néanmoins, Scholz a essayé d'établir un centre mondial de recherche sur la logique et les fondements. Après la prise du pouvoir par les nationaux-socialistes, la plupart des logiciens de langue allemande ont perdu leur poste et ont été contraints à l'émigration. Seul Münster a survécu en tant que lieu où la recherche sur la logique et les fondements pouvait être effectuée. Scholz a réussi à résister aux attaques du côté de la soi-disant «Deutsche Mathematik», un mouvement raciste national-socialiste mettant l'accent sur le travail mathématique des «camarades nationaux» allemands ( Volksgenossen ). Le mathématicien munichois Max Steck (1907-1971) était particulièrement hostile. Le livre de Steck, Das Hauptproblem der Mathematik (1942), est dirigé contre le logicisme, la méthode axiomatique et la métamathématique, tels que proposés par les logiciens et mathématiciens proches de Hilbert et de son école. Steck a qualifié le formalisme de David Hilbert de partialité mentale « simplement catastrophique », de « décadence » du point de vue de l'histoire intellectuelle (Steck 1942, p. 205). En plusieurs endroits, Scholz est attaqué en tant que porte-parole de Hilbert. Steck qualifie l'école de Scholz de Münster de «transplantation de l'ancien Cercle de Vienne à Münster en Westphalie» (p. 176).

Pendant le Troisième Reich, Scholz servait en quelque sorte de courtier en informations, négociant les contacts entre les émigrés et ceux qui étaient restés. Il a pu soutenir ses amis polonais, aidant, par exemple, à sauver Jan Salamucha (1903-1944) du camp de concentration de Sachsenhausen en 1940 (une action pour laquelle les autorités allemandes l'ont menacé de le retirer de sa chaire de professeur). Il soutient Alfred Tarski (1901-1983) émigré aux États-Unis, en gardant le contact avec sa femme et ses deux enfants, qui vivent toujours à Varsovie. Il a soutenu financièrement Jan Łukasiewicz (1878–1956) et sa femme et a finalement pu les aider à quitter la Pologne et à se cacher en Allemagne. Ils craignaient pour leur vie au cas où l'Armée rouge conquérrait la Pologne (cf. Bolewski et Pierzchała 1989, Schreiber 1999, Peckhaus 1998-1999, Schmidt am Busch et Wehmeier 2005b).

2.3 Empirisme logique

Scholz et ses partisans ont adopté la vision scientifique du monde telle que prônée par les philosophes du mouvement néo-positiviste, en particulier du Cercle de Vienne et de la Société berlinoise de philosophie scientifique. Mais contrairement à ce mouvement, il a appliqué la vision scientifique du monde même à la métaphysique. Cela a été observé avec des réserves. Otto Neurath, par exemple, a mentionné Scholz et le groupe de Münster comme ayant apporté beaucoup de valeur, mais Scholz "représente néanmoins une métaphysique à part entière" (Neurath 1937, réimpression Neurath 1981, pp. 804-805) qui doit être rejetée. La relation entre Neurath et Scholz est restée ambivalente. Ils se sont au moins rencontrés au premier congrès international pour l'unité de la science à Paris en septembre 1935. Le congrès a vu la création d'un comité pour la normalisation du symbolisme logique avec des membres du Cercle de Vienne, de l'école Hilbert et du groupe de Münster. L'initiative était venue de Scholz et de son école. Les résultats des négociations du comité sont présentés au quatrième Congrès international pour l'unité des sciences à Cambridge (Angleterre) en juillet 1938 (cf. Peckhaus 2008, pp. 78-80 ; Behman et al. 1937/38).

3. Travail

3.1 Philosophie de la religion

Scholz a dédié sa Religionsphilosophie(1921) à ses professeurs Adolf von Harnack et Alois Riehl (sur la philosophie religieuse de Scholz cf. Molendijk 1991, Ratschow 1958, Stock 1987, Wimmer 2005). Selon Scholz, la philosophie de la religion ne traite pas de la religion en tant que telle, mais de sa possibilité, fondée sur le fait de sa réalité au sens de la philosophie critique de Kant (p. VIII). La religion devient ainsi un problème philosophique. Scholz définit la philosophie de la religion au sens le plus large comme l'application de moyens philosophiques et la présupposition du raisonnement au fait de la religion (pp. 1-2). La religion est comprise comme faisant partie de la culture étant la quintessence des créations de l'esprit humain, dont l'existence est préférée à leur non-existence (p. 14). L'objet d'analyse est la religion empirique, c'est-à-dire la religion telle qu'elle est pratiquée dans la vie réelle ou telle qu'elle est tangible. Avec cela, il s'écarte des types constructifs de la philosophie de la religion tels qu'ils peuvent être trouvés, par exemple, dans l'œuvre d'Emmanuel Kant. En conclusion, il détermine que la philosophie de la religion a une fonction intégratrice dans une philosophie des valeurs culturelles. Il consiste en une réflexion philosophique sur le tangible (erlebbare ) la religion telle qu'elle est pratiquée et, en particulier, dans la réflexion sur les expressions de la conscience religieuse dont la vérité est soumise à la raison. La religion n'a donc jamais cessé d'être un problème philosophique.

3.2 Logique et fondements

L'année 1921 marque un grand changement dans l'orientation de la recherche philosophique de Scholz. Il raconte lui-même qu'il a découvert son amour pour la logique mathématique en tombant accidentellement sur les Principia Mathematica de Whitehead et Russell (Whitehead et Russell 1910–13, cf. Peckhaus 2005) dans la bibliothèque de l'Université de Kiel. Ce travail a convaincu Scholz de l'importance des mathématiques, même s'il n'avait à l'époque aucune connaissance approfondie de ce sujet. En tant que professeur titulaire de philosophie, il a décidé de commencer des études universitaires formelles de mathématiques et de physique théorique. Après avoir déménagé à Münster, Scholz a concentré ses recherches sur la logique mathématique et les fondements.

Il travailla particulièrement à la frontière entre Mathématiques et Philosophie, motivé par le problème de la distinction des calculs logiques des calculs généraux. Il a soutenu le programme fondamental de David Hilbert ayant conduit à la métamathématique et à la théorie de la preuve, mais s'est concentré sur le langage et la sémantique. Le langage est nécessaire pour présenter des systèmes logiques. Il propose un langage formalisé avec un degré d'exactitude dépassant même l'exactitude des langages mathématiques. Il appelle cette langue « la langue de Leibniz » L(cf. Scholz 1944). Les langues de Leibniz sont des langues symboliques avec des moyens d'expression exactement définis. Chaque expression est une suite finie de caractères utilisant un symbolisme donné selon des règles bien déterminées. Si les moyens d'expression sont restreints de telle manière que (1) ces expressions ont toujours un sens, et (2) il est décidable si les expressions produites sont vraies dans tous les mondes possibles (universellement valides, allgemeingültig ), alors L est appelé un "Langage universel de Leibniz". Une expression fondamentale universellement valable est appelée théorème de Leibniz. Un calcul logique est défini comme un ensemble de vérités présentables par un théorème de Leibniz sur L .

La relation étroite entre la logique et la métaphysique est le sujet du livre de Scholz Metaphysik als strenge Wissenschaft (Scholz 1941). Dans ce livre, la métaphysique est traitée comme une ontologie au sens d'une théorie comprenant l'ensemble des vérités. Il peut être exprimé linguistiquement et il traite de choses qui peuvent être comprises en tant qu'individus. Ces vérités ne sont pas limitées à des domaines particuliers, mais sont valables pour tous les domaines non vides dans tous les mondes possibles (pp. 13-14). La métaphysique comme science rigoureuse implique la construction d'un « langage de précision » formalisé. Dans ce livre, Scholz utilise le langage du calcul des prédicats du premier ordre avec identité. Une notion centrale est la « validité universelle » ( Allgemeingültigkeit), comprise comme une notion métaphysique (validité dans tous les mondes possibles). Cette notion est appliquée à une théorie axiomatisée de l'identité et de la différence.

Scholz a analysé les doctrines métaphysiques classiques avec son outil logique d'un calcul des prédicats avec identité. Ses considérations sont basées sur une variation spéciale d'une ontologie platonicienne combinée avec la notion de mondes possibles de Leibniz, la logique mathématique de Frege-Russell, la méthode axiomatique de Hilbert et la sémantique de Tarski. Cette approche a trouvé son expression finale dans le manuel influent Grundzüge der mathematischen Logik qui a été élaboré, co-écrit et publié par Gisbert Hasenjaeger après la mort de Scholz (Scholz et Hasenjaeger 1961). Hasenjaeger appela plus tard son arrière-plan philosophique « ontologie discrète », une position réaliste : « Le monde des choses concrètes (ou aussi abstraites) se compose uniquement de choses .qui ont certaines fonctionnalités et n'en ont pas d'autres ; entre eux, certaines relations sont données, d'autres non » (Hasenjaeger 1962, pp. 30-31).

En 1952, Scholz a publié avec Hans Hermes la section "Mathematische Logik" dans l' Enzyklopädie der Mathematischen Wissenschaften (Hermes et Scholz 1952), une étude complète de la logique classique, bivalente et décidable. Ils se sont concentrés sur la logique des phrases basée sur la notion de validité universelle ( Allgemeingültigkeit ). Ils ont plaidé pour la priorité des considérations sémantiques sur les considérations syntaxiques.

3.3 Historiographie de la logique

Les contributions les plus importantes de Scholz au développement de la logique peuvent être vues dans ses contributions à l'historiographie de la logique. Il a souligné la valeur des contributions de Gottfried Wilhelm Leibniz (1646-1716) et de Bernard Bolzano (1781-1848) pour l'émergence de la logique moderne. Il a appliqué la méthode d'analyse logique aux textes philosophiques classiques, reconsidérant, par exemple, la preuve d'Anselme de l'existence de Dieu (Scholz 1950/51), l' argument cogito de Descartes (Scholz 1931b) et la déduction transcendantale de Kant (Scholz 1943/44). Il consacre des efforts considérables à l'étude de l'œuvre de Gottlob Frege (cf. Sundholm 2005) et promeut la métamathématique de David Hilbert (Scholz 1942). Avec sa Geschichte der Logik(1931a), Heinrich Scholz fut un pionnier de l'historiographie de la logique moderne. Scholz a limité sa présentation à la logique formelle ou à la logistique. Il reconstruit son développement à partir de la logique d'Aristote, discutant des modifications stoïciennes, des variations médiévales et modernes, arrivant aux contributions de Franz Brentano (1838-1917), qu'il appela la « seule figure originale parmi les logiciens formels allemands [en philosophie] du XIXe siècle après Bolzano et avant Husserl » (pp. 46-47). Pour Scholz, la forme moderne de la logique commence par Leibniz : « Nous parlons d'un lever de soleil en mentionnant le grand nom de Leibniz. Avec lui commence une nouvelle vie de la logique aristotélicienne, qui trouve sa plus belle manifestation de nos jours dans la logique exacte moderne sous forme de logistique » (p. 48). Il a souligné Gottlob Frege comme « le plus grand génie de la nouvelle logique au XIXe siècle » (p. 57). Selon Scholz, il a fait plus que tout autre logicien pour l'interprétation des concepts mathématiques fondamentaux à l'aide de concepts fondamentaux de la logique opérant sur la base de principes exactement définis. Il éleva ainsi le calcul logique à un niveau qui rendit possible le « jeu avec les signes » leibnizien.

4. Conclusions

Heinrich Scholz a joué un rôle important en tant que figure intégratrice dans le développement de la logique dans la première moitié du 20 e siècle. Il a maintenu la logique mathématique en contact avec la philosophie. En mettant l'accent sur la sémantique, il a établi l'agenda du développement après la Seconde Guerre mondiale. D'importants universitaires de la logique allemande d'après-guerre, dont Gisbert Hasenjaeger et Hans Hermes, étaient ses étudiants.

Bibliographie

Littérature primaire

Hermes, H., et Scholz, H. 1952, Mathematische Logik , Leipzig : Teubner ( Enzyklopädie der mathematischen Wissenschaften , 2e édition, Volume 1, Partie 1, Numéro 1).

Scholz, H., 1921, Religionsphilosophie , Berlin : Reuther & Reichard ; 2e édition révisée 1922.

–––, 1931a, Geschichte der Logik , Berlin : Junker und Dünnhaupt ; 2 ème édition inchangée sous le nom d' Abriß der Geschichte der Logik , Alber: Freiburg i.Br., 3 ème édition 1967.

–––, 1931b, « Über das Cogito, ergo sum », Kantstudien 36, 126–147 ; réimprimé dans Scholz 1961, 75–94.

–––, 1938, « Memorandum about the New Mathematical Logic and Foundations » écrit pour le Reichs- und Preußischen Minister für Wissenschaft, Erziehung und Volksbildung le 15 janvier 1938, copie dans les papiers Behmann, Staatsbibliothek zu Berlin. Preußischer Kulturbesitz, Nahl. 335.

–––, 1941, Metaphysik als strenge Wissenschaft , Cologne : Staufen-Verlag.

–––, 1942, « David Hilbert. Der Altmeister der mathematischen Grundlagenforschung », Kölnische Zeitung n° 32, 18 janvier 1932 ; version agrandie dans Scholz 1961, 279–290.

–––, 1943/44, « Einführung in die Kantische Philosophie », notes de cours, réimprimées dans Scholz 1961, 152–218.

–––, 1944, « Logik, Grammatik, Metaphysik », Archiv für Rechts- und Sozialphilosophie 36 (1943/44), 393–493 ; réimprimé dans Scholz 1961, 399–436.

–––, 1950/51, « Der Anselmische Gottesbeweis », partie 1 du cours magistral Einführung in die Philosophie , réimprimé dans Scholz 1961, 62–74.

–––, 1961, Mathesis Universalis. Abhandlungen zur Philosophie als strenger Wissenschaft , éd. par H. Hermes, F. Kambartel et J. Ritter, Bâle et Stuttgart : Benno Schwabe & Co.

Scholz, H. (éd.), 1970, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften , ns, nos. 1–8, Hildesheim : Gerstenberg.

Scholz, H. et Bachmann, F., 1936, « Der wissenschaftliche Nachlass von Gottlob Frege », dans Actes du congrès international de philosophie scientifique Sorbonne, Paris 1935 , vol. VIII : Histoire de la logique et de la philosophie scientifique , Paris : Hermann, 24-30.

Scholz, H., et Hasenjaeger, G., 1961, Grundzüge der mathematischen Logik , Berlin/Göttingen/Heidelberg : Springer ( Grundlehren der mathematischen Wissenschaften d, ; 106).

Scholz, H., et Schweitzer, H., 1935, Die sogenannten Definitionen durch Abstraktion. Eine Theorie der Definitionen durch Bildung von Gleichheitsverwandtschaften , Leipzig : Kommission bei Felix Meiner ( Forschungen zur Logistik und zur Grundlegung der exakten Wissenschaften , 3).

Littérature secondaire

Behman, H., P. Bernays et H. Scholz, 1937/38, « Bericht des Komitees zur Vereinheitlichung der logischen Symbolik », Erkenntnis , 7(1) : 386–390.

Bolewski, A., et Pierzchała, H., 1989, Losy polskich pracowników nauki w latach 1939–1945. Straty osobowe , Wrocław : Zakład narodowy imienia ossolińskich wydawnictwo.

Couturat, L., 1904, « Logique et philosophie des sciences », Revue de Métaphysique et de Morale 12, 1037-1077.

Elstrodt, J. et Schmitz, N., 2013, « Prof. Dr théol. Dr phil. Dr théol. hc Heinrich Scholz (1884–1956) » dans Geschichte [développement de l'histoire des mathématiques à l'Université de Münster], Ch. 5.2, p. 111–118 ( lien ).

Hasenjaeger, G., 1962, Einführung in die Grundbegriffe und Probleme der modernen Logik , Freiburg/München : Alber.

Hermes, H., 1958, "Heinrich Scholz. Die Persönlichkeit und sein Werk als Logiker », dans Heinrich Scholz. Drei Vorträge gehalten bei der Gedächtnisfeier der Math.-Naturw. Fakultät der Universität Münster am 20. Décembre 1957 , Münster : Aschendorff, 25–45.

Meschkowski, H., 1984, "Heinrich Scholz. Zum 100. Geburtstag des Grundlagenforschers », Humanismus und Technik. Jahrbuch 27, 28–52.

Molendijk, AL, 1991, Aus dem Dunklen ins Helle. Wissenschaft und Theologie im Denken von Heinrich Scholz. Mit unveröffentlichten Thesenreihen von Heinrich Scholz und Karl Barth , Amsterdam/Atlanta : Rodopi ( Amsterdam Studies in Theology ; 8).

–––, 2005, « Ein standfester Mensch. Bemerkungen zum Werdegang von Heinrich Scholz », dans Schmidt am Busch et Wehmeier (eds.) 2005, 13–45.

Neurath, O., 1937, « Die neue Enzyklopädie des wissenschaftlichen Empirismus », Scientia (Milan), déc. 1937, 309–320, réimprimé dans Neurath 1981, 801–811.

–––, 1981, Gesammelte philosophische und methodologische

Schriften , vol. 2, éd. par R. Haller et H. Rutte, Vienne : Hölder-Pichler-Tempsky.

Peckhaus, V., 1993, Review of Molendijk 1991, History and Philosophy of Logic 14, 101–107.

–––, 1998/99, « L'intégrité morale pendant une période difficile : Beth et Scholz », Philosophia Scientiae 3, n° 4, 151–173.

–––, 2005, « Heinrich Scholz als Metaphysiker », dans Schmidt am Busch et Wehmeier (eds.) 2005, 69–83.

–––, 2008, « Logique et métaphysique : Heinrich Scholz et la vision scientifique du monde », Philosophia Mathematica (III) 16, 78–99.

Ratschow, CH, 1958, « Heinrich Scholz der Theologe und der Christ », dans Heinrich Scholz. Drei Vorträge gehalten bei der Gedächtnisfeier der Math.-Naturw. Fakultät der Universität Münster am 20. Décembre 1957 , Münster : Aschendorff, 10–24.

Ritter, J., Hermes, H. et Kambartel, F., 1961, « Vorwort », dans Scholz 1961, 7–23.

Schmidt am Busch, H.-C., et Wehmeier, KF, 2005a, « 'Es ist die einzige Spur, die ich hinterlasse' – Dokumente zur Entstehungsgeschichte des Instituts für Mathematische Logik und Grundlagenforschung », dans Schmidt am Busch et Wehmeier (eds .) 2005, 93-101.

Schmidt am Busch, H.-C., et Wehmeier, KF, 2005b, « Heinrich Scholz und Jan Łukasiewicz », dans Schmidt am Busch et Wehmeier (eds.) 2005, 119–131 ; Version anglaise sous le titre « Sur les relations entre Heinrich Scholz et Jan Łukasiewicz », dans History and Philosophy of Logic 28 (2007), 67–81.

Schmidt am Busch, H.-C., et Wehmeier, KF (eds.), 2005, Heinrich Scholz. Logiker, Philosoph, Theologe , Paderborn : mentis.

Schreiber, P., 1999, "Über Beziehungen zwischen Heinrich Scholz und polnischen Logikern", Histoire et philosophie de la logique 20, 97-109.

Stock, E., 1987, Die Konzeption einer Metaphysik im Denken von Heinrich Scholz , Berlin et New York : de Gruyter ( Theologische Bibliothek Töpelmann ; 44).

Steck, M., 1942, Das Hauptproblem der Mathematik , Berlin : Dr Georg Lüttke Verlag.

Sundholm, G., 2005, « Heinrich Scholz entre Frege et Hilbert », dans Schmidt am Busch et Wehmeier (eds.) 2005, 103–117.

Wehmeier, KF et Schmidt am Busch, H.-C., 2000, « Auf der Suche nach Freges Nachlaß », dans Gottfried Gabriel et Uwe Dathe (eds.), Gottlob Frege. Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege , Paderborn : Mentis, 267–281. Version anglaise sous le titre « The Quest for Frege's Nachlass », dans M. Beaney et E. Reck (eds.), Critical Assessments of Leading Philosophers : Gottlob Frege , vol. I, Londres : Routledge 2005, 54–67.

Wernick, G., 1944, « Heinrich Scholz comme philosophe. Eine entwicklungsgeschichtliche Studie », Archiv für Rechts- und Sozialphilosophie 37, 1–12.

Whitehead, AN et Russell, B., 1910–1913, Principia Mathematica , 3 volumes, Cambridge : Cambridge University Press ; 2e édition, 1925–1927 .

Wimmer, R., 2005, « Die Religionsphilosophie von Heinrich Scholz », dans Schmidt am Busch et Wehmeier (eds.) 2005, 47–68.

Outils académiques

icône de l'homme sept Comment citer cette entrée .

icône de l'homme sept Prévisualisez la version PDF de cette entrée sur les Amis de la SEP Society .

icône inpho Recherchez des sujets et des penseurs liés à cette entrée sur Internet Philosophy Ontology Project (InPhO).

icône papiers phil Bibliographie enrichie pour cette entrée sur PhilPapers , avec des liens vers sa base de données.

Autres ressources Internet

Heinrich Scholz ( Logiker ) , dans la Wikipédia allemande.

Heinrich Scholz , entrée dans Wikipedia anglais.

Elstrodt, J., et Schmitz, N., Geschichte , développant l'histoire des mathématiques à l'Université de Münster, sur Scholz Ch. 5.2, p. 111–118).

Scholz-Archiv , Westfälische Wilhelms-Universität Münster .

Entrées connexes

empirisme : logique | Frege, Gottlob | Hilbert, David : programme dans les fondements des mathématiques | Leibniz, Gottfried Wilhelm | métaphysique | Neurath, Otto | religion : philosophie de | Cercle de Vienne

Remerciements

Les éditeurs tiennent à remercier Kai Wehmeier pour ses efforts en tant qu'arbitre externe et éditeur de cette entrée.