Дискуссия на тему Что есть логика? Discussion on the matter What is Logic?
Быстров П.И
Институт философии РАН, г. Москва E-mail: petbys@yandex.ru
Докладчик: Много лет я искал ответ на единственный, стоящий внимания вопрос: что такое логика, на самом деле? Нашел.
Его лучше всего выразить так: «Логика подобна бесконечной решетке мегаабстрактных алгебр»...Реплика: Объясните,в чем состоит подобие?
Докладчик (немного подумав): Ну, может быть, вы и правы; возможно, логика не подобна такой решетке. В любом случае, к истинной логике ведет структурализация истинностных значений.
А: Очевидно следующее. Утверждение «Логика есть решетка» - явная фантазия, и утверждение «Логика не есть решетка» - такая же фантазия. Я уверен, что фантазией являются не только оба эти утверждения, но и сама дизъюнкция. Она ответственна за закон исключенного третьего (З.И.Т.) классической логики. Однако классическая логика потерпела крах, ибо она не применима ни в реальном мире, ни в мире нашего мышления. Итак, это не логика. Закон исключенного третьего необходимо отбросить. Для этого ликвидируем дизъюнкцию. Нет дизъюнкции - нет З.И.Т. Настоящая логика (без дизъюнкции) алгебраически формулируется вот так.
B: З.И.Т - правильный закон, и он, действует в нашем мире! (Даже мудрость народа гласит: «Где два, там третий лишний», не говоря уже о четвертом!) Отрицание З.И.Т. ведет в мир фантазий, а не логики.
C: .Значит, они не имеют отношения к сущности логики. Эта сущность определяется только типом отрицания. Какое отрицание берем - такую логику и получаем .
D: З.И.Т. не имеет существенного значения. Более резонно отбросить закон противоречия (З.П.). Ведь очевидно, что некоторые высказывания являются истинными и ложными зараз. Ликвидируем - исчезает относящийся только к миру фантазий З.П., и восстанавливается существенная для чистой логики несводимость, и наоборот.
E: В данном вопросе бесполезен акцент З.И.Т, З.П. и упомянутые логически безобидные константы.