Propositional logic in other domains

27 Views Asked by At

The transfer of propositional logic to other domains has been investigated (as mentioned here for example). By domain here I mean an area that has some regularities and is reflected, for example, in the theory of multiple intelligences. I see that logic was first investigated in relation to language, but later the possibility of displaying individual concepts was added, for example in the form of Euler diagrams. These two-dimensional graphic objects are no longer related to language, they follow their own laws (maybe?). And here it already looks like, according to the theory of multiple intelligences, we are entering the visual-spatial domain. Could we go further? Model the concepts of propositional logic in some computer-generated 3D objects, or explain this kind of logic on the laws of nature (ecology) or music?

If a language where it can identify logical conjunctions and propositional logic describes these domains, it should probably work. But I'm rather asking about some specific studies that would illustrate propositional logic in these domains. Or one can rather assume that these domains operate according to other logics (for example, fuzzy logic) and the language was just an artificial imprecise description of these domains, so propositional logic cannot be sought here.