Procedural postulationism

Organized by the Department of Logic

Further information

Invitation pdf

The workshop is part of the project Lumina quaeruntur: Meaningful Formalism led by dr. Ansten Klev.

PROGRAMME

11.00 | Procedural postulationism: logic (Ethan Russo, New York University & Chris Scambler, University of Oxford)

12.30 lunch

14.00 | Procedural postulationism: mathematics (Ethan Russo & Chris Scambler)

15.30 | The logical form of counting (Vít Punčochář, Czech Academy of Sciences)

16.30 | A constructive-type-theoretical view of procedural postulationism (Ansten Klev, Czech Academy of Sciences)