математическая+логика
81Символическая логика — то же, что математическая Логика, т. с. «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (Л. Чёрч). Термин «С. л.» акцентирует внимание на том… …
82КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …
83Редукция (логика) — У этого термина существуют и другие значения, см. Редукция. Редукция (лат. reductio сведение, возведение, приведение обратно)  логический приём преобразования каких либо данных к более удобному с какой либо точки зрения виду; сведение… …
84Абдукция (логика) — У этого термина существуют и другие значения, см. Абдукция. Абдукция (от лат. ab  c, от и лат. ducere  водить)  познавательная процедура принятия гипотез[1]. Абдукция представляет вид редуктивного вывода с той… …
85СИМВОЛИЧЕСКАЯ ЛОГИКА — то же, что математическая логика …
86ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… …
87Атом (логика) — У этого термина существуют и другие значения, см. Атом (значения). Атом в математической логике  простейший случай формулы; формула, которую нельзя расчленить на подформулы. Простейшим случаем атомов являются формулы, задающие отношения.… …
88Терм (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …
89Синтаксис (логика) — У этого термина существуют и другие значения, см. Синтаксис (значения). Синтаксис (в логике) (логический синтаксис)  раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений… …
90конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… …