Вы, как и положено адепту формальной логики не в курсе, что "исключенное третье" вовсе не обязательный атрибут формальных схем. Существуют многозначные формальные логики - троичная, четверичная, нечеткая и пр.
Спасибо, про то, что они существуют, я в курсе. Я пытаюсь понять, как они применяются. Например, рассуждение при помощи нечеткой логики. Именно рассуждение человека, а не алгоритм обработки больших объемов информации, конечным пользователем которой все равно будет человек. Суть в том, что сегодня множество примочек, разработанных для того, чтобы подтянуть результаты работы арифмометров к возможностям человеческого мозга, выдаются за фундаментальные прорывы. Да, прорывы, но не для человека, а для попыток обойтись без человека. Можно сказать, что тут успехи сосредоточены в области проблемы перевода чувственного опыта в эмпирический факт, заполнении базы данных, которую раньше всегда должен был создавать оператор. Все, что описывают эти алгоритмы, мы можем делать и так. Дает ли нам это еще что-то? Размышляю.