Войти
| Ernst Mally | |
|---|---|
| Born | 11 октября 1879. Крань, Герцогство Карниола, Австрия-Венгрия |
| Умер | 8 марта 1944 (1944-03-09) (в возрасте 64). Шванберг, Австрия |
| Образование | Университет Граца. (доктор философии, 1903; доктор филологических наук, 1912) |
| Эра | Философия ХХ века |
| Регион | Западная философия |
| Школа | Грац Школа теории объектов / Австрийский реалист Школа Мейнонга (ранняя). Аналитическая философия (поздно) |
| Учреждения | Грацкий университет. (1925–1942) |
| Тезисы | |
| Докторант | Алексиус Мейнонг |
| Докторант | Дж. Н. Финдли |
| Основные интересы | Метафизика, теория объектов |
| Известные идеи | «создание экземпляров» против «детерминированности» (erfüllen vs.determiniert sein) свойство как два режима предикации. Ядерное против внеядерного (формальное против экстраформального) свойства (formale vs. außerformale Bestimmungen) объектов. Абстрактное определяет (Детерминатен) как содержание ментальных состояний. Аксиоматизация этики (деонтическая логика ) |
| Влияния | |
| Под влиянием | |
Эрнст Малли (; немец: ; 11 октября 1879 г. - 8 марта 1944 г.) был австрийским философом-аналитиком, первоначально связанным с Алексиусом Мейнонгом Грацская школа теории объектов. Малли был одним из основателей деонтической логики и в основном известен своим вкладом в эту область исследований. 70>метафизика, он известен тем, что проводит различие между двумя видами предикации, более известного как подход двойного предикации.
Малли родился в городе Крань (нем. Крайнбург) в герцогстве Карниола, Австро-Венгрия (сейчас в Словении ). Его отец был словенского происхождения, но отождествлял себя с австрийской немецкой культурой (он также германизировал орфографию своей фамилии, первоначально записанной как Мали, общая словенская фамилия из Верхняя Карниола ). После его смерти семья переехала в Карниолан столицу Любляна (нем. Laibach). Там Эрнст посещал престижную Люблянскую немецкоязычную гимназию. Уже в молодом возрасте Малли стал горячим сторонником пангерманского националистического движения Георга фон Шенерера. В то же время у него появился интерес к философии.
В 1898 году он поступил в Университет Граца, где изучал философию под руководством Алексиуса Мейнонга, а также физику и математики, специализирующиеся на формальной логике. Он получил высшее образование в 1903 году, защитив докторскую диссертацию под названием Untersuchungen 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 →! 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) и увидел себя в оппозиции к Вене. Круг и логические позитивисты.
Метафизические работы Малли влияют на некоторых современных метафизиков и логиков, работающих в теории абстрактных объектов, особенно на Эдвард Залта.
Философ-аналитик Дэвид Келлог Льюис убедительно доказывал, что имя вымышленного австралийского поэта Эрн Мэлли, созданное Джеймсом Маколи и Гарольдом Стюартом, было намеком на Малли.
