Chrysippus and incompleteness (correction of the title in the submission)

[José Manuel Rodríguez Caballero]

I would like to share the following quote due to the great Ancient logician
Chrysippus of Soli (279 – c. 206 BC), found in a book written by Marcus
Tullius Cicero (106 BC – 43 BC):

if uncaused motion exists, it will not be the case that every proposition
> [...] is either true or false, for things no possesing efficient causes
> will never be true nor false

page 5 in: M. T. Cicero, "On Fate"
http://www.sophia-project.org/uploads/1/3/9/5/13955288/cicero_fate.pdf

Is there any formalization of Chrysippus's claim?

Kind regards,
Jose M.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220402/0107986a/attachment.html>