Эрнст Малли - Ernst Mally

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

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

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

Жизнь

Малли родился в городе Крань (нем. Крайнбург ) в герцогстве Карниола , Австро-Венгрия (ныне Словения ). Его отец был словенского происхождения, но отождествлял себя с австрийской немецкой культурой (он также германизировал орфографию своей фамилии, первоначально произносившейся как Мали, распространенная словенская фамилия Верхней Карниолы ). После его смерти семья переехала в столицу Карниолан Любляну (нем. 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, тогда как все остальные термины определены как предварительные.

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

Четвертая аксиома смутила некоторых логиков, потому что ее формулировка не такая, как они ожидали, поскольку Малли дал каждой аксиоме описание также словами, и он сказал, что аксиома 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). Он также представил аналогичную стратегию, стратегию двойной собственности , но не поддержал ее. Стратегия двойной собственности была в конечном итоге принята Meinong.

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

Наследие

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

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

Работает

  • (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 (Опыт и реальность: Введение в философию естественного мировоззрения) , Лейпциг: Юлиус Клинкхардт.

Примечания

использованная литература