Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
Bilattices: An attempt to describe future events with the help of the tools of logic

Summary/Abstract: An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic. Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings. Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism. In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed. After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.

• Details
• Contents