SEMINARIILE DE CERCETARE ALE I.F.P.A.R.: Joi, 16 februarie 2023

Conferențiar: CS III Dr. CONSTANTIN C. BRÎNCUȘ (I.F.P.A.R.)

Tema: „Idealul completitudinii logice”

Completitudinea unui sistem formal nu a fost gândită inițial ca un ideal logic. Conceptual, formularea acestei probleme metateoretice nici măcar nu era posibilă în cadrul concepției universaliste asupra logicii, împărtășită atât de către G. Frege cât și de către B. Russell, i.e. nu exista posibilitatea studierii logicii din afara logicii. Primul obiectiv al acestei prezentări este de a distinge între mai multe noțiuni de completitudine (centrală fiind aici distincția dintre o teorie matematică și logica subiacentă acestei teorii) pornind de la ideea Gabelbarkeitssatz. Formularea inițială a Gabelbarkeitssatz-ului de către R. Carnap a motivat rezultatele de incompletitudine ale lui K. Gӧdel, iar acestea fac imposibilă obținerea simultană a completitudinii descriptive a unei teorii matematice, i.e. categoricitatea, și a completitudinii semantice a logicii subiacente acestei teorii. Pornind de la două argumente recente bazate pe ideea de open-endedness, cel de-al doilea obiectiv al prezentării este de a discuta ce noțiune de completitudine ar trebui să țintim.

Linkul pentru accesul online este: https://meet.google.com/idm-boup-spy

___________________________________________________

Următoarea comunicare: 23.02.2023: ALINA NOVEANU (Universitatea „Babeș-Bolyai”), „Celălalt început al lui Heidegger. O introducere în filosofia târzie”