|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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Brent Mundy (1989). Elementary Categorial Logic, Predicates of Variable Degree, and Theory of Quantity. Journal of Philosophical Logic 18 (2):115 - 140.
Urszula Wybraniec-Skardowska (1998). Logical and Philosophical Ideas in Certain Formal Approaches to Language. Synthese 116 (2):231-277.
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
M. Kary (2009). (Math, Science, ?). Axiomathes 19 (3):61-86.
Added to index2009-05-01
Total downloads14 ( #90,445 of 722,765 )
Recent downloads (6 months)0
How can I increase my downloads?