Founding Meeting of the Advanced Reasoning Forum Conference on Reasoning & 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.