Archive for the ‘LBase’ Category

Information Flow: A Web of Constraints on the Giant Global Graph

Information flows on the Giant Global graph because of regularities. Those regularities are the result of constraints on parts of the Giant Global Graph. The flow of information based on these constraints means there are WEBS of data, not THE web of data. Rick provides a number of recommendations for Linked Data.

Algebraic Semiotics: A Relational Theory of Meaning

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.

Formal Systems, Common Logic and LBase

Folks might enjoy the Soloman Feferman lecture Goedel, Nagel, Minds and Machines. After recounting an exchange between Godel and Nagel circa 1956, Feferman describes the implications of the minds vs. machines dichotomy ensuing from the exchange.