In this podcast, the host and guest discuss the Tractatus attempt to turn philosophy into a logical probing language and explore the possibility of using a similar construction idea to build a knowledge base of consistent sets of ideas using language.