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

Refine search results

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  weak assertion
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

SŁABA ASERCJA

100%
EN
The paper contains references to a logical construction with two types of negation: an external (~) and internal (¬) one, where the substitution of the dichotomous law of excluded middle (with the αV~α schema) by the trichotomy (α V¬α V±α) is proposed. With reference to an object belonging to a given universe and a given set of predicates some of them apply to it, whereas others do not. There can also exist such predicates which cannot be sensibly said to apply to it – they are indeterminate to it. What is proposed here is transferring these distinctions to a sentence calculus and devising a construction with a functor of weak assertion (+) as its primitive functor. This functor together with the functor of external negation allow an additional interpretation of the sentences falling into the third category described above (indirectness) whenever there is a need to express sentences referring to indirect states between the positive state and its negative counterpart.
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.