Six Problems in Translational Equivalence
Six Problems in Translational Equivalence
I wish to first formulate a criterion according to which two systems of logic might be said to be \"really the same system\" in spite of their having different vocabulary — especially where the difference is in the logical operators each has. One way of doing this might be to show that the theorems of the two systems are validated by precisely the same structures ; but I am here interested in a more \"syntactic\" test for this. On an intuitive level, my desires could be expressed by saying that I want to be able to translate one system into the other, preserving theoremhood. For this reason I call it \"translational equivalence\" between the two systems.
- University of Alberta Canada
epistemic logic, knowledge, Logic, Modal logic, vagueness, Lewis modal system, modal propositional logic, Equivalence, KD45, logic of conviction, Translations, Modal logic (including the logic of norms)
epistemic logic, knowledge, Logic, Modal logic, vagueness, Lewis modal system, modal propositional logic, Equivalence, KD45, logic of conviction, Translations, Modal logic (including the logic of norms)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!