Saul Kripke’s Theory of Truth (Semantic Type-Free)

An explication of Saul Krpike’s semantic theory of truth using partially defined truth predicates, Kleene’s Strong Three Valued Logic, using the Kripke Feferman axiomatic schema. Sponsors: João Costa Neto, Dakota Jones, Joe Felix, Prince Otchere, Mike Samuel, Daniel Helland, Mohammad Azmi Banibaker, Dennis Sexton, Yu Saburi, Mauricino Andrade, Will Roberts and √2. Thanks for your support! Donate on Patreon: Buy stuff with Zazzle: Follow us on Twitter: @CarneadesCyrene