Logic, Individuals and Concepts

Viacheslav Wolfengagen

DOI: https://doi.org/10.48550/arXiv.cs/0106030

2001-06-12

Abstract:This extended abstract gives a brief outline of the connections between the descriptions and variable concepts. Thus, the notion of a concept is extended to include both the syntax and semantics features. The evaluation map in use is parameterized by a kind of computational environment, the index, giving rise to indexed concepts. The concepts are inhabited into language by the descriptions from the higher order logic. In general the idea of object-as-functor should assist the designer to outline a programming tool in conceptual shell style.

Logic in Computer Science,Databases,Discrete Mathematics,Software Engineering

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on how to formally describe the relationships between logic, individuals and concepts in order to establish a general - purpose computing framework for modeling data objects. Specifically, the author attempts to include syntactic and semantic features by expanding the definition of concepts and, by introducing the concept of "index", enables concepts to adapt dynamically to different computing environments.

### Main problems:
1. **Formal description of concepts**:
- Traditional concept definitions usually focus on only one aspect of syntax or semantics, while this paper attempts to combine the two to form a more comprehensive concept representation method.
- Formula: \[ \text{Concept} = \{ \text{individual} \mid \text{Logical formula} \} \]

2. **Concept representation in a dynamic environment**:
- The concept of "index" is introduced, allowing concepts to be adjusted according to different computing environments. This makes a concept not only a static set but also a dynamic entity that can change with the environment.
- Formula: \[ C(I) = \{ h \mid \parallel \Phi(x) \parallel_I = 1 \} \subseteq HT(I) \]

3. **Relationship between objects and individuals**:
- The paper discusses how to define and handle objects and individuals in the problem domain and proposes a three - layer structure: actual objects, possible objects, and virtual objects.
- Formula: \[ A \subseteq D \subseteq V \]
- \( A \) represents the set of actual objects.
- \( D \) represents the set of possible objects.
- \( V \) represents the set of virtual objects.

4. **Variable domain and variable concepts**:
- The author introduces the concept of "variable domain" to describe the changes of individuals under different event configurations. At the same time, the "variable concept" is proposed, which depends on a specific world configuration.
- Formula: \[ \text{Variable domain} = HT(I) = \{ h \mid h: I \to T \} \]
- Formula: \[ C(I) = \{ h \mid \parallel \Phi(x) \parallel_I = 1 \} \subseteq HT(I) \]

### Summary:
The main objective of the paper is to propose a new computing framework through the combination of research on logic, individuals and concepts, which can better handle the problem of data object modeling. In particular, the author hopes that by introducing concepts such as index and variable domain, concepts can change dynamically in different computing environments, thereby providing theoretical support for database design and development.