Equipollent Logical Systems

Carlos Caleiro () and Ricardo Gonçalves ()
Additional contact information
Carlos Caleiro: TU Lisbon, Center for Logic and Computation Department of Mathematics Instituto Superior Técnico
Ricardo Gonçalves: TU Lisbon, Center for Logic and Computation Department of Mathematics Instituto Superior Técnico

A chapter in Logica Universalis, 2007, pp 97-109 from Springer

Abstract: Abstract 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].

Keywords: Logical system; theory space; equipollence (search for similar items in EconPapers)
Date: 2007
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-7643-8354-1_6

Ordering information: This item can be ordered from
http://www.springer.com/9783764383541

DOI: 10.1007/978-3-7643-8354-1_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().