Список проголосовавших за комментарий "PSH, <blockquote>Логика — это, по сути, подраздел математики</blockquote><br/> это касается только матлогики. Логика — вполне себе самостоятельная дисциплина<br/> <br/> Вы правы в том, что математика не естественно-научная дисциплина, это, как бы, самоочевидно. И Теорвер не занимается выяснением того, что такое случайность, условность ли это, или реальность, просто берется допущение такого рода, что есть некая случайность, обусловлена ли она чем либо изначально — от этого мы тут абстрагированы. То бишь, это темы не касается.<br/> <br/> Но вообще, безусловно, математика в целом склоняется к детерминизму. Например, существует очень мало вычислительных матмоделей, которые выносят недетерминизм на уровень семантики, явным образом.<br/> <br/> Собственно, тут есть прямая связь: если следствие не вытекает из причины, значит не работает логика, потому что логика так или иначе опирается на все ту же причинность, например, из посылок вытекает логический вывод. А так мы получаем то, что, например, «если все слоны зеленые, значит каждый отдельно взятый слон зеленый == false || true», импликация не работает"