A few days ago our team reviewed some ongoing work in which we’re developing a better approach to sharing information. Today, model driven architecture and the semantic web are widely accepted approaches to sharing information. Despite the acceptance of these approaches, their underlying model theory is not well understood as was evident from our review. So, I’ll spend the next few posts (or more) explaining truth and meaning in model theory.
Posts Tagged ‘algebraic semiotics’
If you’re interested in the categories ontology mentioned in my post called “On a New List of Categories” and you’re looking for some background, check out Joseph Goguen’s work on algebraic semiotics. As described by Goguen in “On Notation” Peirce’s semiotics forms the basis for a relational theory of meaning for algebraic specifications.