Talk:Modules

From the Logical Languages Wiki
Revision as of 15:15, 3 March 2022 by Jiyu8iighx (talk | contribs) (Created page with "Logic is another syntactic system, which has only formal semantics(proof-theoretic semantics or model-theoretic semantics — the latter lies in a meta language), how could it...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Logic is another syntactic system, which has only formal semantics(proof-theoretic semantics or model-theoretic semantics — the latter lies in a meta language), how could it be the foundation of semantics?

I think there are very many things to consider here. The formal semantics of truth value has only a very limited effect on the categorizing of module.