Основной задачей логики является отделение правильных способов умозаключения (вывода) от неправильных. Правильные выводы называются также обоснованными, последовательными, или логичными.
Правильное умозаключение — умозаключение, схема которого представляет собой закон логики, в силу чего из истинных посылок с необходимостью вытекает истинное следствие.
Правильным является, например, следующее умозаключение, использовавшееся в качестве стандартного примера еще в Древней Греции:
Все люди смертны.
Все греки люди.
Следовательно, все греки смертны.
Первые два высказывания — это посылки умозаключения, третье — его заключение.
Еще один пример правильного умозаключения, связанный со знаменитым опытом Фуко.
«Если Земля вращается вокруг своей оси, маятники, качающиеся на ее поверхности, постепенно изменяют плоскость своих колебаний; Земля вращается вокруг своей оси; значит, маятники на ее поверхности постепенно изменяют плоскость своих колебаний».
Как протекает это рассуждение о Земле и маятниках? Сначала устанавливается условная связь между вращением Земли и изменением плоскости колебания маятников. Затем констатируется, что Земля действительно вращается. Из этого выводится, что маятники в самом деле постепенно изменяют плоскость своих колебаний. Это заключение вытекает с какой-то принудительной силой. Оно как бы навязывается всем, кто принял посылки рассуждения. Именно поэтому можно также сказать, что маятники должны изменять плоскость своих колебаний. Схема данного рассуждения проста: если есть первое, то есть второе; имеет место первое; значит, есть и второе. Принципиально важным является то, что, о чем бы мы ни рассуждали по такой схеме — о Земле и маятниках, о человеке или химических элементах, о мифах или богах, — рассуждение останется правильным. Чтобы убедиться в этом, достаточно подставить в схему вместо слов «первое» и «второе» два утверждения с любым конкретным содержанием.