On Mon, Apr 1, 2019 at 9:22 AM Thomas Schmitt <scdbac...@gmx.net> wrote:
> Hi, > > Nicholas Geovanis wrote: > > semantics collapses to syntax. As in mathematics. > > This view is outdated since nearly 90 years. The attempt to create a > language where semantical correctness results from syntactical correctness > was killed by Goedel's incompleteness theorem. > Thomas, Guten Morgen. That is correct in the correct context/Das ist ja richtig, aber im richtigen Kontext: I used the phrase "collapses to". I shunned the word "attains". Does that make sense? <<Erreichung>> statt << Zusammenbruch >>. In other words, a process not an achievement. The insight was not new then. Paul the Apostle wrote about Epimenides: > "One of themselves, even a prophet of their own, said, the Cretians are > alway liars, evil beasts, slow bellies." > Yet at the very least Aristotle began the development of modal and temporal logics. This is well recognized today. From the beginning of classical formal logic, there also began the development of "non-classical" logics :-) The automation of logics of belief and contingency is underway for some time. This is particularly strong in the Chicago area due to Argonne National Laboratory in the southwestern suburbs, where Robinson worked after his PhD. Also Overbeek, Wos, Winker (who I knew at uni), usw. > Have a nice day :) > Gruß Gott ;-) Nikko Geovanis/Τζοβανeσ > Thomas > >