О методологическом значении понятия изоморфного вложения формализмов
- Страницы / 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.