Research output: Contribution to journal › Article › peer-review
Интенсиональность : от философии логики к метаматематике. / Tselishchev, Vitaly V.
In: Вестник Томского государственного университета, No. 458, 10, 09.2020, p. 85-89.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Интенсиональность
T2 - от философии логики к метаматематике
AU - Tselishchev, Vitaly V.
N1 - Целищев В.В. Интенсиональность: от философии логики к метаматематике // Вестн. Том. гос. ун-та. - 2020. - № 458. - С. 85-89
PY - 2020/9
Y1 - 2020/9
N2 - Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
AB - Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
KW - intensionality
KW - extensionality
KW - ontology
KW - metamathematics
KW - syntax arithmetic
KW - Goedel's incompleteness theorem
UR - https://www.elibrary.ru/item.asp?id=44403412
U2 - 10.17223/15617793/458/10
DO - 10.17223/15617793/458/10
M3 - статья
SP - 85
EP - 89
JO - Вестник Томского государственного университета
JF - Вестник Томского государственного университета
SN - 1561-7793
IS - 458
M1 - 10
ER -
ID: 27529422