In this paper we discuss the difference between (...) proliferations of logic systems, the questions of relativity and universality of logic and the position and interaction of logic with regards to other sciences such as physics, biology, mathematics and computer science. (shrink)

Following Lukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger - Horne - Zeilinger 'paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while considering results of future non-certain events. Description of properties of quantum objects before they are measured should be performed with the use of propositional functions that form a particular model of infinitely-valued Lukasiewicz logic. This model is distinguished by specific operations (...) of negation, conjunction and disjunction that are used in it. (shrink)