Seminar cercetare DFT „Reasoning by brute force – implementing a natural deduction proof calculator with minimal heuristics”

Următoarea conferință din cadrul seminarului de cercetare al Departamentului de Filosofie Teoretică în parteneriat cu CELFIS va fi susținută de Marian Călborean (Universitatea din București).

Titlul prezentării sale este „Reasoning by brute force – implementing a natural deduction proof calculator with minimal heuristics”. Iată și rezumatul:

„One result of the ‘Logic and software’ elective course held in 2022 at the Faculty of Philosophy, University of Bucharest was the interactive development of a Lemmon-style NK calculator that successfully proves all exercises in classical textbooks (e.g. G. Forbes’ 1994 ‘Modern Logic’). The project is original in three ways. First, the calculator is written in Python, a common programming language, allowing the easy study and change of the software code corresponding to NK rules. Secondly, it uses brute force – running all allowable NK rules until the conclusion is adequately derived, then retracing the steps to display the shortest path to it; no human-like rules-of-thumb or backwards reasoning were used. Since the computational complexity required speed optimizations, proving their soundness would be a third original contribution.”

Conferința se va desfășura ȋn limba engleză luni, 30 mai, orele 20-22. Detaliile de conectare via Zoom vor fi distribuite celor ce își indică dorința de participare scriind la adresa andrei.marasoiu@filosofie.unibuc.ro

Mai multe detalii sunt disponibile prin anunțul de pe pagina Facebook a seminarului: https://www.facebook.com/Seminarul-Departamentului-de-Filosofie-Teoretica-UniBuc-285279685738329 sau pe PhilEvents: https://philevents.org/event/show/93365 

Oferta burse Italia

Agenția de Credite și Burse de Studii vă aduce la cunoștință oferta de burse pentru anul universitar 2022/2023:

–  până la 36 luni de bursă oferite de M.A.E. italian acordate conform informațiilor de pe site-ul: https://studyinitaly.esteri.it/en/call-for-procedure 

Bursele se pot acorda pentru:

  1. Studii de masterat (Laurea Magistrale 20 ciclo) – pentru o perioadă de studii de 6 sau 9 luni;
  2. Cursuri de studii superioare în Arta, Muzică și Dans (AFAM) – pentru o perioadă de studii de 6 sau 9 luni;
  3. Programe de doctorat – pentru o perioadă de studii de 6 sau 9 luni;
  4. Proiecte de cercetare (Progetti in co-tutela) ) – pentru o perioadă de studii de 6 sau 9 luni;
  5. Cursuri avansate de limbă și cultură italiană – pentru o perioadă de studii 3 luni.

Informații complete privind programele de burse, condițiile de eligibilitate cerute de partea italiană, documentele solicitate și condițiile financiare oferite de M.A.E. italian găsiți în documentul atașat și pe site-ul https://studyinitaly.esteri.it

Aplicația pentru partea italiană se realizează online. Candidații trebuie să completeze și să transmită formularul online de aplicație  înregistrându-se folosind următorul link: https://studyinitaly.esteri.it 

Candidaturile pentru partea italiană trebuie să fie transmise on-line până la data limită de 09 iunie 2022, 2 PM C.E.T.

Termen limită pentru depunerea candidaturilor la A.C.B.S. – 13 IUNIE 2022.

A se vedea informatiile de la pagina https://roburse.ro/concurs/italia-2022-2023/ 

Sesiune de examene mai-iunie 2022

