Средний термин
Cтраница 3
Посмотрим сначала, что является большим теримном и что является меньшим термином. Это можно сделать общим образом относительно трех фигур или специально относительно первой фигуры. В специальном случае первой фигуры большим термином будет то, что является сказуемым относительно среднего термина, а меньшим термином будет то, что является подлежащим относительно среднего термина. Но все это мы утверждаем только по первой фигуре, ибо в первой фигуре средний термин то является сказуемым, то является подлежащим. Но так как в остальных двух фигурах нет никакого различия между крайними терминами и средним термином, то очевидно, что наше первоначальное определение неприменимо к ним. [31]
Прежде чем познакомиться с современными исследованиями, полезно разъяснить подробнее законы формальной силлогистической логики. На схеме, показанной на 13.3 ( Erickson, 1974), представлены различные формы силлогизма; предикат вывода обозначен через Р, а субъект вывода - через S. Большая посылка связывает предикат вывода ( честный в первом из нижеприведенных примеров) со средним термином, М ( посещающие церковь); младшая посылка связывает субъект вывода ( политики) со средним термином, и вывод связывает субъект с предикатом. [32]
Посмотрим сначала, что является большим теримном и что является меньшим термином. Это можно сделать общим образом относительно трех фигур или специально относительно первой фигуры. В специальном случае первой фигуры большим термином будет то, что является сказуемым относительно среднего термина, а меньшим термином будет то, что является подлежащим относительно среднего термина. Но все это мы утверждаем только по первой фигуре, ибо в первой фигуре средний термин то является сказуемым, то является подлежащим. Но так как в остальных двух фигурах нет никакого различия между крайними терминами и средним термином, то очевидно, что наше первоначальное определение неприменимо к ним. [33]
 |
