# Logical consequence

(Redirected from Therefore)
Logicians make precise accounts of logical consequence regarding a given language ${\displaystyle {\mathcal {L}}}$, either by constructing a deductive system for ${\displaystyle {\mathcal {L}}}$ or by formal intended semantics for language ${\displaystyle {\mathcal {L}}}$. The Polish logician Alfred Tarski identified three features of an adequate characterization of entailment: (1) The logical consequence relation relies on the logical form of the sentences, (2) The relation is a priori, i.e. it can be determined with or without regard to empirical evidence (sense experience), and (3) The logical consequence relation has a modal component.[3]