Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 2 of 2 on Diodorus argued that the following three propositions cannot all be true [Mates 1961,....  
" Diodorus argued that the following three propositions cannot all be true [Mates 1961, p.38] : (Dl) Every proposition true about the past is necessary. (D2) An impossible proposition cannot follow from (or after) a possible one. (D3) There is a proposition... "
Temporal Logic: From Ancient Ideas to Artificial Intelligence - Page 15
by Peter ěhrstr°m, Per F. V. Hasle - 1995 - 413 pages
Limited preview - About this book

Advances in Temporal Logic

Howard Barringer - Computers - 2000 - 453 pages
...55-135), Diodorus argued that the following three propositions cannot all be true, {Mates, 1953), p. 38: (Dl) Every proposition true about the past is necessary....is possible, but which neither is nor will be true. Having established this incompatibility, and taking (Dl) and (D2) to be immediately plausible, Diodorus...
Limited preview - About this book

Logic and the Modalities in the Twentieth Century

Dov M. Gabbay, John Woods - Mathematics - 2006 - 732 pages
...Epictetus, Diodorus argued that the following three propositions cannot all be true [Mates, 1961, p. 38]: (Dl) Every proposition true about the past is necessary....on to define possibility and necessity as follows: (DO) The possible is that which either is or will be true. (DD) The necessary is that which, being...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search