Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
«Аристотель» (1811) Франческо Хайеса (1791–1882)
Часть серии о
Corpus Aristotelicum
Логика ( Органон )
Натурфилософия (физика)
Метафизика
  • Этика
  • Политика
  • Риторика
  • Поэтика
  • Риторика
  • Риторика Александру *
  • Поэтика
  • Фрагменты
  • Фрагменты †
  • Аристотель
  • Аристотелизм

[*]: В целом принято считать ложным

[†]: Подлинность оспаривается
  • v
  • т
  • е
Аристотель: предшествующая аналитика на латыни, 1290 г., Biblioteca Medicea Laurenziana , Флоренция
Страница из латинской транскрипции 13/14-го века Аристотеля оперы Logica .

The Prior Analytics ( греч . Ἀναλυτικὰ Πρότερα ; лат . Analytica Priora ) - это работа Аристотеля по дедуктивным рассуждениям , известная как его силлогистика , написанная около 350 г. до н. Э. [1] Являясь одним из шести дошедших до нас сочинений Аристотеля по логике и научному методу, он является частью того, что более поздние перипатетики назвали Органоном . Современная работа над логикой Аристотеля основывается на традиции, начатой ​​в 1951 году с установлением Яном Лукасевичем революционной парадигмы. Его подход был заменен в начале 1970-х годов в серии статей наДжон Коркоран и Тимоти Смайли [2], которые дают информацию о современных переводах предшествующей аналитики Робином Смитом в 1989 г. и Гизелой Страйкер в 2009 г. [3]

Термин « аналитика» происходит от греческих слов analytos (ἀναλυτ ', «разрешимый») и analyo (αναλύω, «решать», буквально «терять»). Однако в корпусе Аристотеля есть заметные различия в значении ἀναλύω и родственных ему слов. Также есть вероятность, что Аристотель, возможно, заимствовал свое использование слова «анализ» у своего учителя Платона . С другой стороны, значение, которое лучше всего соответствует Аналитике, получено из изучения геометрии, и это значение очень близко к тому, что Аристотель называет эпистемой (επιστήμη), зная аргументированные факты. Следовательно, Анализ - это процесс поиска аргументированных фактов. [4]

« Предыдущая аналитика» Аристотеля представляет собой первый случай в истории, когда логика стала предметом научных исследований. Только на этих основаниях Аристотеля можно было считать отцом логики, поскольку, как он сам говорит в « Софистических опровержениях» : «Когда дело доходит до этого предмета, дело не в том, что часть была разработана заранее, а часть - нет; вместо этого , вообще ничего не существовало ". [5]

Проблема в значении возникает при изучении предшествующей аналитики для слова силлогизм, которое используется Аристотелем в целом, не несет такой узкой коннотации, как в настоящее время; Аристотель определяет этот термин таким образом, чтобы его можно было применить к широкому кругу веских аргументов . Некоторые ученые предпочитают использовать слово «дедукция» вместо значения, данного Аристотелем греческому слову силлогизм (συλλογισμός). В настоящее время силлогизмиспользуется исключительно как метод, используемый для достижения вывода, который на самом деле является тем узким смыслом, в котором он используется в предшествующей аналитике, имея дело с гораздо более узким классом аргументов, очень напоминающих «силлогизмы» традиционных логических текстов: две предпосылки за которым следует вывод, каждое из которых является категоричным предложением, содержащим все вместе три термина, две крайности, которые появляются в заключении, и один средний термин, который появляется в обеих предпосылках, но не в заключении. В Analytics затем, До аналитик является первой теоретической частью , касающаяся наукой дедукции и аналитикой является вторым доказательно практической частью. Предварительная аналитикадает отчет о выводах в целом, суженный до трех основных силлогизмов, в то время как Posterior Analytics занимается демонстрацией. [6]

В « Априорной аналитике» Аристотель определяет силлогизм как «дедукцию в дискурсе, в котором предполагаются определенные вещи, что-то отличное от предполагаемых вещей является результатом необходимости, потому что эти вещи таковыми являются». В наше время это определение привело к спорам о том, как следует интерпретировать слово «силлогизм». Ученые Ян Лукасевич , Юзеф Мария Бохенский и Гюнтер Пациг встали на сторону дихотомии Протасис - Аподозис, а Джон Коркоран предпочитает рассматривать силлогизм как простую дедукцию. [7]

В третьем веке нашей эры комментарий Александра Афродисиаса к предыдущим аналитикам является старейшим из дошедших до нас и одним из лучших из древних преданий и доступен на английском языке. [8]

В шестом веке Боэций составил первый известный латинский перевод « Предыдущей аналитики» . Известно, что ни один житель Запада между Боэцием и Бернардом Утрехтский не читал « Предыдущую аналитику» . [9] Так называемый Anonymus Aurelianensis III второй половины XII века является первым дошедшим до нас латинским комментарием, или, скорее, фрагментом комментария. [10]

Силлогизм [ править ]

До Analytics представляет первое официальное исследование логики, где логика понимается как изучение аргументов. Аргумент - это серия истинных или ложных утверждений, которые приводят к верному или ложному заключению. [11] В « Предыдущей аналитике» Аристотель определяет допустимые и недопустимые формы аргументов, называемых силлогизмами. Силлогизм - это аргумент, состоящий как минимум из трех предложений: как минимум, двух посылок и заключения. Хотя Аристотель не называет их «категоричными предложениями», традиция делает; он кратко рассматривает их в « Аналитике» и более подробно в « Об интерпретации» . [12]Каждое предложение (высказывание, которое является мыслью, которая может быть выражена повествовательным предложением) [13] силлогизма является категориальным предложением, у которого есть подлежащее и сказуемое, соединенные глаголом. Обычный способ соединения подлежащего и сказуемого в категориальном предложении, как это делает Аристотель в « Об интерпретации»заключается в использовании связующего глагола, например, P является S. Однако в предшествующей аналитике Аристотель отвергает обычную форму в пользу трех своих изобретений: 1) P принадлежит S, 2) P относится к S и 3) P сказано С. Аристотель не объясняет, почему он вводит эти новаторские выражения, но ученые предполагают, что причина, возможно, заключалась в том, что это облегчает использование букв вместо терминов, избегая двусмысленности, которая возникает в греческом языке, когда буквы используются со связующим глаголом. [14] В своей формулировке силлогистических суждений вместо связки («Все / некоторые ... являются / не являются ...») Аристотель использует выражение «... принадлежит / не принадлежит всем / некоторые ... "или" ... сказано / не сказано обо всех / некоторых ... " [15] Существует четыре различных типа категориальных предложений: универсальное утвердительное (A), конкретное утвердительное (I), универсальное отрицательное (E) и особо отрицательное (O).

  • A - A принадлежит каждому B
  • E - A не принадлежит B
  • I - A принадлежит некоторому B
  • O - A не принадлежит некоторому B

