Il testo, l’unità fondamentale della comunicazione linguistica, si definisce per la sua natura funzionale (persegue uno scopo comunicativo globale) e semantica (il suo significato è unitario e strutturato). [...] di una frase precedente può essere modificata o, se indecidibile, fissata alla luce del cotesto successivo. Per es., frasi in cui si articola il testo sono più propriamente «enunciati», cioè prodotti di atti linguistici di composizione testuale: atti ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] ottiene come corollario il teorema di compattezza: se T è un insieme di enunciati della logica del primo ordine, e ogni sottoinsieme finito di T ha di varietà topologiche di dimensione 4 è indecidibile.
La teoria della dimostrazione
Nel senso più ...
Leggi Tutto
Ogni lingua si articola in sillabe, per effetto dell’alternarsi di foni consonantici e vocalici (➔ fonetica; ➔ consonanti; ➔ vocali). I secondi sono caratterizzati da maggior sonorità intrinseca e maggior [...] sequenze – in posizione interna – come casi di scansione indecidibile. Secondo tale concezione, il parlante italiano oscilla tra , come tme.si, la cui scansione a inizio di enunciato differisce però da quella eterosillabica di rit.mo, come avviene ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] aveva interrogato Gödel in merito all’esistenza di enunciatiindecidibili che fossero puramente aritmetici. Il problema di trovare enunciati con un genuino contenuto aritmetico, indecidibili in PA viene sistematicamente indagato a partire dagli ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
L’ipotesi del continuo, formulata da Georg Cantor negli anni Settanta dell’Ottocento, [...] In altre parole, l’ipotesi del continuo è un enunciato indipendente dalla teoria assiomatica degli insiemi.
Cantor, Gödel teorema d’incompletezza fornisce un esempio di proposizione indecidibile in un sistema formale sufficientemente espressivo da ...
Leggi Tutto
LOGICA POLIVALENTE
Claudio Pizzi
Viene chiamata polivalente qualunque logica che risulti completa rispetto a semantiche che ammettono più valori dei due valori di verità standard (di solito identificati [...] i tre valori sono, intuitivamente, vero, falso e indecidibile. Le matrici qui sono costruite sull'idea che quando il principio per cui se tra i componenti di un enunciato c'è un enunciato paradossale, questo è a sua volta paradossale. Tavole simili ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] il tempo siano infiniti. Anche qui al-Kindī prende le mosse enunciando quattro premesse: (1) da tutto ciò da cui si toglie però essere identità. Introdusse inoltre il concetto di problema indecidibile, quello di cui non si può "dimostrare né l ...
Leggi Tutto
La funzione testimoniale dell’immagine
Pietro Montani
Ground Zero
Nell’archivio delle immagini cui sarà consegnata la memoria del 21° sec., una posizione di assoluto rilievo spetta sicuramente alla [...] perché la sua intensità qualitativa restava indecidibile. Oggettivamente intrise di esteticità, quelle immagini cui dovremo soffermarci più avanti, ma che fin d’ora deve essere enunciato. «A differenza del romanzo – egli scrive – le costruzioni dello ...
Leggi Tutto
La riduzione fenomenologica e la questione dell’amore
Jean-Luc Marion
Dall’esperienza alla coscienza dell’esperienza
In ogni indagine filosofica il punto decisivo è l’inizio: infatti una volta che ci [...] diverso dal mio, ‘essere amato’ può venir inteso come un enunciato sintetico, in cui ‘amato’ si aggiunge dall’esterno al suo me stesso, al contrario mi esporrà a un’istanza indecidibile, che tuttavia deciderà di tutto, e soprattutto di me ...
Leggi Tutto
decidibilita
decidibilità termine utilizzato nella teoria della calcolabilità per indicare l’esistenza di una procedura algoritmica che permetta di stabilire, in un numero finito di passi, se una data [...] un enunciato atomico, che può essere vero o falso a seconda del valore di verità che gli si attribuisce. Il teorema di Gödel afferma che l’aritmetica formalizzata come calcolo logico (mediante gli assiomi di Peano) è una teoria indecidibile perché ...
Leggi Tutto
risolubile
risolùbile (ant. resolùbile) agg. [der. di risolvere; cfr. lat. tardo resolubĭlis «che si può nuovamente sciogliere»]. – Che si può risolvere: dubbio, problema r.; sciarada facilmente risolubile. In partic.: 1. In diritto privato,...