Talk:Modules: Difference between revisions

From the Logical Languages Wiki
Jump to navigation Jump to search
(Blanked the page)
Tag: Blanking
Line 1: Line 1:
== About the section "semantics" ==


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.

Revision as of 15:16, 3 March 2022

About the section "semantics"

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.