Displaying similar documents to “Indexed categories for program development”

Upsetting the foundations for mathematics

Lawrence Neff Stout (2005)

Philosophia Scientiae

Similarity:

Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.

Towards a logic of semiotic systems

Constantin Thiopoulos (1992)

Mathématiques et Sciences Humaines

Similarity:

The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category...