- Tytuł:
- Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
- Autorzy:
- Bażyk, Albert Przemysław
- Powiązania:
- https://bibliotekanauki.pl/articles/429119.pdf
- Data publikacji:
- 2012
- Wydawca:
- Uniwersytet Papieski Jana Pawła II w Krakowie
- Tematy:
-
two-valued logic
many-valued logic
expansion of classical logic
modal logic
semantic supervaluationism
semantic subvaluationism
the FOUR double lattice
Belnap’s four-valued logic - Opis:
- 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.
- Źródło:
-
Semina Scientiarum; 2012, 11
1644-3365 - Pojawia się w:
- Semina Scientiarum
- Dostawca treści:
- Biblioteka Nauki
Artykuł