5,225
edits
Quaderni 1914-1916: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 332: | Line 332: | ||
Che “(∃ x) x = x” sia tautologica potrebbe risultare comprensibile, poiché non si riuscirebbe affatto a scriverla se fosse falsa, ma qui! Possiamo indagare ''questa'' proposizione al posto dell’“assioma dell’infinito”! | Che “(∃ x) x = x” sia tautologica potrebbe risultare comprensibile, poiché non si riuscirebbe affatto a scriverla se fosse falsa, ma qui! Possiamo indagare ''questa'' proposizione al posto dell’“assioma dell’infinito”! | ||
Io so che le proposizioni seguenti, così come sono, sono insensate: si può parlare dei numeri, quando vi sono solo cose? Nel caso dunque in cui il mondo consistesse ad esempio di una cosa sola e nient’altro, si potrebbe dire che v’èUNA cosa? Russell probabilmente direbbe: se vi è una cosa, allora vi è anche la funzione <math>(\exists x) \hat{\xi} = x</math> Ma! –– | Io so che le proposizioni seguenti, così come sono, sono insensate: si può parlare dei numeri, quando vi sono solo cose? Nel caso dunque in cui il mondo consistesse ad esempio di una cosa sola e nient’altro, si potrebbe dire che v’èUNA cosa? Russell probabilmente direbbe: se vi è una cosa, allora vi è anche la funzione <math>(\exists x) \hat{\xi} = x</math>. Ma! –– | ||
Se questa funzione non lo fa, allora si può trattare dell’1 solo se si dà una funzione materiale che è soddisfatta da un solo argomento. | Se questa funzione non lo fa, allora si può trattare dell’1 solo se si dà una funzione materiale che è soddisfatta da un solo argomento. | ||