Сознание и формальная логика

Аксиомы формальной логики тоже обоснованы лишь жизненным опытом и здравым смыслом.Проверку наличия сознания неплохо начать с конструктивного определения сознания.Такие определения и тесты (правила измерений) для проверки наличия сознания есть на моём сайте.Доказательство наличия сознания, полученное таким образом, является не логическим, а убедительным.Как вы сможете это проверить?Тут и обнаруживается несводимость материальных и идеальных процессов.Не нужно больших усилий, чтобы убедить недостаточно образованного человека.Известно, что многие испытуемые принимали диалог с Элизой за диалог с разумным компьютером.Многие готовы поверить, что Deep Blue имел цель обыграть Каспарова.Построить такое доказательство не просто.