В. В. Целищев Рассматривается расширение понятия полноты логической системы. Предполагается, что общепринятая практика соотнесения понятия полноты в основном с логикой первого порядка обязана чисто историческим обстоятельствам. Показано, что при использовании логики первого порядка в качестве средства математического теоретизирования полнота логической системы не отражает важных особенностей применения логики к математике. Продемонстрировано, что различение дедуктивной, семантической и дескриптивной полноты приводит к новому пониманию роли и природы логики.
Научная статья 
математическое теоретизирование Дата публикации:
2018
Серия:
Том (volume):
16
Выпуск (issue):
1
Страницы:
5-19
Идентификатор:
oai:oai.sibphil.elpub.ru:article/49
https://sibphil.elpub.ru/jour/article/view/49
10.25205/2541-7517-2018-16-1-5-19
Лицензия:
Источник: