Под строгостью определения понятия будем понимать такой способ определения, при котором его результат исключает всякую двусмысленность определяемого понятия, точно указывает на его содержание и объем, четко отделяет одно понятие от других, близких ему. Строгость понятий, которыми пользуются концептуально ориентированные аналитики, относится к наиболее высокому уровню. Он обеспечивается определениями через абстракцию, аксиоматическими и родовидовыми определениями.
Направление усиления строгости понятий.
Правда, для каких-то вспомогательных функций, скажем, для уточнения неких исходных понятий или интерпретации следствий из концептуально строгих построений, могут использоваться и другие способы определений и соответствующие им (слабые) формы понятий. Но главные эффекты мышления достигаются за счет строгих форм. Именно они позволяют совершать с понятиями логически точные операции (деление, ограничение, обобщение понятий, операции с объемами понятий и другое), которые обеспечивают, во-первых, сохранение истины при конструировании смыслов, а во-вторых, порождение нового неочевидного знания о постигаемой реальности. Вы ожидаете от мышления чего-то еще? Концептуальное… это логически строгое мышление.
«Слово „прекрасное“ направляет эстетику, слово „доброе“ – этику, а слово „истинное“ – логику» – согласитесь, это еще и изящно. Так Г. Фреге выразил назначение логики. Потребность в ней возникает там, где мы нуждаемся в сохранении истины в ходе рассуждений и выведении следствий из своих умопостроений. Правила логической строгости, установленные еще Аристотелем, в наши дни сформированы вполне отчетливо и составляют основание современной формальной логики. Стоит указать, по крайней мере, на три области правил логически строгих рассуждений.
1. Правила построения суждений. Эти правила основаны на знании о том, что такое суждение, какие его виды бывают, какова его структура, отношения между разными суждениями, способы их построения в виде предложений (высказываний) различного вида.
2. Правила об умозаключениях – это правила выведения следствий из суждений. Эти правила построены на представлениях о содержательной и формальной истинности, о природе и различных видах умозаключений, о силлогизмах и их видах; о формальных способах логического вывода.
Греч, syllogismos – сосчитывайте, выведение следствий.
3. Основные законы (принципы) правильного мышления. Формальная логика опирается на четыре закона:
– закон тождества;
– закон непротиворечия;
– закон исключенного третьего;
– закон достаточного основания.
Пользоваться этими правилами можно и этому стоит научиться – этим занимается формальная логика. Попробуйте испытать свои навыки, например, в строгом выведении умозаключений – это упражнение из Практикума.[77] Проверочный тест вам покажет – не пора ли обратиться к классике. А мы продолжим…
Все эти знания выступают основой для инструментария концептуального мышления, но не только они. Последнее уточнение я добавил для тех, кто сводит концептуальное мышление лишь к формальной логике.
Однако в разговоре о логических основаниях концептуального мышления надо указать на особенное направление развития классической формальной логики. Это логические исчисления. А конкретнее – исчисление высказываний.
Известно, что формальная логика после Аристотеля существенно изменилась. К ней добавились многие новые разделы, часть из которых даже выделилась из нее как неклассическая логика. Современный фронт развития формальной логики весьма причудлив.
Фронт развития формальной логики.
Однако из многочисленных логических дисциплин в концептуальное мышление «взято» исчисление высказываний… по причине удобства для оперирования абстракциями.
Исчисление высказываний есть связка предельно формализованных способов логических умозаключений, которые гарантируют удержание истины в ходе логического вывода. Исчисление высказываний во благо логической строгости исключает из рассмотрения содержательный смысл логических связок и правил умозаключений и рассматривает лишь их формальную структуру. И это хорошо! Основными элементами исчисления высказываний являются формализмы, позволяющие выстраивать все формальные типы суждений и умозаключений, основывающиеся на законах мышления.