Rozwiązanie paradoksów Rossa i Priora okazało się trudnym zadaniem. Jego pierwsze dwa etapy, obejmujące identyfikację prawdziwych natur implikacji i wartości logicznych, zostały opisane w artykułach "Rozwiązanie paradoksu implikacji materialnej – 2024" i "Rozwiązanie dylematu Jörgensena – 2024". Ten artykuł opisuje trzeci etap, obejmujący odkrycie brakujących funktorów modalnych i Klasycznego Rachunku Modalności. Na zakończenie zostają podane procedury rozwiązania obu paradoksów.

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)

Dylemat Jörgensena długo stanowił dla logiki zagadkę. Do jego rozwiązania okazało się konieczne dokonanie pewnych rozstrzygnięć filozoficznych. Artykuł podaje te rozstrzygnięcia i omawia sposób rozwiązania dylematu.

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 dilemma mentioned in the title have long been a puzzle to logic. To solve it, it was necessary to make some philosophical decisions. The article provides these decisions and discusses the way to solve the problem.