Ernst Mally - Ernst Mally

Ernst Mally
Nato	11 ottobre 1879 Kranj , Ducato di Carniola , Austria-Ungheria
Morto	8 marzo 1944 (64 anni) ( 1944-03-09 ) Schwanberg , Austria
Formazione scolastica	Università di Graz (PhD, 1903; Dr. phil. hab., 1912)
Era	Filosofia del XX secolo
Regione	Filosofia occidentale
Scuola	Scuola di teoria degli oggetti di Graz (parte della scuola realista austriaca di Meinong ) (inizio) Filosofia analitica (fine)
Istituzioni	Università di Graz (1925-1942)
tesi
Consulente di dottorato	Alexius Meinong
Dottorandi	JN Findlay
Interessi principali	Metafisica , teoria degli oggetti
Idee notevoli	"Istanziare" contro "è determinata dalla" ( erfüllen vs. determiniert sein ), un immobile come due modalità di predicazione nucleare vs. extranucleari (extra-formale vs. formale) proprietà ( formale vs. außerformale Bestimmungen ) degli oggetti astratti fattori che determinano ( Determinaten ) come contenuto degli stati mentali Assiomatizzazione dell'etica ( logica deontica )
Influenze Alexius Meinong , Ernst Schröder , Louis Couturat
influenzato Edward N. Zalta

Ernst Mally ( / m ɑː l i / ; tedesco: [Mali] ; 11 ottobre 1879 - 8 Marzo 1944) è stato un austriaco filosofia analitica , inizialmente affiliato con Alessio Meinong s' Graz Scuola di teoria dell'oggetto . Mally è stato uno dei fondatori della logica deontica ed è principalmente noto per i suoi contributi in quel campo di ricerca. In metafisica , è noto per aver introdotto una distinzione tra due tipi di predicazione , meglio conosciuta come l' approccio della doppia predicazione .

Vita

Mally è nato nella città di Kranj (tedesco: Krainburg ) nel Ducato di Carniola , Austria-Ungheria (ora in Slovenia ). Suo padre era di origine slovena , ma si identificò con la cultura austriaca tedesca ( germanizzò anche l'ortografia del suo cognome, originariamente scritto Mali, cognome sloveno comune dell'Alta Carniola ). Dopo la sua morte, la famiglia si trasferì nella capitale della Carniola Lubiana (tedesco: Laibach ). Lì, Ernst ha frequentato il prestigioso Ljubljana in lingua tedesca Gymnasium . Già in giovane età, Mally divenne un fervente sostenitore del movimento nazionalista pan-tedesco di Georg von Schönerer . Allo stesso tempo, ha sviluppato un interesse per la filosofia.

Nel 1898 si iscrisse all'Università di Graz , dove studiò filosofia sotto la supervisione di Alexius Meinong , nonché fisica e matematica, specializzandosi in logica formale . Si laureò nel 1903 con una tesi di dottorato intitolata Untersuchungen zur Gegenstandstheorie des Messens ( Indagini sulla teoria dell'oggetto della misurazione ). Nel 1906 iniziò ad insegnare in un liceo di Graz , collaborando contemporaneamente con Adalbert Meingast e lavorando come assistente di Meinong all'università. Ha anche mantenuto stretti contatti con l' Istituto psicologico di Graz , fondato da Meinong. Nel 1912 scrisse la sua tesi di abilitazione intitolata Gegenstandstheoretische Grundlagen der Logik und Logistik ( Fondamenti teorici degli oggetti per la logica e la logistica ) a Graz con Meinong come relatore.

Dal 1915 al 1918 prestò servizio come ufficiale nell'esercito austro-ungarico . Dopo la fine della prima guerra mondiale , Mally si unì al Greater German People's Party , che chiamò l'unificazione dell'Austria tedesca con la Germania. Nello stesso periodo iniziò ad insegnare all'università e nel 1925 assunse la cattedra di Meinong. Nel 1938 entra a far parte della Lega nazionalsocialista degli insegnanti e due mesi dopo l' Anschluss entra a far parte della NSDAP . Continuò ad insegnare durante l' amministrazione nazista dell'Austria fino al 1942, quando si ritirò.

Morì nel 1944 a Schwanberg .

Lavoro filosofico

La logica deontica di Mally

Mally è stato il primo logico mai tentare un'assiomatizzazione di etica (Mally 1926). Ha usato cinque assiomi , che sono riportati di seguito. Formano una teoria del primo ordine che quantifica sulle proposizioni e ci sono diversi predicati da capire prima. !x significa che x dovrebbe essere il caso. Ux significa che x è incondizionatamente obbligatorio, cioè che !x è necessariamente vero . x significa che x è incondizionatamente proibito, cioè U(¬x). A f B è la relazione binaria che A richiede B, cioè A implica materialmente !B. (Ogni implicazione negli assiomi è condizionale materiale .) È definito dall'assioma III, mentre tutti gli altri termini sono definiti come preliminari.

${\displaystyle {\begin{array}{rl}{\mbox{I.}}&((A\;\operatorname {f} \;B)\And (B\to C))\to (A\; \operatorname {f} \;C)\\{\mbox{II.}}&((A\;\operatorname {f} \;B)\And (A\;\operatorname {f} \;C)) \to (A\;\operatorname {f} \;(B\And C))\\{\mbox{III.}}&(A\;\operatorname {f} \;B)\leftrightarrow \;!( A\to B)\\{\mbox{IV.}}&\exists U\;!U\\{\mbox{V.}}&\neg (U\;\operatorname {f} \;\cap ) \end{array}}}$

