Logika - charakteryzowana często jako nauka, która formułuje i systematyzuje prawdy oczywiste, zakładane przez każdą inna naukę, sama zaś nie zakłada żadnych "obcych" prawd - mogłaby się wydawać niewdzięcznym tematem sporów filozoficznych i naukowych. Tak jednak nie jest. Filozofowie spierają się o status poznawczy logiki, zwłaszcza o to, czy prawdziwość jej twierdzeń jest zapewniona przez sam język, czy też przez język oraz właściwości świata, do mówienia o którym język służy.