An Algebraic Theory of Structured Objects

Notre Dame Journal of Formal Logic 38 (1):65-80 (1997)
  Copy   BIBTEX

Abstract

We present an algebraic theory of structured objects based on and generalizing Aczel's theory of form systems. Notions of identity of structured objects and of transformations of systems of such objects are discussed. A generalization of Aczel's representation theorem is proven

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039700697

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Why conceptual rigour matters to philosophy: On the ontological significance of algebraic quantum field theory. [REVIEW]Meinard Kuhlmann - 2010 - Foundations of Physics 40 (9-10):1625-1637.
Objects, please remain composed.Robert L. Goldstone - 1998 - Behavioral and Brain Sciences 21 (4):472-473.
Towards a Theory of Theoretical Objects.Gordon G. Brittan Jr - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:384 - 393.
Structured characters and complex demonstratives.David Braun - 1994 - Philosophical Studies 74 (2):193--219.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Geometry of *-finite types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.
Meinong, Alexius; I: Meinongian Semantics.William J. Rapaport - 1991 - In Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology. Munich: Philosophia Verlag. pp. 516-519.
Algebraic Aggregation Theory.Perm C. Fishburn - unknown
An algebraic treatment of the Leibniz law.Piotr Wilczek - unknown
On the Objects and Interpretants of Signs: Comments on T. L. Short's Peirce's Theory of Signs.Risto Hilpinen - 2007 - Transactions of the Charles S. Peirce Society 43 (4):610 - 618.
Why the tuple theory of structured propositions isn't a theory of structured propositions.Bjørn Jespersen - 2003 - Philosophia 31 (1-2):171-183.
On some connections between logic and category theory.J. Lambek - 1989 - Studia Logica 48 (3):269 - 278.
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknown

Analytics

Added to PP
2010-08-24

Downloads
27 (#576,320)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Significant parts and identity of artifacts.Athanassios Tzouvaras - 1993 - Notre Dame Journal of Formal Logic 34 (3):445-452.

Add more references