top of page
Search


Correcting Errors in a Previous Post
Correcting an error in a previous post about Turing's famous proof.
Michael DeBellis
Dec 27, 20241 min read
5 views
0 comments


The Turing/Church Proofs: How Logicians Created Computer Science
12/27/24. When I first published this I got some of the details wrong. Specifically my discussion of countable and uncountable infinite...
Michael DeBellis
Jul 11, 20249 min read
152 views
0 comments

Using an LLM to help build ontologies: The Basic Formal Ontology (BFO) Assistant
Using the Open AI Assistant tool to create an LLM enabled assistant to using the Basic Formal Ontology (BFO)
Michael DeBellis
Feb 1, 20241 min read
580 views
3 comments

Using OWL Models to Bring Rigor to the "Soft" Sciences
Examples of using the Web Ontology Language to rigorously define theories in the social sciences
Michael DeBellis
Oct 24, 20234 min read
160 views
0 comments


Universal Moral Grammar (UMG) Ontology
Describes an ontology I presented at Semantics 2018 based on Hauser's concept of a Universal Moral Grammar (UMG)
Michael DeBellis
Jul 23, 20192 min read
579 views
1 comment


What's It Like to Be a Computer?
A critique of Nagel's famous "What's It Like to be a Bat" paper
Michael DeBellis
Jul 20, 20185 min read
198 views
0 comments
bottom of page