A Systems Theoretical Formal Logic for Category Theory

31 Pages Posted: 30 Apr 2009

See all articles by Carlos Pedro dos Santos Gonçalves

Carlos Pedro dos Santos Gonçalves

Political and Strategic Studies Institute (ISCSP-IEPE)

Maria Odete Madeira

Massacritica, Lda.

Date Written: April 29, 2009

Abstract

A systems theoretical thinking on the categorial object and morphism is developed, leading to a reflection on the philosophical and mathematical foundations of category theory, which allows for the introduction of a formal language for category theory and of a categorial calculus as a morphic web-based logical calculus. A formal system, built from such calculus, is proposed and the logical semantics is addressed. Both syntax and semantics are independent from set theory.

Keywords: System, object, morphism, morphic web, individuation, entity, identity, categories, n-categories

JEL Classification: C00, C02

Suggested Citation

Gonçalves, Carlos Pedro dos Santos and Madeira, Maria Odete, A Systems Theoretical Formal Logic for Category Theory (April 29, 2009). Available at SSRN: https://ssrn.com/abstract=1396841 or http://dx.doi.org/10.2139/ssrn.1396841

Carlos Pedro dos Santos Gonçalves (Contact Author)

Political and Strategic Studies Institute (ISCSP-IEPE) ( email )

Pólo Universitário do Alto da Ajuda
Rua Almerindo Lessa
Lisbon - Lisboa, 1349-055
Portugal

HOME PAGE: http://sites.google.com/site/carlospedrogoncalves/

Maria Odete Madeira

Massacritica, Lda. ( email )

Lisbon
Portugal

HOME PAGE: http://sites.google.com/site/mariaodetemadeira1/

Here is the Coronavirus
related research on SSRN

Paper statistics

Downloads
380
Abstract Views
2,116
rank
85,952
PlumX Metrics