Equipollent Logical Systems

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

A chapter in Logica Universalis, 2005, pp 99-111 from Springer

Abstract: Abstract When can we say that two distinct logical systems are, neverthe- less, 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: 2005
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-7304-7_6

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

DOI: 10.1007/3-7643-7304-0_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 ().