Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Kwartalnik Filozoficzny

Years help

  1. 1 2017

Authors help

  1. 1 Wojciechowski E.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  LOGICAL FORMULA
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Formuły logiczne i ich obciążenie egzystencjalne

100%
Wojciechowski E.
Kwartalnik Filozoficzny
|
2017
|
vol. 45
|
issue 4
197-208
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
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.