Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Kwartalnik Filozoficzny

1 2017

1 Wojciechowski E.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: LOGICAL FORMULA

Sortuj według:

Ogranicz wyniki do:

Formuły logiczne i ich obciążenie egzystencjalne

100%

Wojciechowski E.

nr 4

197-208

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