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