What is Logical in First-Order Logic?

Author name not available (Why is that?)

Publication date: 25 May 2021

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.

This page was built for publication: What is Logical in First-Order Logic?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6368530)