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.

The paradox of material implication has remained unresolved since antiquity because it was believed that the nature of implication was entailment. The article shows that this nature is opposition and therefore the name "implication" should be replaced with the name "competition". A solution to the paradox is provided along with appropriate changes in nomenclature, the addition of connectives and the postulate that the biconditional take over the role of the previous implication. In addition, changes to the nomenclature of logic gates (...) reflecting the competition in electronics are proposed. (shrink)

The formal principle of inconsistency in logic, in the form in which it comes from Aristotle, asserts that two contradictory judgments are not both true. Since the 20th century logic has progressed towards ever higher formality, it might be more suitable to say that inconsistent sentences, rather than judgments, cannot be both true.1 The universally accepted and lectured classical calculus of sentences2 adopts this principle without reservations. Some of the more recent logical systems are limiting the scope of its applicability, (...) and also the natural language in which we daily express our judgments and inferences accepts in some cases a simultaneous occurrence of contradictory sentences. This text sets out to present a brief and simplified outline of this state of affairs. The systems of logic that accept inconsistencies and the related issues concerning natural language will be presented against the background of classical logic. (shrink)