|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О погружениях параполных логикстатья
- Автор: Попов В.М.
- Сборник: Первый Конгресс Русского общества истории и философии науки "История и философия науки в эпоху перемен": сборник научных статей / Научн. ред. и сост. И.Т. Касавина и др. В 6 томах
- Том: 1
- Год издания: 2018
- Место издания: Изд-во «Русское общество истории и философии науки» Москва
- Первая страница: 61
- Последняя страница: 64
- Аннотация: Современная наука располагает богатым спектром логических средств, позволяющих исследовать связи между логиками, между логическими исчислениями и между логическими алгебрами. Одним из эффективных средств изучения связей между логиками являются погружающие отображения (погружения). Здесь представлены некоторые результаты, полученные с использованием погружающих отображений и выявляющие связи между параполными логиками I2,1, I2,2, I2,3,… Указанные логики возникли в процессе изучения автором логического наследия российского логика и философа Николая Александровича Васильева (описание этих логик можно найти, например, в статье В. М. Попова «Секвенциальные аксиоматизации простых паралогик», опубликованной в 16 выпуске «Логических исследований» в 2010 году). Теоремы 1 и 2, формулировки которых даны в предлагаемой работе, указывают путь построения по любым целым положительным числам n и m погружения логики I2,n в логику I2,n+m.
- Добавил в систему: Маркин Владимир Ильич