В чем источник этой логической необходимости? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Из размышления над этими вопросами и выросла особая наука о мышлении – логика. Отвечая на вопрос «что из чего следует?», она отделяет правильные способы рассуждения от неправильных и систематизирует первые.

Правильным является следующий вывод, использовавшийся в качестве стандартного примера ещё в Древней Греции:

Все люди смертны; Сократ – человек; следовательно, Сократ смертен.

Первые два высказывания – это посылки вывода, третье – его заключение.

Правильным будет, очевидно, и такое рассуждение:

Всякий металл электропроводен; натрий – металл; значит, натрий электропроводен.

Сразу же можно заметить сходство данных двух выводов, но не в содержании входящих в них утверждений, а в характере связи этих утверждений между собою. Можно даже почувствовать, что с точки зрения правильности эти выводы совершенно идентичны: если правильным является один из них, то таким же будет и другой, и притом в силу тех же самых оснований.

Ещё один пример правильного вывода, связанного со знаменитым опытом Фуко:

Если Земля вращается вокруг своей оси, маятники, качающиеся на её поверхности, постепенно изменяют плоскость своих колебаний; Земля вращается вокруг своей оси; значит, маятники на её поверхности постепенно изменяют плоскость своих колебаний.

Как протекает это рассуждение о Земле и маятниках? Сначала устанавливается условная связь между вращением Земли и изменением плоскости колебания маятников. Затем констатируется, что Земля действительно вращается. Из этого выводится, что маятники в самом деле постепенно изменяют плоскость своих колебаний. Это заключение вытекает с какой-то принудительной силой. Оно как бы навязывается всем, кто принял посылки рассуждения. Именно поэтому можно было бы сказать также, что маятники должны изменять плоскость своих колебаний, с необходимостью делают это.