Читать «Концептуальное мышление в разрешении сложных и запутанных проблем» онлайн - страница 55

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

Однако в разговоре о логических основаниях концептуального мышления надо указать на особенное направление развития классической формальной логики. Это логические исчисления. А конкретнее – исчисление высказываний.

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

Фронт развития формальной логики.

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

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

Вот основные виды этих формализмов, которые чаще всего используются в концептуальных техниках: [78]

 – квантор всеобщности («для всех x»);

 – квантор существования («существует такое x:»);

 – знак конъюнкции («и»);

 – знак дизъюнкции («или»);

 – знак импликации («из первого следует второе»);

 – знак отрицания («не»);

 – знак декартового произведения;

B – знак булеана (множество, образованное на всех возможных комбинациях элементов исходного множества).

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

Например, выражение 

означает «для всех x:, принадлежащих множеству X, а также для всех у, принадлежащих множеству Y, х никогда не равен y». Скажем так – это аксиома безнадежности. Если теперь под X и Y понимать объемы некоторых понятий (например, X– это «мнения подчиненных», а У– это «мнения менеджера»), то х и у – это некоторые элементы этих объемов (конкретные мнения тех и другого), а саму аксиому можно (образно, но точно) интерпретировать так: «мнения подчиненных и мнения менеджера при любых условиях не совпадают».

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