Интенсиональность: от философии логики к метаматематике

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

Аннотация

Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
Переведенное названиеIntensionality: From Philosophical Logic to Metamathematics
Язык оригиналарусский
Номер статьи10
Страницы (с-по)85-89
Число страниц5
ЖурналВестник Томского государственного университета
Номер выпуска458
DOI
СостояниеОпубликовано - сен 2020

Ключевые слова

  • intensionality
  • extensionality
  • ontology
  • metamathematics
  • syntax arithmetic
  • Goedel's incompleteness theorem

Предметные области OECD FOS+WOS

  • 6 ГУМАНИТАРНЫЕ НАУКИ

ГРНТИ

  • 02 ФИЛОСОФИЯ

Цитировать