Метод символизации, который зародился и использовался в средние века, значительно упрощает изучение предшествующей аналитики. Следуя этой традиции, позвольте:

a = принадлежит каждому

е = принадлежит нет

я = принадлежит некоторым

o = не принадлежит некоторым

Тогда категориальные предложения могут быть сокращены следующим образом:

AaB = A принадлежит каждому B (каждый B - это A)

AeB = A не принадлежит B (Нет B не A)

AiB = A принадлежит некоторому B (Some B - A)

AoB = A не принадлежит некоторому B (Some B не A)

С точки зрения современной логики, таким образом можно представить лишь несколько типов предложений. [16]

Три фигуры [ править ]

В зависимости от положения среднего члена Аристотель делит силлогизм на три вида: силлогизм в первой, второй и третьей фигурах. [17] Если Среднесрочный термин является предметом одной посылки и сказуемого другого, посылки находятся в Первом рисунке. Если срединный термин является предикатом обеих посылок, они находятся на втором рисунке. Если среднему сроку подчиняются обе посылки, они находятся в третьем рисунке. [18]

Символически три фигуры могут быть представлены следующим образом: [19]

Первая фигураВторая фигураТретья фигура
Предикат - ТемаПредикат - ТемаПредикат - Тема
Основное помещениеА ------------ ВБ ------------ АА ------------ В
Второстепенное помещениеДО Н.ЭДО Н.ЭC ------------ B
ВыводА ********** CА ********** CА ********** C

Четвертая фигура [ править ]

В аристотелевской силлогистике ( Prior Analytics , Bk I Caps 4-7) силлогизмы делятся на три цифры в соответствии с положением среднего члена в двух предпосылках. Четвертая фигура, в которой средний член является сказуемым в главной посылке и подлежащим в малой, была добавлена ​​учеником Аристотеля Теофрастом и не встречается в работе Аристотеля, хотя есть свидетельства того, что Аристотель знал о силлогизмах четвертой фигуры. [20]

Силлогизм на первом рисунке [ править ]

В « Предыдущей аналитике», переведенной А. Дж. Дженкинсом в томе 8 «Великих книг западного мира», Аристотель говорит о Первой фигуре: «... Если А основывается на всем В, а В - на всех С, то А должно быть основанным на всех C. " [21] В « Предыдущей аналитике», переведенной Робином Смитом, Аристотель говорит о первой фигуре: «... Ибо, если А является предикатом каждого Б и В каждого С, необходимо, чтобы А было предикатом каждого С.» [22]

