5,225
edits
Tractatus logico-philosophicus (italiano): Difference between revisions
Tractatus logico-philosophicus (italiano) (view source)
Revision as of 17:54, 1 August 2021
, 2 years agono edit summary
No edit summary |
No edit summary |
||
| Line 1,316: | Line 1,316: | ||
5.475È solo questione di costruire un sistema di segni con un determinato numero di dimensioni – con una determinata molteplicità matematica. | 5.475È solo questione di costruire un sistema di segni con un determinato numero di dimensioni – con una determinata molteplicità matematica. | ||
5.476È chiaro che qui non si tratta di un ''novero di concetti fondamentali'' che devono essere designati, ma dell'espressione di una regola.<references /> | 5.476È chiaro che qui non si tratta di un ''novero di concetti fondamentali'' che devono essere designati, ma dell'espressione di una regola. | ||
5.5Ogni funzione di verità è un risultato dell'applicazione successiva dell'operazione (– – – – –V)(ξ, . . . .) a proposizioni elementari. | |||
Questa operazione nega tutte le proposizioni nella parentesi di destra e io la chiamo la negazione di queste proposizioni. | |||
5.501Indico un'espressione tra parentesi i cui termini sono proposizioni – se l'ordine dei termini nella parentesi è indifferente – mediante un segno della forma «<math>( \bar{\xi} )</math>». «ξ» è una variabile i cui valori sono i termini dell'espressione tra parentesi; e la linea sopra la variabile indica che essa sta per tutti i suoi valori nella parentesi. | |||
(Se quindi, per esempio, ξ ha i 3 valori P, Q, R, allora <math>( \bar{\xi} )</math> = (P, Q, R).) | |||
I valori delle variabili si stabiliscono. | |||
Il fatto di stabilirli consiste nel descrivere le proposizioni per cui sta la variabile. | |||
Come avvenga la descrizione dei termini dell'espressione tra parentesi è inessenziale. | |||
Noi ''possiamo'' distinguere tre modalità della descrizione: 1. L'enumerazione diretta. In questo caso possiamo semplicemente inserire al posto della variabile i suoi valori costanti. 2. L'enunciazione di una funzione ''f'' ''x'' i cui valori sono, per tutti i valori di ''x'', le proposizioni da descrivere. 3. L'enunciazione di una legge formale secondo la quale quelle proposizioni sono costruite. In questo caso i termini dell'espressione tra parentesi sono tutti i termini di una serie formale.<references /> | |||