Mantık bize dilsel ifadelerin formel koşullarını, doğru düşünmenin yasalarını öğretir. İfadenin ne söylediğiyle ilgilenmez, nasıl söylendiğiyle ilgilenir. Yapıyı içerikten bağımsız olarak inceleriz. İfadenin anlamıyla ilgilenmeyiz. İfadenin yapısıyla ilgileniriz.