Friday, July 11, 2008


In ordinary second-order logics, is the first-order fragment of the logic complete? That is, are all propositions that are true in all models and expressible strictly in terms of first-order quantification also provable?

Also, intuitively, when one plays a role-playing video game such as Final Fantasy, Breath of Fire, or Dragon Warrior, does one pretend to be the character(s) one plays?

No comments: