6,064
edits
Note sulla logica: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 162: | Line 162: | ||
Ogni proposizione che dice qualcosa di indefinibile su una cosa è una proposizione soggetto-predicato; ogni proposizione che dice qualcosa di indefinibile su due cose esprime una relazione duale tra queste due cose, e avanti così. Quindi ogni proposizione contenente solo un nome e una forma indefinibile è una proposizione soggetto-predicato, etc. Un simbolo indefinibile può essere solo un nome e perciò si può arguire, in base al simbolo di una proposizione atomica, se si tratta o meno di una proposizione soggetto-predicato. | Ogni proposizione che dice qualcosa di indefinibile su una cosa è una proposizione soggetto-predicato; ogni proposizione che dice qualcosa di indefinibile su due cose esprime una relazione duale tra queste due cose, e avanti così. Quindi ogni proposizione contenente solo un nome e una forma indefinibile è una proposizione soggetto-predicato, etc. Un simbolo indefinibile può essere solo un nome e perciò si può arguire, in base al simbolo di una proposizione atomica, se si tratta o meno di una proposizione soggetto-predicato. | ||
Una proposizione non può ricorrere in se stessa. Questa è la verità fondamentale della teoria dei tipi. <!--[''Cfr.'' 3.332] -->In una proposizione data si convertano in variabili tutti gli indefinibili: si avrà allora una classe di proposizioni che non include tutte le proposizioni, ma include un intero tipo. Se trasformiamo un costituente di una proposizione ϕ(''a'') in una variabile, allora avremo una classe <math>\hat{p} | Una proposizione non può ricorrere in se stessa. Questa è la verità fondamentale della teoria dei tipi. <!--[''Cfr.'' 3.332] -->In una proposizione data si convertano in variabili tutti gli indefinibili: si avrà allora una classe di proposizioni che non include tutte le proposizioni, ma include un intero tipo. Se trasformiamo un costituente di una proposizione ϕ(''a'') in una variabile, allora avremo una classe <math>\hat{p}[( \exists x ) . \phi x = p]</math>. Questa classe in generale dipende ancora da ciò che, per ''convenzione arbitraria'' intendiamo per “ϕ''x''”. Ma se trasformiamo in variabili tutti i simboli la cui significazione era stata determinata arbitrariamente, tale classe persiste. Ciò però non dipende più da una qualche convenzione, bensì dalla natura del simbolo “ϕ''x''”. Essa corrisponde a un tipo logico. <!--[''Cfr.'' 3.315]--> | ||
In due modi si somigliano i segni. I nomi “Socrate” e “Platone” sono simili: sono entrambi nomi. Ma qualunque cosa abbiano in comune non deve venire introdotta prima dell’introduzione di “Socrate” e “Platone”. Lo stesso vale per la forma soggetto-predicato, etc. Quindi cosa, proposizione, forma soggetto-predicato, etc. non sono indefinibili, ovvero i tipi non sono indefinibili. | In due modi si somigliano i segni. I nomi “Socrate” e “Platone” sono simili: sono entrambi nomi. Ma qualunque cosa abbiano in comune non deve venire introdotta prima dell’introduzione di “Socrate” e “Platone”. Lo stesso vale per la forma soggetto-predicato, etc. Quindi cosa, proposizione, forma soggetto-predicato, etc. non sono indefinibili, ovvero i tipi non sono indefinibili. | ||