Abstract
“I will present a development of a formal logical language
based upon an ontology of information sources. The formal language draws upon
situation theory (including Floridian infonic theory) algorithmic conceptions
of information, and the category/universals ontology recently developed by Leckey and
Bigelow to model universal properties and relations. I’ll defer to a reductive
and physicalistic conception of information with reference also to the
scientific metaphysical conception of OSR I presented in my PhD thesis, and
incorporate conceptions of natural encoding and virtual sources to provide a
way of characterising universals, properties, relations, and functions.”