Saul Kripkes 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
|