Conditions of applicability of classical logic to philosophical reasoning

Cover Page

Cite item

Full Text

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 many-valued logics. As the latter, the semantics of many-valued logics, the meta-theory of Zinoviev’s truth values, the elementary theory of truth and falsehood operators were considered.

In the meta-theory of logical semantics, in which semantics are constructed for many-valued logics, classical logic is hold. In this meta-theory, the theory of J-operators (introduced by Rosser and Turquette) is used. The theory of J-operators is part of the meta-theory 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 object-language formulas P, for which the condition (P takes a designated value or P takes an anti-designated 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 object-language from the metalanguage, semantics from the syntax.

The elementary theory of truth and falsehood operators was also considered, which was founded in the Boole-Frege semantics, generalized to the non-classical 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 two-valued logic.

It is noted that the conditions considered are close to the definitions of the utterance in natural language.

About the authors

S A Pavlov

Institute of Philosophy of RAS

Author for correspondence.
Email: sergey.aph.pavlov@gmail.com

-

12/1 Goncharnaya Str., Moscow, 109240, Russia

References

  1. Anisov AM. Sovremennaya logika. Moscow, 2002.
  2. Anshakov OM., Rychkov SV. O mnogoznachnykh logicheskikh ischisleniyakh. Semiotika i informatika. Vyp. 19. Moscow, 1982.
  3. Aristotel'. Kategorii. Aristotel'. Soch.: v 4 t. T. 2. Moscow., 1978. 13b15.
  4. Bessonov AV. K osnovaniyam logicheskoi teorii istiny. Filosofiya nauki. 1999; 5 (1):52—63.
  5. Gil'bert D., Akkerman V. Osnovy teoreticheskoi logiki. Moscow, 1947.
  6. Zinov'ev AA. Logika nauki. Moscow, 1971.
  7. Zinov'ev AA. Faktor ponimaniya. Moscow, 2006.
  8. Pavlov SA. Ischislenie predikatov istinnosti i lozhnosti. Logicheskii analiz estestvennykh yazykov: 2-i Sovetsko-Finskii kollokvium po logike. Moscow, 1979.
  9. Pavlov SA. Ontologicheskii tezis obobshchennoi Bul' Ç Frege semantiki. Vestnik Rossiiskogo universiteta druzhby narodov, Seriya: Filosofiya. 2016;(1):58—69.
  10. Popov VM. Ob odnoi chetyrekhznachnoi paranormal'noi logike. Logika i V.E.K. Moscow, 2003.
  11. Tarskii A. Semanticheskaya kontseptsiya istiny i osnovaniya semantiki. Analiticheskaya filosofiya: stanovlenie i razvitie. M., 1998.
  12. Frege G. O smysle i znachenii. Logika i logicheskaya semantika. Moscow, 2000.
  13. Łukasievicz J. Investigations Into the Sentential Calculus. Amsterdam; L.; Warszawa, 1970. P. 131—152.
  14. 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).
  15. 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.
  16. Pawlow SA. Einige nichttraditionelle Ideen in der Logi. Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophische Probleme der Logik. Berlin, 1978.
  17. Rosser JB., Turquette AR. Many-valued logics. 1987. Vol. 120. Nouvelle serie. P. 311—334.

Supplementary files

Supplementary Files
Action
1. JATS XML

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».