- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
New dimensions on translations between logics
Logica Universalis 3 (1):1-18 (2009)
Abstract
After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.Author Profiles
My notes
Similar books and articles
Every finitely reducible logic has the finite model property with respect to the class of ♦-formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.
Incomplete translations of complete logics.Stewart Shapiro - 1977 - Notre Dame Journal of Formal Logic 18 (2):248-250.
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
Analytics
Added to PP
2009-04-27
Downloads
100 (#169,877)
6 months
3 (#1,023,809)
2009-04-27
Downloads
100 (#169,877)
6 months
3 (#1,023,809)
Historical graph of downloads
Author Profiles
Citations of this work
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.Gerhard Schurz - 2021 - Journal of Philosophical Logic 51 (1):27-55.
The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.
Why classical logic is privileged: justification of logics based on translatability.Gerhard Schurz - 2021 - Synthese 199 (5-6):13067-13094.
An Essay on Knowledge and Belief.John Corcoran - 2006 - International Journal of Decision Ethics (2):125-144.
References found in this work
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
Classical negation can be expressed by one of its halves.J.-Y. Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.
Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo