От сентенциальной логики к логике символьных выражений.

##plugins.themes.bootstrap3.article.main##

S.A. Pavlov

Abstract

The classical sentential logic which enrichment with help of truthfulness and falsehood operators is proposed in this paper. It is possible to express both semantical and non-semantical laws of contradiction and excluded middle in this logic. We adopted three groups of axioms in this logic: I) axioms of the classical logic for formulas that are prefixed by truthfulness and falsehood operators; 2) axioms that express truth conditions for implication and 3) axiom that expresses the bivalence principle. This logic is generalized by extending of definition domain of truth and falsity predicates to any symbolic expressions universe of logic language. All axioms except bivalence principle is generalized to this universe too. So we get the symbolic expressions logic.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Васильев Н.Л. Воображаемая логика (конспект лекции) // Н А.Васильев Воображаемая логика. Избранные труды. М., 1989.
Ивлев Ю .В. Основные области приложения квазиматричной логики (см. наел, сборник).
Карри J1.И. Основания математической логики. М , 1969.
Л укасевич Я. О детерминизме // Логические исследования. Вып. 2. М., ' 1993. С. 190-205.
Павлов С.А. Логика ложности FL4 // Труды научно-исследовательского семинара логического центра Института философии РАН. 1993. М , 1994
Павлов С А. Трехзначная логика Лукасевича и логика ложности FL4 // Труды научно-исследовательского семинара логического центра Института философии РАН. М , 1997.
Тарский А. Семантическая концепция истины и основания семантики // Аналитическая философия становление и развитие. М., 1998.

##plugins.generic.recommendByAuthor.heading##