0
$\begingroup$

First order logic: "consistency," "compactness"?

Consistency: A set $\Sigma\subseteq\text{WFF}$ is consistent iff there is no $\varphi\in\text{WFF}$ such that $\Sigma\vdash\varphi$ and $\Sigma\vdash\lnot\varphi$.

Compactness: A set $\Sigma$ is consistent iff every finite $\Sigma_0\subseteq\Sigma$ is consistent.

I have read through these definitions, however I still feel like I do not understand them. Can someone respond and break them down for me in simpler terms? I feel more confident in my abilities if I understand them to the fullest and their application.

Thank you

  • 0
    could you explain them further then the definitions?2012-12-10

1 Answers 1

2

The definition of a theory being consistent is that it can not prove both $\varphi$ and $\neg\varphi$. However an alternative way of think about a theory $T$ in the language $\mathcal{L}$ being consistent is that $T$ can not prove all $\mathcal{L}$ sentences. In this way an inconsistent theory is not very intersesting since $T$ can prove every sentence. Moreover, a theory being consistent also means that it has a model, i.e. a $\mathcal{L}$-structure $\mathcal{M}$ such that $\mathcal{M} \models \varphi$ for all $\varphi \in T$.

The compactness theorem of logic states that a theory $T$ is consistent if and only if every finite $\Lambda \subset T$ is consistent. Model theoretically, $T$ has a model if and only if every finite set of sentences of $T$ has a model. In practice, it's fairly easy for certain theories to construct models for any finite collection of sentences. Then using the compactness theorem, you can conclude the whole (possible infinite theory $T$) has a model (i.e. is consistent) without explicitly producing a model for $T$.