МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ
РОССИЙСКОЙ ФЕДЕРАЦИИ
Г
ОСУДАРСТВЕННАЯ
ПОЛЯРНАЯ АКАДЕМИЯ
КАФЕДРА ФИЛОСОФИИ И СОЦИАЛЬНО-ГУМАНИТАРНЫХ НАУК
Н.В.ФЕДОРЕНКО
ЛОГИКА
Учебное пособие
ДЛЯ СТУДЕНТОВ, ОБУЧАЮЩИХСЯ
ПО КВАЛИФИКАЦИИ (СТЕПЕНЬ) « БАКАЛАВР»
Санкт-Петербург
2012
ББК 87.4
Ф 33
Федоренко Н.В. Логика. Учебное пособие для студентов, обучающихся по квалификации (степень) " бакалавр". – СПб., 2012. - 202 с.
Рекомендовано к печати Учебно-методическим советом
Государственной полярной академии. Протокол № ___ от __________
Утверждено на заседании кафедры философии и социально-гуманитарных наук.
Протокол № 7от 12.04. 2012 г.
Автор:
Доцент кафедры философии и социально-гуманитарных наук ГПА
Федоренко Н.В.
Рецензенты:
Зав. кафедрой философии СПбГТИ (ТУ)
Д.ф.н., проф. Владимир Николаевич Дуденков
Д.ф.н., проф. кафедры философии и
социально-гуманитарных наук ГПА Андрей Петрович Желобов
Учебное пособие по логике предназначено для бакалавров направлений «экономика», «экология и природопользование», «водные биоресурсы и аквакультура», «государственное и муниципальное управление», «филология» Государственной полярной академии, изучающих на 1-м и 2-м курсах дисциплину «Логика».
Пособие призвано помочь студентам в самостоятельном изучении дисциплины.
©Н.В. Федоренко , 2012
©Государственная полярная академия, 2012
Содержание
Глава I. Предмет логики ………………………………………………….…...3
Глава II. Принципы формальной логики………………………………/…….7
Глава III. Понятие как форма абстрактного мышления……………………14
Глава IV. Суждение как форма абстрактного мышления …………….........33
Глава V. Умозаключение как форма абстрактного мышления …………....72
Глава VI. Основы теории аргументации …………………………………...139
Глава VII. Формы научного мышления ……………………………………186
VIII. Список рекомендуемой литературы…………………………………..196
IX. Список символов логики ………………………………………/…….…199
I. Предмет логики
С древних времен ученые мужи увидели, что рассуждения о каких-либо предметах подчинены определенному порядку, который не зависит от желания и воли рассуждающего. Достаточно принять некоторые предпосылки, чтобы прийти к строго определенным выводам независимо от того, нравятся нам эти выводы или нет. При этом ход рассуждения имеет одну и ту же канву независимо от характера предметов, о которых мы рассуждаем. Например, если мы признаем, что человека, нарушившего закон, нужно наказать, а П. нарушил закон, то, хотим мы того или нет, вынуждены сделать вывод, что П. следует наказать. Если мы соглашаемся, что минералы — неорганические вещества, а мрамор — минерал, то должны согласиться с тем, что мрамор — неорганическое вещество.
Несмотря на разное фактическое содержание приведенных примеров, в обоих выявляется общая схема перехода от одних мыслей к другим, от предпосылок к выводу. Эта схема представляет собой, образно говоря, мысленную тару, которая в зависимости от ситуации наполняется самым разнообразным содержанием, потому что в ней закрепились наиболее общие соотношения, существующие объективно между предметами действительности.
Приведенные примеры показывают, что, если какой-нибудь предмет втягивается в сферу рассуждения, то тут же проявляется некая независимая от рассуждающего сила, которая принуждает его выстраивать цепочку мыслей по строго заданной схеме. Эта принудительная сила есть отражение объективной необходимости, которая проявляет себя всякий раз, когда мысленный процесс создает для этого достаточные условия. В повторении одних и тех же схем рассуждения находят свое выражение логические законы, управляющие процессом мышления.
Исследуемые логикой схемы рассуждений, правила их построения и преобразования выявляются и изучаются в языковых конструкциях. Но логика не имеет дела с конкретным содержанием этих конструкций. Сферой ее изучения является только форма таких конструкций, т.е. определенный способ связи элементов мысли, способ их организации в целостную структуру. Например, предложения «Все люди — смертны» и «Все озера — натуральные водоемы» представляют собой одинаковые языковые конструкции, хотя в каждом из них речь идет о разных объектах — людях и озерах. Однотипность этих предложений очевидна, но если заменить в них имена обсуждаемых предметов, скажем, буквой А, а имена тех классов, к которым данные предметы отнесены, буквой В, то общая форма предложений будет восприниматься более отчетливо: «Все А суть В». Логике нет дела до того, что первая конструкция содержит ложную информацию, а вторая — истинную. Она лишь указывает на то, что подобные схемы, наполненные конкретным содержанием, имеют свойство выражать истину или ложь.
Схема второй конструкции лежит в основе логических выводов, примерами одного из видов которых являются следующие: « Все кустарники – растения, а сирени – кустарники, значит, сирени – растения». «Все металлы — химические элементы, а железо — это металл, значит, железо — химический элемент». Четкое представление об однотипности структур позволяет замещать имена объектов, о которых идет речь, буквенными символами: «Все А(кустарники, металлы) суть В (растения, химические элементы), а С( сирень, железо) есть А, значит, С есть А». Здесь мы имеем дело с логической формой, лежащей в основе выведения конкретного предложения (заключения) из исходных предложений (посылок).
Существует множество схем логических выводов. Из одних схем путем их преобразования можно получить другие. Можно, например, перестроить приведенные примеры таким образом:
«Все кустарники — растения, а сирени тоже растения, значит, сирени — это кустарники», «Все металлы — химические элементы, а железо тоже химический элемент, значит, железо — металл», получив схему: «Все А суть В, а С тоже есть В, значит, С есть А». В обоих случаях примеры состоят из одних и тех же предложений, однако связаны последние по-разному. Не надо прилагать особых усилий, чтобы заметить, что в первом случае заключение «принудительно» следует из посылок, и при условии их истинности оно будет истинным, а во втором принудительность отсутствует, поэтому истинность посылок не гарантирует истинности заключения. В самом деле, являясь химическим элементом, вещество не обязательно должно быть металлом.
Рассмотрим правильные и неправильные схемы рассуждений.
Правильные логические формы выражают устойчивые связи между объектами любой природы, закрепленные в мышлении в виде логических законов. Правильная форма не только является способом организации элементов мысли, но и несет знания о реальных отношениях, настолько общие, что они истинны для объектов любой природы — и материальной, и духовной.
Например, логическая форма «А есть или не есть В» выражает универсальный закон, который говорит о том, что некоторый объект или имеет некое свойство, или не имеет его. В логике это положение получило название закона исключенного третьего и применительно к ее предмету формулируется следующим образом: не могут быть истинными и одновременно ложными два высказывания, в одном из которых нечто утверждается об определенном объекте, а в другом то же самое отрицается относительно его.
Логические формы мышления и выраженные в них универсальные знания непроизвольно, без участия сознания, впитываются человеком на самых ранних стадиях его развития благодаря усвоению языка, ознакомлению с окружающей средой. Эти знания представляют собой фундамент, на котором происходит становление личности, орудие ее интеллектуального совершенствования.
Ветвь логики, исследующая формы мышления, воплощенные в структурах языковых образований, получила название формальной логики. Элементы формальных структур она рассматривает как пустые места, которые могут быть заняты любыми объектами — именами, высказываниями, свойствами, действиями и т.п. Только характер отношений, отражаемых той или иной формой, определяет природу объектов, которые могут находиться в этих отношениях.
Формальная логика, таким образом, имея дело только с формой как средством выражения некоторого содержания, тем самым остается безразлична к этому содержанию, утверждая, что если имеются некоторые исходные сведения, связанные между собой в определенную логическую структуру, то законы логики обеспечат выведение из них определенных результатов. Приступим к осмыслению основных форм мыслительной деятельности, присущих любому человеку как родовому существу независимо от расы и народности, страны проживания и вероисповедания.
Логика – это философская наука, изучающая формы, принципы и законы мыслительной деятельности для построения правильных систем знаний. Она изучает также и ошибки, связанные с нарушением принципов и законов логики.