Tensed Ontology Based on Simple Partial Logic

Download Edit this record How to cite View on PhilPapers
Abstract
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.
PhilPapers/Archive ID
KACTOB
Revision history
Archival date: 2015-02-08
View upload history
References found in this work BETA
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

Add more citations

Added to PP index
2015-02-08

Total views
154 ( #26,146 of 50,373 )

Recent downloads (6 months)
26 ( #23,425 of 50,373 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.