автор М.П. Грачев.

Парапротиворечивая система - логика на выживание

Трансформация логической системы за счет манипуляций с ее основными законами и ключевыми понятиями - это обычная практика неклассической формальной логики. 

Что представляет собой закон исключения третьего? Это закон дискретной значности характеристических оценок для утверждений и отрицаний.

Скажем, можно ввести в систему третью оценку "неопределенно" и получим трехзначную формальную логику.

С законом исключения противоречия сложнее. Это закон субъектности логики. Рассуждающий субъект не может противоречить себе. В противном случае его обвинят в путанном, непоследовательном мышлении.

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

Но сам факт субъектности логической системы, позволяющий вводить в формальную логику интерпретатора со своей независимой локальной оценкой приводит к парапротивориечивой диалоговой формальной системе (исследователь Решер). 

Субъект рассуждений -

интерпретатор знака.

Основная функция знака состоит в том, что он репрезентирует (представляет) какой-то предмет для некоторого интерпретатора (субъекта), имплицитно входящего в логическую систему, в частности, формальную логику:

"Таким образом ситуация употребления знака включает в себя три компоненты:

1) сам знак,

2) предмет, репрезентируемый знаком,

3) интерпретатора, использующего знак"

(Бочаров В.А., Маркин В.И. Основы логики. – М., 2005. – С.15)

'Интерпретатор' - это субъект рассуждений, который в традиционной формальной логике содержится имплицитно (скрытно в качестве интерпретатора знака), а в диалектической логике задается явно в структуре высказывания (пропозиции): S (s - p), где S (прописное) - субъект рассуждений. Диалектическая логика рассматривает развитие мысли через противоречие высказываний, а противоречивые высказывания генерируются интерпретатором в интер- и интра-субъектном режиме.

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

В таких логиках проблема представлена противоречием тезиса и антитезиса.

Они доказываются или опровергаются уже не каждый сам по себе, в сторонке друг от друга, а в прямом контакте обмена репликами до полного исчерпания аргументов и доводов "за" и "против" каждой из сторон.

Это переход уже к элементарной диалектической логике.

--

Грачев Михаил Петрович.

Москва, 31 марта 2017 г.