#TSOT (The Structure Of Truth) --- SynTalk

Is 2+2 inevitably 4? Is it grue? Is it true? Is it true that facts do not live on their own? What is The Concept of Truth in Formalized Languages? How logic chases truth up the tree of grammar? Is truth the same across languages? If we used different languages would the facts be different? What comes first: truth or meaning? Is every sentence true or false? Does truth always have the IF-THEN structure? What can computers not prove, & why? What the nature of logic and probabilities does to the notion of truth, & how there need not be one logic? Can there be heuristics of ‘interestingness’ when forward chaining for a proof? Might all mathematics be done by proof checkers and Automated Theorem Provers (ATPs)? What is a candidate for a conjecture? Why is logical contradiction the ultimate no-no? Why is stock market news more difficult to write than Shakespeare, for a ‘Bayesian-monkey’? ‘Tell me what you are interested in, and I will tell you what the truth consists in’. Do (?) counterfactuals change the world by a very small amount of information? Or, does nature provide the regularities, and we provide the causal theories? SynTalk thinks about these & more questions using concepts from philosophy (Prof. Simon Blackburn, ex-University of Cambridge, Cambridge), computer science (Prof. Paritosh K. Pandya, TIFR, Mumbai), and mathematics (Prof. Rajat Tandon, University of Hyderabad, Hyderabad). Listen in....