Analiza szczególnego przypadku sprzeczności w logice klasycznej z implikacją treściową

Abstract

A special case of logical contradiction — content implication approach

The difference between so-called performative/pragmatic and logical contradiction seems to be one of the most firmly established philosophical distinctions. There are, however, some utterances which fall outside this classification in its current form. Moreover, they reveal that the expressive power of the language of classical logic is too weak to express some form of the logical contradiction. The main aim of this paper is to characterize this special case of contradiction. By extending classical logic with a new connective, i.e. content implication, it also provides tools needed for adequate formal representation of this phenomenon.