<div dir="ltr"><div><div><span style="font-family:arial,sans-serif">Logic and Philosophy of </span><span style="font-family:arial,sans-serif">Science Seminar</span><br></div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><font face="arial, sans-serif">Department of Logic, Institute of Philosophy</font></div><div><font face="arial, sans-serif">Eötvös Loránd University</font></div><div><span style="font-family:arial,sans-serif">Budapest, </span><font face="arial, sans-serif">Múzeum krt. 4/i Room 224</font></div><div>_____________________________________________</div><div>P R O G R A M</div><div><br>T<font face="arial, sans-serif">he seminar is held in hybrid format, in person (Múzeum krt. 4/i Room 224) and online. <a href="https://us02web.zoom.us/j/84594385686?pwd=a7KPWoNLrPg11xNTi5Ug91YR5mHmmS.1" target="_blank">Zoom link</a> </font></div><div><font face="arial, sans-serif"><br></font></div><font face="arial, sans-serif">20 March (Friday) 4:15 PM  Room 224 + ONLINE       </font></div><div dir="ltr"><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif"><span style="text-align:-webkit-center">Tibor Papp</span></font></div><div><font face="arial, sans-serif"><span style="text-align:-webkit-center">Eötvös Loránd University, Department of Logic</span></font></div><div dir="ltr"><font face="arial, sans-serif"><span style="color:rgb(0,0,0);text-align:center">Title: </span></font>Introduction to Universal Logic<font face="arial, sans-serif"><br></font></div><div dir="ltr"><br></div><div><b>The talk will be in Hungarian.</b></div></div><div dir="ltr"><div dir="ltr"><font face="arial, sans-serif">_____________________________________________<br></font><div><div><div>ABSTRACT:<br></div></div></div><div>The first part of my doctoral thesis is a self-developed metalogical theory, called Universal Logic (UL). The doctoral thesis outlines UL as follows:<br></div></div></div></div></div></div><div><br><i>There is a hidden internal architecture of logic that is obscured by the implicit paradigms governing syntax, semantics, and consequence. By explicating and reformulating these paradigms in two distinct directions, this hidden architecture becomes visible.<br><br>First, modern (post-Fregean) logic has typically approached traditional (pre-Fregean) logic by reformulating its categories within modern logical frameworks. To make the internal architecture of logic visible, however, this direction must be reversed: modern logic must be reconstructed on the basis of the categorical distinctions already present in traditional logic.<br><br>Second, the internal architecture of logic has typically been sought through its algebraisation. Yet algebraic abstraction, while structurally powerful, necessarily suppresses certain features specific to logical construction, and therefore cannot render the full internal architecture of logic visible. To make this architecture fully explicit, it is not logic that must be algebraised, but algebra that must be logified.<br><br>As a result of this reformulation, the completeness theorem emerges in a new light. It is a universal property of the internal architecture of logic itself, rather than a result tied to particular logical calculi, and it can be formally proved within the new paradigms that make this architecture explicit. In other words, the absence of a completeness theorem in higher-order logics does not reflect an intrinsic limitation of logic itself; it reveals instead that the implicit paradigms governing syntax, semantics, and consequence are insufficient to support completeness in higher orders.<br></i><br>Of course, I cannot present the entire UL during the seminar lecture, as it is a mathematical construction of over 100 pages. The aim of the lecture is to show the basic ideas on which UL is based.<br><br>Finally, an important note: I will give the lecture<b><span class="gmail-Apple-converted-space"> </span>in Hungarian</b>.<br></div><div>_____________________________________________<br></div><div><br></div><div><div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div><div><font face="arial, sans-serif">The seminar is open to everyone, including students, visitors, and faculty members from all departments and institutes! Format: 60 minute lecture, coffee break, discussion.</font></div></div></div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div><div>_____________________________________________</div></div></div></div></div></div></div></div></div></div></div></div></div></div><br></div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div><div><font face="arial, sans-serif">Organizers: Márton Gömöri and Zalán Molnár</font></div><div>_____________________________________________</div></div></div></div></div></div></div></div></div></div></div></div></div></div>LPS - Logic and Philosophy of Science (Student and Faculty Seminar)<br>Department of Logic, Institute of Philosophy<br>Eötvös University Budapest<br><a href="http://phil.elte.hu/lps" rel="noreferrer" target="_blank">http://phil.elte.hu/lps</a></div></div></div></div>