Types: Information

First Pass: 2022-11-28

Authors:: Richard Weyhrauch (IBUKI)

Note:

The information in this document (and its companion documents) is the unpublished work of Richard Weyhrauch. It incorporates trade secret, published and unpublished components and is not to be redistributed.

Introduction

This document discusses the notion of 'information semantics' as used my Theory of Types.

Predicates

[type]s are

The Kinds of Attributes

This section explains how the distinctions made by Clarke in The Heads of Predicables are applicable to building IBML models.

Every predicable expresses either

1. Whole essence of individuals . Species . ([greek]). 
                   (Material part . Genus . ([greek]). 

2 Part of essence, 
                   (Formal part . Differentia . (greek]). 
                   (Necessarily . Property . ([greek]). 

3. Something joined to essence
                   (Contingently . Accident . ([greek]). 

[person]
  bio-mother [person] essence
  bio-father [person] essence
  head
  left-arm
  right-arm

(Richard]
  bio-mother |Marie| essence
  bio-father |Willoam| essence