Un nome per ogni concetto. Questi termini valgono in ogni documento, commento del codice e schermata.
| Termine | Significato |
|---|---|
| Aggregazione, ▷ | L'atto per cui proprietà compatibili formano un concetto. Si legge «è aggregato da». |
| Aggregazione elementare | Una coppia «concetto ▷ una proprietà». È l'unità che riceve un valore. |
| Alternative, teoria di | Teoria che elenca i modelli rivali su un punto. Serve a dimostrare per esclusione. |
| Circuito | Il disegno dei semivettori di una o più teorie e dei loro incroci (decisione 52). |
| Concetto | Ciò di cui una proposizione parla; ciò che sta a sinistra di ▷. |
| Congetturale, C | Valore di ciò che può essere vero o falso ma non è ancora dimostrato. |
| Contraddetta da D, sostenuta da D | Motivo che un fatto statistico dà a una teoria sul mondo, che resta C. «Sostenuta» richiede due dataset indipendenti. |
| Distinzione, teoria di | Teoria che separa due significati della stessa parola in due proprietà distinte. |
| Esplorazione | Calcolo di che cosa seguirebbe se una congettura fosse vera o falsa. Non produce valori. |
| Falso, F | Impossibile o confutato. |
| Fatto statistico | Il risultato di un dataset analizzato con un piano registrato prima. Ogni nodo può ricalcolarlo; è l'unica cosa che la statistica rende V o F. |
| Forma esplosa | Una proposizione scritta come elenco delle sue aggregazioni elementari, ciascuna con il suo valore. |
| Identità, teoria di | Teoria che dichiara che due parole sono la stessa proprietà. |
| Immissione | Frase che aggiunge una teoria. |
| Incrocio | Il punto in cui due o più semivettori si incontrano. Non è un concetto nuovo: «rossa» che incontra «mela» resta rossa, proprietà della mela, finché non nasce un neologismo. |
| Multiverso ristretto | Le procedure standard alternative a quella del piano, eseguite sugli stessi dati. Se discordano il fatto statistico è inconcludente. |
| Non apofantico, N | Né vero né falso, perché si è dimostrato che non si può sapere. Motivi: malformata, incompleta, non accessibile. |
| ONTO | Linguaggio e motore a proprietà su cui TheoryFlow conserva e calcola. |
| Piano di prova | Tutte le scelte di un'analisi, registrate prima di vedere i dati. |
| Proposizione | Parte di una teoria priva di operatori logici. |
| Proprietà | La forma in cui l'essere si differenzia. Nel sistema: una parola scritta, un solo nodo. |
| Provenienza | Come una teoria è entrata nel sistema: scritta a mano o generata, e da che cosa. |
| Richiesta | Frase che cerca teorie esistenti. |
| Semivettore | La proprietà nel disegno: una semiretta che parte da un'origine con il suo nome e passa per i concetti di cui è proprietà. Una proprietà è un solo semivettore in tutto il circuito. |
| Scheda di provenienza | La descrizione di come un dataset è stato raccolto. Senza, il dato non è una prova. |
| Teoria | Descrizione del mondo espressa in un linguaggio. Può essere una frase o un testo. Anche una regola grammaticale è una teoria. |
| Teoria di partenza | La teoria grammaticale caricata con il sistema. Vale finché non è confutata; non è V. |
| Scenario | Ciò che segue assumendo una congettura vera, oppure falsa. |
| TheoryFlow | La piattaforma. Non l'ontologia, non la fisica. |
| Vincolo logico | Teoria che lega due o più proprietà con un operatore logico. È ciò che rende visibile una contraddizione. |
| Valutazione | L'atto registrato che dà un valore a un'aggregazione: valore, modo, dipendenze, data. |
| Vero, V | Dimostrato per via logica e ontologica. Le misure rendono V solo il fatto statistico, non la teoria sul mondo (decisione 28). |
| Zona di rilevanza | I valori di un parametro che una teoria considera «nessun effetto rilevante», dichiarati prima dei dati. |
Nomi da non usare più
| Al posto di | Si dice |
|---|---|
| Null, nullo, None, indefinito | Non apofantico, N |
| Indeterminato, non verificato | Congetturale, C |
| Soggetto, riferimento | Concetto |
| Insieme, superinsieme, categoria, oggetto | Aggregato |
| Logica ontologica predicativa | Mappatura in aggregazioni |
| Affermazione | Immissione |
| Nodo, intreccio | Incrocio, nel disegno; proprietà, nel sistema |
| Arco, vettore | Semivettore |
| Grafo, circuito vettoriale, circuito semivettoriale | Circuito |
| ⊆, ⊇, → tra proprietà | ▷ |
Aggiornato il 9 ottobre 2026.