Saturday, April 09, 2005

Stefano's Linotype ~ Folksologies: de-idealizing ontologies 

Stefano's Linotype ~ Folksologies: de-idealizing ontologies: "Came across Clay Shirky's talk at the O'Reilly Emerging Technology conference entitled 'Ontology is Overrated: Links, Tags and Post-hoc Metadata'. It's worth listening to.
Just like me, Shirky is alakoff-ian (excuse the neologism): categories are embodied, espression of humanity, not abstract metaphysical entities (Plato's ideas) that we aim to obtain. I wrote about this already.
Still, Shirky misses one important point: ontologies are not overrated, they are just contracts, a (more or less explicit) agreement between different parties. Language is a contract as well. So are categories. So is metadata. So are APIs, protocols, plug shapes and their voltage, meters.... you name it! Many make the mistake of associating an 'ontology' with Plato's metaphysical ideas, I think Shirky is one of them."

Friday, April 08, 2005

Ontologies, Vocabularies, Folksonomies 

Many-to-Many: Tags != folksonomies && Tags != Flat name spaces: "Tags are labels attached to things. This procedure is absolutely orthogonal to whether professionals or amateurs are doing the tagging.
Professionals often think tags are covalent with folksonomies because their minds have been poisoned by the false dream of ontology, but also because tagging looks too easy (in the same way the Web looked too easy to theoreticians of hypertext.) Not only are tags amenable to being used as controlled vocabularies, it�s happening today, where groups are agreeing about how to tag things so as to produce streams of e.g. business research."

Ontologies, Vocabularies, URIs 

Joho the Blog: Controlled and suggested vocabularies: Are tags making us dumb?: "Controlled and suggested vocabularies: Are tags making us dumb?

Companies like Boeing spend years developing controlled vocabularies to drive ambiguity out of their technical documentation. For example, tech writers might be told to use the word 'turn' but not 'twist' when describing any circular motion involving a tool. And, at Corbis, the home of millions of digital images, the in-house cataloguers might be told to use the word 'shore' and not 'beach' when describing coastal photos. "

Sunday, April 03, 2005

Computation of Meaning 

Google Search: "computation of meaning" is a search on a statistically improbable phrase. Only 333 results are found. It is likely that virtually all are relevant.

Game-theoretical Semantics as a Challenge to Proof Theory 

Game-theoretical Semantics as a Challenge to Proof Theory: "Abstract:
Game-theoretical semantics (GTS) is but a systematization of the familiar ``epsilon-delta'' technique of mathematicians. It relies essentially on the game-theoretical notion of strategy for its truth definition. Since we want to express all possible patterns of dependence among variables by means of our logic, we must replace the received first-order logic by an independence-friendly (IF) logic. This logic is semantically incomplete. Hence we cannot characterize the meanings of logical notions by their inference rules. This changes the role of logic in mathematics from fallacy policing to a search for stronger logical principles. Since a typical mathematical problem is equivalent to the validity of some IF first-order formula, this makes a (reoriented) proof theory the engine of discovery in mathematics."

This page is powered by Blogger. Isn't yours?