Il Contributo italiano alla storia del Pensiero: Diritto (2012)
La filosofia del diritto nel secondo Novecento
Carla Faralli
Decadenza dell’idealismo
La fine della Seconda guerra mondiale e la caduta del fascismo segnano una cesura netta tra la prima e la seconda [...] naturali dell’individuo (o meglio, della persona) e aveva respinto ogni teoria che ponga lo Stato al di sopra o al di fuori del limite intitolata Dalla struttura alla funzione (1977), la teoriaformale del diritto, tutta orientata all’analisi della ...
Leggi Tutto
La polemica di Gentile con Federigo Enriques
Gaspare Polizzi
Gentile ed Enriques sulla scena della filosofia italiana del primo Novecento
Quando Gentile recensisce nel 1908 sulla «Critica» (6, pp. [...] del sapere è la storia della conoscenza», ma la gnoseologia è «visione dell’eterno» e di conseguenza la «teoriaformale del conoscere» non può avere una dimensione storica (p. 439). La metafisica si propone, hegelianamente, come coscienza assoluta ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] , giocherà un ruolo cruciale nel seguito: si tratta, informalmente, del numero complessivo di bit degli assiomi della teoriaformale. H(X) fornisce un modo per misurare la complessità algoritmica o il contenuto di informazione algoritmica di una ...
Leggi Tutto
CESARINI SFORZA, Widar
Giovanni Tarello
Nacque a Forlì il 5 sett. 1886 dal conte Lotano e Maria Vescovini. Dopo gli studi classici si addottorò, a Bologna, in giurisprudenza ed in filosofia. Nei primi [...] (in Riv. ital. di sociol., XX [1916], 2, pp. 212-14).
Ma l'aspetto più importante è quello della teoriaformale dei concetti giuridici, che si esprime negli scritti filosofico-teorici e filosofico-critici: Sulla possibilità di una scienza giuridica ...
Leggi Tutto
sillogistica
Qualsiasi versione della dottrina del sillogismo (➔), da quella originaria aristotelica, a quella della trattatistica ottocentesca, relativa alla cosiddetta logica tradizionale, che precede [...] , con l’assunzione, tacita o esplicita, che in un sillogismo nessun termine sia vuoto, privo di riferimento. Nella teoriaformale moderna si assume esplicitamente, per non invalidare i modi corrispondenti, che non siano vuoti il termine minore in ...
Leggi Tutto
computazione quantistica
computazióne quantìstica locuz. sost. f. – Nella scienza dell'informazione, computazione basata sulla trattazione del dato quantistico. La c. q. ha introdotto un campo nuovo [...] computer è la macchina di Turing, che è in grado di accettare tutti i linguaggi numerabili in forma ricorrente, per una teoriaformale della c. q., benché le sue strutture siano uguali a quelle classiche, è spesso conveniente fare ricorso al concetto ...
Leggi Tutto
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorieformali, tra cui la teoriaformale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] non è dimostrabile;
• se G non è dimostrabile, allora la formula G è dimostrabile.
Pertanto, se si vuole che la teoriaformale alla base dell’aritmetica sia coerente, cioè non si derivino in essa contraddizioni, allora al suo interno non è possibile ...
Leggi Tutto
proposizioni, calcolo delle
proposizioni, calcolo delle calcolo logico sviluppato nell’ambito del linguaggio degli → enunciati, detto anche calcolo proposizionale. I suoi oggetti sono le proposizioni, [...] B) dalla conclusione B.
Una fbf F deducibile dagli assiomi attraverso la regola di deduzione si dice dimostrabile all’interno della teoriaformale introdotta, si scrive ⊢F e la sua dimostrazione è la catena di → deduzione che va dagli assiomi a F. Il ...
Leggi Tutto
social network analysis
<së'ušl nètuëëk ënä'lësis> locuz. sost. ingl., usata in it. al femm. – Analisi degli schemi e delle modalità di comunicazione tra le persone (in sigla, SNA), all'interno [...] agli studi delle dinamiche sociali, nella specificità della social network analysis risiede nell'enfasi data a una teoriaformale organizzata in termini matematici e nell'analisi sistematica di dati empirici. Con l'evoluzione tecnologica, la social ...
Leggi Tutto
carattere vuoto
carattere vuoto carattere speciale o “improprio” di un → alfabeto di una teoriaformale, che esprime simbolicamente la “non presenza” di alcun altro carattere “proprio” dell’alfabeto [...] stesso. Questo artificio formalistico di segnalare una “assenza” attraverso una “presenza” simbolica permette di interpretare anche il vuoto che separa due stringhe come un particolare carattere. Inoltre ...
Leggi Tutto
formalismo
s. m. [der. di formale1]. – 1. Attaccamento alla forma esteriore, per cui si trascura o si dà minore importanza a ciò che è sostanziale ed essenziale; rigorosa osservanza delle norme, dei regolamenti, o in genere delle formalità...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...