Курс лекций по "Логике"

16. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ

       Умозаключение– это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение. 
      Структура всякого умозаключения подразумевает посылки (исходные суждения), заключения (выводы из этих посылок) и логическую связь между посылками и заключением. Из этого можно сделать следующий вывод, что в посылках и умозаключении речь должна идти об одной и той же предметной области. Логический переход от посылок к заключению называется выводом. Все металлы проводят электрический ток. Железо – металл. 
      Железо проводит электрический ток. Некоторые истины устанавливаются без всяких рассуждений, путем простого усмотрения того, что показывает наблюдение, или того, что представляется очевидным для мысли. Так, например: «Сейчас небо пасмурно». Истинность данного суждения доказывать не приходится, так как она очевидна. Целью умозаключения является выведение новой истины из ранее известной. Любое истинное умозаключение ведет мысль дальше того, что уже известно из посылок, присоединяет к ранее установленным истинам истину новую. 
      Умозаключение есть извлечение новой истины из ранее признанных и известных истин. 
      Умозаключение не просто присоединяет новую истину к известным, а выводит новую истину из посылок таким образом, что ее присоединение к посылкам сознается как совершенно необходимое и обязательное для мысли. 
      Так как умозаключение дает в выводе новую мысль и раскрывает необходимость связи между посылками и выводом, то умозаключение является очень важной формой логического мышления. 
      Связь между понятиями, раскрываемая умозаключением, необходима. Если посылки истинны, а в ходе умозаключения не сделано никакой логической ошибки, то вывод всегда будет истинным. Умозаключение раскрывает необходимость связи, существующей между посылками и выводом. 
      Непосредственными умозаключениями называются дедуктивные умозаключения, делаемые из одних посылок. К ним относятся следующие: превращение, обращение, противопоставление предикату и умозаключения по «логическому квадрату». 
       Превращение– вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки. Схема превращения: S есть Р; S не есть не-Р. 
      Обращением называется такое непосредственное умозаключение, в котором в заключении субъектом является предикат, а предикатом – субъект исходного суждения, т. е. происходит перемена мест субъекта и предиката при сохранении качества суждения. Схема обращения: S есть Р; Р есть S. 
       Противопоставление предикату– это непосредственное умозаключение, при котором предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Его схема: S есть Р; не-Р не есть S. 
       Умозаключение по «логическому квадрату»– это определение истинности или ложности одного суждения из истинности или ложности другого.

17. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ

       Умозаключение– это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение. 
      Структура всякого умозаключения подразумевает посылки (исходные суждения), заключения (выводы из этих посылок) и логическую связь между посылками и заключением. Из этого можно сделать следующий вывод, что в посылках и умозаключении речь должна идти об одной и той же предметной области. Логический переход от посылок к заключению называется выводом. Все металлы проводят электрический ток. Железо – металл. 
      Железо проводит электрический ток. Некоторые истины устанавливаются без всяких рассуждений, путем простого усмотрения того, что показывает наблюдение, или того, что представляется очевидным для мысли. Так, например: «Сейчас небо пасмурно». Истинность данного суждения доказывать не приходится, так как она очевидна. Целью умозаключения является выведение новой истины из ранее известной. Любое истинное умозаключение ведет мысль дальше того, что уже известно из посылок, присоединяет к ранее установленным истинам истину новую. 
      Умозаключение есть извлечение новой истины из ранее признанных и известных истин. 
      Умозаключение не просто присоединяет новую истину к известным, а выводит новую истину из посылок таким образом, что ее присоединение к посылкам сознается как совершенно необходимое и обязательное для мысли. 
      Так как умозаключение дает в выводе новую мысль и раскрывает необходимость связи между посылками и выводом, то умозаключение является очень важной формой логического мышления. 
      Связь между понятиями, раскрываемая умозаключением, необходима. Если посылки истинны, а в ходе умозаключения не сделано никакой логической ошибки, то вывод всегда будет истинным. Умозаключение раскрывает необходимость связи, существующей между посылками и выводом. 
      Непосредственными умозаключениями называются дедуктивные умозаключения, делаемые из одних посылок. К ним относятся следующие: превращение, обращение, противопоставление предикату и умозаключения по «логическому квадрату». 
       Превращение– вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки. Схема превращения: S есть Р; S не есть не-Р. 
      Обращением называется такое непосредственное умозаключение, в котором в заключении субъектом является предикат, а предикатом – субъект исходного суждения, т. е. происходит перемена мест субъекта и предиката при сохранении качества суждения. Схема обращения: S есть Р; Р есть S. 
       Противопоставление предикату– это непосредственное умозаключение, при котором предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Его схема: S есть Р; не-Р не есть S. 
       Умозаключение по «логическому квадрату»– это определение истинности или ложности одного суждения из истинности или ложности другого.

