---
title: "Consistency of Theories of Ideas"
authors:
  - "Bob Elschlager"
doi: ""
url: "https://ijcai.org/proceedings/1979/53"
pdf: "https://ijcai.org/proceedings/1979/0053.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# Consistency of Theories of Ideas

Bob Elschlager

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## 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.