Consistency of Theories of Ideas

Elschlager, Bob

Consistency of Theories of Ideas

Download BibTeX Cite

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.

Bob Elschlager. 1979. Consistency of Theories of Ideas. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI, https://ijcai.org/proceedings/1979/53

@inproceedings{ijcai1979p53,
  title     = {Consistency of Theories of Ideas},
  author    = {Elschlager, Bob},
  booktitle = {Proceedings of the Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI-79}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Bruce G. Buchanan},
  year      = {1979},
  month     = {8},
  url       = {https://ijcai.org/proceedings/1979/53},
}

TY  - CPAPER
TI  - Consistency of Theories of Ideas
AU  - Elschlager, Bob
T2  - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1979
UR  - https://ijcai.org/proceedings/1979/53
ER  -