Эрнст Малли

Эрнст Малли ( / м ɑː л я / ; немецкий: [мали] ; 11 октября 1879 - 8 марта 1944) был австрийский аналитический философ , ^{[2] [3]} изначально связан с Мейнонг «s Граце школы в теории объекта . Малли был одним из основоположников деонтической логики и в основном известен своим вкладом в эту область исследований. В метафизике он известен тем, что проводит различие между двумя видами предикации , более известный как подход двойного предикации .^[7]

Жизнь [ править ]

Малли родился в городе Крань (нем. Крайнбург ) в герцогстве Карниола , Австро-Венгрия (ныне в Словении ). Его отец был словенского происхождения, но отождествлял себя с австрийской немецкой культурой (он также германизировал орфографию своей фамилии, первоначально произносившейся как Мали, распространенная словенская фамилия Верхней Карниолы ). После его смерти семья переехала в столицу Карниолан Любляну (нем. Laibach ). Там Эрнст посещал престижную люблянскую немецкоязычную гимназию.. Уже в молодом возрасте Малли стал горячим сторонником пангерманского националистического движения Георга фон Шенерера . В то же время у него появился интерес к философии.

В 1898 году он поступил в Университет Граца , где изучал философию под руководством Алексиуса Мейнонга , а также физику и математику, специализируясь на формальной логике . Он получил высшее образование в 1903 году, защитив докторскую диссертацию под названием Untersuchungen zur Gegenstandstheorie des Messens ( Исследования по объектной теории измерения ). В 1906 году он начал преподавать в средней школе в Граце , одновременно сотрудничая с Адальбертом Мейнгастом и работая ассистентом Мейнонга в университете. Он также поддерживал тесные контакты с Психологическим институтом Граца., основанная Мейнонгом. В 1912 году он написал докторскую диссертацию под названием Gegenstandstheoretische Grundlagen der Logik und Logistik ( Теоретико-объектные основы логики и логистики ) в Граце под руководством Мейнонга.

С 1915 по 1918 год он служил офицером Австро-Венгерской армии . После окончания Первой мировой войны Малли вступил в Великую немецкую народную партию , которая выступила за объединение Германской Австрии с Германией. В тот же период он начал преподавать в университете, а в 1925 году занял кафедру Мейнонга. В 1938 году он стал членом Национал-социалистической лиги учителей, а через два месяца после аншлюса присоединился к НСДАП . Он продолжал преподавать во время нацистской администрации Австрии до 1942 года, когда вышел на пенсию.

Он умер в 1944 году в Шванберге .

Философская работа [ править ]

Деонтическая логика Малли [ править ]

Малли был первыми логиками когда - либо попытка аксиоматизации по этике (Малли 1926). Он использовал пять аксиом , которые приводятся ниже. Они образуют теорию первого порядка, которая дает количественную оценку высказываний , и в первую очередь необходимо понять несколько предикатов. ! x означает, что x должно быть так. Ux означает, что x безусловно обязателен, т. Е. Что! X обязательно истинно . ∩x означает, что x безусловно запрещен, т.е. U (¬x). A f B - это бинарное отношение A требует B, т.е. A материально подразумевает! B. (Все следствия в аксиомах материально обусловлены.) Он определяется аксиомой III, тогда как все остальные термины определяются как предварительные.

${\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}}}$

Обратите внимание на подразумеваемые универсальные кванторы в приведенных выше аксиомах.

Четвертая аксиома смутила некоторых логиков, потому что ее формулировка не такая, как они ожидали, поскольку Малли дал каждой аксиоме описание также словами, и он сказал, что аксиома IV означает «безусловно обязательное обязательно», т. Е. настаивал) UA →! A. Между тем в аксиоме 5 отсутствует объект, к которому применяются предикаты, - опечатка . Однако оказывается, что это наименьшая из забот Малли (см. Ниже).

Несостоятельность деонтической логики Малли [ править ]

