Thursday, April 30, 2009

A Systems Theoretical Formal Logic for Category Theory

by

Carlos Pedro Gonçalves

Mathematics researcher at UNIDE-ISCTE
cpdsg.research@gmail.com (primary); cpdsg@iscte.pt

Maria Odete Madeira
Interdisciplinary researcher in philosophy of science and systems science
mosmg.research@gmail.com (primary), mariaodete.sm@gmail.com

Abstract

A systems theoretical thinking on the categorial object and morphism is developed, leading to areflection on the philosophical and mathematical foundations of category theory, which allowsfor the introduction of a formal language for category theory and of a categorial calculus as amorphic 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

1. Introduction

"In the present work, we propose a systems theoretical approach to category theory, introducing a formal language (LCat) and a formal system (FCat′ ), that incorporate the main system theoretic foundations of the categorial object and morphism. The formal system is based upon a morphic web calculus that we call categorial calculus. Both the logical syntax and semantics of such calculus are addressed and shown to be independent from set theory, which makes the theory itself independent from set theory.

In section 2., we address the categorial object as a system, providing for the philosophical ground of the main work. In section 3., we introduce the formal language LCat and a formal system FCat1−6 that is able to address the simpler structures of category theory.

In section 4., we address the morphic wholes as systems, through the so-called border marker. This leads to a development of the identity laws into a more ontologically and systemically complete logic, that addresses both systemic individuation and identity. The formal system, developed in section 4., is called FCat′ and it is capable of dealing with category theory, n-category theory and a different class of structures that cross systemic levels, which are more complex hierarchical structures than the ones worked upon in n-category theory.

In section 5., we address the logical semantics. In section 6. we conclude with a few final remarks.

http://papers.ssrn.com/sol3/papers.cfm?abstract_id=1396841

Sunday, April 19, 2009

James Lovelock - "É a vida que desenha o planeta"

“Os meus amigos do mundo científico e académico adoram especular sobre o que é que havia antes do Big Bang, ou sobre como se formou a vida na terra nos tempos primordiais. Até agora não o sabemos, excepto – e isso é muito importante – que temos muita sorte por fazermos parte de um Universo que se organiza a si mesmo. Onde quer que existam fluxos de energia, como a luz solar proveniente de uma estrela, formam-se sistemas e estruturas que vivem, que sobrevivem durante algum tempo e que depois se extinguem de novo. A vida é um desses sistemas, embora seja diferente dos outros, porque é quase imortal, e a razão pela qual é quase imortal reside no facto de que é capaz de transmitir, de uma geração para outra, o conhecimento acerca daquilo que é importante fazer.”

James Lovelock, in Eduardo Punset, Frente a Frente com a Vida, a Mente e o UniversoÉ a vida que desenha o planeta, p.99