Oskar Joachim Becker (5. september 1889 – 13. november 1964) var en tysk filosof, logiker, matematiker og matematikhistoriker. Sammen med Martin Heidegger er han en af Edmund Husserls mest fremtrædende elever . Hans elever inkluderer Max Bence, Paul Lorenzen, Hans Sluga , Jürgen Habermas , Karl-Otto Apel , Karl-Heinz Ilting , Hermann Schmitz , Elisabeth Ströcker og Otto Pöggeler . Professor i Bonn . Som repræsentant for den fænomenologiske metode bidrog han til eksistentialismens filosofi ved at stille spørgsmålet om "para-eksistens" i det ekstramenneskeliges sfære. Han forsvarede en konstruktivistisk holdning, i mange henseender tæt på intuitionismen, om matematikkens historie.
Oscar Joachim Becker | |
---|---|
Oskar Joachim Becker | |
Navn ved fødslen | Oskar Joachim Becker |
Fødselsdato | 5. september 1889 |
Fødselssted | Leipzig |
Dødsdato | 13. november 1964 (75 år) |
Et dødssted | Bonn |
Land | |
Beskæftigelse | filosof, matematiker, matematikhistoriker |
Oskar Becker begyndte sine studier på Saint Thomas School i Leipzig og studerede efterfølgende fysik, kemi, psykologi, matematik og filosofi ved New College of Oxford og University of Leipzig . Som et resultat af sine studier forsvarede han sin doktorafhandling i matematik "Om nedbrydning af en polygon i ikke-skærende trekanter baseret på kombinations- og ordensaksiomer" af Otto Ludwig Hölder og Carl Friedrich Wilhelm Rohn i 1914. Under Første Verdenskrig fra 1915 til 1918 tjente han på vest- og østfronten.
Efter demobiliseringen i 1919 måtte Oskar vælge, om han ville studere matematik under David Hilbert eller filosofi under Edmund Husserl : under krigen forlod sidstnævnte universitetet i Göttingen og flyttede til universitetet i Freiburg. Som et resultat foretrak Oscar det sidste.
I Freiburg deltog Becker i Heideggers klasser og forsøgte at anvende sin hermeneutik af facticity på matematikområdet. Under vejledning af Edmund Husserl skrev han en habiliteringsafhandling om emnet "Om det fænomenologiske grundlag for geometri og dens anvendelser i fysik", som han forsvarede i 1922 (ifølge andre kilder, i 1923). Som habiliteret læge blev han - sammen med Martin Heidegger - assistent for Edmund Husserl, hvilket især gav ham mulighed for aktivt at arbejde med filosoffen (ved hjælp af en masse upubliceret materiale fra hans personlige arkiv). Ifølge B. Jones håbede Husserl ", at Heidegger og Becker ville fuldføre hans grandiose forskningsplan: Heidegger i humaniora, Becker i naturvidenskab" [1] .
Samme år blev Becker først uformel redaktør af The Yearbook of Phenomenological Research, og i 1927 en ekstraordinær professor ved universitetet i Freiburg og officielt beklædt stillingen som redaktør (efter Max Schelers død ): 9-11 udkom. med hans deltagelsesmængder.
I 1931 accepterede han en invitation til stillingen som fastansat professor i matematikkens historie ved universitetet i Bonn . Før Anden Verdenskrigs udbrud ledede filosoffen også et matematisk seminar sammen med Otto Toeplitz . På dette universitet underviste Becker indtil 1946, hvor han blev frataget retten til at undervise, og fra 1951 til 1955, hvorefter han gik på pension.
Mange forskere anerkender Oskar Beckers magnum opus som matematisk eksistens. A Study in the Logic and Ontology of Mathematical Phenomena, publiceret i Yearbook of Phenomenological Research i 1927 (i samme nummer som M. Heidegger 's Being and Time ).
Becker brugte ikke kun Husserliansk fænomenologi, men også Heideggeriansk hermeneutik, og trak paralleller mellem aritmetisk regning og "at være mod døden". Hans arbejde er blevet kritiseret af både neokantianere og mere rationalistiske logikere. Desværre påvirkede det ikke den efterfølgende diskussion om krisen i matematikkens grundlag så meget, som det potentielt kunne.
Et bemærkelsesværdigt bidrag til videnskaben blev givet af Beckers diskussioner med David Hilbert og Paul Bernays om den potentielle uendeligheds rolle i Hilberts formalistiske metamatematik . Becker insisterede på, at Hilbert ikke kunne holde sig til finitisme , men må anerkende potentiel uendelighed. Det er klart, mens de implicit accepterede den potentielle uendelighed, hævdede både Hilbert og Bernays ikke desto mindre, at enhver induktion i deres beviser er endelig. Becker havde ret i at sige, at en fuldstændig induktion er nødvendig for konsistensen af udsagn med en universel kvantifier , i modsætning til påstanden om, at hvert naturligt tal svarer til et unikt prædikat.
Becker indledte formaliseringen af Leutzen Brouwers intuitionistiske logik . Han udviklede den intuitionistiske logiks semantik på baggrund af Husserls fænomenologi, og denne semantik blev efterfølgende brugt af Arend Heyting til at udvikle sin egen tilgang. Becker forsøgte, uden held, at formulere negationen af loven om den udelukkede midterste , egnet til intuitionistisk logik: han formåede desværre ikke korrekt at skelne mellem klassisk og intuitionistisk negation. I et appendiks til sin bog om den eksistentielle kvantifier stillede han problemet med at finde en formel beregning for intuitionistisk logik.
Videnskabsmanden ydede et væsentligt bidrag til modal logik (logikken om forpligtelse og mulighed). Beckers postulat spillede også en væsentlig rolle i det 20. århundredes teologi : formlens modale status er dens obligatoriske egenskab [2] . I et formelt udtryk, hvor ◊ er en mulighed og □ er en nødvendighed, kan Beckers postulat skrives som følger:
Dette postulat spillede en grundlæggende rolle i formaliseringen af det ontologiske bevis for Guds eksistens, fuldført af Charles Hartshorne , grundlæggeren af " procesteologien "” under diskussioner med den fremtrædende positivistiske logiker Rudolf Carnap .
Becker fulgte en almindelig tendens til at understrege omfanget af "krisen" i oldtidens matematik, som opstod på grund af Hippasus' opdagelse af Metapontus af incommensurability af siderne af en regulær femkant (i senere simplere beviser - en trekant) og " trussel" om irrationelle tal . Ligesom sine samtidige trak han paralleller mellem denne opdagelse og Cantors diagonale metode , som beviste utelleligheden af mængden af alle delmængder af naturlige tal, eller Gödels metode til at bevise ufuldstændighedssætningen .
Efterfølgende understregede revisionistiske kommentatorer - Wilbur Knorr og David Fowler -, at matematikhistorikere fra første halvdel af det tyvende århundrede, såsom Becker, grundløst projekterede deres tids krise på det antikke Grækenlands historie: både krisen i forbindelse med fremkomsten af mængdelære og diskussionen om matematikkens grundlag, og i det hele taget den politiske krise i Europa mellem Første og Anden Verdenskrig.
Becker påviste også, at alle Euklids forholdssætninger kunne bevises ved hjælp af en tidligere teknik end Eudoxus af Cnidus , fundet af Becker i Topeka af Aristotelian Organon og tilskrevet Theaetetus fra Athen . Videnskabsmanden viste også, at ved at bruge logik, der benægter loven om den udelukkede midterste, er det muligt at rekonstruere de fleste af Euklids beviser.
Efter at have forladt universitetet fokuserede Oskar Becker på studiet af forskellige logikker: modal , intuitionistisk , probabilistisk osv. Han udviklede også sine ideer om æstetik og det ubevidstes formelle natur. I samlingen af filosofiske essays Dasein und Dawesen delte Becker nogle af sine personlige synspunkter, men desværre er Beckers egen metafysik, i mangel af forfatterens fulde programtekst, endnu ikke blevet rekonstrueret. Naturens "varige essens" (Dawesen) med dens symmetrier og strukturer eksisterer tidligere, dybere og bredere end den historisk-faktuelle eksistens (Dasein), og egner sig derfor ikke til hermeneutiske fortolkninger, men kun til matematiske "gætterier", " mantisk afkodning” [3 ] . Der kan drages paralleller mellem Beckers vægt på tidløshed og det ubevidstes formelle karakter og Jacques Lacans arbejde .
Oscar Becker døde den 13. november 1964 i Bonn.
Becker var i aktiv korrespondance med mange fremtrædende matematikere og positivistiske filosoffer: for eksempel med Wilhelm Ackermann , Abraham Frenkel , Arend Heuting, David Hilbert, John von Neumann , Hermann Weyl , Ernst Zermelo , Hans Reichenbach , Felix Kaufmann. Desværre blev hele arkivet med Beckers korrespondance ødelagt under Anden Verdenskrig.
Men på grund af sin personlige beskedenhed undgik Oskar Becker bred omtale for sit arbejde, hvilket efterlod hans synspunkter og arbejde relativt uklare. Otto Pöggeler huskede sin lærer:
Becker selv var aldrig tilbøjelig til at stille for offentlige spørgsmål om hans måde at filosofere på. De nobis ipsis silemus ["Ikke et ord om os selv"] - disse ord fra Bacons Instauratio magna , som Kant indledte sin Kritik af den rene fornuft, Becker tilsyneladende fulgte gennem hele sit liv ... [4]
I modsætning til Heidegger meldte Oskar Becker sig aldrig ind i NSDAP , men fra 1946 til 1951 blev han frataget retten til at undervise af kommissionen fra universitetet i Bonn: den indrømmede, at Becker ikke var en aktiv apologet for nazistisk ideologi, men hans publikationer og forelæsninger fra 1930'erne og 1940'erne støtter implicit racedoktrinen . Netop den kendsgerning, at han forblev i landet under nationalsocialismens regeringstid og, som indtog en fremtrædende stilling, fortsatte med at undervise og udgive værker "som utvetydigt og i en usædvanlig stærk form repræsenterede et sæt nationalsocialistiske tanker" [5] , førte til. til en fjendtlig holdning til ham emigrerede logikere og matematikere. Beckers parathed til kontroverser på dette punkt blev stærkt forværret af tilsidesættelsen af hans arbejde blandt kolleger.
Tematiske steder | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
|