Теорема: из этой аксиоматизации деонтической логики следует, что! X тогда и только тогда, когда x истинно, OR! X невыполнимо. (Это делает ее бесполезной для деонтических логиков.) Доказательство: Используя аксиому III, аксиому I можно переписать как (! (A → B) & (B → C)) →! (A → C). Поскольку B → C выполняется всякий раз, когда выполняется C, одно непосредственное следствие состоит в том, что (! (A → B) → (C →! (A → C))). Другими словами, если A требует B, ему требуется любое истинное утверждение. В частном случае, когда A - тавтология , теорема имеет следствие (! B → (C →! C)). Таким образом, если хотя бы одно утверждение должно быть истинным, каждое утверждение должно материально влечь за собойэто должно быть правдой, и поэтому каждое истинное утверждение должно быть правдой. Что касается обратного (т.е. если какое-то утверждение должно быть истинным, то все утверждения, которые должны быть истинными, истинны), рассмотрим следующую логику: ((U →! A) & (A → ∩)) → (U →! ∩) является частный случай аксиомы I, но ее следствие противоречит аксиоме V, поэтому ¬ ((U →! A) & (A → ∩)). Можно показать, что результат! A → A следует из этого, поскольку! A влечет, что U →! A и ¬A влечет, что A → ∩; и, поскольку оба они не верны, мы знаем, что! A → A.

Малли считал эту аксиому I самоочевидной, но, вероятно, перепутал ее с альтернативой, в которой импликация B → C логична , что действительно сделало бы аксиому самоочевидной. Однако в этом случае приведенная выше теорема не может быть доказана. Теорема была доказана Карлом Менгером , следующим деонтическим логиком. Ни оригинальные аксиомы Малли, ни модификация, позволяющая избежать этого результата, сегодня не остаются популярными. Менгер не предлагал своих собственных аксиом. (См. Также деонтическую логику для получения дополнительной информации о дальнейшем развитии этого предмета.)

Метафизика [ править ]

В метафизике Малли известен тем, что проводит различие между двумя видами предикации , стратегию, более известную как подход двойного предикации , для решения проблемы несуществующих объектов (Mally 1912). ^[7] Он также представил аналогичную стратегию, стратегию двойного свойства , но не поддержал ее. ^[2] Стратегия двойной собственности была в конечном итоге принята Мейнонгом. ^[2]

Малли разработал реалистический подход к онтологии (Mally 1935) и увидел себя в оппозиции Венскому кружку и логическим позитивистам . ^[1]

Наследие [ править ]

Метафизическая работа Малли оказывает влияние на некоторых современных метафизиков и логиков, работающих в области теории абстрактных объектов , особенно на Эдварда Залту . ^[9]

Философ-аналитик Дэвид Келлог Льюис убедительно доказывал, что имя вымышленного австралийского поэта Эрна Малли , созданное Джеймсом Маколи и Гарольдом Стюартом , было намеком на Малли. ^[10]

Работает [ править ]

• (1904 [1903]) Untersuchungen zur Gegenstandstheorie des Messens (Исследования по объектной теории измерения) , Лейпциг: Барт ( докторская диссертация ).
• (1912) Gegenstandstheoretische Grundlagen der Logik und Logistik (Теоретико-объектные основы логики и логистики) , Лейпциг: Барт ( кандидатская диссертация ).
• (1926) Grundgesetze des Sollens. Elemente der Logik des Willens (Основные законы следствия: элементы логики воли) , Грац: Leuschner & Lubensky. Перепечатано в Ernst Mally: Logische Schriften. Großes Logikfragment - Grundgesetze des Sollens , К. Вольф, П. Вайнгартнер (ред.), Дордрехт: Рейдель, 1971, 227–324.
• (1935) Erlebnis und Wirklichkeit. Einleitung zur Philosophie der Natürlichen Weltauffassung (Опыт и реальность: Введение в философию естественного мировоззрения) , Лейпциг: Юлиус Клинкхардт.

Примечания [ править ]

Ссылки [ править ]

• Хике, Александр; Зеха, Герхард. «Эрнст Малли» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
• Локхорст, Герт-Ян. "Деонтическая логика Малли" . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .