Бруно фон Фрейтаг-Лоринггофф - Википедия - Bruno von Freytag-Löringhoff

Бруно барон фон Фрейтаг-Лоринггофф
Bruno von Freytag-Löringhoff.jpg
Бруно фон Фрейтаг-Лоринггофтың ой толғауындағы бейнесі.
Туған1912 жылдың 11 маусымы (1912-06-11)
Өлді28 ақпан, 1996 ж(1996-02-28) (83 жаста)
АзаматтықНеміс
Алма матерГрейфсвальд университеті
Мюнхендегі Людвиг Максимилиан университеті
Тюбинген университеті
Ғылыми мансап
Өрістерфилософия
Математика
Гносеология
МекемелерТюбинген университеті

Бруно барон фон Фрейтаг-Лоринггофф (1912 жылы 11 маусымда дүниеге келген Bilderlingshof жақын Рига - 1996 жылы 28 ақпанда қайтыс болды Тюбинген ) неміс болған философ, математик және гносеолог.[1] Ол сонымен бірге университетте оқытушы болды Тюбинген университеті. Кезінде Екінші дүниежүзілік соғыс, Фрейтаг-Лоринггоф математик болып жұмыс істеді 7 / VI, бұл болды интеллект туралы сигналдар береді агенттігі Вермахт және жұмыс істеді Fritz Menzer криптографиялық құрылғылар мен процедураларды сынау туралы. Фрейтаг-Лоринггоф m-40 шифрлау машинасын сынау кезінде арнайы жұмыс істеді. Оның логика мен математика тарихына қосқан ең маңызды үлесі - 1957 жылдан бастап есептеуші машинаның зерттеулері мен сипаттамалары болды. Вильгельм Шикард.[2]

Бруно фон Фрейтаг-Лоринггоф ақсүйек және ақсүйектер үйінің мүшесі болған Фрайдаг.

Бруно фон Фрейтаг-Лёринггофтың елтаңбасы
Есептеу машинасының көшірмесі Вильгельм Шикард, 1623 ж. Фрейтаг-Лоринггоф оның бірнеше нұсқасын зерттеу кезінде салған Вильгельм Шикард, мүмкін оны қосқанда.

Өмір

Математика, физика, музыкатану және философия дәрістеріне қатысқаннан кейін университеттерде Грейфсвальд және Мюнхен, Фрейтаг 1936 жылы Грейфсвальдта философия докторы дәрежесін алды және тұрақтандырылған 1944 жылы Фрайбургте, Брейсгауда және 1947 жылы Тюбингенде соғысқа қатысқаннан кейін. 1955 жылдан бастап Фрейтаг-Лоринггоф Тюбинген университетінің философия профессоры болды. 1957 жылы ол Тюбинген астрономия профессорының аз ғана эскиздермен берілген 1623 жылғы алғашқы есептеу машинасын қалпына келтірді Вильгельм Шикард. Ол сондай-ақ Schickard-тан деректер таяқшаларын жасады. Зейнетке шыққаннан кейін 1977 жылы Фрейтаг әлі де жаңа ДК құрылымдарын зерттеді.

Жұмыс істейді

Үшіншісі кезінде Германия философия конгресі 1950 жылы қазанда Фрейтаг-Лоринггоф симпозиумға бірқатар тезистер ұсынды, онда ол әр түрлі логикалық жүйелер болмады таза бірақ олардың әрқайсысы а таза ядро оны анықтауға және бөлуге болатын. Ядроны таза философиялық логика, яғни логика деп санауға болады сот оның қасиеттерімен сипатталатын, яғни сәйкестілік, қайшылық және олардың тоқу (Неміс: Верфлехтунг). Логикалық есептеулер көп болғанымен, ол таза логиканы ерекше деп санады және әр түрлі логикалық жүйелер таза логиканың көмегімен түсіндірілуі керек математикалық жүйелер. Freytag-Löringhoff үшін:

математика логиканы болжайды және оны таба алмайды

Логикалық есептеулер таза логика арқылы талдауды қажет ететін элементтерден басталады. Ол логистиканың ең негізгі элементін сот деп санады (Неміс: Уртейл), логиканың ең негізгі элементі - тұжырымдама, (Неміс: Бегрифф). Таза философиялық логика тұйықталған, өздігінен құралған, негізгі кемшіліктері жоқ және керемет сұлулық пен кең қолданыстағы жүйе, ал классикалық логикаға қарсы шабуылдар негізінен негізсіз. Фрейтаг-Лоринггоф оның жақтаушысы болды Аристотель логика.[2] Оның көзқарастары дау тудырды Юзеф Мария Бочески, Пол Бернейс және Бела Джухос, олар симпозиумда болды. Хаскелл Карри Фрейтаг-Лоринггоф тезистерін талқылау үшін қолданған логикалық моделін жасады.[2]

