<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=utf-8">
<META content="MSHTML 6.00.6000.17080" name=GENERATOR></HEAD>
<BODY style="MARGIN: 4px 4px 1px; FONT: 10pt Tahoma">
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /><o:p><FONT face="Times New Roman"> </FONT></o:p><FONT face="Times New Roman">The CEU Department of Philosophy cordially invites you to a talk </FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman">(as part of its Departmental Colloquium series)</FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman">by</FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman"><STRONG>Miloš Arsenijević (<?xml:namespace prefix = st1 ns = "urn:schemas-microsoft-com:office:smarttags" /><st1:place w:st="on"><st1:PlaceType w:st="on">University</st1:PlaceType> of <st1:PlaceName w:st="on">Belgrade</st1:PlaceName></st1:place>)</STRONG></FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman">on</FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman"><STRONG>Avoiding logical determinism and retaining the principle of bivalence within a tense-modal logic system</STRONG></FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><o:p><FONT face="Times New Roman"> </FONT></o:p></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman">Tuesday, 5 October, 2010, 4.30 PM, Zrinyi 14, Room 412</FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><o:p><FONT face="Times New Roman"> </FONT></o:p></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman">ABSTRACT</FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><o:p><FONT face="Times New Roman"> </FONT></o:p></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman">Jan Lukasiewicz was the first logician in the history of modern logic who has become completely aware of the fact that Aristotle’s reasoning related to his famous future see battle example does not undermine so much the principle of the excluded middle but, in the first place, the principle of bivalence.. In order to avoid such a kind of determinism, later called logical determinism, Lukasiewicz introduced many-valued logic. So, in the trivalent system, a sentence can happen to be neither true nor false at a given time. It is so if, at that time, there is nothing in reality that makes it true or false. Its truth value is indeterminate.</FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman">I shall show how, by using the possible world semantics of contemporary modal logic, it is possible to avoid logical determinism and, at the same time, retain the principle of bivalence.</FONT></P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"><FONT face="Times New Roman"></FONT> </P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt"> </P>
<P class=MsoNormal style="MARGIN: 0in 0in 0pt">Kriszta Biber<BR>Department Coordinator<BR>Philosophy Department<BR>Tel: 36-1-327-3806<BR>Fax: 36-1-327-3072<BR>E-mail: biberk@ceu.hu</P></BODY></HTML>