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

Аннотация

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