Взятие = основано на всех = основано на каждом, и с использованием символического метода, используемого в средние века, первая цифра упрощается до: [23]

Если AaB

и BaC

затем AaC.

Или что равносильно тому же:

AaB, BaC; поэтому AaC

Когда четыре силлогистических утверждения a, e, i, o помещаются в первую фигуру, Аристотель приходит к следующим допустимым формам дедукции для первой фигуры:

AaB, BaC; следовательно, AaC

AeB, BaC; следовательно, AeC

AaB, BiC; следовательно, AiC

AeB, BiC; следовательно, AoC

В средние века по мнемоническим причинам их называли соответственно «Барбара», «Селарент», «Дарии» и «Ферио». [24]

Разница между первой фигурой и двумя другими фигурами состоит в том, что силлогизм первой фигуры завершен, а второй и четвертой - нет. Это важно в теории Аристотеля о силлогизме, поскольку первая фигура аксиоматична, а вторая и третья требуют доказательства. Доказательство второй и третьей фигур всегда приводит к первой фигуре. [25]

Силлогизм на втором рисунке [ править ]

Это то, что Робин Смит говорит по-английски, а Аристотель сказал на древнегреческом: «... Если M принадлежит каждому N, но не принадлежит X, то и N не будет принадлежать никакому X. Ибо если M не принадлежит X, то и X не принадлежит. принадлежат любому M; но M принадлежало каждому N; следовательно, X не будет принадлежать никакому N (поскольку снова появилась первая фигура) ". [26]

Приведенное выше утверждение можно упростить, используя символический метод, использовавшийся в средние века:

Если MaN

но MeX

затем NeX.

Если MeX

затем XeM

но MaN

поэтому XeN.

Когда четыре силлогистических утверждения a, e, i, o помещаются во вторую фигуру, Аристотель приходит к следующим допустимым формам дедукции для второй фигуры:

MaN, MeX; поэтому NeX

MeN, MaX; поэтому NeX

MeN, MiX; поэтому NoX

MaN, MoX; поэтому NoX

В средние века по мнемоническим причинам их называли соответственно «Camestres», «Cesare», «Festino» и «Baroco». [27]

Силлогизм на третьем рисунке [ править ]

Аристотель говорит в «Предыдущей аналитике»: «... Если один термин принадлежит всем, а другой - ни одному из них, или если они оба принадлежат всем или ни одному из них, я называю такую ​​цифру третьей». Ссылаясь на универсальные термины, «... тогда, когда и P, и R принадлежат каждому S, это неизбежно приводит к тому, что P будет принадлежать некоторому R.» [28]

Упрощение:

Если PaS

и RaS

затем PiR.

Когда четыре силлогистических утверждения a, e, i, o помещаются на третью цифру, Аристотель разрабатывает еще шесть правильных форм дедукции:

PaS, RaS; поэтому PiR

ПеС, РаС; поэтому PoR

ПиС, РаС; поэтому PiR

ПаС, РиС; поэтому PiR

PoS, RaS; поэтому PoR

ПеС, РиС; поэтому PoR

В средние века по мнемоническим причинам эти шесть форм назывались соответственно: «Дарапти», «Фелаптон», «Дисамис», «Датиси», «Бокардо» и «Ферисон». [29]

Таблица силлогизмов [ править ]

Таблица силлогизмов [30]
ФигураОсновное помещениеВторостепенное помещениеВыводМнемоническое имя
Первая фигураAaBBaCAaCБарбара
AeBBaCAeCCelarent
AaBBiCAiCДарий
AeBBiCAoCФерио
Вторая фигураЧеловекMeXNeXКаместры
ЛюдиМаксимумNeXЧезаре
ЛюдиСмешиваниеNoXFestino
ЧеловекMoXNoXБароко
Третья фигураPaSRaSPiRДарапти
PeSRaSPoRФелаптон
PiSRaSPiRDisamis
PaSRiSPiRДатиси
PoSRaSPoRБокардо
PeSRiSPoRФерисон

Принятие Буля Аристотеля [ править ]

Комментарийрия в Analytica priora Aristotelis , 1549

