Искусство философствования   ::   Рассел Бертран

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

Дедуктивная логика полезна в том случае, если известны общие посылки, а также если предполагается, как можно проследить, что их следствия согласуются с опытом. Великим примером дедуктивной логики является чистая математика. В чистой математике мы начинаем с общих принципов, а затем делаем из них выводы. Во всех случаях расчетов вы используете дедукцию. Предполагается, что правила арифметики неоспоримы, и вы применяете их к конкретным цифрам ваших расходов и доходов. Чистая математика – это огромная область знаний; даже великие математики знают лишь небольшой фрагмент этой области. Большинство этих знаний имеет практическое применение в навигации, в инженерной и военной сфере и во многих других сферах современной промышленности. Но при практическом использовании математические знания всегда должны согласовываться с другими посылками, полученными посредством индукции. До тех пор, пока математика представляет собой чистое знание, это игра типа шахмат; она отличается от других игр именно тем, что имеет практическое применение.

Математика – не единственный пример дедуктивной логики, хотя и самый важный. Другой пример – право (или закон).