Posts Tagged ‘haskell’

I Love it When a Plan Comes Together

Luckily a year ago I made a good choice in programming languages: Haskell. Language trends are harder to read. Think there’s a practical use for Second order Lambda Calculus with Polymorphism? I do. Category theory is embedded in the core libraries of the language which makes incorporating information flow and the logical environment of the Information Flow Framework a natural fit.

A Winter of Philosophy and Logic

Winter was a time of deep contemplation and thoughtful reflection. I describe my readings in intuitionistic logic, type theory and the open source tooling that allows me to get my hands dirty and stay free.

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.