Logiikka tutkii kieltä ja sen ilmaisuvoimaa: Millaiset päätelmät ovat sitovia? Mitä kielessä voidaan ylipäätään esittää ja mikä jää kielen ulkopuolelle? Logiikkaa tarvitaan …