Premium
9.3.2 Vajra Logic and Mathematical Meta‐models for Meta‐systems Engineering
Author(s) -
Palmer Kent D.
Publication year - 2002
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2002.tb02499.x
Subject(s) - computer science , abstraction , metamodeling , set (abstract data type) , extension (predicate logic) , metatheory , theoretical computer science , axiom , programming language , artificial intelligence , epistemology , mathematics , philosophy , geometry
This paper explains at a high level of abstraction the meaning of the term Vajra Logic as it relates to Diamond Logic and Matrix Logic. It also explains the concept of Meta‐models as an extension related to the concept of Mathematical Model Theory. These ideas were mentioned in the paper “Anti‐terror Meta‐systems Engineering” and this paper seeks to fill in more background as to what is meant by these terms. These ideas are related to Set and Mass mathematical and logical categories and Syllogistic and Pervasion logics. Finally, there is discussion concerning the use of the Gurevich Abstract State Machine Method for the purpose of modeling Turing machines and Universal Turing machines as a way to represent Systems and Meta‐systems for Engineering Design. The foundations of Systems Design Languages are briefly discussed. This is a conceptual working paper of research still in progress and does not represent final results.