Logic as an internal organisation of language
DOI:
https://doi.org/10.23756/sp.v12i1.1582Keywords:
logic, logical concepts, logical constants, logical constants of a first order language, logical quantifiers, a functionally complete set of logical quantifiersAbstract
Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- 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.Downloads
References
D. Bonnay. Logicality and invariance. Bulletin of Symbolic Logic, 14(1):29 – 68, 2008.
D. Bonnay. Logical constants, or how to use invariance in order to complete the explication of logical consequence. Philosophy Compass, 9(1):54–65, 2014.
B. Culina. Logic of paradoxes in classical set theories. Synthese, 190(3):525–547, 2013.
B. Culina. The language essence of rational cognition with some philosophical consequences. Tesis (Lima), 14(19):631–656, 2021.
S. Feferman. Logic, Logics, and Logicism. Notre Dame Journal of Formal Logic, 40(1):31 – 54, 1999.
A. Gupta and N. Belnap. The Revision Theory of Truth. MIT, 1993.
L. Henkin. The completeness of the first-order functional calculus. Journal of Symbolic Logic, 14(3):159–166, 1949.
J. MacFarlane. Logical Constants. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, 2017.
W. V. Quine. Philosophy of Logic: Second Edition. Harvard University Press, 1986.
P. Rusnock and R. George. Bernard Bolzano: Theory of Science. Oxford University Press, 2014.
S. Shapiro. Necessity, Meaning, and Rationality: The Notion of Logical Consequence, chapter 14, pages 225–240. John Wiley & Sons, Ltd, 2006.
G. Sher. Logical quantifiers. In D. Graff Fara and G. Russell, editors, Routledge Companion to Philosophy of Language, pages 579–595. Routledge, 2012
.
A. Tarski. On the concept of logical consequence. In J. Corcoran, editor, Logic, Semantics, Metamathematics, pages 402–420. Hackett,
A. Tarski and J. Corcoran. What are logical notions? History and Philosophy of Logic, 7(2):143–154, 1986.
D. Westerstahl. Generalized Quantifiers. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, 2019.
Downloads
Published
Issue
Section
License
This journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge. The journal is committed to real and immediate open access for academic work. All of the journal articles are free to access immediately from the date of publication. There are no charge for readers to download articles and reviews for their own scholarly use. Benefits of open access for authors, include:
- Free access for all users worldwide
- Increased visibility and readership
- Rapid publication
- No spatial constraints
- Authors can share their research papers on their personal web-pages (i.e. ResearchGate, etc.)
Copyright and Licensing Terms
SCIENCE & PHILOSOPHY publishes open access articles under the terms of the Creative Commons Attribution (CC BY) License. The Creative Commons Attribution License (CC-BY) allows users to copy, distribute and transmit an article, adapt the article and make commercial use of the article. The CC BY license permits commercial and non-commercial re-use of an open-access article, as long as the author is properly attributed. Copyright on any research article published by SCIENCE & PHILOSOPHY is retained by the author(s). Authors grant SCIENCE & PHILOSOPHY a license to publish the article and identify itself as the original publisher. Authors also grant any third party the right to use the article freely as long as its original authors, citation details and publisher are identified.
For further information visit: https://creativecommons.org/licenses/by/3.0/. The following logo will appear in any paper that will be published from the volume number 31/2016 onwards:
![]()