Translations between logical systems: a manifesto

Logique Et Analyse 157:67-81 (1997)
Download Edit this record How to cite View on PhilPapers
Abstract
The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described.
PhilPapers/Archive ID
CARTBL
Upload history
Archival date: 2016-02-29
View other versions
Added to PP index
2014-01-20

Total views
531 ( #11,862 of 64,111 )

Recent downloads (6 months)
20 ( #32,255 of 64,111 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.