Abstract
Forswearing venerable doctrine, some now claim that the truth-value of a statement A, and — more generally — that of a theory T, hinges upon (the truth-values of) all other statements from the same language as A or T. I should like to investigate this matter as regards languages of four main sorts: first-order languages without a box (called here L1), first-order languages with a box (called L□), predicative second-order languages (called L2!), and impredicative second-order languages (called L 2).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.