Saltar menú de navegación Teclas de acceso rápido

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.

Teclas de acceso