Mathematics is the domain of all formal languages, and allows the expression of arbitrary statements (most of which are uncomputable). Computation ma… - Joscha Bach

[E]verything else are ideas about the world, and I suspect that they are relatively sparse, and also the intuitive models that we form about social interaction. ...[T]he priors are present in most social animals ... Many domestic social animals ...have better social cognition than children.

[T]here also seems to be a particular kind of ground truth, [e.g.,] you are confronted with the enormity of something existing at all. ...It's stunning when you realize something exists, rather than nothing. ...[T]his seems to be true. There is an absolute truth in the fact that something seems to be happening.

Early AI systems tended to constrain themselves to micro-domains that could be sufficiently described using simple ontologies and binary predicate logics, or restricted themselves to hand-coded ontologies altogether. ...AI systems will probably have to be perceptual symbol systems, as opposed to amodal symbol systems...