Юридическая
консультация:
+7 499 9384202 - МСК
+7 812 4674402 - СПб
+8 800 3508413 - доб.560
 <<
>>

ЛОГИКА

(греч. ??????, от ??????? — построенный на рассуждении, от ????? — слово, понятие, рассуждение, разум) формальная, наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания.
К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли — определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых (правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т. п. Представляя общие основания для корректности мысли (в ходе рассуждений, выводов, доказательств, опровержений и пр.), Л. является наукой о мышлении — и как метод анализа дедуктивных и индуктивных процессов мышления, и как метод (норма) мышления, постигающего истину. Задача Л., к-рую вслед за Кантом обычно наз. формальной Л., исторически сводилась к каталогизации правильных способов рассуждений (способов «обращений с посылками»), позволяющих из истинных суждений-посылок всегда получать истинные суждения-заключения. Известным набором таких способов рассуждений однозначно определялся процесс дедукции, характерный для т. н. традиционной Л., ядро к-рой составляла силлогистика, созданная Аристотелем. По мере изучения особенностей умозаключений и демонстративного (доказывающего) мышления вообще предмет традиционной Л. постепенно расширялся за счёт не-силлогистич., хотя и дедуктивных способов рассуждений, а также за счёт индукции. Поскольку последняя выпадала из рамок Л. как дедуктивной теории, она стала предметом особой теории — индуктивной логики.
Совр. формальная Л.— историч. преемник традиционной Л. Для неё характерно разнообразие теорий, в к-рых изучаются способы рассуждений, приемлемые с т. зр. каждой такой теории, а также их формализация, т. е. отображение в логич. исчислениях (формализмах). Логич. исчисления — это системы символов (знаков), заданные объединением двух порождающих процессов: процесса индуктивного порождения грамматически правильных выражений исчисления — его слов и фраз (языка исчисления), и процесса дедуктивного порождения (дедукции) потенциально значимых (истинных) фраз (теорем) исчисления — его фразеологии. Заданием алфавита исходных символов, правил образования в нём языка (его структурных свойств) и правил преобразования его фразеологии (аксиом и правил вывода) логич. исчисление однозначно определяется как синтаксич. система (формальная структура символов). Выбор этой системы как представителя определ. логич. идей и соответственно приписывание её символам значений (интерпретация, или рассмотрение, её как се-мантич. системы) превращают логич. исчисление в оп-редел. теорию приемлемых способов рассуждений — теорию логич. вывода. Сообразно тому, каков синтаксис логич. теории (её правила преобразования) и её семантика, различают классические, интуиционистские, конструктивные, модальные, многозначные и др. теории логич. вывода.
Классич. теории исходят из предположения, что любое утверждение можно уточнить таким образом, что к нему будет применим исключённого третьего принцип.
Опираясь на этот принцип (см. также Двузначности принцип), в классич. Л. отвлекаются от гносеология, ограничений, вытекающих из невозможности общего (рекурсивного) метода для классич. оценки суждений, согласно к-рой относительно любого объекта универсума вопрос о принадлежности ему («да») или отсутствии у него («нет») нек-рого свойства решается всегда положительно. Интуиционистские (см. Интуиционизм) и конструктивные (см. Конструктивное направление) теории, напротив, придают эффективности (в частности, в смысле общерекурсивности) доказательств (установления свойств) решающее значение. Поэтому в общем случае (для бесконечных универсумов) в этих теориях отказываются от принципа исключённого третьего, исходя из др. предпосылки: чтобы утверждать, надо иметь возможность эффективно проверять свои знания и утверждения. Последнее существенно зависит от возможности восполнения утверждений алгоритмом подтверждения их истинности. Поэтому идея приемлемости рассуждений сопряжена в этих теориях с широко понимаемым (в смысле абстракции потенциальной осуществимости) эмпирич. познанием. Близкую к конструктивной идейную основу имеет и модальная логика, изучающая свойства модальностей — разновидностей отношения субъекта логич. деятельности к характеру его целевой активности или к содержанию высказываемой им мысли (напр., степени убеждённости в сказанном). В свою очередь, исчисления многозначной логики формализуют ещё более широкий подход к оценкам высказываний и объективных событий. Допуская множественность, в частности бесконечную, истинностных оценок (степеней подтверждения, правдоподобия, вероятности), теории многозначной Л. являются обобщениями классич. и модальных теорий, напр. на область индуктивных (статистич.) умозаключений, оставаясь в то же время дедуктивными логич. теориями.
Каждая из этих логич. теорий включает, как правило, два осн. раздела: логику высказываний и логику
предикатов. В Л. высказываний учитываются не все смысловые связи фраз естеств. языка, а только такие, к-рые не создают косвенных контекстов и позволяют, рассматривая сколь угодно сложные высказывания как функции истинности простых (атомарных), выделять в множестве высказываний всегда истинные — тавтологии, или логические законы. В Л. высказываний отвлекаются от понятийного состава высказываний (их субъ-ектно-предикатной структуры). Сохраняя характер смысловых связей Л. высказываний, в Л. предикатов, напротив, анализируют и субъектно-предикатную структуру высказываний, и то, как она влияет на структуру и методы логич. вывода. Классич. вариант Л. предикатов является непосредств. продолжением традиц. силлогистики (Л. свойств), но в различных исчислениях предикатов субъектно-предикатная структура суждений анализируется с большей глубиной, чем в силлогистике: помимо свойств («одноместных» предикатов), в них формализуются и отношения («многоместные» предикаты; см. Предикат).
В многообразии логич. теорий выражается многообразие требований, предъявляемых к Л. совр. наукой и практикой. Важнейшим из них является требование в содействии точной постановке и формулировке науч.-технич. задач и разысканию возможных путей их разрешения. Предлагая строгие методы анализа определ. аспектов реальных процессов рассуждений, логич. теории одновременно содействуют и объективному анализу положения вещей в той области знания, к-рая отражается в соответств. процессах мысли. Т. о., логич. теории не субъективны и не произвольны, а представляют собой глубокое и адекватное отображение посредством символов объективной «логики вещей» на ступени абстрактного мышления.
По мере использования логич. исчислений в качестве необходимой «техники мышления» собств. идейное содержание логич. теорий совершенствуется и обогащается, а растущие потребности решения науч. и прак-тич. задач стимулируют развитие старых и создание новых разделов Л. Примером может служить обусловленное задачей обоснования математики возникновение метатеории (теории доказательств) — в узком смысле как теории формальных систем, ограниченной рамками финитизма, и в широком — как металогики, воплощающей взаимодействие формальных (синтак-сич.), содержат. (семантич.) и деятельностных (прагма-тич.) аспектов познания. Мн. результаты, относящиеся к взаимоотношению формальных логич. систем и их моделей, а потому имеющие и общенауч. значение, получены как металогич. теоремы (напр., о полноте Л. предикатов первого порядка, о наличии счётной модели у любой непротиворечивой теории, формализуемой в языке предикатов первого порядка, о неполноте формальных систем, включающих арифметику, и ряд др.), раскрывающие гносеологич. подтекст самой Л.
<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ЛОГИКА:

  1. ПРЕДМЕТ ЛОГИКИ
  2. ЕДИНСТВО ЛОГИКИ. ДИАЛЕКТИЧЕСКАЯ ЛОГИКА
  3. § 1 3. Спор о практическом характере логики
  4. Диалогическая онто-логика культуры
  5. ЛОГИКА ФОРМАЛЬНАЯ
  6. Математика, естествознание и логика (0:0 От Марк[с]а)
  7. 2.2.1. Онтологика отношений
  8. 2.3 Философия языка "Трактата": логика языка versus логика мышления
  9. 1. Возникновение и этапы развития формальной логика
  10. Логика и система философии.
  11. 3. Тождество диалектики, логики и теории познания.