<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><span style="font-family:"Fira Code""><span>Logic</span> and
      <span>Philosophy</span> of <span>Science</span> <span>Seminar</span></span>
    <div>Department of <span>Logic</span>, Institute of <span>Philosophy</span></div>
    <div>Eötvös Loránd University Budapest</div>
    <div>Múzeum krt. 4/i Room 224</div>
    <div>_____________________________________________</div>
    <div>P R O G R A M</div>
    <div><br>
      The <span>seminar</span> is held in hybrid format, in person (Múzeum krt. 4/i
      Room 224) and online. Zoom Meeting link: <a href="https://us02web.zoom.us/j/889933315?pwd=Q3U3V3VQdXpXckhJYWRrcWRiMUhhQT09" target="_blank">https://us02web.zoom.us/j/889933315?pwd=Q3U3V3VQdXpXckhJYWRrcWRiMUhhQT09</a></div><br></div>25 October (Friday) 4:15 - 6:15 PM  Room 224 + ONLINE</div><div dir="ltr"><br></div><div dir="ltr">Ferenc Csatári<br>Aleido, Budapest<br> <br>Two Conceptions of Truth for Constructive Logic</div><div dir="ltr"><br></div><div dir="ltr">Abstract: </div><div dir="ltr"><br></div><div dir="ltr">Two notable semantical readings of intuitionistic logic are examined: the so called BHK-interpretation and the two-truths approach. We address a couple of arguments in the literature against constructivism to see how well these interpretations fare in answering them.<div dir="ltr"><br><div>
    <div>
      <div>______________________________</div>
      <div>Seminar website (currently under construction):<span> </span><a href="http://lps.elte.hu/lps" target="_blank">http://lps.elte.hu/lps</a></div>
      <div><br>
        The <span>seminar</span> is open to everyone, including students, visitors,
        and faculty<span> </span>members from all departments and institutes! Format: 60
        minute lecture,<span> </span>coffee break, 60 minute discussion.<span> </span></div>
      <div><br>
        The organizers: Márton Gömöri and Zalán Molnár</div></div></div></div></div></div></div></div>