Вестник БФУ им. И. Канта

2011 Выпуск №06

Назад к списку Скачать статью

О методологическом значении понятия изоморфного вложения формализмов

Страницы / Pages
7-15

Аннотация

Отмечается, что во многих интересных случаях при рассмотре­нии данной предметной области приходится иметь дело не с единич­ным формализмом, а с их системой. Утверждается, что такие систе­мы связываются посредством изоморфных вложений их элементов. Изучаются некоторые варианты определения понятия формализма и соответ­ствующие им определения изоморфного вложения формализмов. Без доказа­тельства приводится ряд новых результатов относительно соот­ношений этих понятий.

Список литературы

1. Карпенко А. С. Предмет логики в свете основных тенденций ее раз­вития // Логические исследования. Вып. 11. М., 2004. С. 149—171.

2. Смирнов В. А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методоло­гии науки. Киев, 1980.

3. Справочная книга по математической логике: в 4 ч. М., 1982. Ч. 1.

4. Hodges W. Elementary predicate logic // Handbook of philosophical logic. 2nd ed. Vol. 1. Springer, 2001. P. 1—130.