Логика- это наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений.
  Основателем логики считается Аристотель.
  Различают индуктивную и дедуктивную, а в последней - классическую, интуиционисткую, конструктивную, модальную и др. Все теории логики объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений - посылок приводят к истинным суждениям - следствиям; каталогизация осуществляется, как правило, в рамках логических исчислений. 
  Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др.