Nota i quantificatori universali impliciti negli assiomi di cui sopra.

Il quarto assioma ha confuso alcuni logici perché la sua formulazione non è come si sarebbero aspettati, dal momento che Mally ha dato a ciascun assioma una descrizione anche a parole, e ha detto che l'assioma IV significava "l'obbligatorietà incondizionata è obbligatoria", cioè (come molti logici hanno insisteva) UA → !A. Nel frattempo, l'assioma 5 manca di un oggetto a cui si applicano i predicati, un errore di battitura . Tuttavia, si scopre che queste sono l'ultima delle preoccupazioni di Mally (vedi sotto).

Fallimento della logica deontica di Mally

Teorema: questa assiomatizzazione della logica deontica implica che !x se e solo se x è vera, OR !x è insoddisfacente. (Questo lo rende inutile per i logici deontici.) Dimostrazione: Usando l'assioma III, l'assioma I può essere riscritto come (!(A → B) & (B → C)) → !(A → C). Poiché B → C vale ogni volta che C vale, una conseguenza immediata è che (!(A → B) → (C → !(A → C))). In altre parole, se A richiede B, richiede qualsiasi affermazione vera. Nel caso particolare in cui A è una tautologia , il teorema ha conseguenza (!B → (C → !C)). Quindi, se almeno un'affermazione dovrebbe essere vera, ogni affermazione deve implicare materialmente che dovrebbe essere vera, e quindi ogni affermazione vera dovrebbe essere vera. Per quanto riguarda il contrario (cioè se qualche affermazione dovrebbe essere vera, allora tutte le affermazioni che dovrebbero essere vere sono vere), considera la seguente logica: ((U → !A) & (A → ∩)) → (U → !∩) is un caso speciale dell'assioma I, ma il suo conseguente contraddice l'assioma V, e quindi ¬((U → !A) & (A → ∩)). Si può dimostrare che il risultato !A → A segue da ciò, poiché !A implica che U → !A e ¬A implica che A → ∩; e, poiché entrambi non sono veri, sappiamo che !A → A.

Mally pensava che l'assioma I fosse autoevidente, ma probabilmente lo confuse con un'alternativa in cui l'implicazione B → C è logica , il che renderebbe infatti l'assioma auto-evidente. Il teorema di cui sopra, tuttavia, non sarebbe dimostrabile. Il teorema fu dimostrato da Karl Menger , il successivo logico deontico. Né gli assiomi originali di Mally né una modifica che eviti questo risultato rimangono popolari oggi. Menger non ha suggerito i suoi assiomi. (Vedi anche la logica deontica per ulteriori informazioni sul successivo sviluppo di questo argomento.)

Metafisica

In metafisica , Mally è noto per aver introdotto una distinzione tra due tipi di predicazione , una strategia meglio nota come approccio della doppia predicazione , per risolvere il problema degli oggetti inesistenti (Mally 1912). Ha anche introdotto una strategia simile, la strategia della doppia proprietà , ma non l'ha approvata. La strategia della doppia proprietà fu infine adottata da Meinong.

Mally sviluppò un approccio realistico all'ontologia (Mally 1935) e si vide in opposizione al Circolo di Vienna e ai positivisti logici .

Eredità

Il lavoro metafisico di Mally influenza alcuni metafisici e logici contemporanei che lavorano nella teoria degli oggetti astratti , in particolare Edward Zalta .

Il filosofo analitico David Kellogg Lewis sostenne con forza che il nome del poeta immaginario australiano Ern Malley , creato da James McAuley e Harold Stewart , fosse un'allusione a Mally.

Lavori

• (1904 [1903]) Untersuchungen zur Gegenstandstheorie des Messens (Indagini sulla teoria degli oggetti della misurazione) , Lipsia: Barth ( tesi di dottorato ).
• (1912) Gegenstandstheoretische Grundlagen der Logik und Logistik (Fondamenti teorici dell'oggetto per la logica e la logistica) , Lipsia: Barth ( tesi di abilitazione ).
• (1926) Grundgesetze des Sollens. Elemente der Logik des Willens (Le leggi fondamentali del dovere: elementi della logica della volontà) , Graz: Leuschner & Lubensky. Ristampato in Ernst Mally: Logische Schriften. Großes Logikfragment-Grundgesetze des Sollens , K. Wolf, P. Weingartner (a cura di), Dordrecht: Reidel, 1971, 227-324.
• (1935) Erlebnis und Wirklichkeit. Einleitung zur Philosophie der Natürlichen Weltauffassung (Esperienza e realtà: introduzione alla filosofia della concezione del mondo naturale) , Lipsia: Julius Klinkhardt.

Appunti

Riferimenti

• Hieke, Alessandro; Zecha, Gerhard. "Ernst Mally" . In Zalta, Edward N. (ed.). Enciclopedia della filosofia di Stanford .
• Lokhorst, Gert-Jan. "La logica deontica di Mally" . In Zalta, Edward N. (ed.). Enciclopedia della filosofia di Stanford .