Непоколебимое принятие Джорджем Буля логикой Аристотеля подчеркивается историком логики Джоном Коркораном в доступном введении в « Законы мышления» [31]. Коркоран также написал поэтапное сравнение предшествующей аналитики и законов мысли . [32] Согласно Коркорану, Буль полностью принял и поддержал логику Аристотеля. Цели Буля заключались в том, чтобы «пойти ниже, превзойти и превзойти» логику Аристотеля:

  1. обеспечение его математической основой, включающей уравнения;
  2. расширение класса задач, которые он может решить - от оценки достоверности до решения уравнений; и
  3. расширение диапазона приложений, с которыми он может работать - например, от предложений, содержащих только два термина, до предложений, содержащих произвольно много.

В частности, Буль согласился с тем, что сказал Аристотель ; «Разногласия» Буля, если их можно так назвать, касаются того, чего не сказал Аристотель. Во-первых, в области основ Буль свел четыре пропозициональные формы логики Аристотеля.формулам в форме уравнений - сама по себе революционная идея. Во-вторых, в области логических проблем добавление Буля решения уравнений к логике - еще одна революционная идея - включало доктрину Буля, согласно которой правила вывода Аристотеля («совершенные силлогизмы») должны дополняться правилами решения уравнений. В-третьих, в области приложений система Буля могла обрабатывать многосторонние предложения и аргументы, тогда как Аристотель мог обрабатывать только двухчленные предложения и аргументы субъект-предикат. Например, система Аристотеля не могла вывести: «Ни один четырехугольник, который является квадратом, не является прямоугольником, который является ромбом», из «Ни один квадрат, который является четырехугольником, не является ромбом, который является прямоугольником» или из «Ни один ромб, который является прямоугольником, не является прямоугольником». квадрат, то есть четырехугольник ».

См. Также [ править ]

  • Закон идентичности
  • Reductio ad absurdum

