Talk:Modules: Difference between revisions
Jump to navigation
Jump to search
Jiyu8iighx (talk | contribs) (→About the section "semantics": new section) |
Jiyu8iighx (talk | contribs) |
||
Line 4: | Line 4: | ||
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. | 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. | ||
[[User:Jiyu8iighx|Jiyu8iighx]] ([[User talk:Jiyu8iighx|talk]]) 15:28, 3 March 2022 (UTC) |
Revision as of 15:28, 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. Jiyu8iighx (talk) 15:28, 3 March 2022 (UTC)