Малли, Эрнст

Эрнст Малли

нем. Ernst Mally

Дата рождения

11 октября 1879 года

Место рождения

Крань, Герцогство Крайна, Австро-Венгрия

Дата смерти

8 марта 1944 года

Место смерти

Шванберг, Австрия

Эрнст Малли (нем. Ernst Mally; ^{[Нет даты!]}) — австрийский аналитический философ. Один из основателей деонтической логики, наиболее известен своими исследованиями в этой области. В метафизике известен введением различия между двумя видами предикации, известного как подход двойной предикации. Изначально был связан с Грацской школой теории объектов Алексиуса Мейнонга.

Жизнь

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

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

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

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

Философская работа

Деонтическая логика Малли

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

${\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 истинно, ИЛИ !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). Он также ввёл аналогичную стратегию, стратегию двойного свойства, но не поддержал её. Стратегия двойного свойства в конечном итоге была принята Мейнонгом.

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

Наследие

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

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

Работы

• (1904 [1903]) Untersuchungen zur Gegenstandstheorie des Messens, Leipzig: Barth (докторская диссертация).
• (1912) Gegenstandstheoretische Grundlagen der Logik und Logistik, Leipzig: Barth (хабилитационная диссертация).
• (1912) Die grundlegenden Beziehungen und Verknüpfungen der Gegenstände, Progr. Graz.
• (1926) Grundgesetze des Sollens. Elemente der Logik des Willens, Graz: Leuschner & Lubensky. Reprinted in 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.

Примечания

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Малли, Эрнст», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Малли,_Эрнст Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».