logică
Logica este o știință formală care studiază principiile dovezii și inferențele valide. Cuvântul derivă din logica antică grecească, adică "înzestrată cu rațiune, intelectuală, dialectică, argumentativă", care la rândul ei vine din λόγος, "cuvânt, gând, idee, argument, rațiune sau principiu". Așa cum obiectul studiului tradițional al chimiei este materie, iar cel al biologiei vieții, cel al logicii este inferență. Inferența este procesul prin care concluziile sunt derivate din premise. Logica investighează principiile prin care unele concluzii sunt acceptabile, iar altele nu sunt. Atunci când o deducere este acceptabilă, ea este prin structura ei logică și nu prin conținutul specific al argumentului sau limbii folosite. Din acest motiv, logica este considerată o știință formală, cum ar fi matematica, mai degrabă decât o știință empirică. Logica a fost în mod tradițional considerată o ramură a filosofiei. Dar, de la sfârșitul secolului al XIX-lea, formalizarea simbolică a demonstrat o relație intimă cu matematica și a dat naștere logicii matematice.