Abstract:Applying logic in the area of conceptual modeling has been investigated widely, yet there has been limited uptake of logic-based conceptual modeling in industry. According to some researchers, another formalization of such tools as EER or UML class diagrams in logic may only marginally contribute to the body of knowledge. This paper reflects on applying propositional logic language to a high-level diagrammatic representation called the thinging machines (TM) model. We explore the relationship between conceptual modeling and logic, including such issues as: What logical constructs model? How does truth fit into the picture produced in conceptual modeling as a representation of some piece of the world it is about? The ultimate research objective is a quest for a thorough semantic alignment of TM modeling and propositional logic into a single structure. Examples that involve the application of propositional logic in certain areas of reality are TM remodeled, where propositions are viewed as TM regions or events. As it turned out, TM seems to shed light on the semantics of propositions. In such a conceptual framework, logical truth is a matter of how things are in actuality and how falsehood is in subsistence. The results show that propositional logic enriches the rigorousness of conceptual descriptions and that the TM semantic apparatus complements propositional logic by providing a background to the given set of propositions. Semantics matters are applied to propositional constructs such as negative propositions, disjunctions, and conjunctions with negative terms.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **How to achieve deep semantic integration by combining propositional logic with the "thinging machines" (TM) model in concept modeling, and explore the contribution of this combination to understanding the real world**. Specifically, the paper focuses on the following aspects: 1. **The relationship between logic and concept modeling**: - Explore whether the logical structure reflects certain characteristics of the world we are trying to model. - Research what the logical constructs themselves represent. - Explore whether logic can, to some extent, provide a true picture of the world. - Analyze how truth fits into the representation of the real world generated by concept modeling. 2. **Semantic alignment between the TM model and propositional logic**: - Try to find a method to apply the language of propositional logic to high - level graphical representations (i.e., the TM model), and explore the semantic consistency between the two. - Regard propositions as regions or events in TM, thereby revealing the semantics of propositions. 3. **The application of logic in concept modeling**: - Explore the role of logic in concept modeling, especially how it provides formal semantics and support for automatic reasoning for graphical elements. - Demonstrate through specific examples how to use propositional logic to describe and analyze certain phenomena in the real world. 4. **Specific applications of the TM model**: - Use the TM model to model the reality in specific domains, such as restaurant ordering, library lending systems, etc. - Through these specific application cases, show how the TM model can be combined with propositional logic to enhance the rigor of concept descriptions. 5. **Semantic interpretation of logical constructs**: - Explore the semantic meanings of logical constructs such as negative propositions, disjunctions, and conjunctions, and provide background support through the TM model. In summary, the core problem of the paper is **How to achieve a deeper and more accurate understanding of the real world by combining propositional logic with the TM model, and in the process, reveal the relationship between logic and reality**.

Toward Conceptual Modeling for Propositional Logic: Propositions as Events

Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations

Modeling System Events and Negative Events Using Thinging Machines Based on Lupascian Logic

Ontology for Conceptual Modeling: Reality of What Thinging Machines Talk About, e.g., Information

Modal Foundations for Predicate Logic.

Diagrammatic Modelling of Causality and Causal Relations

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Exploring Conceptual Modeling Metaphysics: Existence Containers, Leibniz's Monads and Avicenna's Essence

Conceptual Modeling with Constraints

Modal Logic: A Semantic Perspective

In Pursuit of Unification of Conceptual Models: Sets as Machines

Standpoint Linear Temporal Logic

Logic Modelling

Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach

Modeling Non-Monotonic Properties under Propositional Argumentation

Conceptual Modeling Founded on the Stoic Ontology: Reality with Dynamic Existence and Static Subsistence

Model Logic and Philosophy

Modeling belief, capability and promise for cognitive agents – a modal logic approach

The Orthologic of Epistemic Modals

Thinging-Based Conceptual Modeling: Case Study of a Tendering System

UML Modeling to TM Modeling and Back