Note sulla logica: Difference between revisions

Un’obiezione molto naturale al modo in cui abbiamo introdotto per esempio le proposizioni della forma <span class="nowrap">''x'' R ''y''</span> è che proposizioni quali (∃ ''x'', ''y'') <span class="nowrap">''x'' R ''y''</span> e simili non risultano spiegate, nonostante abbiano ovviamente in comune con <span class="nowrap">''a'' R ''b''</span> quanto ''c'' R ''d'' ha in comune con <span class="nowrap">''a'' R ''b''</span>. ''D’altronde'' nell’introdurre proposizioni della forma <span class="nowrap">''x'' R ''y''</span> non si è menzionata nessuna proposizione specifica di tale forma; e bisogna solo introdurre (''x'', ''y'') ϕ(''x'', ''y'') per tutte le ϕ in un qualsiasi modo tale da rendere il senso di tali proposizioni dipendente dal senso di tutte le proposizioni della forma ϕ(''a'', ''b''), ed ecco giustificato il nostro modo di procedere.