18,19. ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ И ЕГО ФИГУРЫ. ПРАВИЛА СИЛЛОГИЗМА

       Категорический силлогизм– это умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание. Логическая теория такого рода умозаключений называется силлогистикой. Она была создана еще Аристотелем и долгое время служила образцом логической теории. 
      В силлогистике «Все... есть...», «Некоторые... есть...», «Все... не есть...» и «Некоторые... не есть...» рассматриваются как логические постоянные. Подставляемые вместо точек имена называются терминами силлогизма. 
       Существенным является следующее традиционное ограничение:термины силлогизма не должны быть пустыми или отрицательными. 
      Примером силлогизма может быть. 
      1. Все рыбы не имеют перьев. 
      2. У всех птиц есть перья. 
      3. Ни одна птица не является рыбой. 
      В каждом силлогизме должно быть три термина: меньший, больший, средний. 
      Меньшим является термин, называющий субъект заключения. Предикат заключения является большим термином. Термин, который присутствует в посылках, но отсутствует в заключении, является средним термином. Посылка, в которую входит больший термин, является большей посылкой, а посылка, в которую входит меньший термин, – меньшей посылкой. Большая посылка записывается первой, меньшая – второй. 
       В зависимости от положения среднего термина в посылках различают четыре фигуры силлогизма:  
      1) в первой фигуре большая посылка должна быть общей, меньшая – утвердительной; 
      2) во второй фигуре: большая посылка – общая, одна из посылок и заключение – отрицательные; 
      3) в третьей фигуре – меньшая посылка должна быть утвердительной, а заключение – частное; 
      4) четвертая фигура общеупотребительных заключений не дает. 
      Модусами силлогизма называются разновидности фигур, отличающихся характером посылок и заключения. 
      Силлогизмы, как и все умозаключения, делятся на правильные и неправильные. Задача логической теории силлогизма – систематизировать правильные силлогизмы, указать их отличительные черты. 
      Так как категорические силлогизмы в мышлении встречаются весьма часто, то для получения истинного заключения необходимо соблюдать следующие правила: 
      1) в каждом силлогизме должно быть не больше, но и не меньше трех терминов; 
      2) средний термин должен быть распределен хотя бы в одной из посылок; 
      3) если термин распределен в посылке, то он должен (быть обязательно распределен и в заключении; 
      4) из двух отрицательных посылок заключение сделать нельзя; 
      5) заключение будет отрицательным, если одна из посылок является отрицательной; 
      6) нельзя сделать заключение из двух частных посылок; 
      7) если одна из посылок частная, то и заключение должно быть частным. 
       Наиболее распространенные ошибки при умозаключении по категорическому силлогизму такие:  
      1) заключение делается по первой фигуре с меньшей отрицательной посылкой. Все классные комнаты нуждаются в проветривании. Эта комната – не классная. Эта комната не нуждается в проветривании; 
      2) заключение делается по второй фигуре с двумя утвердительными посылками. 
      Все зебры полосатые. 
      Это животное полосатое. 
      Это животное – зебра.

