On the Logic For Utopia

C. Areces and V. Becher. On the Logic For Utopia. In Annals of the 1st CACiC, Bah\'ia Blanca, Argentina, 1995.

Download

[pdf] 

Abstract

In this study we propose the standard modal logic KDC4 as the logic governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions in ordinary language that we name utopian conditionals. They possess the singular properties of admitting Strengthening of the Antecedent while possibly defeating the rule of Modus Ponens. Perhaps the most interesting aspect of this work is that, as far as the authors know, this is the first time a category of expressions in the ordinary language corresponding to these two singular properties is provided.

BibTeX

@InProceedings{Areces1995,
  author =       "C. Areces and V. Becher",
  booktitle =    "Annals of the 1st {CACiC}",
  title =        "On the Logic For {U}topia",
  year =         "1995",
  address =      "Bah{\'i}a Blanca, Argentina",
  abstract =     "In this study we propose the standard modal logic KDC4
                 as the logic governing expressions about Utopia. We
                 define a formal construction corresponding to Utopian
                 expressions in ordinary language that we name utopian
                 conditionals. They possess the singular properties of
                 admitting Strengthening of the Antecedent while
                 possibly defeating the rule of Modus Ponens. Perhaps
                 the most interesting aspect of this work is that, as
                 far as the authors know, this is the first time a
                 category of expressions in the ordinary language
                 corresponding to these two singular properties is
                 provided.",
}