Георгий Рузавин - Логика и аргументация: Учебн. пособие для вузов.

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

Какую роль играет формализация в научном познании вообще и в логике в особенности?

1. Формализация дает возможность анализировать, уточнять, определять и эксплицировать (разъяснять) понятия. Интуитивные понятия хотя и кажутся более ясными и очевидными с точки зрения здравого смысла, оказываются не подходящими для научного познания в силу их неопределенности, неоднозначности и неточности. Так, например, понятия непрерывности функции, геометрической фигуры в математике, одновременности событий в физике, наследственности в биологии и многие другие существенно отличаются от тех представлений, которые они имеют в обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же словами, которые употребляются в разговорном языке для выражения совершенно других вещей и процессов. Такие основополагающие понятия физики, как сила, работа и энергия, отображают вполне определенные и точно указанные процессы: например, сила рассматривается в физике как причина изменения скорости движущегося тела, а работа - как произведение силы на путь. В разговорной речи им придается более широкий, но неопределенный смысл, вследствие чего физическое понятие, например работы, неприменимо к характеристике умственной деятельности. Но даже в науке смысл и значение вводимых понятий со временем изменяется, уточняется и обобщается.

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

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

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

1. Что представляет собой эристика, где она впервые возникла и какое значение сохранила для нас?

2. Какая связь существует между риторикой и логикой?

3. Почему аристотелевскую логику называют формальной?

4. В чем выражается психологизм в логике и почему он несостоятелен?

5. Что называют логической формой и чем она отличается от содержания мысли?

6. Как можно выделить логическую форму мысли? Чем отличается логическая форма от грамматической?

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

8. Как можно проверить логическую правильность утверждения и его истинность?

9. Постройте контрпример к утверждению "Если политик обещает невыполнимое, то он обманывает людей".

10. Какая существует связь между языком и логикой? Какой язык называют формализованным и чем он отличается от естественного языка?

В современной логике, особенно математической, которая ориентируется на дедуктивные, доказательные рассуждения, проблема понятия утратила то значение, которая она имела в традиционной логике. Со времен Г. Фреге понятие рассматривается как пропозициональная функция или функция-высказывание (лат. propositio - предложение), которая удовлетворяется теми значениями аргументов, которые составляют объем понятия. Поскольку же понятие входит в состав высказываний, оно выступает вместе с другими компонентами в рамках разнообразных логических исчислений. Такой подход в определенных условиях не только допустим, но и необходим, в частности, когда мы стремимся отобразить содержательное мышление в формальном исчислении. А формальные исчисления и связанные с ними алгоритмы служат основой современной компьютеризации.

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