Петров Ю.А.: Логические проблемы абстракций бесконечности и осуществимости
Скачать книгу (размер 1 013 Kb , формат fb2, страниц 200)
Жанр : Логика
Издательство : Эдиториал УРСС
Год издания : 2004
Аннотация:
В связи с развитием кибернетики, конструктивного направления в логике и математике, теории конечных автоматов, математической логики и теории моделирования значительно возросло значение правильного понимания проблем абстракций бесконечности и осуществимости. В данной книге рассматриваются формально-логические и философские проблемы, связанные как с известными уже, так и с новыми абстракциями бесконечности и осуществимости. В частности, автор рассматривает вопрос о допустимости определенных формально-логических средств в теориях, использующих те или иные абстракции бесконечности и осуществимости, что представляет интерес для многих отраслей науки, а также для изучающих современную формальную логику.