Giudice dell’esecuzione e spese del processo
Alessandro Diddi
Nel 2002 il legislatore, attraverso un testo unico, ha intrapreso un’opera di riorganizzazione e razionalizzazione della materia della riscossione [...] d.P.R. n. 115/2002 rinvia all’art. 211 in virtù del quale, poi, viene stabilito che il funzionario addetto all’ufficio quantifica l’importo dovuto per le spese sulla base degli atti e dei registri e delle norme che individuano le somme da recuperare ...
Leggi Tutto
L’espressione lingua colloquiale indica il complesso di usi linguistici che si manifestano primariamente, ma non esclusivamente, quando si parla in situazioni naturali e spontanee e in contesti informali; [...] (Bazzanella & Gili Fivela 2009). Tra gli espedienti lessicali più usati a tal fine si segnala l’uso di quantificatori attenuativi o ➔ intensificatori iperbolici, come in (11) e (12):
(11) già che c’ero volevo catalogarli un minimo cioè ...
Leggi Tutto
Gli aggettivi qualificativi sono la maggior parte degli ➔ aggettivi e formano al tempo stesso una lista che può essere illimitatamente arricchita. Hanno le seguenti proprietà:
(a) in funzione di ➔ attributo, [...] d’essere composto di molti membri; in (18 b.) l’aggettivo, in posizione pronominale, funziona da quantificatore (➔ quantificatori).
In accordo con la struttura informativa della frase in italiano (➔ dato / nuovo, struttura), quando l’informazione ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] che permette di tradurre ogni insieme di formule del calcolo dei predicati del primo ordine (contenente quindi in generale dei quantificatori) in un insieme di clausole.
Il metodo di risoluzione è un metodo che permette di stabilire se una clausola è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] oggetto logico che sono le proposizioni strutturate non solo in connettivi, ma anche in soggetti, predicati e quantificatori. Dice Tarski:
La diffidenza dei matematici verso il concetto di definibilità si rafforza attraverso l'opinione corrente ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] costruzione di un'entità a insieme con la dimostrazione che a∈5, allora M trasforma A in una dimostrazione di P(a).
Quantificatore esistenziale. Una dimostrazione di ???29???xP(x), dove il dominio di x è la specie S, consiste nella costruzione di un ...
Leggi Tutto
La pragmatica è il settore degli studi linguistici e semiotici che si occupa del rapporto fra i segni e i loro utenti, ovvero dell’uso dei segni, che ha sempre luogo in un contesto. Preannunciata dal filosofo [...] scalari, che fanno parte cioè di scale rette da rapporti di conseguenza logica, come la scala tutti > alcuni (➔ quantificatori). Mentre da tutti sono andati via si può dedurre come conseguenza logica alcuni sono andati via, dal meno informativo ...
Leggi Tutto
Elga Turco
Abstract
Nella regolamentazione del procedimento di riparazione per l’ingiusta detenzione, il legislatore si limita a fissare i termini per la proposizione della domanda, il giudice competente [...] diritto alla riparazione per l’ingiusta detenzione, in Resp. civ. prev., 1995, 721; Pini, V., La quantificazione dell’indennizzo nella riparazione per ingiusta detenzione: parametri variabili e disorientamenti giurisprudenziali, in Giur. it., 1995 ...
Leggi Tutto
matematica
matematica termine che deriva dal greco mathematiché (sottinteso téchne, dove máthema significa conoscenza, sapere) e dal corrispondente sostantivo neutro plurale latino mathematica (le cose [...] ad a e la stessa freccia), cioè che esprimono una variabilità di tipo spazio-temporale, sono definiti attraverso i quantificatori universale ed esistenziale, collocandoli così all’interno di una variabilità logica, svincolata da realtà fisiche e ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] può essere calcolato esplicitamente. Si ottiene una procedura di decisione diversa dalle procedure classiche, basate sull'eliminazione dei quantificatori. Si fa un uso cruciale del risultato di Weil sulla funzione zeta di congruenza e del teorema di ...
Leggi Tutto
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...
quantificazione
quantificazióne s. f. [dall’ingl. quantification, der. di (to) quantify: v. quantificare]. – 1. L’operazione e il risultato del quantificare: q. del predicato, nella logica, teoria, elaborata soprattutto da W. Hamilton sulla...