Оның логикаға қосқан маңызды үлесі 1979 жылы басталған есептеу машинасын зерттеу болды Вильгельм Шикард. Көзі тірісінде ол бірнеше модельдер құрастырды, олардың бірін оның үйінде сақтады.[2]

Библиография

  • Математиканың онтологиялық негіздері. Математикалық болмыс туралы зерттеу, неміс: Die ontologischen Grundlagen der Mathematik. Eine Untersuchung über Mathematische Existenz, Verlag Niemeyer, Halle 1937 ж.
  • Математикалық нысандар болу режиміне немісше: Zur Seinsweise der matemischen Gegenstände, In: Неміс математикасы, 4-том, ред. Теодор Вахлен, Людвиг Бибербах, 1939, 238–240 бб.
  • Математика философиясы туралы ойлар, неміс: Gedanken zur Philosophie der Mathematik. Мейзенхайм. Мейзенхайм / Глан 1948 ж.
  • Силлогизм режимдерінің жүйесі туралы. In: Философиялық зерттеулер журналы, неміс: Über das System der modi des Syllogismus. In: Zeitschrift für philosophische Forschung, Jg. 4 (1949), No2, 235–256 бб.
  • Бремендегі философияның үшінші неміс конгресінің симпозиумында логистиканың философиялық алдын-ала сұрақтары бойынша тезистер мен талқылау 1950 ж. Конгресс баяндамасы * Symphilosophein, неміс: Thesen und Diskussion über philosophische Vorfragen der Logistik in einem Symposion des Dritten Deutschen Kongresses für Philosophie in Bremen in 1950. In: Kongreßbericht Symphilosophein. Лео Леннен Верлаг, Мюнхен 1952, 161–203 бб. Өңделген Арнольд Шмидт.
  • Ықтималдылық, себептілік және еркіндік. In: Philosophia naturalis, неміс: Wahrscheinlichkeit, Kausalität und Freiheit. In: Philosophia naturalis. 2 том, 1952, No1, 35–49 беттер.
  • Логика сәйкестілік және әртүрлілік туралы ілім ретінде. In: Брюссель, Философия туралы Халықаралық актілер актілері, неміс: ur Logik als Lehre von Identität und Verschiedenheit. Фильмдер: Брюссельдің халықаралық актілері. 1953 ж. 5 том, Брюссель 1953, 19–24 б.
  • Болжамдық пайымдау және оның үй-жайларына қорытынды жасау туралы. In: Философиялық зерттеулер журналы, неміс: Über das hypothetische Urteil und den Rückschluß auf seine Prämissen. In: Zeitschrift für philosophische Forschung. Jg. 9 (1955), No1, 56-76 б.
  • Логика. Оның жүйесі және оның логистикаға қатынасы, немісше: Logik. Ihr System und ihr Verhältnis zur Logistik, 3. 3-ші, жетілдірілген, басылым, Kohlhammer Verlag, Штутгарт 1955 ж.
  • Логика I. Таза логика жүйесі және оның логистикаға қатынасы, немісше: Das System der reinen Logik und ihr Verhältnis zur Logistik. Колхаммер Верлаг, Штутгарт 1955; 5-ші басылым, Штутгарт 1972 ж.
  • Логика II. Анықтаманың есептеу теориясы мен әдістемесі, немісше: Definitionstheorie und Methodologie des Kalkülwechsels. Штутгарт 1967 ж.
  • Больцано қатесі және тұжырымдамалық және пайымдау логикасы арасындағы байланыс туралы. In: Философиялық зерттеулер журналы, неміс: Über einen Irrtum Bolzanos und das Verhältnis zwischen Begriffs- und Urteilslogik. In: Zeitschrift für Philosophische Forschung. Jg 25 (1971), No3, 327–344 бб.
  • Логиканың жаңа жүйесі. Аристотельдік тәсілдің символикалық-симметриялық қайта құруы және жедел қолданылуы, жарияланған Феликс Майнер, Неміс: Neues System der Logik. Symbolisch-symmetrische Rekonstruktion und operative Anwendung des aristotelischen Ansatzes. Гамбург 1985, ISBN  3-7873-0636-6 , PDF файлы ретінде
  • 1623 жылғы Вильгельм Шикардс Тюбингер есептеу машинасы (редакциялаған Фридрих Сек ), Неміс: Вильгельм Шиккардс Тюбингер Реченмасчин фон 1623. 3-ші басылым, Мәдениет кеңсесі, Тюбинген 2002, ISBN  3-910090-48-6.

Әдебиеттер тізімі

  1. ^ Аугштейн, Рудольф (қараша 1996). «Бруно барон фон Фрейтаг Лоринггофф». Шпигель-Верлаг. Дер Шпигель. Алынған 9 қараша 2017.
  2. ^ а б c г. «Мемориамда» (PDF). Қазіргі заманғы логика (қазіргі заманғы логикаға шолу). 7 (7): 188–189. 1997. Zbl  0989.01523. Алынған 13 желтоқсан 2017.