26 September 2002, Try Out, PILM Nancy, Theo Janssen, Joop Niekus

Theo Janssen and Joop Niekus like to invite you to come to see the tryout of their talks for the International Symposium on Philosophical Insights into Logic and Mathematics:

Program

15.00 tea and cake

15.15 Joop Niekus
Individual Choice Sequences in the Work of L.E.J. Brouwer

Choice sequences are sequences not completely determined by a law. We state that the introduction of particular choice sequences by Brouwer in the late twenties was not recognised as such. We claim that their later use in the method of the creative subject was not traced back to this original use of them and has been misinterpreted. We show where these particular choice sequences appear in the work of Brouwer and we show how they should be handled.

16.00 Theo Janssen
Basic properties of IF Logic

Hintikka has proposed to use his IF logic for dealing with the foundations of mathematics. In this presentation some basic properties of this logic will be investigated, with the purpose to see whether these are intuitively attractive. It will be shown that IF logic lacks some basic properties and is not a conservative extension of predicate logic.

Also organized by the Beth foundation.

For more information, please visit http://www.univ-nancy2.fr/ACERHP/ or email Theo Janssen at theo at science.uva.nl