Сидорова Логика2011

И. М. СИДОРОВА

ЛОГИКА

Рекомендовано Методическим Советом Рыбинской государственной авиационной технологической академии имени П. А. Соловьева в качестве учебного пособия

Рыбинск 2011

2

УДК 16 (07)

Логика: Учебное пособие /Авт.-сост. И. М. Сидорова – Рыбинск: РГАТА имени П. А. Соловьева, 2011. – 156 с.

В учебном пособии рассмотрены основные темы курса формальной логики: история науки логики, предмет логики, понятие, суждение, умозаключение, опровержение и доказательство, гипотеза, законы формальной логики, теория аргументации. Пособие включает в себя контрольные вопросы, задачи и упражнения по данному курсу.

Учебное пособие предназначено для студентов, обучающихся по направлениям «Сервис», «Туризм», «Экономика», «Менеджмент» «Управление качеством» и др., а также для широкого круга читателей, интересующихся проблемами логики и теории аргументации.

РЕЦЕНЗЕНТЫ: кафедра истории и философии Ярославской государственной медицинской академии; д-р философских наук, профессор М. Н. Борисов

5

1. ИСТОРИЯ НАУКИ ЛОГИКИ

Отдельные логические проблемы возникали и обсуждались около 2,5 тыс. лет назад – сначала в Древней Индии и Древнем Китае. Затем они получают более полную разработку в Древней Греции и Риме. Постепенно они складываются в стройную систему, оформляются в самостоятельную науку.

Рождаясь в борьбе с мифологией и религией, наука основывалась на теоретическом мышлении, предполагающем умозаключения и доказательства. Отсюда – необходимость исследования природы самого мышления как формы познания.

Развитие логики стимулировалось развитием ораторского искусства, в том числе судебного, которое расцвело в условиях древнегреческой и римской демократии.

Логика возникла как стремление понять и показать, какими свойствами должна обладать речь, чтобы убеждать слушателей и вместе с тем вынуждать их с чем-либо соглашаться или не соглашаться, признавать что-то истинным или ложным.

Основоположником формальной логики является древнегреческий философ и ученый Аристотель (384-322 до н. э.), который впервые дал систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» формальной логикой. Это первый этап развития науки логики. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение, законы логики, доказательство и опровержение, гипотеза. Аристотель видел в логике орудие (или метод) исследования. В логике Аристотеля содержатся элементы математической (символической) логики.

Аристотель дал классификацию категорий – наиболее общих понятий – и классификацию суждений, формулировал три фундаментальных закона мышления – закон тождества, закон противоречия и закон исключенного третьего. Логическое учение Аристотеля замечательно тем, что в зародыше оно содержит, по существу, се позднейшие разделы, направления и типы логики – индуктивной, символической, диалектической. Термин «логика» вошел в научный оборот несколько позднее, в III в. до н. э. Причем в соответствии с двуединым смыслом древнегреческого слова «1оgоs» (и «слово», и «мысль») он объединял и искусство мыслить – диалектику, и искусство рассуждать – риторику. Лишь в дальнейшем этим термином стала обозначаться собственно логическая проблематика, а диалектика и риторика выделились в самостоятельные отрасли знания.

6

Софисты, и среди них Протагор, стали трактовать диалектику как искусство вестей беседу, спор. Протагор учил, что о каждом предмете чтото можно утверждать и то же самой можно отрицать. Эти идеи излагаются философом в работе «Антилогии», известной нам лишь по преданиям. Согласно софистам, в каждом утверждении есть доля истины, и надо лишь уметь это обосновать. Единой абсолютной истины не существует, а есть лишь совокупность достоверных мнений, любая истина относительна: «Человек есть мера всех вещей». По Протагору в объекте познания в «текучей материи», заключаются противоположные «логосы»; реальность изменчива и противоречива; каждый человек познает то, что соответствует ему как познающему субъекту, поэтому он и выступает в качестве меры, критерия всех вещей, Протагор славился как мастер вести споры, чему даже посвятил одну из своих работ – «Искусство спора». Гноссеологическими предпосылками дискуссий, возникновения различных, иногда противоположных, взглядов Протагор считал различие жизненного опыта субъектов познания, сложность и многообразие объектов познания, противоречивость развития явлений и хода познания, а также субъективные особенности органов чувств и общественную обусловленность процесса познания. Слово «софист», происходящее от древнегреческого «софос» – мудрец, впоследствии, в результате односторонней критики софистов Платоном, приобретает отрицательный смысл. Поэтому необходимо отличать античных софистов от современных. «Характерным отличием софистики античной от софистики современной было применение ею гибкости понятий и субъективно, и объективно».

