Fwd: OLOFOS online seminar 16 December with Giorgio Venturi (UNICAMP)

[Joao Marcos]

---------- Forwarded message ---------
From: Peter Verdée


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: 16/12, 15:00-17:00 CET
Speaker: Giorgio Venturi (State University of Campinas, Brazil)
Commentator: Peter Verdée
Title: The pragmatic structure of mathematics.

Zoom link: https://us02web.zoom.us/j/85875013729
Meeting ID: 858 7501 3729

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.