What is Logical in First-Order Logic?

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.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

A Note on Logicality of Generalized Quantifiers.Tin Perkov - 2021 - Logica Universalis 15 (2):149-152.
Logical constants.J. A. Chadwick - 1927 - Mind 36 (141):1-11.
Logical Constants.K. Warmbrõd - 1999 - Mind 108 (431):503 - 538.
The accident of logical constants.Tristan Grøtvedt Haze - 2020 - Thought: A Journal of Philosophy 9 (1):34-42.
The Formal-Structural View of Logical Consequence.Gila Sher - 2001 - Philosophical Review 110 (2):241-261.
Understanding the Logical Constants and Dispositions.Corine Besson - 2009 - The Baltic International Yearbook of Cognition, Logic and Communication 5:1-24.
Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.
Abstract Logical Constants.Tin Perkov - 2018 - Logica Universalis 12 (3-4):341-350.
Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants.Mitsuhiro Okada - 1989 - Annals of the Japan Association for Philosophy of Science 7 (4):163-172.
The Metaphysical Commitments of Logic.Thomas Brouwer - 2013 - Dissertation, University of Leeds
A Survey of Logical Realism.Tuomas E. Tahko - 2021 - Synthese 198 (5):4775-4790.
Stenius on Logical Constants.Markku Keinänen & Gabriel Sandu - 1996 - In Keinänen Markku & Sandu Gabriel (eds.), Logica Yearbook. pp. 93-106.

Analytics

Added to PP
2021-05-25

Downloads
224 (#85,954)

6 months
79 (#52,887)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Boris Culina
University of Applied Sciences Velika Gorica, Croatia

References found in this work

No references found.

Add more references