What is Logical in First-Order Logic?

Download Edit this record How to cite View on PhilPapers
Abstract
In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.
PhilPapers/Archive ID
ULIWIL
Upload history
Archival date: 2021-05-25
View other versions
Added to PP index
2021-05-25

Total views
43 ( #56,842 of 2,448,720 )

Recent downloads (6 months)
43 ( #15,111 of 2,448,720 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.