Después del fallecimiento de su padre, la familia se mudó a la capital de Carnolia, Ljubljana (en alemán: Laibach).

Allí, Ernst asistió al prestigioso Ljubljana German language Gymnasium.

Ya a una edad temprana, Mally se convirtió en un ferviente partidario del movimiento nacionalista panalemán de Georg von Schönerer.

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 titulada Untersuchungen zur Gegenstandstheorie des Messens (Investigaciones en la teoría de los objetos de la 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ó su tesis para la Habilitación titulada Gegenstandstheoretische Grundlagen der Logik und Logistik ( Fundamentos de la teoría de objetos para la lógica y la logística ) con Meinong como supervisor.

De 1915 a 1918 se desempeñó como oficial en el Ejército Austro-húngaro.

Al finalizar la Primera Guerra Mundial, Mally se unió al Partido del Pueblo Alemán Mayor, que llamó a la unificación de Austria Alemana con Alemania.

Usó cinco axiomas, que se dan a continuación.

Forman una teoría de primer orden que cuantifica sobre proposiciones.

∩x significa que x está prohibido incondicionalmente, es decir, U (¬x).

El cuarto axioma ha confundido a algunos lógicos porque su formulación no es como hubieran esperado, ya que Mally le dio a cada axioma una descripción en palabras también.

Mientras tanto, el axioma 5 carece de un objeto al que se aplican los predicados, un error tipográfico.

El teorema fue probado por Karl Menger, el siguiente 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.

(Consulte también Lógica deóntica para obtener más información sobre el desarrollo posterior de este tema).