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

No citations found.

Add more citations

Added to PP index
2015-02-08

Total downloads
52 ( #27,801 of 37,192 )

Recent downloads (6 months)
5 ( #32,983 of 37,192 )

How can I increase my downloads?

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