Located in the area between philosophy and mathematics is the realm of logic. Logic permeates everything we do, from the work of Socrates to modern computer programming to the musings of Mister Spock.  However, there is more to logic than just making sense and avoiding fallacies. It can also be a highly formal system using symbols and variables to represent statements. Learn more about formal logic, its ancient roots, and its modern applications on this episode of Everything Everywhere Daily. Sponsors BetterHelp Visit BetterHelp.com/everywhere today to get 10% off your first month ButcherBox Sign up today at butcherbox.com/daily and use code daily to choose your free steak for a year and get $20 off."  Subscribe to the podcast!  https://link.chtbl.com/EverythingEverywhere?sid=ShowNotes -------------------------------- Executive Producer: Charles Daniel Associate Producers: Peter Bennett & Cameron Kieffer   Become a supporter on Patreon: https://www.patreon.com/everythingeverywhere Update your podcast app at newpodcastapps.com Discord Server: https://discord.gg/UkRUJFh Instagram: https://www.instagram.com/everythingeverywhere/ Facebook Group: https://www.facebook.com/groups/everythingeverywheredaily Twitter: https://twitter.com/everywheretrip Website: everywhere.com/">https://everything-everywhere.com/ Learn more about your ad choices. Visit megaphone.fm/adchoices