Avoiding Logical Determinism and Retaining the Principle of Bivalence within a Tense-modal Logic System

Type: 
Lecture
Audience: 
Open to the Public
Building: 
Zrinyi u. 14
Room: 
412
Tuesday, October 5, 2010 - 4:30pm
Add to Calendar
Date: 
Tuesday, October 5, 2010 - 4:30pm to 6:15pm

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.

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.