Отличие предсказания от объяснения заключается в знании ситуации. При объяснении факт Q (а) уже известен. Мы объясняем факт Q (а), показывая, как он может быть выведен из утверждения 1) и 2). При предсказании Q (а) как факт еще неизвестен. Мы имеем закон и факт F (а). Мы заключаем, что Q (а) должен быть фактом даже тогда, когда он еще не наблюдается. Например, если нам известен закон теплового расширения, и мы нагрели некоторый стержень, то применяя логику к вышеуказанной схеме можно сделать вывод, что если теперь измерить стержень, то он окажется длиннее, чем прежде.
В большинстве случаев неизвестные факты в действительности оказываются будущими событиями. Вот почему используется термин "предсказание" для второго способа применения закона. Однако, нет необходимости в том, чтобы предсказание понималось в буквальном смысле слова. Во многих случаях неизвестные факты появляются вместе с известными. Расширение стержня происходит одновременно с его нагреванием. Только мы наблюдаем это расширение после нагревания.
В других случаях неизвестные факты могут даже относится к прошлому. На основе социальных и психологических законов и некоторых фактов, извлеченных из документов, историк делает заключение о некоторых неизвестных фактах истории. Астроном может вывести заключение, что лунное затмение должно было произойти в определенное время в прошлом. Геолог на основании бородавчатости валунов может сделать заключение, что некогда в прошлом данная область была покрыта ледником. В каждом из этих случаев мы имеем ту же самую логическую схему и ту же ситуацию: знания - известный факт и известный закон, из которых выводится неизвестный факт.
Во многих случаях соответствующие законы могут быть скорее статистическими, чем универсальными. Тогда предсказание будет только вероятностным. Метеоролог, например, имеет дело одновременно с точными физическими законами и различными статистическими законами. Он не может сказать, что завтра будет дождь, он может сказать, что дождь очень вероятен.
Логическая схема предсказания с помощью статистического закона такова:
"x (F (x) →р (Q (x) =a))
2. F (а)
3. р (Q (x)) =a
1. Логика. К. - Хатнюк В.С. 2005 г.
2. Логика - искусство мышления. Тимирязев А.К. - К. 2000 г.
3. Философия и жизнь - журнал - К. 2004 г.
4. История логики и мышления - Касинов В.И. 1999.
5. Логика и человек - М. 2000.
6. Философия жизни. Матюшенко В.М. - Москва - 2003 г.
7. Бытие. Хатнюк В.С. - К. 2000 г.