Об истоках множественности логик

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

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

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

Источник: vk.com

Комментарии: