J-STAGE Home  >  Publications - Top  > Bibliographic Information

Kagaku tetsugaku
Vol. 3 (1970) P 15-26

Language:

http://doi.org/10.4216/jpssj.3.15

  • Abstracts

All temporal truth-functions are expressed in the form of ordinary truth-function by the use of sequential variables.
The temporal truth-functions are classified in three categories : (1) Simple temporal truth-function, (2) Happening function and (3) Sequential f unction.
Some fundamental temporal truth-functions are as follows : After-happening function, Hp. (After the happening of p) Delay function, Dp. (Delaying p for an interval) Jumping function, Jp. (Jumping over a positive interval of p) Temporal conjunction, K(p, q). (p and q, but p before q.)
Hp≡s
Dp≡-p∧Hp
Jp≡p∧-S1
K(p, q)≡(p∧q)∧S(p)

Copyright © THE PHILOSOPHY OF SCIENCE SOCIETY,JAPAN

Article Tools

Share this Article