Будучи гигантским обобщением предшествующей практики мышления, логика Аристотеля оказала мощное влияние на последующее развитие и прежде сего на научное познание, а также на развитие ораторского искусства, особенно судебных речей.

Важное значение имела логика стоиков (античная философская школа, III в. до н.э.). Стоическая логика представляет собой первый набросок так называемой логики пропозиций». Это значит, что если у Аристотеля эквивалентами терминов силлогизма служат обозначения отдельных вещей («субстанций»), то в стоической логике таковыми выступают развернутые суждения «пропозиции»), обозначающие смысл ситуаций или развернутых фактов.

В средние века большой общественный резонанс получила проблема общих понятий – «универсалий». Спор о них между реалистами и номиналистами растянулся на столетия. В Средневековье развивается логика диспута. Схоластическая логика использовала метод дискуссии, предло-

7

женный П. Абеляром в работе: «За и против». Суть его состоит в следующем. Любой текст превращался в объект дискуссии. Первая часть дискуссии заключалась в обосновании «начал» («да»); вторая – в их опровержении («нет»); третья – столкновение «да» и «нет» с последующим торжеством «да». Этот прием был распространен впоследствии на область научных исследований.

В эпоху Возрождения логика переживала настоящий кризис. Она расценивалась в качестве логики «искусственного мышления», основанного на вере, которому противопоставлялось естественное мышление, базирующееся на интуиции и воображении.

Новый, более высокий этап в развитии логики начинается с XVII в. Он связан с созданием в ее рамках наряду с дедуктивной логикой логики индуктивной. В ней нашли отражение многообразные процессы получения общих знаний на основе все более накапливавшегося эмпирического материала. Необходимость получения и обоснования знаний индуктивным методом отстаивал выдающийся английский философ и естествоиспытатель Фрэнсис Бэкон (1561-1626). Он и стал родоначальником индуктивной логики, написав в противовес старому «Органону» Аристотеля «Новый Органон...».

Индуктивная логика была позднее систематизирована и развита английским философом и ученым Джоном Стюартом Миллем (1806-1873).

Потребности научного познания не только в индуктивном, но и в дедуктивном методе в XVII в. наиболее полно воплотил французский философ и ученый Рене Декарт (1596-1650). В своем главном труде «Рассуждение о методе...», основываясь на данных прежде всего математики, он подчеркивает значение рациональной дедукции.

Второй этап – это появление математической (или символической) логики во второй половине ХIХ в.

Развитие математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали применение логики, для разработки теоретических оснований математики, и математизацию самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646-1716).

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIX в. Немецкий философ по праву считается основоположником математической (символической) логики. Начиная с Лейбница, в логике используется в качестве метода исследования метод формализации. В

8

XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков.

Математическая (или символическая) логика изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. При этом в математической логике для выявления структуры вывода строятся различные логические исчисления, прежде всего исчисление высказываний и исчисление предикатов в их различных модификациях. Разработка и применение так называемого формализованного языка – языка символов, определило название современной логики – «символическая».

Растущие потребности научно-технического прогресса обусловливают дальнейшее интенсивное развитие современной логики.

Еще Аристотель поставил и попытался решить ряд фундаментальных проблем диалектической логики. Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей Бэкона, Гоббса, Декарта, Лейбница. Однако как самостоятельная логическая наука, диалектическая логика начала оформляться лишь в конце XVIII – начале XIX вв.

