Логика (от греч. logos - «мысль», «слово», «разум», «закономерность») - раздел науки о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка.

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