2024-03-29T07:05:38Z
https://u-ryukyu.repo.nii.ac.jp/oai
oai:u-ryukyu.repo.nii.ac.jp:02012400
2023-08-03T05:27:09Z
1642838163960:1642838338003
1642838403551:1642838406845
A three-valued temporal logic for future contingents
Akama, Seiki
Nagata, Yasunori
Yamada, Chikatoshi
open access
It is now recognized that Lukasiewicz’s three-valued logic cannot supply a satisfactory treatment of future contingents. The defense of Lukasiewicz’s three-valued logic can be found in the work of Prior. Inspired by Prior’s suggestions to future contingents, we propose a new three-valued temporal logic FCP, in which the interpretation of negation differs from Lukasiewicz’s negation. It is shown in the logic that contingent propositions have the indeterminate truth-value while logically true propositions like the law of excluded middle have the determinate truth-values. We discuss some features of the proposed logic in comparison with the other approaches to future contingents in the literature.
論文
Peeters Publishers
2007
eng
journal article
VoR
http://hdl.handle.net/20.500.12000/45951
http://hdl.handle.net/20.500.12000/45951
https://u-ryukyu.repo.nii.ac.jp/records/2012400
http://www.logiqueetanalyse.be/
2295-5836
Logique et Analyse
50
198
99
111
https://u-ryukyu.repo.nii.ac.jp/record/2012400/files/1657-1637-1-PB.pdf