Логика и метаматематические исследования

Если описывать взаимодействие логической и содержательной теорий в терминах теорий языков, как систем знаков, то можно сказать, что модельно-теоретическое построение логической теории представляет собой семантический аспект изучения её языка. Тогда синтаксический аспект будет состоять в том, что мы ограничимся изучением её: 1) алфавита - набора простейших значимых в данном языке символов, 2) правил образования из этих элементарных выражений их последовательностей, а также 3) правил преобразования одних последовательностей значимых выражений в другие. Такой, как иногда говорят, синтаксический формат представления логической теории ещё называется доказательно-теоретическим, или построением логической теории в теории доказательств.

🐳9❤2✍1

www.tgoop.com/logic_metamathematics/783

541 viewsNov 9, 2024 at 00:33

Если описывать взаимодействие логической и содержательной теорий в терминах теорий языков, как систем знаков, то можно сказать, что модельно-теоретическое построение логической теории представляет собой семантический аспект изучения её языка. Тогда синтаксический аспект будет состоять в том, что мы ограничимся изучением её: 1) алфавита - набора простейших значимых в данном языке символов, 2) правил образования из этих элементарных выражений их последовательностей, а также 3) правил преобразования одних последовательностей значимых выражений в другие. Такой, как иногда говорят, синтаксический формат представления логической теории ещё называется доказательно-теоретическим, или построением логической теории в теории доказательств.

BY Логика и метаматематические исследования