Логіка
Логіка є формальною наукою, яка вивчає принципи доказування та справедливого висновку. Слово походить від давньогрецького λογική, що означає "наділений розумом, інтелектуальним, діалектичним, аргументаційним", що, в свою чергу, походить від λόγος, "слова, думки, ідеї, аргументів, розуму або принципу". Точно так само, як об'єкт традиційного вивчення хімії - це матерія, і біологія життя, логіка - це висновок. Висновок - це процес, за допомогою якого виводяться висновки з приміщень. Логіка досліджує принципи, за якими деякі висновки є прийнятними, а інші не є. Коли висновок є прийнятним, це залежить від його логічної структури, а не від конкретного змісту аргументу або використовуваної мови. З цієї причини логіка розглядається як формальна наука, як математика, а не емпірична наука. Логіка традиційно вважалася галуззю філософії. Але з кінця дев'ятнадцятого століття його символічна формалізація продемонструвала інтимні стосунки з математикою і породила математичну логіку.