Структура логики

Предмет формальной логики

Предмет формальной логики составляют:

1) формы мыслительного процесса - понятие, суждение, умозаключение, гипотеза, доказательство и др.;

2) законы, которым подчиняется абстрактное мышление в процессе познания объективного мира и самого мышления;

3) методы получения нового выводного знания - сходства, различия, сопутствующих изменений, остатков и др.;

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

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

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

В свою очередь, общая логика подразделяется на два раздела по различию изучаемых объектов.

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

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

Значение логики состоит в следующем:

1) логика выступает важнейшим средством формирования убеждений (прежде всего научных). Эти убеждения опираются на доказательные процедуры своего представления и обоснования. Именно в этом плане логика применялась даже средневековыми схоластами, пытавшимися придать христианскому вероучению рациональную форму, что послужило формальной предпосылкой возникновения действительной науки, отказавшейся от теологических подходов;

2) формальная логика применяется в науке и технике. При этом техническими приложениями формальной логики являются: исчисление высказываний и исчисление предикатов. Без исчисления предикатов не могли появиться искусственные информационные языки, основа современной компьютерной техники. Традиционная формальная логика остается важнейшим логическим инструментом построения доказательств, обоснований во всех науках;

3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

4) логика является важнейшим и незаменимым инструментом развития культуры. Без логики не может обойтись никакая культурная деятельность вообще, поскольку в ней присутствуют и играют принципиальную роль рациональные элементы.

Лекция №2 “Логика высказываний”

План лекции:

1. Общая характеристика высказывания.

2. Логические союзы, их табличные определения.

3. Исходные типы символов логики высказываний.

4. Понятие формулы логики высказываний.

5. Табличные определения логического значения формулы.

6. Понятие равносильной формулы, виды формул логики высказываний.

7. Свойства логических операций с высказываниями.

Логика высказываний (или пропозициональная логика от англ. propositional logic) — это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка. Логика высказываний является простейшей логикой, максимально близкой к человеческой логике неформальных рассуждений и известна ещё со времён античности.

Высказывание – это любая мысль, которая представлена в виде какого-либо повествовательного предложения и о котором можно сказать, что она либо истинна, либо ложна, но не то и другое вместе.

К высказываниям относятся языковые выражения, подобные: «Небо голубое», «Математика — самая интересная наука», «Александр Македонский учился у Аристотеля», «Хорошо, когда человек выполняет свои обещания», «Назначаю вас руководителем» и т.п.

Высказывание – это грамматически правильное предложение. Понятие грамматически правильного предложения не определяется логикой, оно берется из грамматики.

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

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

Не выражают суждений и те побудительные предложения, которые представляют собой непроизвольную, можно сказать, инстинктивную реакцию на неожиданно открывшиеся обстоятельства: «Ой!» — при ощущении боли, «Ах!» — при удивлении, «Эх!» — при разочаровании и т.п.

Близким к суждению является утверждение, но суждение лишено того психологического оттенка, который всегда связан с актом утверждения. Хотя суждение находит свое выражение только в языке, оно, в отличие от предложения, не зависит от конкретного языка. Сообщение о том, что какое-то суждение высказывалось в определенной ситуации, не нуждается в указании, какой при этом использовался язык. Если кто-то говорит: «Он уверял меня, что мы встретимся», не возникает вопроса, на каком именно языке — русском или испанском — давалось обещание о встрече. Одно и то же суждение может быть выражено различными предложениями одного и того же языка или разных языков. Так, фраза «Римский писатель Плавт сказал, что человек человеку волк» сообщает, какое суждение, или какую мысль, высказал Плавт, но ничего не говорит о том, каким он пользовался при этом языком. Если же мы говорим о том, что какое-то предложение высказывалось кем-то, мы не сумеем передать свою мысль, пока не укажем, какой при этом употреблялся язык. Верно, что Плавт высказал на латинском языке утверждение «Homo homini lupus est». Но неверно, что он произнес когда-то на русском языке предложение «Человек человеку волк». Во времена Плавта русский язык еще не существовал, ни Плавт, ни кто-то другой не мог высказать тогда это утверждение.

Суждение можно, таким образом, охарактеризовать как то общее, что имеют два предложения, являющиеся правильными переводами друг друга. За двумя разными предложениями, русским и английским: «Этот стол круглый» и «This table is round» стоит одно и то же суждение.

Высказывание представляет собой единство суждения и предложения.

Описательное высказывание. Высказывания делятся на описательные (дескриптивные) и оценочные.

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

1. Если р — пропозициональная переменная, то р — формула.

2. Если р — формула, то — формула.

3. Если р и q — формулы, то — формулы.

4. Ничто иное не есть формула.

Знаки (отрицание, конъюнкция, дизъюнкция и импликация) называются пропозициональными связками.

Подформулой называется часть формулы, сама являющаяся формулой. Собственной подформулой называется подформула, не совпадающая со всей формулой.

Дата добавления: 2014-01-04