Интенсиональность: от философской логики к метаматематике В. В. Целищев
Material type: ArticleContent type: Текст Media type: электронный Other title: Intensionality: from philosophical logic to metamathematics [Parallel title]Subject(s): интенсиональность | экстенсиональность | онтология | метаматематика | арифметизация синтаксисаGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета № 458. С. 85-89Abstract: Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.Библиогр.: 12 назв.
Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
There are no comments on this title.