Цитата:
Сообщение от DRON-ANARCHY
Ответьте на такой простейший логический вопрос:
когда верно утверждение "если сегодня среда, то завтра вторник"?
|
Когда истинна импликация сегодня среда => завтра вторник?
В понедельник, вторник, четверг, пятницу, субботу, воскресенье
Цитата:
Сообщение от DRON-ANARCHY
Тогда переведите высказывание vi0 в систему предикатов 1 порядка
|
Мы обсуждаем высказывание "наука не разделяет ваше мнение".
Высказывание "наука разделяет мое мнение" вы признали неистинным.
Следовательно, истинным является высказывание "наука не разделяет ваше мнение"
Авторство высказывания (Вио или не-вио) не имеет отношения к его истинности или ложности
Цитата:
Сообщение от DRON-ANARCHY
В вашем понимани "новое знание" это то, что вы знаете сейчас
|
Мы не можем предсказать, что мы будем знать завтра. Если бы могли - это знание сразу стало бы "новым"
Цитата:
Сообщение от DRON-ANARCHY
И кто мне там рассказывал о разнице между прикладной физикой и математикой?
|
Вот-вот. В логике первого порядка ее истинность установлена теоремой Геделя. И никакие эксперименты, никакие астралы и ктулху не могут отменить теорему Геделя.
А в физике эксперименты в любой момент могут обнаружить неверность теории, что вызывает необходимость создания новой теории (при этом старая может продолжать использоваться в рамках своей точности и применимости. В логике такое невозможно)