"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 the (...) 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. (shrink)

Paradoks implikacji materialnej pozostawał nierozwiązany od starożytności, ponieważ uważano, że naturą implikacji jest wynikanie. Artykuł ukazuje, że tą naturą jest przeciwstawność. Zostaje podane rozwiązanie paradoksu wraz z odpowiednimi zmianami nazewnictwa, dodaniem konektywów i postulatem przejęcia roli dotychczasowej implikacji przez równoważność. Ponadto zaproponowane zostają zmiany nazewnictwa bramek logicznych, odwzorowujących kompetycję w elektronice.