concorso2
concórso2 s. m. [dal lat. concursus -us, der. di concurrĕre «concorrere»]. – 1. a. Il concorrere di gente a uno stesso luogo, affluenza: ci fu un gran c. di popolo; il convegno s’è inaugurato [...] elementi: c. di cause; c. di fenomeni; provò la sua teoria col c. di molti argomenti. In diritto, c. di azioni, il soggetto compie più reati con altrettante azioni) e c. formale (quando il soggetto commette più azioni esecutive di uno stesso reato ...
Leggi Tutto
normativismo
s. m. [der. di normativo]. – 1. Tendenza all’adozione sistematica di norme; attitudine normativa. 2. Teoria giuridica secondo la quale il diritto è una struttura puramente formale, costituita [...] dal complesso unitario di norme che qualificano una realtà sociale ...
Leggi Tutto
sottrazione
sottrazióne s. f. [dal lat. tardo subtractio -onis, der. di subtrahĕre «sottrarre»]. – 1. L’atto del sottrarre, del portare via: s. di denari, di documenti; s. con furto, con raggiro, con [...] , matrici, ...), sempre come operazione inversa dell’addizione. In teoria degli insiemi, la s. fra due insiemi A e B elementi di A non appartenenti a B. 3. Nella logica formale, s. logica, quell’argomentazione nella quale, stabiliti i caratteri ...
Leggi Tutto
lirismo
s. m. [der. di lirico]. – 1. Carattere dell’espressione in genere, e spec. dell’espressione artistica (poesia, prosa, pittura, musica, cinema, ecc.), in cui predomina il valore lirico, inteso [...] evocativo e musicale della parola; anche, atteggiamento del gusto o teoria estetica che presiede a un particolare genere di prosa, per gusto e di tale genere di letteratura), preziosità formale, gonfiezza e simili. Per estens., espressione ostentata ...
Leggi Tutto
In logica matematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo a quelli di conseguenza logica e di soddisfacibilità....