Эрнст Малли ( / ˈ m ɑː l i / ; немецкий: [ˈmali] ; 11 октября 1879 — 8 марта 1944) — австрийский философ-аналитик , [2] [3] первоначально связанный со Школой теории объектов Алексиуса Мейнонга в Граце . Малли был одним из основателей деонтической логики и известен главным образом своим вкладом в эту область исследований. В метафизике он известен введением различия между двумя видами предикации , более известной как подход двойственной предикации . [7]
Малли родился в городе Крань (нем. Krainburg ) в герцогстве Карниола , Австро-Венгрия (ныне в Словении ). Его отец имел словенское происхождение, но отождествлял себя с австрийско-немецкой культурой (он также германизировал орфографию своей фамилии, первоначально написанной Мали, распространенной словенской фамилии Верхней Карниолы ). После его смерти семья переехала в столицу Карниолы Любляну (нем. Laibach ). Там Эрнст посещал престижную Люблянскую немецкоязычную гимназию . Уже в юном возрасте Малли стал ярым сторонником пангерманского националистического движения Георга фон Шёнерера . В то же время у него появился интерес к философии.
В 1898 году он поступил в Университет Граца , где изучал философию под руководством Алексиуса Мейнонга , а также физику и математику, специализируясь на формальной логике . В 1903 году он окончил учебу, защитив докторскую диссертацию под названием Untersuruchungen zur Gegenstandstheorie des Messens ( «Исследования в области объектной теории измерения »). В 1906 году он начал преподавать в средней школе Граца , одновременно сотрудничая с Адальбертом Мейнгастом и работая ассистентом Мейнонга в университете. Он также поддерживал тесные контакты с Психологическим институтом Граца , основанным Мейнонгом. В 1912 году он написал докторскую диссертацию под названием Gegenstandstheoretische Grundlagen der Logik und Logistik ( Объектно-теоретические основы логики и логистики ) в Граце под руководством Мейнонга.
С 1915 по 1918 год служил офицером в Австро-Венгерской армии . После окончания Первой мировой войны Малли вступил в Великую немецкую народную партию , которая выступала за объединение немецкой Австрии с Германией. В тот же период он начал преподавать в университете и в 1925 году занял кафедру Мейнонга. В 1938 году он стал членом Национал-социалистической лиги учителей и через два месяца после аншлюса вступил в НСДАП . Он продолжал преподавать во время нацистской администрации Австрии до 1942 года, когда вышел на пенсию.
Умер в 1944 году в Шванберге .
Малли был первым логиком, когда-либо предпринявшим попытку аксиоматизации этики ( Mally 1926). Он использовал пять аксиом , которые приведены ниже. Они образуют теорию первого порядка , которая количественно оценивает предложения , и в первую очередь необходимо понять несколько предикатов. !x означает, что x должно быть так. Ux означает, что x безусловно обязателен, т. е. что !x обязательно истинно . ∩x означает, что x безусловно запрещен, т.е. U(¬x). A f B — бинарное отношение A требует B, т. е. A материально подразумевает !B. (Все следствия в аксиомах являются материальными условными .) Они определяются аксиомой III, тогда как все остальные термины определяются предварительно.
Обратите внимание на подразумеваемые кванторы универсальности в приведенных выше аксиомах.
Четвертая аксиома смутила некоторых логиков, потому что ее формулировка не такая, как они ожидали, поскольку Мэлли также дал каждой аксиоме словесное описание и сказал, что аксиома IV означает «безусловно обязательное является обязательным», т.е. настоял) UA → !А. Между тем, в аксиоме 5 отсутствует объект, к которому применимы предикаты, — это опечатка . Однако оказывается, что это меньше всего беспокоит Мэлли (см. ниже).
Теорема: Эта аксиоматизация деонтической логики подразумевает, что !x тогда и только тогда, когда x истинно, ИЛИ !x невыполнимо. (Это делает ее бесполезной для деонтических логиков.) Доказательство: Используя аксиому III, аксиому I можно переписать как (!(A → B) & (B → C)) → !(A → C). Поскольку B → C выполняется всякий раз, когда выполняется C, непосредственным следствием является то, что (!(A → B) → (C → !(A → C))). Другими словами, если А требует Б, то требуется любое истинное утверждение. В частном случае, когда 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]
