4th Conference on Reasoning and Logic of the Advanced Reasoning Forum

João Pessoa, Brazil
December 26, 2002-January 5, 2003

Presentations of work in progress were made at the conference which was held at the Hotel Tambaú in João Pessoa, Brazil.

Internal color functionalism        William S. Robinson
An analogy against Penrose        Stanislaw Krajewski
On models and theories, with applications to economics        Richard L. Epstein
Identity and essence        Mircea Dumitru
Metaphysical necessity        Desidério Murcho
Reformed epistemology        Fred Kroon
Implicit definitions and knowledge of logic        Célia Teixeira
Zooming in on downward causation        William S. Robinson
Classical predicate logic with non-referring names        Richard L. Epstein
Critical thinking about quantifiers and Henkin quantifiers        Stanislaw Krajewski
Surviving abduction        Walter A. Carnielli

Also in attendance were Carolyn Kernberger, Rômulo do Rego, Rogéria Gaudencio, and Juliana Bueno.

On December 31, 2002 the Annual General Meeting of ARF was held, at which time Carolyn Kernberger was elected a Full Member of the Advanced Reasoning Forum, with all rights and obligations thereto pertaining. It was decided that a second volume of the Bulletin of Advanced Reasoning and Knowledge will be prepared:
        Submissions by members will be due in March.
        Members will be allowed to solicit papers from other scholars.
        Each paper shall be refereed, and final versions shall be edited by
                Richard L. Epstein and Carolyn Kernberger.

Members reported on their scholarly activities since the last meeting. Fragments of previously unknown scripture were also examined and scholarly analysis provided, with Fred Kroon being the newly designated H.P. of ARF, with all rights and obligations thereto pertaining.