ЛОГИКА СКОРО ПОТРЯСЁТ ВЕСЬ МИР!
НА САЙТЕ "ДРУГИЕ.РУ" ОПУБЛИКОВАНА ПЕРВАЯ ЧАСТЬЮ МОЕГО ИНТЕРВЬЮ С МИНСКИМ ЛОГИКОМ АНДРЕЕМ ШУМАНОМ, ЗАПИСАННЫМ В РАМКАХ ПРОЕКТА "СОВРЕМЕННАЯ РУССКАЯ ФИЛОСОФИЯ" СПЕЦИАЛЬНО ДЛЯ ТРЕТЬЕГО ТОМА КНИГИ "КТО СЕГОДНЯ ДЕЛАЕТ ФИЛОСОФИЮ В РОССИИ"
- Какими оригинальными разработками в области современной логики Вы занимаетесь?
- Прежде всего, я являюсь специалистом в многозначной логике. Это такой раздел современной логики, который широко используется в информатике. Здесь допускается, что у высказывания не два значения («истинно», «ложно»), а три и более. Например, в трёхзначной логике мы допускаем следующие значения: «истинно», «ложно», «неопределённо». Может быть четырёхзначная логика: «истинно», «ложно», «скорее истинно», «скорее ложно» и т. д. Возможно также бесконечнозначная логика, в которой значениями служат действительные числа из интервала [0, 1]. Во всех этих логиках нужно ещё уметь рассуждать. Для этого строятся особые математические системы, в которых задаются строгие правила того, как мы можем рассуждать в таких логиках, а как нет. Такие логики широко используются в различных экспертных системах.
http://www.drugie.ru/page/1/3009/publ/
- Какими оригинальными разработками в области современной логики Вы занимаетесь?
- Прежде всего, я являюсь специалистом в многозначной логике. Это такой раздел современной логики, который широко используется в информатике. Здесь допускается, что у высказывания не два значения («истинно», «ложно»), а три и более. Например, в трёхзначной логике мы допускаем следующие значения: «истинно», «ложно», «неопределённо». Может быть четырёхзначная логика: «истинно», «ложно», «скорее истинно», «скорее ложно» и т. д. Возможно также бесконечнозначная логика, в которой значениями служат действительные числа из интервала [0, 1]. Во всех этих логиках нужно ещё уметь рассуждать. Для этого строятся особые математические системы, в которых задаются строгие правила того, как мы можем рассуждать в таких логиках, а как нет. Такие логики широко используются в различных экспертных системах.
http://www.drugie.ru/page/1/3009/publ/