I have decided, rather than waiting for people to discover my logic, that I need to be more aggressive, or, that is, more assertive, about promoting it. I have occasionally boasted that I am trying to start a logical revolution, or a reformation, or a renaissance, or something.
Following the suggestions that I got at LTUE on networking, I thought to look up conferences on the subject of mathematical logic. The next one remotely accessible will be in May, in Illinois, sponsored by the Association for Symbolic Logic. However, budgetary constraints are likely to put this out of reach. International conferences are even further out of reach.
In the meantime, i am trying to use social media. I renewed my participation on the Stack Exchange network, where I found a couple of questions that had easy answers since I last looked. I don’t want to pester Facebook friends or family on a subject that they have routinely found less than interesting, but I’m considering linking these posts on LinkedIn and Google+.
So, why three values in logic? In classical logic, it has been assumed that statements should be classified as true or false. This is a useful first approximation. However, we live in a world full of ambiguity, uncertainty, lack of information, and conflicting definitions of terms. Questions for the best or only reasonable answers are “I don’t know” and “i can’t tell” are excluded from logical inquiry, and “it depends” are only indirectly addressed. It seems that it ought to be possible to create a three valued symbolic logic. As it turns out, this is easier said than done. There have been several attempts made, most of them with various advantages and deficiencies.
One of the important tools of classical logic is “reductio ad absurdam”, or proof by contradiction. The presence of the third value and the failure of the law of the excluded middle mean that these cannot be directly imported from classical logic. However, it is possible that suitably modified versions can be developed and incorporated into a scheme of natural deduction.
In development of the knowledge Base, I got as far as a review of how other history applies to prehistory. Most of what is now known about prehistory has been discovered in modern times, and I am going through a review of how peoples of the world are applied to modern history. Currently, this is at cities of India. The 19th century is being connected to current events of 2018. For the 20th century, I am doing a review of how early prehistory applies. The late 20th century is being connected to weeks of 2018. The early 21st century is being connected to material culture. 2017 and the fourth quarter 2017 are being connected to weeks of 2018. I am trying to pick out notable developments in prehistory, but this requires that the weeks of 2018 be examined in more detail.