What follows is my opening statement from a new debate at Ne Plus Ultra, which has not yet been posted there. I welcome comments, especially from visitors who may know a thing or two about symbolic logic, as I am sure there is much to refine or discard.

http://uberkuh.com/files/opening.pdf