The essay is available at Overleaf.
Related Pages
In Philosophy of Logic (Lecture) we discussed that since domains of models are sets and we don’t have a set containing all sets, we cannot ground truth on validity of models. Despite this, it is claimed the so-called squeezing argument, completeness still holds but we cannot claim the same for soundness.