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 [...] ribadendo la tesi della estensionalità e quindi una ricostruzione sistematica della stessa logica matematica sulla base della teoriadegl'insiemi.
Abbiamo già notato come Quine rappresenti la più importante reazione del pragmatismo americano al n. (o ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] soli sottogruppi normali; in entrambi i casi l'intersezione G₁⋂G₂ di due sottogruppi coincide con l'intersezione nel senso della teoriadegliinsiemi, mentre l'unione G₁⋃G₂ va intesa come il sottogruppo generato dagli elementi di G₁ e da quelli di G ...
Leggi Tutto
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione data dalla teoriadegliinsiemi fuzzy al problema della formalizzazione della vaghezza abbia ottenuto vari risultati riuscendo a sfuggire a varie difficoltà ...
Leggi Tutto
insieme fuzzy
Settimo Termini
Sia X un insieme arbitrario e I l’intervallo [0,1] della retta reale. Un insieme fuzzy è una qualsiasi funzione f:X→I da X ad I. Il nome insieme fuzzy dato a queste applicazioni [...] complemento algebrico di f e possiamo concludere che ℒ(X) è un reticolo distributivo ma non complementato. La teoriadegliinsiemi fuzzy è stata formulata da Zadeh in termini delle operazioni di unione, intersezione e negazione descritte prima, alle ...
Leggi Tutto
predicato vago
Settimo Termini
Un predicato si dice vago se la sua estensione non ha confini ben definiti. Già i Greci hanno mostrato effetti paradossali causati dall’inserimento di predicati vaghi [...] ai paradossi citati prima ricordiamo quelle che si fondano sulla logica a più valori. Alla domanda se la teoriadegliinsiemi fuzzy sia la risposta definitiva al problema della formalizzazione della vaghezza si deve dare una risposta negativa in ...
Leggi Tutto
universo
univèrso [Der. del lat. universum, neutro sostantivato dell'agg. universus; nell'uso astronomico è nome proprio e quindi ha l'iniziale maiusc.] [ASF] L'insieme dei corpi celesti e dello spazio [...] : VI 419 f. ◆ [ALG] [FAF] Insieme u.: nella teoriadegliinsiemi e nella logica matematica, l'insieme agli elementi del quale si applica l'operazione o la teoria considerata, in partic. un'operazione o una teoria logica. ◆ [ASF] [RGR] Modelli di U ...
Leggi Tutto
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] e anche per studiare la semantica di una data formulazione della teoriadegliinsiemi occorre ricorrere a una teoriadegliinsiemi con assiomi più forti. Fatto importante, lo schema di Tarski si può estendere a universi più generali considerando ...
Leggi Tutto
ensemble flou
Settimo Termini
Espressione usata nella lingua francese per indicare gli insiemi fuzzy. Essa fu introdotta e usata da Karl Menger già nel 1951. In questo lavoro l’idea di ensemble flou [...] , viene fornita un’anticipazione dell’idea di fondo proposta da Zadeh successivamente. Si ricorda che idee di Menger (le t-norme) sono state usate nella teoriadegliinsiemi fuzzy anche per uno studio approfondito di famiglie di connettivi.
→ Fuzzy ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] quello che ha uguale modulo e uguale direzione rispetto a v, ma verso opposto; (e) nella teoriadegliinsiemi, la scrittura A-B ("A m. B") indica l'insieme dei punti di A che non appartengono a B. ◆ [FAF] Nella logica matematica, indica la negazione ...
Leggi Tutto
tricotomia
tricotomìa [Comp. del gr. trícha "in tre parti" e -tomia, sul modello di dicotomia] [ALG] Nella teoriadegliinsiemi, termine per indicare la situazione in cui si danno tre possibilità. ◆ [...] [ALG] [FAF] Nella logica matematica, la situazione in cui un concetto è diviso in tre (come nella dicotomia esso è diviso in due) ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...