2007 | OriginalPaper | Buchkapitel
Equipollent Logical Systems
verfasst von : Carlos Caleiro, Ricardo Gonçalves
Erschienen in: Logica Universalis
Verlag: Birkhäuser Basel
Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
When can we say that two distinct logical systems are, nevertheless, essentially the “same”? In this paper we discuss the notion of “sameness” between logical systems, bearing in mind the expressive power of their associated spaces of theories, but without neglecting their syntactical dimension. Departing from a categorial analysis of the question, we introduce the new notion of
equipollence
between logical systems. We use several examples to illustrate our proposal and to support its comparison to other proposals in the literature, namely homeomorphisms [
7
], and translational equivalence (or synonymity) [
6
].