Источник: стр. 264, «Краткое введение в логику » (12-е изд., 2014 г.), Патрик Дж. Херли.
Каждый из трех терминов категорического силлогизма имеет свое имя в зависимости от его положения в аргументе. Больший термин по определению является сказуемым заключения, а меньший термин — подлежащим заключения.
Я уже пытался исследовать этимологии слов «мажор» и «минор» в OED и определения их этимонов на латыни.
major (прил.)
Используется в логике (см. смысл B.1 ) после постклассического латинского мажора (от a1225 в британских источниках, у Гроссетеста, Бэкона, Оккама, Виклифа и т. д.) и среднефранцузского мажора (c1354), среднего Французский, французский мажор (с XIV в.).майор = майор = 'больше, больше'
минор (прил.)
При использовании в качестве существительного в логике, обозначающего минорную посылку (см. смысл Б. 2 ), сравните постклассический латинский минор (женский род, с 13 в. в британских источниках), среднефранцузский mineur (женский род, 1373 г.; французский mineure , в отличие от mineur (мужского рода), обозначающего второстепенный термин).минор = 'меньший, низший, меньший'
Источник: стр. 22, «Уважительная причина», «Введение в неформальные заблуждения » (6-е изд., 2000 г.) профессора С. Морриса Энгеля, доктора философии (Торонто).
В аргументах этого типа может отсутствовать либо утверждение общего принципа (называемое в логике [M]большой [P]ремисой), либо явное указание на рассматриваемый случай ([M]меньшая [P]ремиса), либо вывод (вывод).
См . «Логику Аристотеля и средневековые теории силлогизма» :
В « Предшествующей аналитике » Аристотель представляет первую систему логики, теорию силлогизма. Силлогизм – это умозаключение, состоящее из трех предложений: двух посылок и заключения. Силлогистические предложения представляют собой категориальные предложения, включающие подлежащее и сказуемое, соединенные связкой (глаголом).
Подлежащее и сказуемое в категориальных предложениях, используемых в силлогизме, Аристотель назвал терминами ( horoi ). В силлогизме три термина: главный, второстепенный и средний. Больший и меньший называются крайними ( акра ), т. е. большим крайним ( мейзон акрон ) и малым крайним ( элаттон акрон ), и образуют сказуемое и подлежащее заключения. Средний ( мезонный ) термин — это то, что соединяет две посылки.
Таким образом, оригинальные технические аристотелевские имена были переведены на средневековую латынь, а «текущая» терминология имеет латинское происхождение.
Рассмотрим простой пример аристотелевского силлогизма :
Смертность принадлежит всем людям
Человечество принадлежит всем грекам
Следовательно, Смертность принадлежит всем грекам.
Это пример схемы Барбары (1-я фигура), где все предложения являются универсальными утвердительными утверждениями :
А принадлежит всем Б.
Таким образом, "Человечество (люди)" является средним термином, используемым как подлежащее в первой посылке и как предикат во второй. Средний термин — это то, что соединяет две посылки, выступая своего рода «звеном», и исчезает в заключении.
Таким образом, термин « мезон » («средний») вполне интуитивно понятен.
См. Prior Analytics , 25b32-26a2:
Я называю серединой тот термин, который и сам есть в другом, и содержит в себе другое: и в положении он занимает середину. Под крайностями я понимаю как то, что само находится в другом, так и то, в чем содержится другое.
Два других - это акра («крайности»); также это вполне естественно.
Первая крайность — это «мажор» ( мейзон акрон ), а последняя — «минор» ( элаттон акрон ).
См. Prior Analytics , 26a16-26a30:
Я называю большим тот термин, в котором содержится середина, а тот термин, который находится под серединой, меньшим.
С точки зрения «современной» теоретико-множественной интерпретации (см. Диаграмму Венна и Диаграммы Венна для категорических силлогизмов ), множество, соответствующее меньшему термину, включается в то, что соответствует среднему , которое, в свою очередь, входит в то, что соответствует большому термину . .
С точки зрения аристотелевского языка, старший термин «более универсален», чем средний, который, в свою очередь, «более универсален», чем второстепенный:
[ Пр.Ан. , Книга А, 46а39] В доказательствах, когда есть необходимость вывести что-то принадлежащее, средний термин, посредством которого формируется вывод, всегда должен быть ниже и не охватывать первый из крайних.
пользователь8572
пользователь8572
пользователь8572
The first extreme is the "major" (meizon akron) and the last one is the "minor" (elatton akron)
? Я до сих пор не понимаю, что является «большим» или «второстепенным» в основных и второстепенных терминах.пользователь8572