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

Такой подход, как я рассчитываю, позволит нам при построении исчисления предикатов с многосортными предметными переменными (т.е. логической теории в которой только один тип переменных - предметные переменные) в теории моделей изложить и классическое, и интуиционистское исчисления предикатов первого порядка , и в добавок, "бонусом", представить особым образом миры, модели и шкалы Крипке - одной из самых популярных разновидностей других неклассических (помимо интуиционистской) логик.

❤13👍2👏1🐳1🆒1

www.tgoop.com/logic_metamathematics/764

683 viewsedited  Oct 25, 2024 at 05:20

Такой подход, как я рассчитываю, позволит нам при построении исчисления предикатов с многосортными предметными переменными (т.е. логической теории в которой только один тип переменных - предметные переменные) в теории моделей изложить и классическое, и интуиционистское исчисления предикатов первого порядка , и в добавок, "бонусом", представить особым образом миры, модели и шкалы Крипке - одной из самых популярных разновидностей других неклассических (помимо интуиционистской) логик.

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