Иллюстрация к гипотезе о репрезентации основных форм посылок, используемых в силлогизмах [ Johnson-Laird, Steedman, 1978 ]. [34] |
На рис. 185 приведены данные, иллюстрирующие гипотезу о репрезентации посылок силлогизма. Основная идея состоит в том, что соединенные в посылках понятия репрезентируются конкретными примерами, к которым применяются содержащиеся в посылках отношения. Считается, что интеграция содержащейся в посылках информации осуществляется соответственно следующему эвристическому правилу: репрезентации посылок соединяются так, что оба крайних термина, А и С, соединяются с помощью среднего термина В. В результате возникают обусловленные элементами В связи между элементами А и С, которые в соответствии с представленными на рис. 185 правилами преобразуются в заключение. На рис. 186 на нескольких примерах показано возникновение эффекта фигуры вследствие описанных здесь допущений. Интеграция исходной информации обусловливает вывод нового знания. Это происходит не в соответствии с правилами фор-мальной логики ( о чем свидетельствуют ошибочные заключения на рис. 186 справа), а согласно закономерностям интеграции информации в семантически связанные комплексы. [35]
Прежде чем познакомиться с современными исследованиями, полезно разъяснить подробнее законы формальной силлогистической логики. На схеме, показанной на 13.3 ( Erickson, 1974), представлены различные формы силлогизма; предикат вывода обозначен через Р, а субъект вывода - через S. Большая посылка связывает предикат вывода ( честный в первом из нижеприведенных примеров) со средним термином, М ( посещающие церковь); младшая посылка связывает субъект вывода ( политики) со средним термином, и вывод связывает субъект с предикатом. [36]
Сюда относится и другое крупное недоразумение, в котором повинен Лукасевич. В связи с тем коренным преобразованием, которым, по Лукасевичу, логика обязана Аристотелю и которое сводится к тому, что он ввел в логику понятие переменной, Лукасевич протестует против возможности признания в логике объемного характера соответствующих терминов при интерпретации понятия переменных. Приведя образец силлогизма по модусу Barbara: Если все птицы - живые существа и все вороны - птицы, то все вороны - живые существа, - Лукасевич замечает, что, согласно объяснению Аристотеля, крайними терминами являются живое существо и ворона, а птица будет средним термином. Очевидно-добавляет Лукасевич, - что больший термин так называется потому, что он наибольший по объему, тогда как меньший термин является наименьшим ( стр. [37]
Из этого следует, что А есть предикат, а В - субъект того заключения, которое мы должны силлогистически обосновать. А называется, как мы позднее увидим, большим термином, В - меньшим, С есть средний термин. Положение среднего термина в качестве субъекта или предиката посылок является тем принципом, посредством которого Аристотель делит модусы силлогизма на фигуры. В первой фигуре средний термин является субъектом по отношению к большему термину и предикатом по отношению к меньшему термину, во второй фигуре он является предикатом, а в последней фигуре - субъектом по отношению к обоим другим терминам. Аристотель, однако, ошибается, когда говорит, что каждый силлогизм должен быть отнесен к одной из этих трех фигур. [38]
Фигуры и модусы силлогизма - разновидности силлогизма ( Силлогистика), зависящие от положения среднего термина в посылках и от того, какие суждения по количеству и качеству ( общеутвердительные, частноутвердительные, общеотрицательные и частноотрицательные - см. Суждение) составляют посылки и вывод силлогизма. В первой фигуре средний термин занимает место субъекта в большей посылке и предиката - в меньшей; во второй в обеих посылках - место предиката; в третьей в обеих посылках - место субъекта. Эти фигуры были установлены Аристотелем. Четвертая фигура, в к-рой средний термин занимает место предиката в большей и место субъекта в меньшей посылке, была присоединена последователями Аристотеля. Классическая логика насчитывает 19 модусов; совр. [39]
Лукасевич заявляет, что впервые Теофраст нашел для бездомных в аристотелевской системе модусов четвертой фигуры место среди модусов первой фигуры. Для этого якобы Теофраст вынужден был ввести некоторые изменения в аристотелевское определение первой фигуры. Вместо того чтобы говорить, что в первой фигуре средний термин является субъектом большей и предикатом меньшей посылки, как это делал Аристотель ( курсив мой. Теофраст говорил вообще, что в первой фигуре средний термин является субъектом в одной посылке и предикатом - в другой ( стр. [40]
Посмотрим сначала, что является большим теримном и что является меньшим термином. Это можно сделать общим образом относительно трех фигур или специально относительно первой фигуры. В специальном случае первой фигуры большим термином будет то, что является сказуемым относительно среднего термина, а меньшим термином будет то, что является подлежащим относительно среднего термина. Но все это мы утверждаем только по первой фигуре, ибо в первой фигуре средний термин то является сказуемым, то является подлежащим. Но так как в остальных двух фигурах нет никакого различия между крайними терминами и средним термином, то очевидно, что наше первоначальное определение неприменимо к ним. [41]
СИЛЛОГИСТИКА - учение о силлогистическом умозаключении ( силлогизме), исторически первая, сформулированная Аристотелев, логическая система дедукции. Примером силлогизма будет: Если всякий металл электропроводен и некоторые жидкости - металлы, то некоторые жидкости - злектропроводны. Силлогизм обычно состоит из трех суждений: двух посылок и заключения. Суждения, содержащие термин, не входящий в заключение ( его наз. В зависимости от положения среднего термина в посылках все силлогизмы делятся на четыре фигуры, в к-рых в зависимости от вида логических констант ( присуще всем, не присуще ни одному, присуще некоторым, не присуще некоторым), связывающих термины, выделяются модусы. [42]
СИЛЛОГИСТИКА - учение о силлогистическом умозаключении ( силлогизме), исторически первая, сформулированная Аристотелем логическая система дедукции. Силлогизм состоит из трех терминов, составляющих попарно три суждения субъектно-предикативной структуры: двух посылок и заключения. Суждения в силлогизме различаются по качеству - утвердительные или отрицательные и по количеству - общие или частные. Суждения, содержащие термин, не входящий в заключение ( наз. В зависимости от положения среднего термина в посылках ( является ли он субъектом или предикатом) все силлогизмы делятся на четыре фигуры. А в зависимости от качества и количества составляющих силлогизм суждений каждая из четырех фигур силлогизма подразделяется на различные модусы силлогизма. Использованием средств и методов математической логики достигается построение С. [43]
Ошибочное определение большего и меньшего терминов, данное Аристотелем для первой фигуры, так же как и принятая им сбивчивая терминология, уже в древности были источниками затруднений. Проблема возникает уже в случае второй фигуры. Все модусы этой фигуры имеют отрицательное заключение, а первые два модуса, позднее названные Cesare и Camestres, дают общеотрицательное заключение. Из посылок М присуще всякому N и М не присуще ни одному X следует заключение X не присуще ни одному N, а через обращение этого результата мы получаем второе заключение N не присуще ни одному X. В обоих силлогизмах М есть средний термин, но как нам решить, который из двух оставшихся терминов, N и X, является большим термином, а который - меньшим. [44]
Посмотрим сначала, что является большим теримном и что является меньшим термином. Это можно сделать общим образом относительно трех фигур или специально относительно первой фигуры. В специальном случае первой фигуры большим термином будет то, что является сказуемым относительно среднего термина, а меньшим термином будет то, что является подлежащим относительно среднего термина. Но все это мы утверждаем только по первой фигуре, ибо в первой фигуре средний термин то является сказуемым, то является подлежащим. Но так как в остальных двух фигурах нет никакого различия между крайними терминами и средним термином, то очевидно, что наше первоначальное определение неприменимо к ним. [45]
Страницы: 1 2 3