Категорический силлогизм. Фигуры и модусы Реферат по предмету "Логика"
    Умозаключения, в которых вывод получается из нескольких посылок, называются опосредствованными. Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, вывод в котором получается из двух категорических суждений. Таким образом, простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье - заключением.
    В отличие от терминов суждений - субъекта (S) и предиката (P) - понятия, входящие в состав силлогизма, называются терминами силлогизма. Различают меньший, больший и средний термины.
    Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и P (больший термин).
    Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой, посылка, в которую входит больший термин, называется большей посылкой.
    Для удобства анализа силлогизма посылки принято располагать в определенной последовательности: большую - на первом месте, меньшую - на втором. Под чертой записывают заключение. Однако в практике рассуждения такой порядок необязателен. Меньшая посылка может находиться на первом месте, большая - на втором.
    Посылки различаются не их местом в силлогизме, а входящими в них терминами.
    Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении. Средний термин обозначается латинской буквой М (от лат. medius - средний).
    Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката заключения) устанавливается благодаря их отношению к среднему термину. В самом деле, из большей посылки нам известно отношение большего термина к среднему, из меньшей посылки - отношение меньшего термина к среднему. Зная отношение крайних терминов к среднему, мы можем установить отношение между крайними терминами.
    Таким образом, вывод из посылок оказывается возможным потому, что средний термин выполняет роль связующего звена между двумя крайними терминами силлогизма.
    Итак, простой категорический силлогизм - это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
    А теперь перейдем к рассмотрению понятия аксиома силлогизма. Аксиомой называется исходное положение теории, которое принимается за истинное без доказательств и которое обосновывает другие положения теории. Аксиома силлогизма - это положение, обосновывающее правомерность его вывода, т.е. логического перехода от посылок к заключению.
    Известны две формулировки аксиомы: атрибутивная и объемная.
    Первая выражает связь между предметом и его признаком: признак признака некоторой вещи есть признак самой этой вещи; то, что противоречит признаку вещи, противоречит и вещи. ............