Russell’s Theory Of Types | The Phaneron

Posts Tagged ‘Russell’s theory of types’

A Winter of Philosophy and Logic

Posted on March 21, 2010, 8:40 am, by rickmurphy, under haskell, information sharing, intuitionism, linked data, linked open data, logic, model driven architecture, peirce, semantic web, type theory.

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.

Tags: algebraic specifications, Common Algebraic Specification Language, constructive and intuitionistic logic, Coquand's Calculus of Constructions, European Union, Girard's Paradox, haskell, Haskell and Isabelle/HOL, impredicative and predicative type systems, LEJ Brouwer's Intuitionism and Formalism, Martin-Lof's, methodeutic.com, Model Driven Architecture and the Semantic Web, Object Management Group, oCAML and Coq, Proof General, Ralph Hodgson, Russell, Russell's theory of types, type hierarchies, World Wide Web Consortium
No Comments | Read the rest of this entry »