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

No references found.

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

Added to PP index
2015-02-08

Total views
105 ( #26,070 of 43,016 )

Recent downloads (6 months)
42 ( #16,376 of 43,016 )

How can I increase my downloads?

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