Литература

1. Аристотель. Сочинения в четырех томах. М.: Мысль, 1976 - 1983.

2. Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии: Учеб. пособие. В 2 кн. Кн.1: введение, ч.1. М.: Наука, 1994. С. 6 - 73.

3. Гегель Г. Энциклопедия философских наук. В 3-х тт. М.: Мысль, 1975 - 1977.

4. Кобзарь В.И. Основы логических знаний: Учебник для студентов гуманитарных факультетов. Введение. СПб. : Изд-во СПб. ун-та, 1994. С. 3 - 17.

Лекция 2. Исходные понятия формальной логики, ее основные законы и принципы §1. Исходные логические понятия

Предмет мышления - одна из главных структурных единиц мышления в логике. В качестве предмета мысли могут выступать как объекты реальной действительности, их свойства, отношения, так и идеальные объекты. Непосредственной логической формой его отражения и выступает понятие - своего рода “атом” логических построений.

В предыдущем параграфе предмет логики как науки определен через понятия формы мышления и закона мышления. Формы мышления иначе называют логическими формами, а законы мышления - логическими законами.

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

(1) Все металлы электропроводны	Все М есть Р	M - P
(2) Медь есть металл	S есть М	S - M
(3) Медь электропроводна	S есть Р	S - P

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

Все деревья (M1) - растения (P1)	Все студенты (M2)- учащиеся (P2)	M – P
Березы(S1) - деревья (M1)	Иванов (S2) - студент (M2)	S – M
Березы (S1) - растения (P1)	Иванов (S2) - учащийся (P2)	S – P

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

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

Логическая форма - это структура мысли, характеризующая способ связи ее элементов.

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

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

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

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

Таким образом, всякое рассуждение приведет к верному результату, если оно является, во-первых, формально правильным, и, во-вторых, истинным по содержанию.