Expressing Truth directly within a formal system with no need for model theory

Abstract

Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.

Author's Profile

Analytics

Added to PP
2019-03-22

Downloads
322 (#67,619)

6 months
91 (#62,128)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?