Позвольте возразить. Небо "синие" только на определенной высоте, облачности, при одинаковом цветовосприятие у обоих зрителей, отсутствии радуги и облачности, а ещё спящем Везувии или Кракатау. И даже гормональный фон или Глубокая Вера в бога-Краснонеба может влиять на истинность для конкретного человека.А как на рассвете сказать - сейчас день или ночь?
Эти, так сказать, возражения не имеют отношения к формальной логике. Не важно какое небо выглядит для Вас, важно то, что формальная логика дают закон правильного мышления, - закон суждений, который позволяет выводить из них истинные выводы. Небо синее или голубое, черное или бесцветное, - это не имеет значения. Формальная логика не изучает природу, она изучает мышление, то есть субъективный психический ход мыслей, поэтому, к слову, формальная логика - наука гуманитарная с большой долей математического аппарата.
Дайте посылку, сделайте утверждение: небо красное. Хорошо. Красное. Возникает спор. И сразу, повторяю, - сразу срабатывает закон логики суждений: закон тождества (мы говорим о конкретном цвете конкретного неба в конкретном времени-пространстве), закон противоречия и закон исключения третьего, -
небо красное или не красное. Поймите всю силу формальной логики, красоту ее законов: формула закона исключения третьего: А или не-А. Третьего не дано.
И действительно, Вы никогда не сможете найти "третье" в этой формуле. А или не-А. Введение Б, Г, "или" - это уже софистика, нарушающая первый закон логики, - закон тождества. Перевод на диалектическую логику, - логику изучающую движение природы, а не связь суждений, - тоже противоречит закону тождества. Поэтому и получается, что критики законов формальной логики, просто плохо понимают саму эту логику и логику диалектическую, постоянно сами путаясь, путая других.