|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
С.А. Яновская о способах исследования логических исчисленийдоклад на конференции
- Автор: Кузичева З.А.
- Международная Конференция : XIII международная конференция "Современная логика: проблемы и перспективы"
- Даты проведения конференции: 31 мая - 2 июня 2018
- Дата доклада: 2 июня 2018
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Санкт-Петербург, Russia
-
Аннотация доклада:
В своих лекциях и статьях С.А. Яновская основной задачей логики считала исследование способов вывода следствий из посылок, причем необходимым условием правильности вывода, чтобы из истинных посылок следовало истинное заключение. Для этой цели всесторонне изучалась импликация в различных логических системах.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Кузичева Зинаида Андреевна