Conditions of applicability of classical logic to philosophical reasoning
 Authors: Pavlov S.A.
 Issue: Vol 22, No 2 (2018)
 Pages: 139148
 URL: http://journals.rudn.ru/philosophy/article/view/18709
 DOI: http://dx.doi.org/10.22363/231323022018222139148
Abstract
Abstract. The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for manyvalued logics. As the latter, the semantics of manyvalued logics, the metatheory of Zinoviev’s truth values, the elementary theory of truth and falsehood operators were considered.
In the metatheory of logical semantics, in which semantics are constructed for manyvalued logics, classical logic is hold. In this metatheory, the theory of Joperators (introduced by Rosser and Turquette) is used. The theory of Joperators is part of the metatheory of logical semantics. A semantic statement of the form “P haves the value v^{k}” meaningfully corresponds to the formula J_{k}(P). It is shown that for classical objectlanguage formulas P, for which the condition (P takes a designated value or P takes an antidesignated value), classical logic takes place.
The synthesizing approach in A. Zinoviev’s studies and constructions led to the fact that he combined logic, ontology and methodology into a unified science, in which the first are its aspects. Only in the process of exposition, he distinguishes in it three parts: 1) basic logic, 2) logical ontology, and 3) logical methodology. This is a radical difference from the approaches of D. Hilbert and A. Tarski separating the objectlanguage from the metalanguage, semantics from the syntax.
The elementary theory of truth and falsehood operators was also considered, which was founded in the BooleFrege semantics, generalized to the nonclassical case. It is shown that for the formula of the object language P for which the condition (informally expressed) is satisfied, the formula P is either true or false, then for it there is a classical twovalued logic.
It is noted that the conditions considered are close to the definitions of the utterance in natural language.
Abstract. The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for manyvalued logics. As the latter, the semantics of manyvalued logics, the metatheory of Zinoviev’s truth values, the elementary theory of truth and falsehood operators were considered. In the metatheory of logical semantics, in which semantics are constructed for manyvalued logics, classical logic is hold. In this metatheory, the theory of Joperators (introduced by Rosser and Turquette) is used. The theory of Joperators is part of the metatheory of logical semantics. A semantic statement of the form “P haves the value vk” meaningfully corresponds to the formula Jk(P). It is shown that for classical objectlanguage formulas P, for which the condition (P takes a designated value or P takes an antidesignated value), classical logic takes place. The synthesizing approach in A. Zinoviev’s studies and constructions led to the fact that he combined logic, ontology and methodology into a unified science, in which the first are its aspects. Only in the process of exposition, he distinguishes in it three parts: 1) basic logic, 2) logical ontology, and 3) logical methodology. This is a radical difference from the approaches of D. Hilbert and A. Tarski separating the objectlanguage from the metalanguage, semantics from the syntax. The elementary theory of truth and falsehood operators was also considered, which was founded in the BooleFrege semantics, generalized to the nonclassical case. It is shown that for the formula of the object language P for which the condition (informally expressed) is satisfied, the formula P is either true or false, then for it there is a classical twovalued logic. It is noted that the conditions considered are close to the definitions of the utterance in natural language.
S A Pavlov
Institute of Philosophy of RAS
Author for correspondence.
Email: sergey.aph.pavlov@gmail.com
12/1 Goncharnaya Str., Moscow, 109240, Russia

 Anisov AM. Sovremennaya logika. Moscow, 2002.
 Anshakov OM., Rychkov SV. O mnogoznachnykh logicheskikh ischisleniyakh. Semiotika i informatika. Vyp. 19. Moscow, 1982.
 Aristotel'. Kategorii. Aristotel'. Soch.: v 4 t. T. 2. Moscow., 1978. 13b15.
 Bessonov AV. K osnovaniyam logicheskoi teorii istiny. Filosofiya nauki. 1999; 5 (1):52—63.
 Gil'bert D., Akkerman V. Osnovy teoreticheskoi logiki. Moscow, 1947.
 Zinov'ev AA. Logika nauki. Moscow, 1971.
 Zinov'ev AA. Faktor ponimaniya. Moscow, 2006.
 Pavlov SA. Ischislenie predikatov istinnosti i lozhnosti. Logicheskii analiz estestvennykh yazykov: 2i SovetskoFinskii kollokvium po logike. Moscow, 1979.
 Pavlov SA. Ontologicheskii tezis obobshchennoi Bul' Ç Frege semantiki. Vestnik Rossiiskogo universiteta druzhby narodov, Seriya: Filosofiya. 2016;(1):58—69.
 Popov VM. Ob odnoi chetyrekhznachnoi paranormal'noi logike. Logika i V.E.K. Moscow, 2003.
 Tarskii A. Semanticheskaya kontseptsiya istiny i osnovaniya semantiki. Analiticheskaya filosofiya: stanovlenie i razvitie. M., 1998.
 Frege G. O smysle i znachenii. Logika i logicheskaya semantika. Moscow, 2000.
 Łukasievicz J. Investigations Into the Sentential Calculus. Amsterdam; L.; Warszawa, 1970. P. 131—152.
 Pavlenko AN. The epistemological glaucoma and psematical paradox (autological feature of truth and heterological feature of false). Vestnik Rossiiskogo universiteta druzhby narodov. Seriya: Filosofiya. 2018; (2).
 Pavlov SA. Designated Operator Theory and Domain of Symbol Expressions. Book of abstracts 15th Congress of Logic, Methodology and Philosophy of Science CLMPS. Helsinki, 2015. P. 263—264.
 Pawlow SA. Einige nichttraditionelle Ideen in der Logi. Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophische Probleme der Logik. Berlin, 1978.
 Rosser JB., Turquette AR. Manyvalued logics. 1987. Vol. 120. Nouvelle serie. P. 311—334.
Views
Abstract  116
PDF (Russian)  15