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
Upload history
Archival date: 2015-02-08
View other versions
Added to PP index
2015-02-08

Total views
248 ( #27,358 of 65,637 )

Recent downloads (6 months)
36 ( #23,369 of 65,637 )

How can I increase my downloads?

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