онтологически не нейтральна сама по себе: она утверждает, без какой-либо теории поверх неё, что существуют значения предикатных (и возможно, также функциональных) символов, ведь выполнимые утверждения логики второго порядка со связыванием таких символов, очевидно, есть
Что можно читать следующим образом: мы можем строить (в смысле, указанном выше), нечто, что не использует знания о мире (что-либо помимо самой логики).
Обсуждают сегодня