Miercuri, 13 mai 2020, Secțiunea de Științe Umaniste a Institutului de Cercetare al Universității din București a organizat prelegerea online Arithmetic, Model Theory, and Independence-Friendly Logic, susținută de drd. Silviu Velica, de la Facultatea de Filosofie a UB. Evenimentul a avut loc pe Zoom, începând cu ora 15:00.
Evenimentul a fost organizat de către Andrei Mărășiu, bursier al SSU-ICUB, ca parte a proiectului de cercetare What are insights?, desfășurat la ICUB.
Categoricitatea aritmeticii este o problemă delicată în filosofia matematicii. Deși există o mulțime de rezultate formale despre categoricitate (este imposibilă în logica de ordinul întâi, este trivială în logica de ordinul doi etc.), avem suficiente motive să punem la îndoială semnificația filosofică a acestor rezultate, fiind constrânși să justificăm alegerea logicii potrivite pentru aritmetică folosind alte argumente decât derivările formale de care este capabilă logica în cauză. În această prezentare, s-au discutat unele probleme legate de semnificația rezultatelor formale, care au fost abordate dintr-o perspectivă de tipul Independence-Friendly Logic.