Эрнст Малли

Не путать с Эрном Мэлли .

Эрнст Малли
Рожденный	11 октября 1879 г. Крань , герцогство Карниола , Австро-Венгрия
Умер	8 марта 1944 г. ( 09.03.1944 ) (64 года) Шванберг , Австрия
Образование	Университет Граца (Доктор философии, 1903 г.; доктор филологических наук, 1912 г.)
Эра	Философия 20-го века
Область	Западная философия
Школа	Грацская школа теории объектов (часть школы австрийского реалиста Мейнонга ) (ранняя) Аналитическая философия (поздняя)
Учреждения	Университет Граца (1925–1942)
Тезисы	Исследования объектной теории измерения (1903 г.) Объектно-теоретические основы логики и логистики (1912)
Докторантура	Алексиус Мейнонг
Докторанты	Дж. Н. Финдли
Основные интересы	Метафизика , теория объектов
Известные идеи	«Создание экземпляра» и «определение» ( erfüllen vs. determiniert sein ) свойства как два способа предикации. Ядерные и внеядерные (формальные и внеформальные) свойства ( formale vs. außerformale Bestimmungen ) объектов Абстрактно детерминировано ( Determinaten ) как содержание психических состояний . Аксиоматизация этики ( деонтическая логика )

Эрнст Малли ( / ˈ m ɑː l i / ; Немецкий: [ˈmali] ; 11 октября 1879 — 8 марта 1944) — австрийский философ-аналитик . Первоначально он был связан со Мейнонга в Школой Алексиуса теории объектов Граце . Малли был одним из основателей деонтической логики и известен главным образом своим вкладом в эту область исследований. В метафизике он известен введением различия между двумя видами предикации , более известной как подход двойственной предикации .

Жизнь

Малли родился в городе Крань (нем. 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, тогда как все остальные термины определяются предварительно.

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

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

Наследие

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

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

Работает

• (1904 [1903]) Исследования по предметной теории измерения , Лейпциг: Барт ( докторская диссертация ).
• (1912) Объектно-теоретические основы логики и логистики , Лейпциг: Барт ( кандидатская диссертация ).
• (1926) Основные законы следует. Основные законы должного: элементы логики воли , Грац: Лейшнер и Лубенский. Перепечатано в журнале «Эрнст Малли: Логические сочинения». Большой логический фрагмент — основные законы следует , К. Вольф, П. Вайнгартнер (ред.), Дордрехт: Рейдель, 1971, 227–324.
• (1935) Опыт и реальность. Опыт и реальность: Введение в философию естественного мировоззрения , Лейпциг: Юлиус Клинкхардт.

Ссылки

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