Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] gli assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistemaformale ‘più vero’ di un altro; ma in quanto la matematica trova diretto fondamento in una intuizione-base, comune a tutti ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] un procedimento effettivo per stabilire se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemiformali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] dall'intero programma.
L'approccio assiomatico alla semantica dei programmi ha portato allo sviluppo di una serie di sistemiformali (logiche della programmazione), per lo più estensioni modali di logiche del prim'ordine. Esempi di tali logiche sono ...
Leggi Tutto
Parlamento
Bernard Crick
di Bernard Crick
Parlamento
sommario: 1. Il concetto di parlamento. 2. Le origini dei parlamenti. 3. I modelli classici. 4. I parlamenti moderni e la formazione dello Stato. [...] Comunque, ciò di cui stiamo parlando è, in termini generali, un sistema politico in cui il governo in carica, per ampio che sia il dello Stato, cioè di gruppi al di fuori dei sistemiformali costituiti dai partiti, dal parlamento e dalle elezioni. ...
Leggi Tutto
Sistemi giuridici comparati
Giovanni Bognetti
Sistemi giuridici e grandi modelli
Gli ordinamenti giuridici consistono in gruppi organizzati di soggetti umani i quali, per realizzare fini che coltivano [...] gli ordinamenti adottano regole che circoscrivono maggiormente le autonomie individuali.Il principio dell'eguaglianza formale viene attuato, nei sistemi giuridici, fino alle sue estreme implicazioni. Sono eliminate le ultime distinzioni fondate su ...
Leggi Tutto
In senso lato, qualsiasi esplicazione di energia volta a un fine determinato. In senso più ristretto, attività umana rivolta alla produzione di un bene, di una ricchezza, o comunque a ottenere un prodotto [...] organica. Quest’ultima risolve i conflitti d’interesse, in unità produttive e tra unità produttive, tramite sistemi di regole sia formali che comportamentali. Le due scuole di pensiero confluiscono nelle teorie moderne dell’organizzazione del l. nell ...
Leggi Tutto
Città del Lazio, capitale della Repubblica Italiana; capoluogo di regione e città metropolitana (Comune di 1.287,4 km2 con 2.813.365 ab. nel 2021).
Il problema dell’etimologia del nome di Roma si era presentato [...] barbarici, governò l’Italia.
L’Impero romano sussisteva ancora; formalmente, mancando l’Augusto d’Occidente, l’Impero tornava nelle recenti (dal 1° sec. a.C.) e che, nella sua sistemazione, si data per lo meno dal principio del 5° sec. a. ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è stato talvolta concepito come un insieme articolato di programmi, norme e relazioni formali all’interno di una comunità educante. Ormai, però, l’approccio sistemico non si limita a considerare la struttura dei corsi di studio, i programmi ...
Leggi Tutto
società Insieme di individui o parti uniti da rapporti di varia natura, tra cui si instaurano forme di cooperazione, collaborazione e divisione dei compiti, che assicurano la sopravvivenza e la riproduzione [...] πόλις (per i latini civitas) non si distingue formalmente dalle più elementari forme di κοινωνίαι (o societates). Sofisti ., in passato come nel mondo contemporaneo, è costituita da un sistema di interazioni che unisce tra loro gli esseri umani. La s ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali espressioni sono valide dove (b1′, b2′, ..., bp′) è una qualsiasi soluzione del sistema normale. Per il problema b) ci si basa sul confronto ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...