Ernst Mally
Ernst Mally ( / m ɑː l i /; alemán:; 11 octubre 1879 hasta 8 marzo 1944) fue un austriaco filósofo afiliado a la llamada Escuela de Graz de fenomenológica psicología. Alumno de Alexius Meinong, fue uno de los fundadores de la lógica deóntica y es conocido principalmente por sus contribuciones en ese campo de investigación.
La vida
Mally nació en la ciudad de Kranj (en alemán: Krainburg ) en el Ducado de Carniola, Austria-Hungría (ahora en Eslovenia ). Su padre era de origen esloveno, pero se identificó con la cultura alemana austriaca (también germanizó la ortografía de su apellido, originalmente deletreado Mali, un apellido esloveno común de la Alta Carniola ).
Después de su muerte, la familia se mudó a la capital de Carniolan, Ljubljana (en alemán: Laibach ). Allí, Ernst asistió al prestigioso gimnasio de lengua alemana de Liubliana. Ya a una edad temprana, Mally se convirtió en un ferviente partidario de la Pangermánica movimiento nacionalista de Georg von Schönerer.
Al mismo tiempo, desarrolló un interés por la filosofía.
En 1898, se matriculó en la Universidad de Graz, donde estudió filosofía bajo la supervisión de Alexius Meinong, así como física y matemáticas, especializándose en lógica formal. Se graduó en 1903 con una tesis doctoral titulada Untersuchungen zur Gegenstandstheorie des Messens ( Investigaciones en la teoría de objetos de medición ).
En 1906 comenzó a enseñar en una escuela secundaria en Graz, al mismo tiempo que colaboraba con Adalbert Meingast y trabajaba como asistente de Meinong en la universidad. También mantuvo estrechos contactos con el Laboratorio de Psicología Experimental, fundado por Meinong. En 1912, escribió sutesis de habilitación]] titulada Gegenstandstheoretische Grundlagen der Logik und Logistik ( Fundamentos teóricos de objetos para lógica y logística ) con Meinong como supervisor.
De 1915 a 1918 se desempeñó como oficial en el ejército austrohúngaro. Después del final de la Primera Guerra Mundial, Mally se unió al Gran Partido Popular Alemán, que convocó la unificación de Alemania Austria con Alemania. En el mismo período, comenzó a enseñar en la universidad y en 1925 se hizo cargo de la silla de Meinong.
En 1938, se convirtió en miembro de la Asociación Nacional de Maestros Socialistas y dos meses después del Anschluss se unió al NSDAP. Continuó enseñando durante la administración nazi de Austria hasta 1942 cuando se retiró. Murió en 1944 en Schwanberg.
Trabajo filosófico
La lógica deóntica de Mally
Mally fue el primer lógico en intentar una axiomatización de la ética (Mally, 1926). Utilizó cinco axiomas, que se dan a continuación. Forman una teoría de primer orden que cuantifica las proposiciones, y hay varios predicados para entender primero. ! x significa que x debería ser el caso. Ux significa que x es incondicionalmente obligatorio, es decir,! X es necesariamente cierto.
X significa que x está incondicionalmente prohibido, es decir, U (¬x). A f B es la relación binaria A requiere B, es decir, ¡A implica materialmente! B. (Toda implicación en los axiomas es condicional material.) Está definido por el axioma III, mientras que todos los demás términos se definen como preliminares.
Tenga en cuenta los cuantificadores universales implícitos en los axiomas anteriores.
El cuarto axioma ha confundido a algunos lógicos porque su formulación no es la que hubieran esperado, ya que Mally dio a cada axioma una descripción en palabras también, y dijo que el axioma IV significaba «lo incondicionalmente obligatorio es obligatorio», es decir (como muchos lógicos tienen insistió) UA →! A.
Mientras tanto, el axioma 5 carece de un objeto al que se aplican los predicados, un error tipográfico. Sin embargo, resulta que estas son las menores preocupaciones de Mally (ver más abajo).
Fracaso de la lógica deóntica de Mally
Teorema: esta axiomatización de la lógica deóntica implica que! X si y solo si x es verdadero, OR! X es insatisfactorio. (Esto hace que sea inútil para los lógicos deónticos.) Prueba: usando el axioma III, el axioma I puede reescribirse como (! (A → B) y (B → C)) →! (A → C). Como B → C se mantiene siempre que C se mantiene, una consecuencia inmediata es que (! (A → B) → (C →! (A → C))).
En otras palabras, si A requiere B, requiere cualquier declaración verdadera. En el caso especial donde A es una tautología, el teorema tiene consecuencia (! B → (C →! C)). Por lo tanto, si al menos una declaración debe ser verdadera, cada declaración debe implicar materialmenteDebería ser cierto, por lo que toda declaración verdadera debería ser verdadera.
En cuanto a lo contrario (es decir, si alguna afirmación debería ser verdadera, entonces todas las afirmaciones que deberían ser verdaderas son verdaderas), considere la siguiente lógica: ((U →! A) & (A → ∩)) → (U →! ∩) es un caso especial del axioma I, pero su consecuente contradice el axioma V, y entonces ¬ ((U →! A) y (A → ∩)).
Se puede demostrar que el resultado! A → A se deduce de esto, ya que! A implica que U →! A y ¬A implica que A → ∩; y, dado que esto no es cierto, ¡lo sabemos! A → A.
Mally pensó que el axioma I era evidente, pero probablemente lo confundió con una alternativa en la que la implicación B → C es lógica, lo que de hecho haría que el axioma sea evidente. Sin embargo, el teorema anterior no sería demostrable. El teorema fue probado por Karl Menger, el próximo lógico deóntico.
Ni los axiomas originales de Mally ni una modificación que evite este resultado siguen siendo populares hoy en día. Menger no sugirió sus propios axiomas. (Consulte también la lógica deóntica para obtener más información sobre el desarrollo posterior de este tema).
Ontología
Mally desarrolló un enfoque realista de la ontología (Mally 1935) y se vio en oposición al Círculo de Viena y los positivistas lógicos.
Obras (selección)
1926) Grundgesetze des Sollens. Elemente der Logik des Willens, Graz: Leuschner & Lubensky. Reimpreso en Ernst Mally: Logische Schriften. Großes Logikfragment – Grundgesetze des Sollens, K. Wolf, P. Weingartner (eds.), Dordrecht: Reidel, 1971, 227–324.
1935) Erlebnis und Wirklichkeit. Einleitung zur Philosophie der Natürlichen Weltauffassung, Leipzig: Julius Klinkhardt.
Autor
