Formuły logiczne i ich obciążenie egzystencjalne

• Autorzy: Wojciechowski Eugeniusz

Warianty tytułu

EN

LOGICAL FORMULAS AND THEIR EXISTENTIAL BURDEN

• Języki publikacji: PL

Abstrakty

EN

In his dissertation dedicated to the analysis of existential import of logical formulas (1990) Karl-Heinz Krampitz presented a list of rules that allow to deduce the existential assumptions of complex formulas: R1 All elementary predicate formulas have existential import (are existential belasted) R2 If a has existential import, then ~ a does not have existential import R3 If a does not have existential import, then ~ a has existential import R4 a v b has existential import if and only if a and b have existential import We shall formulate the theory of existential import as base construction (EB) assumptionally. It can be subsequently strengthened while analysing specyfic logical system by adopting in the form of an axiom (or axioms) the elementary formula (or formulas) characteristic for given logical system which has (which have) existential import

Słowa kluczowe

EN

LOGICAL FORMULA; LOGICAL SYSTEM; EXISTENTIAL IMPORT

• Wydawca: Polska Akademia Umiejętności / Uniwersytet Jagielloński
• Czasopismo: Kwartalnik Filozoficzny
• Rocznik: 2017
• Tom: 45
• Numer: 4
• Strony: 197-208

Twórcy

autor

Wojciechowski Eugeniusz

• Uniwersytet Rolniczy, Wydział Leśny, ul. 29 Listopada 46, 31-425 Kraków, Poland