MEETINGS of the Advanced Reasoning Forum

 Founding Meeting of the Advanced Reasoning Forum

Conference on Reasoning and Logic
Cedar City, Utah, USA
September 7-11, 1999

The following works in progress were presented:

Ways of not saying "therefore ": some paradoxes of argument         Walter A. Carnielli
Should modalities be construed as quantifiers over possible worlds?         Mircea Dumitru
Rationality         Richard L. Epstein
What's wrong with contradictions?         Fred Kroon
Modalities: logical and other         Desiderio Murcho
Definitions of "arf"          Célia Teixeira

Also attending were Peter Adams from Wadsworth Publishing Company, Alex Raffi, and Alan Venable. The founding members of ARF were:
          Peter Adams
          Walter A. Carnielli
          Mircea Dumitru
          Richard L. Epstein
          Fred Kroon
          Desiderio Murcho
          Alex Raffii

Corresponding members elected at the meeting were:
          Peter Eggenberger
          Stanislaw Krajewski
          Benson Mates
          Piergiorgio Odifreddi
          William S. Robinson 

Agreement was reached on the rights and obligations of members.

The undergraduate essay prize on history and philosophy of computability offered by Walter A. Carnielli and Richard L. Epstein in conjunction with Wadsworth was decided to be offered as an ARF prize.