Logika
Logika jest formalną nauką, która studiuje zasady dowodu i ważnego wnioskowania. Słowo pochodzi od starożytnego greckiego λογική, czyli „obdarzone rozumem, intelektualnego, dialektycznego, kłótni”, które z kolei pochodzi od λόγος „słowo, myśl, idea, argument, powód lub zasady.” Jak również tradycyjne przedmiotem jest kwestia chemii, biologii i życie, logika jest wnioskowanie. Wniosek jest procesem, w wyniku którego wnioski pochodzą z lokalu. Logika bada zasady, za pomocą których niektóre wnioski są dopuszczalne, a inne nie. Gdy wniosek jest dopuszczalny, to przez jego struktury logicznej, a nie konkretne treści argumentu lub użytego języka. Z tego powodu logikę uważa się za formalną naukę, podobnie jak matematykę, a nie naukę empiryczną. Logika była tradycyjnie uważana za filozofię. Ale od końca XIX wieku, jego symboliczny formalizacja wykazały, intymną relację z matematyki, i spowodowało logiki matematycznej.