nauczyciel
Цитата:
|
Мне кажется, что следует признать поражение от гуманитария Feeleen. ИМХО, его доводы более убедительны.
|
Какие доводы убедительны? Возможность проверки на формальную непротиворечивость без формализации? Естественно, можно. Только достаточно богатую систему так проверить не удастся. Для проверки логического вывода достаточно сложного суждения целесообразна его формализация. Все, наверное, помнят школьные математические задачки, решать которые напорядок проще составлением уравнения (помните: "Пусть рабочие вскопали х га земли..."
. Эти задачи можно решать и без составления уравнения, но достаточно сложно. Так вот утверждение, что достаточно богатую научную теорию можно проверить на формальную непротиворечивость без формализации - это примерно тоже самое, что сказать, например, что можно с помощью ученической линейки измерить длину земного шара, или, что без единой формулы можно описать полет космического корабля. Конечно, можно, только вот думать, что это практически осуществимо - может только человек, который понятия не имеет о том, как устроен космический корабль. Аналогично здесь, так сказать может только человек, который про методы формальной логики и про проверку систем на формальную непротиворечивость и слыхом не слыхивал.
Добавлено
Goluba
Цитата:
|
Ммм, а если рчь идет про то, кто в каком доме живет, то зачем ...символизация исчисления высказываний
|
Для того, чтобы гарантированно решить эту задачу за 5 минут. Вместо того, что бы решить ее за полтора часа с вероятностью успеха 10%, что, по-статистике, и происходит.
Добавлено
Feeleen
Цитата:
|
По отношению ко многим основополагающим логическим системам в отношении их содержательных выводов (например, теорема Геделя) можно усмотреть указание на их принципиальную противоречивость как на величайшее открытие. И выдвинутый принцип фаллибилизма обыгрывает именно ограниченность императива непротиворечивости.
|
Каким образом теорема Геделя накладывает ограничение на требование непротиворечивости научного знания? Не говоря уже о том, что ни ни какую "принципиальную противоречивость" она не указывает. Приведенная цитата - типичный пример "околнаучного мусора" с привлечением великих имен. Если этот учебник под министерским грифом, то это еще один печальный пример деградации нашей системы науки.