Символическая логика
Материал из Википедии — свободной encyclopedia
Символическая логика — область логики, которая отодвигает на второй план математику, и изучает чисто формальные свойства символов, представленных в виде строк.[1] С точки зрения философской логики, символы рассматриваются как обозначения слов. А с точки зрения информатики, символы, рассматриваемые по правилам символической логики, являются элементами вычислительного процесса обработки данных.
В статье есть список источников, но не хватает сносок. |
Состоит из двух разделов, логики высказываний и логики первого порядка. К другим формам относятся темпоральная, модальная и нечёткая логика.
Символическая логика исследует закономерности, в которых логическая форма высказываний рассматривается с использованием символов в качестве инструментов. Вместо явных высказываний изучаются логические формулы, которые являются символическим представлением высказываний, в частности, составных. Правила рассуждений и логики изучаются с помощью формальных систем, которые образуют хорошую основу для символьных преобразований, выполняемых в этой области.