This is an explanation of one of the two major Type Free Theories of Truth (Offered by Saul Kripke), expressed in its axiomatic form as presented by Feferman. This video describes how the theory allows for both a statement and its negation to be true, while not violating the laws of classical logic such as the law of the excluded middle or the law of non-contardiction.
Sponsors: Prince Otchere, Mike Samuel, Daniel Helland, Dennis Sexton, Will Roberts and √2. Thanks for your support!
Donate on Patreon: [ Ссылка ]
Buy stuff with Zazzle: [ Ссылка ]
Follow us on Twitter: @CarneadesCyrene [ Ссылка ]
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
