---
title: "Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System"
authors:
  - "Pierre Basso"
doi: ""
url: "https://ijcai.org/proceedings/1993/116"
pdf: "https://ijcai.org/proceedings/1993/0116.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "845-850"
track: "Logic Programming"
keywords:
---

# Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System

Pierre Basso

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 845-850.

## Abstract

The purpose of Conditional Causal Logic (CCL) is to constitute a formal theory of the process by which the representation of the world emerges in a cognitive system. CCL is presented as a two-level language; this article concerns the first, called the u-language. This u-language is a formal theory for the determination process by which a cognitive system constructs its objective knowledge. The internal dynamics of this construction do not belong to the world of the u-language, but to the £-language which constitutes the second level of CCL. This £-language is still being developed and it will only be referred to briefly in this article. The u-language in itself offers some original features such as the notions of identity and distinction by determination and also a type of negation, functional negation, which has no equivalent in other models of conventional logic or nonstandard 'logic. In conclusion, some words will be said about design of a connexionist system founded on this theory of u-language.