Bruno Baron von Freytag-Löringhoff (nacido el 11 de junio de 1912 en Bilderlingshof cerca de Riga - murió el 28 de febrero de 1996 en Tubinga ) fue un filósofo , matemático y epistemólogo alemán . [1] También fue profesor universitario en la Universidad de Tübingen . Durante la Segunda Guerra Mundial , Freytag-Löringhoff trabajó como matemático en el In 7 / VI , que era la agencia de inteligencia de señales de la Wehrmacht y trabajó con Fritz Menzer.sobre la prueba de dispositivos y procedimientos criptográficos. Freytag-Löringhoff trabajó específicamente en las pruebas de la máquina de cifrado m-40. Sus contribuciones más importantes a la historia de la lógica y las matemáticas fueron sus estudios y descripciones de 1957, de la máquina calculadora, construida por Wilhelm Schickard . [2]
Bruno Baron von Freytag-Löringhoff | |
---|---|
Nació | 11 de junio de 1912 |
Fallecido | 28 de febrero de 1996 | (83 años)
Ciudadanía | alemán |
alma mater | Universidad de Greifswald Universidad Ludwig Maximilian de Munich Universidad de Tübingen |
Carrera científica | |
Campos | Filosofía Matemáticas Epistemología |
Instituciones | Universidad de Tübingen |
Bruno von Freytag-Löringhoff era un aristócrata y miembro de la noble casa de Frydag .
La vida
Tras asistir a clases de matemáticas, física, musicología y filosofía en las universidades de Greifswald y Munich , Freytag obtuvo su doctorado en Filosofía en Greifswald en 1936 y se habilitó en 1944 en Friburgo de Brisgovia y en 1947 en Tübingen después de participar en la guerra. Desde 1955, Freytag-Löringhoff fue profesor de Filosofía en la Universidad de Tübingen. En 1957 reconstruyó la primera máquina calculadora de 1623, que fue transmitida solo en escasos bocetos del profesor de astronomía de Tubinga Wilhelm Schickard . También construyó las tarjetas de datos de Schickard. Después de su retiro en 1977, Freytag estudió las estructuras de los PC aún nuevos.
Obras
Durante el Tercer Congreso Alemán de Filosofía en octubre de 1950, Freytag-Löringhoff presentó una serie de tesis al Simposio, donde argumentó que los diversos sistemas lógicos no eran puros pero que cada uno de ellos incluye un núcleo puro que podría identificarse y separarse. fuera. El núcleo podría considerarse pura lógica filosófica, es decir, lógica tout court que se caracteriza por sus propiedades, es decir, la identidad, la contradicción y su entrelazamiento ( alemán : Verflechtung ). Aunque había muchos cálculos lógicos, consideró que la lógica pura es única y que los diversos sistemas lógicos son sistemas matemáticos que deben interpretarse con la ayuda de la lógica pura. Para Freytag-Löringhoff:
- las matemáticas presuponen la lógica y no pueden encontrarla
Los cálculos lógicos parten de elementos que requieren un análisis a través de la lógica pura. Consideró que el elemento más fundamental en logística es el juicio ( alemán : Urteil ), el elemento más fundamental en la lógica es el concepto ( alemán : Begriff ). La lógica filosófica pura es un sistema cerrado, autónomo, sin defectos fundamentales y de gran belleza y amplia aplicabilidad, y los ataques contra la lógica clásica son en gran parte injustificados. Freytag-Löringhoff fue un acérrimo defensor de la lógica aristotélica . [2] Sus puntos de vista fueron desafiados por Józef Maria Bocheński , Paul Bernays y Béla Juhos , quienes también estuvieron en el Simposio. Haskell Curry construyó un modelo lógico que usó para impugnar las tesis de Freytag-Löringhoff. [2]
Su contribución más importante a la lógica fue el estudio, iniciado en 1979, de la máquina calculadora de Wilhelm Schickard . Durante su vida, construyó varios modelos, uno de los cuales guardó en su casa. [2]
Bibliografía
- Los fundamentos ontológicos de las matemáticas. Un estudio sobre la existencia matemática, alemán: Die ontologischen Grundlagen der Mathematik. Eine Untersuchung über die Mathematische Existenz, Verlag Niemeyer, Halle 1937.
- Al modo de ser de los objetos matemáticos, alemán: Zur Seinsweise der mathischen Gegenstände, In: German Mathematics, Volumen 4, ed. Theodor Vahlen , Ludwig Bieberbach , 1939, págs. 238-240.
- Reflexiones sobre la filosofía de las matemáticas, alemán: Gedanken zur Philosophie der Mathematik. Meisenheim. Meisenheim / Glan 1948.
- Sobre el sistema de los modos del silogismo. En: Journal of Philosophical Research, alemán: Über das System der modi des Syllogismus. En: Zeitschrift für philosophische Forschung, Jg. 4 (1949), núm. 2, págs. 235-256.
- Tesis y discusión sobre cuestiones filosóficas preliminares de la logística en un simposio del Tercer Congreso Alemán de Filosofía en Bremen 1950. En: Informe del Congreso * Symphilosophein, alemán: Thesen und Diskussion über philosophische Vorfragen der Logistik in einem Symposion des Dritten Deutschen Kongresses für Philosophie en Bremen 1950. En: Kongreßbericht Symphilosophein. Leo Lehnen Verlag, Munich 1952, págs. 161-203. Editado por Arnold Schmidt .
- Probabilidad, causalidad y libertad. En: Philosophia naturalis, alemán: Wahrscheinlichkeit, Kausalität und Freiheit. En: Philosophia naturalis. Volumen 2, 1952, núm. 1, págs. 35–49.
- A la lógica como doctrina de identidad y diversidad. En: Actes du Xlme Congres International de Philosophy Bruxelles, alemán: ur Logik als Lehre von Identität und Verschiedenheit. En: Actes du Xléme Congrés international de Philosophie Bruxelles. 1953. Volumen 5, Bruselas 1953, págs. 19-24.
- Sobre el juicio hipotético y la inferencia a sus premisas. En: Journal of Philosophical Research, alemán: Über das hypothetische Urteil und den Rückschluß auf seine Prämissen. En: Zeitschrift für philosophische Forschung. Jg. 9 (1955), núm. 1, págs. 56–76.
- Lógica. Su sistema y su relación con la logística, alemán: Logik. Ihr System und ihr Verhältnis zur Logistik, 3. 3a edición mejorada, Kohlhammer Verlag , Stuttgart 1955.
- Lógica I. El sistema de la lógica pura y su relación con la logística, alemán: Das System der reinen Logik und ihr Verhältnis zur Logistik. Kohlhammer Verlag, Stuttgart 1955; Quinta edición, Stuttgart 1972.
- Lógica II. Definición Teoría y metodología del cambio de cálculo, alemán: Definitionstheorie und Methodologie des Kalkülwechsels. Stuttgart 1967.
- Sobre un error de Bolzano y la relación entre lógica conceptual y de juicio. En: Journal of Philosophical Research, alemán: Über einen Irrtum Bolzanos und das Verhältnis zwischen Begriffs- und Urteilslogik. En: Zeitschrift für Philosophische Forschung. Jg 25 (1971), núm. 3, págs. 327–344.
- Nuevo sistema de lógica. Reconstrucción simétrica-simétrica y aplicación operativa del enfoque aristotélico, publicado por Felix Meiner , alemán: Neues System der Logik. Symbolisch-symmetrische Rekonstruktion und operativa Anwendung des aristotelischen Ansatzes. Hamburgo 1985, ISBN 3-7873-0636-6 , como archivo PDF
- Wilhelm Schickards Tübinger calculadora de 1623 (editado por Friedrich Seck ), alemán: Wilhelm Schickards Tübinger Rechenmaschine von 1623. 3ª edición, Oficina Cultural, Tübingen 2002, ISBN 3-910090-48-6 .
Referencias
- ^ Augstein, Rudolf (noviembre de 1996). "Bruno Baron von Freytag Löringhoff" . SPIEGEL-Verlag. DER SPIEGEL . Consultado el 9 de noviembre de 2017 .
- ^ a b c d "En Memóriám" (pdf) . Lógica moderna (ahora Revisión de lógica moderna) . 7 (7): 188–189. 1997. Zbl 0989.01523 . Consultado el 13 de diciembre de 2017 .