20. СОФИЗМЫ КАК ЭЛЕМЕНТ СПОРА

       Софизм– это преднамеренное, но тщательно замаскированное нарушение требований логики. Его целью является выдача лжи за истину. Как преднамеренной ошибке ему противостоит паралогизм– непроизвольная логическая ошибка. 
      Китайский софист Гунсунь Лун верхом на белой лошади подъехал к пограничной страже. Начальник стражи заявил, что переходить границу могут только люди, переводить лошадей запрещено. На что Гунсунь Лун заметил: «Лошадь может быть рыжей, а белая лошадь не может быть рыжей, значит, это вовсе не лошадь». Удивленный таким доводом начальник стражи пропустил софиста вместе с лошадью. Софизм способен дезорганизовать другую сторону в споре. 
      Возникновение софизмов связывается с философией софистов. Софисты обучали за деньги искусству вести полемику. Для того чтобы доказать ту или иную точку зрения, они части прибегали к нарушению логических законов. Термин «софизм» был впервые введен Аристотелем, который охарактеризовал софистику как мнимую мудрость. 
       Условно софистов можно разделить на две группы:  
      1) старшие (вторая половина V в. до н. э. – Протагор, Антифронт и др.); 
      2) младшие (первая половина IV в. до н. э. – Алкидамант, Фразимах и др.). 
      Древние софизмы сформулированы в тот период, когда логики как таковой еще не было. И именно с софистов началось осмысление и изучение доказательства и опровержения. 
      В основном анализ софизма не может быть завершен раскрытием логической или фактической ошибки, которая в нем обязательно допущена. Еще нужно уяснить проблемы, стоящие за софизмом, а также выяснить, что послужило началом возникновения недоумения и беспокойства, которое он вызывает, и объяснить, что ему придает видимость убедительного рассуждения. 
      В развитии науки любое исследование начинается с постановки проблемы. «Проблема – исследование – решение», данная последовательность относится к любым стадиям развития теории и к различным видам деятельности человека. Отчетливая постановка задач является условием успеха исследования или иной деятельности. Но в теории, находящейся на начальном этапе своего развития, выдвижение проблем совпадает с процессом исследования и не может быть отделено от него. 
      Примером софизма может служить следующее выражение: «Знаешь ли ты человека под этим покрывалом? – „Нет“. – „Это твой отец. Ты не знаешь своего отца?“ 
      В том случае, когда нет еще твердой и развитой в деталях теории, принятой большинством исследователей, проблемы ставятся в расчете на будущую теорию. Данную форму выдвижения проблем называют парадоксальной, или софистической. 
      Парадоксы являются более серьезными по своему содержанию, чем софизмы. Появление в теории парадокса говорит о несовершенстве допущений, лежащих в ее основе. Пример парадокса: «Я убежден, что в мире нет никаких убеждений». 
      Грань между софизмами и парадоксами не является определенной. В случае многих рассуждений невозможно решить, к какому из этих двух классов, парадоксу или софизму, следует отнести данные рассуждения.

20. ПАРАДОКСЫ ЛОГИКИ КАК ЭЛЕМЕНТ ПРОЦЕССА ПОЗНАНИЯ

       Парадокс– это логически неразрешимое, два противоположных утверждения, каждое из которых имеет убедительные аргументы. 
      Например: «Я знаю, что я ничего не знаю». 
      Более резкой формой парадокса является антиномия – рассуждение, которое доказывает равнозначность двух утверждений, одно из которых отрицает другое. 
      Наиболее известны парадоксы в строгих и точных науках – математике и логике. 
      В логике нет экспериментов и нет фактов, она является абстрактной наукой. Логика исходит из анализа реального мышления, но данные результаты носят неразделенный характер. Они не являются определением каких-либо процессов или событий, которые должна объяснить теория. Данный анализ нельзя назвать наблюдением, так как в этом процессе наблюдается конкретное явление. 
      При создании новой теории отталкиваются от фактов, т. е. от того, что можно наблюдать на опыте. Поскольку теория имеет смысл только в случае согласования с относящимися к ней фактами, в противном случае она является надуманной и ценности не имеет. 
      Несоответствие логической теории и практики мышления в своем большинстве возникает в форме парадокса, а иногда и в форме логической антиномии. Этим и объясняется то значение, которое придается парадоксам в логике. В данном случае была бы необходима классификация парадоксов, но успеха в этом достигнуто не было. 
      Ф. Рамсеем было предложено разделить парадоксы у на синтаксические и семантические. По его мнению, синтаксические парадоксы должны содержать те понятия, которые принадлежат логике или математике. Семантические парадоксы включают понятия, относящиеся больше к лингвистике или теории познания. 
      Первоначально данное деление парадоксов широко использовалось. Но с течением времени становится ясно, что это деление довольно-таки нечетко и в основном опирается на примеры, а не на анализ. 
      В своем большинстве языки науки являются неточными, что приводит к непониманию споров и может привести к тупиковой ситуации. В неточном понятии граница области объектов определена смутно. 
      Парадоксы были открыты еще в Сpедние века, до возникновения логики. Ио по пpошествии вpемени они оказались забытыми и были открыты снова уже в настоящее время. 
      В Средние века такие понятия, как «множество» и «элемент множества», известны еще не были. Они были введены во второй половине XIX в. Ио уже в то далекое время высказывались опасения в отношении самоприменимых понятий. Ио данные опасения не вели к пересмотру способов мышления и выражения. 
      Парадоксы уклоняются от веры в то, что приемы мышления обеспечивают надежное продвижение к истине. 
      Парадоксы являются резкой критикой логики в ее интуитивной форме. Они выполняют роль фактора, который контролирует и ограничивает пути создания дедуктивных систем логики. Данную роль парадоксов можно сравнить с ролью эксперимента, проверяющего верность гипотез. Парадокс заключается в несовместимости допущений, лежащих в ее основе.