Оригинально, логика состояла лишь из дедукции, исследующая универсальные правила вывода из заданных утверждений. Однако важно заметить, что порой включают в курс логики также индукцию - науку о выведении достоверных обобщений из наблюдений. Соответственно важным является различение дедуктивной подлинности и индуктивной подлинности. Вывода является дедуктивно истинным тогда и только тогда, если невозможна ситуация когда все предположения истине а вывод нет. Понятие дедуктивной подлинности может быть строго сформулирован для систем формальной логики построенных с использованием основательно исследованной терминологии семантики. Кроме того, индуктивная истинность требует сначала дать определение достоверном обобщению некоторого множества наблюдений. Существуют различные подходы к этой задаче, более или менее формальные, некоторые из них используют математические вероятностные модели. В дальнейшем речь пойдет главным образом о дедуктивную логику.
