Consistency of Theories of Ideas
Abstract
Inconsistency is a problem with first order predicate calculus theories in which ideas are treated as objects. This paper presents general results on inconsistency, including an interesting restriction on the relation of knowing. A theory having a uniform method of expressing ideas, ideas of ideas, and so on, is sketched. It is shown how to restrict some of the axioms of this theory in order to obtain consistency. The method of obtaining consistency seems to have some generality.
Cite
Text
Elschlager. "Consistency of Theories of Ideas." International Joint Conference on Artificial Intelligence, 1979.Markdown
[Elschlager. "Consistency of Theories of Ideas." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/elschlager1979ijcai-consistency/)BibTeX
@inproceedings{elschlager1979ijcai-consistency,
title = {{Consistency of Theories of Ideas}},
author = {Elschlager, Bob},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {241-243},
url = {https://mlanthology.org/ijcai/1979/elschlager1979ijcai-consistency/}
}