Posts Tagged ‘logic’

Sample Terms for Practical Type Inference for Arbitrary Rank Types

I’ve been heads down following from my past work on Model Driven Architecture, Ontology and Logic(s). The questions that arise naturally in the course of studying these topics lead me to closely examine quantification and type systems. Higher rank types provide both a mechanism for polymorphism and high assurance in the subjects that motivated my study.

To Pragmaticism and Beyond: The Emergence of Meaning in Complex Systems

The central topic for this post is to sketch out a program for developing a new theory of meaning. In short, my hypothesis is this: a) semantics provides a theory of representation and truth; b) semiotics provides a theory signs and their interpretation; c) pragmaticism defines the effect of a conception on other objects as the whole of the conception; and d) meaning emerges in a complex system through the convergence of relational properties and domain knowledge.

The Fourth Natural Law of Federation: The Law of Limits

The new year’s here and with the passing of 2007, its time for me to add a new law to the Natural Laws of Federation called The Law of Limits. These laws are just thought a experiment, but adding The Law of Limits says a lot about what I’ve come to believe after having the opportunity to closely study ontology, logic, semiotics, category theory, complex systems over the past few years. Before you read the Law of Limits, I highly recommend #3 of the Ten Predictions from Stevey’s Drunken Blog Rants which inspired the Law of Limits.