Первым, кто попытался ввести диалектику в логику, был немецкий философ И. Кант (1724-1804). Кант считал, что логика есть «наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления...».

Кант считал, что наряду с «общей логикой», которую он впервые в ее истории назвал также «формальной логикой» необходима специальная, или «трансцендентальная логика». Главную задачу этой логики он усматривал в исследованиях таких, по его мнению, действительно основных форм мышления, как диалектические категории. Они служат условием всякого опыта и носят априорный, доопытный характер.

Попытку создать систему новой, диалектической логики предпринял другой немецкий философ – Г. Гегель (1770-1831) в своем основополагающем труде «Наука логики».

КОНТРОЛЬНЫЕ ВОПРОСЫ

1.Каковы причины возникновения науки логики?

2.Кто считается основоположником формальной логики?

3.Какой логический метод исследования Ф.Бэкон считал наиболее универсальным для науки?

4.Какой ученый ХVII в. внес значительный вклад в развитие дедуктивного метода?

9

5.Что изучает символическая (математическая) логика?

6.Кто ввел в науку понятие «формальной логики»?

7.Кто создал в ХIХ в. наиболее развитую систему диалектической

логики?

2. ПРЕДМЕТ ЛОГИКИ. ЛОГИКА И ЯЗЫК

Термин «логика» происходит от греческого слова lоgos, что значит «мысль», «слово», «разум», «закономерность». Логика изучает совокупность правил, которым подчиняется процесс мышления. Логика – это наука о правилах рассуждения и тех формах, в которых оно осуществляется.

Мышление изучается не только логикой, но и рядом других наук: психологией, кибернетикой, педагогикой и т. д., при этом каждая из них изучает мышление в определенном, присущем ей аспекте.

Познание есть построение смыслового (идеального) содержания мира в сознании людей. Окружающий мир и его свойства раскрываются нами в процессе познания. Чувственное познание имеет три основные формы: ощущение, восприятие и представление. Основными формами абстрактного, т. е. отвлеченного от непосредственно данной реальности мышления, являются понятия, суждения и умозаключения.

Понятие – форма мышления, в которой отражаются существенные (общие) признаки однородных предметов.

Суждение – форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях.

Умозаключение – форма мышления, посредством которой из одного' или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем заключение.

В процессе логического познания мы стремимся достичь истины. Логическая истина, или истинность, есть соответствие умозаключения тем правилам мышления, которые для него установлены.

Существенной особенностью абстрактного мышления является его неразрывная связь с языком.

Формальная логика – наука о законах и формах правильного мышления.

Основными формально-логическими законами обычно считаются:

1)закон тождества;

2)закон непротиворечивости;

10

3)закон исключенного третьего;

4)закон достаточного основания.

Эти законы (принципы) выражают определенность, непротиворечивость, доказательность мышления. Логические принципы призваны быть отражением связей и отношений вещей материального мира.

Логика изучает формы и законы правильного мышления. Мышление – это функция человеческого мозга, которая неразрывно связана с языком.

Язык – средство повседневного общения людей, средство общения в научной и практической деятельности. Язык имеет следующие функции: хранить информацию, быть средством выражения эмоций, быть средством познания. Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка.

Речь может быть устной или письменной, звуковой или незвуковой (как, например, у глухонемых), речью внешней (для других) или внутренней, речью, выраженной с помощью естественного или искусственного языка. С помощью научного языка, в основе которого лежит естественный язык, сформулированы положения всех наук.

На основе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах.

Имя – это слово или словосочетание, обозначающее какой-либо определенный предмет. Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения, процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления.

Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.

Знаки имеют предметные и смысловые значения. Предметное значение называют просто значением, а смысловое значение – смыслом. Общая теория знаков и знаковых систем – семиотика – рассматривает язык как систему знаков, связанных определенными, четко фиксируемыми отношениями. В качестве основных выделяют три вида отношений: синтаксические, семантические и прагматические. Синтаксические отношения – это отношения между знаками, которые фиксируются в способах и правилах образования и преобразования языковых выражений. Семантические