Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych

Semina Scientiarum 11:5-34 (2012)
  Copy   BIBTEX

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 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
On an algebra of lattice-valued logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282-318.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
Strong completeness of lattice-valued logic.Mitio Takano - 2002 - Archive for Mathematical Logic 41 (5):497-505.
A Three-Valued Fregean Quantification Logic.Minghui Ma & Yuanlei Lin - 2019 - Journal of Philosophical Logic 48 (2):409-423.

Analytics

Added to PP
2018-10-19

Downloads
6 (#1,454,046)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.
Bilattices and the theory of truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
Reference: Intending that others jointly attend.Michael Tomasello - 1998 - Pragmatics and Cognition 6 (1):229-243.

View all 9 references / Add more references