ВСЕ вновь открываемые явления,изобретаемые изобретения
можно было сделать ещё во времена Аристотеля
ПРОСТЫМ УМОЗРИТЕЛЬНЫМ ПЕРЕБОРОМ
Всех Возможных КОМБИНАЦИЙ ВЫСКАЗЫВАНИЙ ! ! !
Не согласен, т.к. любая теория и аппарат, в том числе и формальная логика, ничего не может сказать без экспериментов.
Вы совершенно правы,уважаемый Dig386 !
"без экспериментов" - логика ничего не может сказать ! ! !
Но почему-то упускаете из виду,что Соответствующие Эксперименты,
и Соответствующие из них Выводы ещё "во время Оно" -
проделал Небезызвестный ВСЕМ Аристотель.
(А я лишь скромно намекаю на тО,что Исключений из его Логики -
не найдено вплоть до нашего *просвещённого* Времени ВО ВСЕХ
вновь открываемых явлениях,а также вновь изобретаемых изобретениях).
Откуда, как не из опыта, мы будем выяснять, какой именно из логических выводов верен на практике?
Из его "родимого* - "из опыта",естественно ! ! !
И позвольте
ещё раз подчеркнуть,что ВО ВСЕХ
(и вновь и вновь,..и вновь и вновь,..и т.д. проводимых) Опытах :
не найдено НИ ОДНОГО Исключения ! ! ! И чтО бы этот *Прискорбный* Факт мог бЫ знАчить ? ? ?
Может подскажете ?
Сколько разных геометрий напридумывали, а реально работает только евклидова (не беру межгалактические расстояния, картографию и др.).
А почему Вы так *скромно вырезаете* из рассмотрения
столь Существенные Объекты Рассмотрения ?
Да и примеров *помельче* наберётся УУУУймища,
где "Сколько разных геометрий" ОООчень "реально работают" ...
А вообще-то формальная логика наверняка очерчивает предел познания мира с точки зрения разума: мы просто не сможем работать с тем, что противоречит логике.
Очень смело и заманчиво звучит Ваше Утверждение,но ...
к сожалению НИКАК НЕ соответствует действительности.
Как я уже высказывался выше,я ПОКА НЕ ЗНАЮ в истории науки
НИ ОДНОГО Исследованного Явления,которое "противоречит логике".
И к томУ же в истории науки - прослеживается *стррр-Яннная* тЭн-дЭн-сиЯ :
ПОКА Явление НЕ Исследовано - громко звучат голоса :
"о,чудо","нарушение логики" и пр.
А когда учёные *поковыряются поосновательнее" -
ПОЧЕМУ-ТО оказывается : НЕТУ никакого чудо,НЕТУ и никаких нарушений ...
И "представтье сибэ,представтье сибэ" - тАк происходит ВСЯКИЙ РАЗ !
БЕЗ ЕДИНОГО ИСКЛЮЧЕНИЯ ! ! !P.S. Пример высказывания, которое одновременно ложно и истинно: "300K - это высокая температура" Она несомненно высокая для высокотемпературного сверхпроводника, но очень низкая для термоядерного синтеза. Хотя я понимаю, что тут всё дело не в формальной логике, а в неполноте утверждения.
А здесь Вы(на удивление) правильно оценили ситуацию.
Сказать "300K - это высокая температура" -
горААААздо позорнее,чем ничего НЕ Сказать ! ! !
А когда Вы говорите "несомненно высокая для высокотемпературного сверхпроводника,
но очень низкая для термоядерного синтеза" -
то тем самым Вы
рассматриваете двЕ разлИчные Ситуации,
В КАЖДОЙ из которых - СВОЯ(вполне адекватная,заметьте) Область Истинности.
В итоге : Ваш пример представляет собой не парадокс,а тАк сибЭ -
це-ЕЕЕЕлый пшшшш-Ык ! ! !