Sémantika a logika jsou dva naprosto nesouvisející obory. Jeden nemůže být vysvětlován definicemi z druhého a naopak.