definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] è definibile se lo è {a}). Ricerche fondamentali della moderna teoria dei modelli studiano e classificano gli insiemi definibili o definibili con particolari modalità in strutture matematicamente significative. Per capire la portata della cosa, basti ...
Leggi Tutto
contraffattuale
contraffattuale [agg. Comp. di contra- e fattuale] [FAF] Asserzione del tipo "se ... allora" se riguarda ciò che avviene in un "mondo" possibile nel senso di una situazione non fattuale [...] dall'antecedente del condizionale (per es., "se i gatti non avessero la coda"), in parte dal supporre che il resto dei fatti non venga modificato (per es., si ignorano situazioni o mondi in cui i gatti volano), in parte dalla precisazione del tipo di ...
Leggi Tutto
cosa
còsa s. f. [lat. causa «causa», che ha sostituito il lat. class. res]. – 1. È il nome più indeterminato e più comprensivo della lingua italiana, col quale si indica, in modo generico, tutto quanto esiste, nella realtà o nell’immaginazione,...
se
sé pron. rifl. [lat. sē] (radd. sint.). – 1. Forma forte della declinazione del pron. rifl. di 3a pers.; si usa soltanto quand’è riferito al soggetto (maschile o femminile, singolare o plurale) o nelle frasi enunciate con verbo all’infinito...