Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
From: Andrei Klimov (klimov@keldysh.ru)
Date: Sat Oct 16 2004 - 18:42:11 MSD
Антон,
> Самый сложный вопрос в этой области - трактовка импликации - у
> Турчина, кажется, даже не поставлен (если я ошибаюсь, поправьте
> меня - буду искренне признателен).
Да, ошибаетесь. Не только импликация, но и ИЛИ, и отрицание
интерпретируются в соответствующих разделах.
Они определяются вполне в духе интуиционизма.
На стр. 3-11 отчета импликация вводится как логическая (а не материальная).
На стр. 3-22 определяется ИЛИ как процесс, завершающийся
при подтверждение истинности (завершении) одного из процессов-аргументов.
Сводную таблицу логических связок см. на стр. 5.6.
Всего наилучшего,
Андрей Климов.
> С уважением,
> Антон Владимиров
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD