The pragmatic structure of mathematics

The Institut supérieur de philosophie of the UCLouvain, the research centre CEFISES, and the FNRS contact group OLOFOS ((Onto-)LOgical Frameworks Of Science) are very happy to invite everyone interested to the (due to Covid-19) online only first ordinary meeting of this year’s OLOFOS seminar with the overarching theme “Formal analysis of modality and pragmatics in science and mathematics”.

Date and time: Tuesday 15/12, 15:00-17:00 CET

Speaker: Giorgio Venturi (State University of Campinas, Brazil)

Commentator: Peter Verdée

Title: The pragmatic structure of mathematics.

Abstract:

We explore many linguistic facets that permeate mathematical proofs. To do so, we analyze mathematics through the lens of speech act theory, focusing on those illocutionary aspects which are peculiar to the mathematical discourse. Our analysis includes both the single speech acts that occur in proofs and the delicate interplay of such acts.