Prof. univ. dr. Romlus Vasile Brâncoveanu Filosofia Istoriei, anul I. 14 iunie, ora 9.00
Prof. univ. dr. Ion Vezeanu Datele de examen (Ion Vezeanu):
— Curs opțional L, M: Bios, Eros și Thanatos (II), prin Zoom
1) marți 24 mai 2022 (orele 14-16), pentru anii terminali (L3, M2)
2) marți 31 mai 2022 (orele 14-16), pentru L1, L2, M1.
Restanțele: marți 7 iunie (orele 14-16).
— Curs transversal, Șc. Doc.: Metodologia și etica cercetării, prin Zoom
Vineri, 27 mai 2022 (orele 16-18).
Lect. univ. dr. Constantin Vică Etica tehnologiilor – 8 iunie, orele 15-20.
Prof. univ. dr. Savu Totu Filosofie si crestinism, master an I, 23 iunie, ora 10.
Prof. univ. dr. Simona Davidescu Termen depunere eseuri: 23 iunie 2022
Lect. dr. Ionuț-Bogdan Dima Restante Constitutional Democracy – Master PPE – 11.06.2022 (Sala Noica, orele 10.00)
Conf. univ. dr. Gheorghe Ștefanov 30 mai 2022
Conf. univ. dr. Radu Dudău Master SDIERI, an I: Schimbări climatice, 22 iunie, ora 10:00
Master SDIERI + EASAO, an I: Etica relațiilor internaționale, 24 iunie, ora 10:00
Dr. Roxana Bojariu 26 iunie 2022
Conf. univ. dr. Cristian Vasile Iftode Examen scris Introducere în estetică, anul 1 Licenţă: 8 iunie, ora 10, amf TM
Dr. Roxana Bojariu Examenul este programat la 26 iunie 2022.
Prof. univ. dr. Adrian Paul Iliescu Examen Etica sociala si politica, anul I, masterat EASAO si SDIERI, 6 iunie ora 12
Prof. univ. dr. Viorel Cernica Master IAFC, Anul I – 03.06.2022, ora 16.00.
Conf. univ. dr. Gheorghe Ștefanov Știință și pseudo-științe (master FGC, anul I) – 24 iunie, ora 12
Prof. univ. dr. Constantin Stoenescu Epistemologie, Licență, anul I, 17 iunie, ora 10,
Cunoaștere și adevăr, Master FGC, 20 iunie, ora 17
Lect. univ. dr. Oana Șerban 30 mai, ora 12.00
O perspectivă etică și antropologică asupra violenței în istorie. Holocaust și Terorism – ICIF, IAFC
Estetică – Filosofia Culturii
Prof. univ. dr. Laurențiu-Mihai Staicu Etica stiintei, master EASAO, anul II – 23 mai
Filosofia biologiei, licenta, Filosofie teoretica, anul III – 15 mai
Restante si reexaminari (pentru anii terminali) – 3 iunie
Dr. Bianca Savu Examen Retorică și argumentare: 24 iunie, ora 17:00. Deadline lucrări: 12 iunie.
Conf. univ. dr. Emanuel Mihail Socaciu Istoria Ideilor Politice (anul 1): 20 iunie ora 10 (gr. 350, 353, 354), 21 iunie ora 10 (gr. 351, 352, 355)
Ethics and Economics (PPE): 13 iunie, ora 17.00
Etica in afaceri (EASAO): 23 iunie. ora 16.00
Conf. univ. dr. Bogdan Mincă Curs opțional „Introducere în greaca veche“. Examenul are loc în data de 17 iunie, ora 16.
Lect. univ. dr. Ileana Dascălu Research Seminar, anul I, Intercultural Management, termen de depunere a eseurilor 7 iunie
Prof. univ. dr. Mircea Dumitru

Introducere în Logica Modernă, examen de restanţă, fizic, scris, vineri, 24 iunie, ora 10 dimineața

Teste de recuperare pentru cei ce au nevoie să-şi încheie situația de seminar la ILM vor fi susținute vineri, 17 iunie, ora 10 dimineața (fizic, scris).”

Restanţa/reexaminarea din partea dumnealui pentru anul III curent (toate cursurile) va fi pe 7 iunie ora 14, nu ora 11.

Conf. univ. dr. Sorin-Valentin Costreie

Filosofia Limbajului, anul II, examen scris, faţă în faţă, 21 iunie ora 12

La Filosofia Limbajului, eseurile II de seminar trebuie predate titularei/titularului de seminar până cel târziu 10 iunie, ora 23:59.

Theory of Mind, anul I master, examen scris, faţă în faţă, 21 iunie ora 15

La Theory of Mind, eseurile II de seminar trebuie predate titularului de seminar până cel târziu 13 iunie, ora 23:59.

Lect. univ. dr. Marin Bălan

An I
Filosofie medievală:
– grupele 352 și 254: 16 iunie
– grupele 350 și 351: 22 iunie
– grupele 353 și 355: 25 iunie

An II (modul psiho-pedagogic)
Didactica specialității: 8 iunie

Prof. univ. dr. Mihaela Pop

Doctorat

– Filosofia operei de artă: 31 mai 2022, ora 16.00, Sala Doctorat

Atelier „Epistemologie și modalități”

Atelier „Epistemologie și modalități”, 27.05.2022, via Google Meet.

Prezentări:

10:00 – 10:10, Deschiderea evenimentului (Alexandru Dragomir, Universitatea din București)
10:10 – 10:40, Conceptibilitate, posibilitate și cazuri Gettier pentru cunoașterea modală (Alexandru Dragomir, Universitatea din București)
10:40 – 11:10, Virtuți epistemice și procesul de formare a opiniilor (Constantin Stoenescu, Universitatea din București)
11:10 – 11:40, Înțelegerea nesigură (Andrei Mărășoiu, Universitatea din București)
11:40 – 12:10, Modalitate, esență și cunoașterea modalităților. Câteva considerații asupra dezbaterilor recente privind analiza noțiunilor modale (Mihai Rusu, Universitatea Babeș-Bolyai)
12:10 – 12:30, Discuții

Vineri, 27 mai, 10:00 – 12:30 pm
Google Meet link: meet.google.com/noy-jtuy-qio

Eveniment sprijinit de un grant pentru proiecte de cercetare postdoctorală CNCS – UEFISCDI, PN-III-P1-1.1-PD-2019-0004, PNCDI III.

Decontări abonamente STB – mai 2022

Studenții Facultății de Filosofie înmatriculați pe locuri finanțate de la bugetul de stat, cu vârsta de până în 26 de ani, își pot deconta abonamentele STB de pe lunile anterioare la Casieria Universității din București (Șoseaua Panduri nr. 90, sector 5) după următorul program:

ORAR CASIERIE – DECONTĂRI ABONAMENTE STB

joi 02 iunie 2022, între orele 10.00 și 15.00