Note sulla logica: Difference between revisions

Note sulla logica (view source)

Revision as of 10:48, 9 October 2021

No change in size , 2 years ago

no edit summary

MLavazza

Bureaucrats, Editors, Interface administrators, Administrators

5,222

edits

Revision as of 09:22, 9 October 2021 (view source) MLavazza (talk \| contribs) No edit summary ← Older edit		Revision as of 10:48, 9 October 2021 (view source) MLavazza (talk \| contribs) No edit summary Newer edit →
Line 132:		Line 132:
	Le vecchie definizioni diventano tautologiche.		Le vecchie definizioni diventano tautologiche.

	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.		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 <span class="nowrap">(∃ ''x'', ''y'') ''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.