Логика и «как-бы-логика» (“as-if-logic”

Ивлев, Ю. В.

Institute of Philosophy of Saint-Petersburg State University

 Логика и «как-бы-логика» (“as-if-logic”) В современных исследованиях, которые относят к области логики, естественно выделить две большие части: собственно логику и «как-бы-логику». Собственно логика (далее – логика) имеет своим предметом особые структуры мыслей и процессов мышления, называемые, не совсем удачно, формами, а также отношения между мыслями по этим структурам. Такие отношения между мыслями определенных видов, например, между суждениями определенных видов, нормами определенных видов и т.д., представляются на эмпирическом или теоретическом уровне в виде логических систем, построенных семантически, аксиоматически и т.д. «Как-бы-логика» – это некоторые конструкции, которые в каком-то отношении сходны с логикой, то есть с эмпирическими или теоретическими описаниями этих структур  (может быть сходны даже только в отношении некоторых значков), но не имеют никакого отношения, по крайней мере во время их создания, к логическим формам мыслей. Чаще всего такие конструкции строятся путем «модернизации» логических систем. Например, для уточнения понятия логического следования К.И. Льюисом были построены аксиоматическим методом логические системы. Модернизация (преобразование) логических систем путем добавления (убавления) аксиом или правил вывода, а также другими способами, позволила образовать большое количество новых конструкций,  которые тоже иногда называют логическими системами. Сложилось даже понимание логики как науки о преобразованиях логических систем и «как-бы-логических» систем и об отношениях между «как-бы-логическими» системами. При таком понимании логики эта наука, конечно, не исследует структуры (формы) мыслей. В этом случае логика является наукой о преобразованиях «как-бы-логических» систем  и об отношениях между такими системами. В конечном счете при таком подходе логику можно определить как учение о сличении и преобразовании частично упорядоченных множеств формул, содержащих по крайней мере некоторые из значков &, , , , , , , , , , |– … .  Тот, кто работает в области таких систем, относится к исследователям, считающим, что задача науки – не  изучение природы, общественной жизни или процессов познания, а сличение и видоизменение текстов. Различение исследований, проводимых в области логики и в области «как-бы-логики» не означает отрицательного отношения к последним. Исследования в области «как-бы-логики» могут оказаться полезными по ряду причин: (1) построенные системы могут быть переинтерпретированы в качестве собственно логических, т.е. могут найтись, например, суждения, отношения между которыми по структурам описываются полученными системами; (2) результатами исследований могут быть новые методы доказательства теорем или  метатеорем; (3) расширяется круг лиц, которые считаются работающими в области логики.  Чем обусловлено разнообразие собственно логических систем? Одним из оснований возникновения различных логических систем является различение типов, например, высказываний, отношения между которыми по формам выражаются этими системами, (ассерторические высказывания, модальные высказывания различных типов и т.д.). Вторым основанием множественности логических систем являются способы моделирования отношений между мыслями по структурам. Для более адекватного представления логических структур высказываний, рассуждений и т.д. вводятся иные модели логических терминов, например, вместо материальной импликации – условная связь, вместо классического – релевантное следование, и др. Возможны различные эквивалентные модели отношений по структурам между одними и теми же высказываниями.  ФИЛОСОФСКИЕ ОСНОВАНИЯ ЛОГИКИЮ. В. Ивлев,МГУ им. М. В. ЛомоносоваЛОГИКА И «КАК-БЫ-ЛОГИКА» (“AS-IF-LOGIC”)Логико-философские штудии. ISSN 2223-3954 181

Логика и «как-бы-логика» (“as-if-logic”)

http://ojs.philosophy.spbu.ru/index.php/lphs/article/download/626/612

Логика и «как-бы-логика» (“as-if-logic”)

Abstract

Similar works

Full text

Available Versions

Institute of Philosophy of Saint-Petersburg State University