2007 | OriginalPaper | Chapter
Equipollent Logical Systems
Authors : Carlos Caleiro, Ricardo Gonçalves
Published in: Logica Universalis
Publisher: Birkhäuser Basel
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. 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
].