Daisuke Kachi
Saitama University
Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic.
Keywords partial logic  three-valued logic  tense  future contingents
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Philosophical Problems in Logic: Some Recent Developments.Karel Lambert (ed.) - 1970 - Dordrecht, Netherland: Sold and Distributed in the U.S.A. And Canada by Kluwer Boston.
Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.

Add more references

Citations of this work BETA

Bourne on Future Contingents and Three-Valued Logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.

Add more citations

Similar books and articles


Added to PP index

Total views
259 ( #41,243 of 2,498,128 )

Recent downloads (6 months)
17 ( #48,584 of 2,498,128 )

How can I increase my downloads?


My notes