(no subject)
Недавно в этом журнале был пост с критикой "Закона достаточного основания", где утверждалось, что этот закон однобокий, так как при установлении истинности высказываний помимо доказательств ("оснований со знаком +") действуют еще и опровержения ("основания со знаком -").
[Кстати, тут не без автореферентного эффекта: закон достаточного основания сам нуждается в достаточных основаниях.]
С той поры от тех, кто пишет на близкие темы, требую продолжения банкета:
- "Всякое доказанное положение непременно истинно". Согласитесь с утверждением?
- Нет. Всякое доказательство базируется на аксиомах (постулатах). А аксиома, в свою очередь, может быть ложной. Или, как минимум, иметь ограниченную (локальную) истинность. (eslitak)
...
- Разве теория не может доказываться опытным путем?
- С точки зрения научного подхода любая теория мироустройства - всего лишь модель. Проводя эксперимент, мы убеждаемся, что в данном конкретном случае это модель работает. Но это не доказывает того, что модель "истинная" вообще.
=======
PS. Поскольку у нас тут наступает время футбола, воспользуемся футбольным примером. Допустим, имеется высказывание: "эта команда сильнее, чем та". Тогда каждый гол в ворота противника будет доказательством этого высказывания ("+"), а каждый гол в ее ворота - опровержением ("-").
:)
[Кстати, тут не без автореферентного эффекта: закон достаточного основания сам нуждается в достаточных основаниях.]
С той поры от тех, кто пишет на близкие темы, требую продолжения банкета:
- "Всякое доказанное положение непременно истинно". Согласитесь с утверждением?
- Нет. Всякое доказательство базируется на аксиомах (постулатах). А аксиома, в свою очередь, может быть ложной. Или, как минимум, иметь ограниченную (локальную) истинность. (eslitak)
...
- Разве теория не может доказываться опытным путем?
- С точки зрения научного подхода любая теория мироустройства - всего лишь модель. Проводя эксперимент, мы убеждаемся, что в данном конкретном случае это модель работает. Но это не доказывает того, что модель "истинная" вообще.
=======
PS. Поскольку у нас тут наступает время футбола, воспользуемся футбольным примером. Допустим, имеется высказывание: "эта команда сильнее, чем та". Тогда каждый гол в ворота противника будет доказательством этого высказывания ("+"), а каждый гол в ее ворота - опровержением ("-").
:)