Six Problems in Translational Equivalence

• Author(s) / Creator(s)

  • Pelletier, Francis J.

• 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.

• Date created

  1984

• Subjects / Keywords

  • Logic
  • Equivalence
  • Translations
  • Modal logic

• Type of Item

  Article (Published)

• DOI

  https://doi.org/10.7939/R32805D0P

• License

  © 1984 Pelletier, F.J. This version of this article is open access and can be downloaded and shared. The original author(s) and source must be cited.