Seonglae Cho논리적인 명제의 진리값을 수학적 Model을 통해 결정하는 방법
Logical System theoretically deals with the provability of propositions while the model: deals with whether the proposition is actually true or false.
It studies the structure that explains the symbols used in a given logical system and what those symbols mean. In other words, it determines whether a certain proposition is true in a specific model.
Model is a Mathematical Structure in which the Language of a Logical system is interpreted. Unlike Proof Theory, it determines the true or false of propositions through various operations.
Model Theory Notion
Model theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold).[1] The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.
As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954.[2]
Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory.
https://en.wikipedia.org/wiki/Model_theory