Примечания [ править ]

  1. ^ Аристотеля приора Analytic Классический архив с, Массачусетский технологический институт
  2. ^ Эгли, Урс. 1986. "Стоический синтаксис и семантика". Стр. 135–47 в Les Stoiciens et leur logique(1-е изд.), Под редакцией Дж. Брюншвига. Париж: Врин. (2-е изд., 2006 г., стр. 131–48): «Мы не должны позволять современным стандартным системам заставлять нас искажать наши интерпретации древних доктрин. Хорошим примером является интерпретация Коркорана-Смайли аристотелевской категориальной силлогистики, которая позволяет нам переводить фактические детали изложения Аристотеля почти по предложениям в современные обозначения (Corcoran 1974a; Smiley 1973). Лукасевич (1957) однажды подумал, что большинство более конкретных методов Аристотеля неадекватны, потому что они не могут быть сформулированы в известных тогда современных системах. Он пришел к такой формулировке, лишь до известной степени исказив мысль Аристотеля. В этом отношении Коркоран »эта интерпретация намного превосходит другие, поскольку она очень близка к текстам, но при этом полностью верна с точки зрения современной логики ».
  3. ^ * Обзор «Аристотель, предшествующая аналитика: книга I, Гизела Страйкер (перевод и комментарии), Oxford UP, 2009, 268 стр., 39,95 долл. США (pbk), ISBN  978-0-19-925041-7 ». в « Философских обзорах Нотр-Дама» , 02.02.2010 .
  4. ↑ Патрик Хью Бирн (1997). Анализ и наука у Аристотеля . SUNY Нажмите. п. 3. ISBN 0-7914-3321-8. ... хотя «разлагать» - наиболее распространенное значение слова «анализировать» в современный период - входит в число значений Аристотеля, это не единственное значение, не главное значение, не то значение, которое лучше всего характеризует работу «Аналитика».
  5. ^ Джонатан Барнс, изд. (1995). Кембриджский компаньон Аристотеля . Издательство Кембриджского университета. п. 27. ISBN 0-521-42294-9. Первая логика истории также оказала самое большое влияние ...
  6. ^ Смит, Робин (1989). Аристотель: предшествующая аналитика . Hackett Publishing Co., стр. XIII – XVI. ISBN 0-87220-064-7. ... Это приводит его к тому, что я считаю наиболее оригинальным и блестящим открытием во всей работе.
  7. ^ Лагерлунд, Хенрик (2000). Модальная силлогистика в средние века . БРИЛЛ. С. 3–4. ISBN 978-90-04-11626-9. В « Предварительной аналитике» Аристотель представляет первую логическую систему, т. Е. Теорию силлогизмов.
  8. Перейти ↑ Striker, Gisela (2009). Аристотель: предшествующая аналитика , книга 1 . Издательство Оксфордского университета. п. хх. ISBN 978-0-19-925041-7.
  9. ^ РБК Гюйгенс (1997). Ищете рукописи ... а потом? . Очерки средневековых исследований: Материалы Средневековой ассоциации Иллинойса. 4 . Средневековая ассоциация Иллинойса.
  10. ^ Эббесен Стен (2008). Греко-латинское философское взаимодействие . ООО «Ашгейт Паблишинг», стр. 171–173. ISBN 978-0-7546-5837-5. Авторитетные тексты порождают комментарии. Боэт из Сидона (конец I века до нашей эры?), Возможно, был одним из первых, кто написал книгу о предшествующей аналитике .
  11. ^ Нолт, Джон; Рогатин, Деннис (1988). Логика: набросок теории и проблем Шаума . Макгроу Хилл. п. 1. ISBN 0-07-053628-7.
  12. ^ Робин Смит. Аристотель: предшествующая аналитика . п. XVII.
  13. ^ Джон Нолт / Деннис Рогатин. Логика: Очерк теории и проблем Шаума . С. 274–275.
  14. ↑ Анагностопулос, Георгиос (2009). Товарищ Аристотеля . Вили-Блэквелл. п. 33. ISBN 978-1-4051-2223-8.
  15. ^ Patzig, Гюнтер (1969). Теория силлогизма Аристотеля . Springer. п. 49. ISBN 978-90-277-0030-8.
  16. ^ Кембриджский компаньон Аристотеля . С. 34–35.
  17. ^ Кембриджский компаньон Аристотеля . п. 35. В основе силлогистики Аристотеля лежит теория особого класса аргументов: аргументы, имеющие в качестве посылок ровно два категориальных предложения с одним общим термином.
  18. ^ Робин Смит. Аристотель: предшествующая аналитика . п. XVIII.
  19. ^ Хенрик Легерлунд. Модальная силлогистика в средние века . п. 4.
  20. ^ Рассел, Бертран; Блэквелл, Кеннет (1983). Кембриджские очерки, 1888-99 . Рутледж. п. 411. ISBN 978-0-04-920067-8.
  21. ^ Великие книги западного мира . 8 . п. 40.
  22. ^ Робин Смит. Аристотель: предшествующая аналитика. п. 4.
  23. ^ Кембриджский компаньон Аристотеля . п. 41.
  24. ^ Кембриджский компаньон Аристотеля . п. 41.
  25. ^ Хенрик Легерлунд. Модальная силлогистика в средние века . п. 6.
  26. ^ Робин Смит. Аристотель: предшествующая аналитика . п. 7.
  27. ^ Кембриджский компаньон Аристотеля . п. 41.
  28. ^ Робин Смит. Аристотель: предшествующая аналитика . п. 9.
  29. ^ Кембриджский компаньон Аристотеля . п. 41.
  30. ^ Кембриджский компаньон Аристотеля . п. 41.
  31. ^ Джордж Буль . 1854/2003. «Законы мысли», факсимиле издания 1854 г., с введением Дж. Коркорана. Буффало: Книги Прометея (2003). Обзор Джеймса ван Эвра в книге «Philosophy in Review» 24 (2004) 167–169.
  32. ^ Джон Коркоран, Предварительная аналитика Аристотеля и логические законы мысли, История и философия логики, т. 24 (2003), стр. 261–288.

Библиография [ править ]

Переводы
  • Аристотель, Prior Analytics , перевод Робина Смита, Индианаполис: Hackett, 1989.
  • Аристотель, Книга I предварительной аналитики , перевод Гизелы Страйкер, Оксфорд: Clarendon Press, 2009.
Исследования
  • Коркоран, Джон, (ред.) 1974. Древняя логика и ее современные интерпретации. , Дордрехт: Рейдел.
  • Коркоран, Джон, 1974a. «Система естественного вывода Аристотеля». Древняя логика и ее современные интерпретации , стр. 85-131.
  • Лукасевич, Янв, 1957. Силлогистика Аристотеля с точки зрения современной формальной логики. 2-е издание. Оксфорд: Clarendon Press.
  • Смайлик, Тимоти. 1973. "Что такое силлогизм?", Журнал философской логики , 2, стр.136-154.

Внешние ссылки [ править ]

  • Текст Предварительной аналитики доступен в архиве классической литературы MIT .
  • Prior Analytics , пер. Автор: AJ Jenkinson
  • Общедоступная аудиокнига до Analytics на LibriVox
  • Предыдущая аналитика - Несжатая аудиокнига
  • Аристотель: Логическая запись Луи Гроарка в Интернет-энциклопедии философии
  • Смит, Робин. «Логика Аристотеля» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
  • Предыдущая аналитика Аристотеля: теория категориального силлогизма аннотированная библиография по силлогистике Аристотеля