Workshop | Constructive Semantics

The relationship between phenomenological meaning constitution and constructive semantics is one of the central issues in epistemology and philosophy of mathematics since Husserl’s elaboration of the general concept of intentionality on the one side, Brouwer’s concept of mathematical objects as articulations of transcendental time intuition on the other side. Over the years analogies between the Husserlian concept of intentional object constitution and intuitionistic approaches to mathematical objects, for example Brouwer’s two-oneness or his concept of choice sequences have been discussed (Becker, Heyting, Martin-Löw, van Atten). Besides explicit analogies between phenomenological concepts of meaning constitution and methodological constructivism implicit connections can be identified between both theoretical fields. If one regards variants of constructive introductions into logic such as Kamlah’s and Lorenzen’s Logical Propaedeutics or Lorenzens Dialogical Logic, one recognizes the fundamental effort these theories put into developing, expatiating, taking into account some sort of pragmatic phenomenology as a central part of their respective concept of constructivity.

Due to both of the aforementioned aspects, the ongoing discussion of analogies between meaning concepts in phenomenology and intuitionism on the one side, efforts to integrate some sort of phenomenology, a phenomenological fragment, into the respective concept of construction on the other side, the general philosophical task of explicating, what exactly different theories understand by the term „constructive“ arises. Does the respective concept of construction imply some sort of phenomenology, phenomenological demonstration, and if so, which shape does that phenomenological aspect of constructivity have?
The workshop wants to discuss the relationship between constructivity and phenomenology on different levels and in and between different possible disciplinary frames. From more specific conceptualizations in the philosophy of logic and mathematics to more general considerations in epistemology, inferential semantics and phenomenology.

PROGRAMME

Friday, 30 September

10.00 Christina Weiss (Zeppelin University Friedrichshafen), Welcome and Introduction
10.15 Mark van Atten (Centre National de la Recherche Scientifique Paris), On two problems with the Theory of the Creating Subject
11.15 Vojtěch Kolman (Charles University Prague), Intuition and the end of all -isms
12.15 Lunch
13.30 Catarina Dutilh Novaes (University of Groningen), A dialogical analysis of structural rules
14.30 Shahid Rahman (Université de Lille), Equality In Action: A dialogical genealogy of intensional equality within Constructive Type Theory
15.30 Tea/Coffee
15.45 Mohammad Shafiei (University of Paris1), A Phenomenological Analysis of the Distinction between Structural Rules and Particle Rules
16.45 Close

19.00 Workshop Dinner at Restaurant Felders, Karlstrasse 42, Friedrichshafen

Saturday, 1 October

10.00 Göran Sundholm (Leiden University), Constructivist Contrasts
11.00 Matthias Wille (Universität Paderborn), Prädikatives Konstruieren. Überlegungen zu den wissenschaftstheoretischen Grundlagen von Begriff und Gegenstand
12.00 Lunch
13.00 Mirja Hartimo (Norwegian University of Life Sciences), Critique and Construction
14.00 Christina Weiss (Zeppelin University Friedrichshafen), Distinction Schemata, Horizons and Conceptual Contents
15.00 Tea/Coffee
15.15 Claire Hill (Paris), Husserl’s Purely Logical Chastity Belt
16.15 Close