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.

Other Versions

No versions found

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

Logic as an internal organisation of language.Boris Čulina - 2024 - Science and Philosophy 12 (1):62-71.
Language, Logic, and Form.Kent Bach - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 49–72.
A Note on Logicality of Generalized Quantifiers.Tin Perkov - 2021 - Logica Universalis 15 (2):149-152.
Logical Constants and Arithmetical Forms.Sebastian G. W. Speitel - forthcoming - Logic and Logical Philosophy:1-16.
Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.
Logical Quantifiers.Gila Sher - 2011 - In Gillian Russell & Delia Graff Fara (eds.), Routledge Companion to Philosophy of Language. New York, USA: Routledge. pp. 579-595.

Analytics

Added to PP
2021-05-25

Downloads
389 (#73,183)

6 months
91 (#68,983)

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