logica lineare
logica lineare area di ricerca della logica matematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] «non A non è un teorema»; l’analogia si ha perché ￢!A equivale a ? ￢A. Si definiscono inoltre i quantificatori in modo classico, anche se le loro proprietà risentono della differenza, rispetto alla logica classica, dovuta alla negazione lineare. Dall ...
Leggi Tutto
NEOPOSITIVISMO (App. III, 11, p. 235)
Paolo Filiasi Carcano
R. Carnap e l'eredità del positivismo logico. - Il n. nel senso stretto della parola (come, cioè, quel movimento di logica e filosofia della [...] appaiono nel linguaggio sotto la forma di "esistono alcuni " o "tutti"): da un punto di vista informazionale, questi quantificatori contengono l'indicazione di aver trovato in qualche modo la risposta a un'attività di ricerca; vengono così ricondotti ...
Leggi Tutto
Logica
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] di dimostrare i teoremi a partire dagli assiomi. Ma, non appena si introducono in questa logica variabili individuali e quantificatori, le cose rischiano di complicarsi. Infatti, se le espressioni ben formate devono avere un senso in virtù delle sole ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] lunghezza dell'input. Si ha NP⊂PSPAZIO. Un tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio:
[2] ∀x∀y(x∧¬y∨∃z((x∧z)∨(y∧z))).
Un recente risultato caratterizza la classe PSPAZIO in ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] dell'ingresso. Si ha NP⊂PSPAZIO. Un tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio:
[2] ∀ x ∀ y(x ∧ ⌝ y ∨ ∃z((x ∧ z) ∨ (y ∧ z))).
Un recente risultato caratterizza la classe PSPAZIO ...
Leggi Tutto
L’ordine degli elementi di una struttura sintattica (come un sintagma o una frase) è un parametro cruciale negli studi linguistici, principalmente in quelli di tipologia. A partire dalla struttura della [...] stessa direzione, o a destra o a sinistra della testa. Invece gli elementi che non ramificano (come l’articolo o i quantificatori) paiono esenti da questa restrizione.
In questo quadro, l’italiano può essere descritto sia come una lingua con testa a ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] tra le c. sintattiche è quella tra ‘funtori’ e ‘argomenti’. Tra i funtori si annoverano i connettivi e i quantificatori, tra gli argomenti i nomi propri e gli enunciati.
Sono detti categoriali i simboli che servono a rappresentare una determinata c ...
Leggi Tutto
limite
limite nozione centrale nell’analisi matematica a cui vengono ricondotte le definizioni delle altre nozioni fondamentali (→ derivata, → integrale, → serie ecc.). Esprime in termini rigorosi l’esigenza [...] |ƒ(x) − l| < ε. La disuguaglianza 0 < |x − x0| equivale infatti a x ≠ x0. È essenziale notare l’ordine dei quantificatori: si sceglie ε (o, in genere, V) ad arbitrio, e in corrispondenza a esso si determina δ (o U). Tuttavia la dipendenza di δ ...
Leggi Tutto
Il termine partitivo indica la funzione, propria di alcuni elementi (l’➔articolo, il clitico ne o altri ➔ clitici), di indicare il prelievo di una ‘parte’, una quantità indeterminata, dal referente del [...] del participio passato:
(35) ho comprato delle pere e ne ho mangiate due (ma ho mangiato due pere)
Nel caso ci sia un quantificatore, è quest’ultimo che regola l’accordo:
(36) ho comprato delle pere e ne ho mangiata la metà
(37) ho comprato le pere ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] chiameremo nel seguito reti MP) sono degli automi a stati finiti che realizzano la logica delle proposizioni con quantificatori, e consentono di formulare ipotesi precise sulla natura dei meccanismi cerebrali, in una forma equivalente ai programmi ...
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...