categoricità
Enciclopedia on line
categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] dei termini non definiti «0», «numero naturale», «successivo di un numero naturale», che associa a ogni assioma il valore di verità vero. Che il sistema a)-e) sia categorico, che cioè due suoi modelli qualsiasi siano isomorfi, significa che, dati due ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Casari, Ettore
Enciclopedia on line
Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale [...] (1957); Lineamenti di logica matematica (1959); Questioni di filosofia della matematica (1964); Introduzione alla logica (1997); La matematica della verità. Strumenti matematici della semantica logica (2006); Bolzano’s logical system (2016). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Storia della Scienza (2002)
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] ad ammettere. Infatti Newton salva i fenomeni con i suoi principî matematici di filosofia naturale indipendentemente dalla falsità o verità di quell'ipotesi.
La regola III è duplice: la prima parte sancisce un principio metafisico, vale a dire che ...
Leggi Tutto
fuzzy, logica
Enciclopedia on line
Nella teoria dei sistemi, tipo di rappresentazione ideato verso la fine degli anni 1970 da L.A. Zadeh, della University of California a Berkeley, ma affermatosi solo a partire dagli anni 1990, che ha l’obiettivo [...] e progressiva. Dunque, ai concetti logici di vero e falso della logica convenzionale si sostituisce semplicemente un grado di verità che presuppone allo stesso tempo un certo grado di falsità. La capacità della logica f. di trattare tali concetti ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] . L’affermazione di Epimenide è invece falsa: ciò significa che esiste almeno un cretese che abbia detto almeno una volta la verità (non Epimenide in questa occasione). Il p. di Epimenide non è un vero p., ma viene spesso considerato equivalente al p ...
Leggi Tutto
teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] soprattutto da Popper e H. Putnam: il primo ha considerato la successione storica delle t. come un asintotico avvicinamento alla verità; Putnam, almeno in una prima fase del suo pensiero e in esplicita polemica con la visione di Kuhn, ha insistito ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] concetti logici fondamentali, e che tutte le sue verità sono deducibili da un numero molto piccolo di il 'tipo' della sua variabile x, e che le questioni della sua verità o falsità abbiano senso solo all'interno di tale 'tipo'. In un adeguato ...
Leggi Tutto
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] sono considerate "metafisicamente necessarie", ossia vere in ogni mondo possibile. K. ha anche proposto un'originale teoria della verità che riesce a eliminare alcuni inconvenienti della teoria di A. Tarski relativi a paradossi. Tra i suoi scritti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
COMPLESSITA'
Enciclopedia Italiana - VI Appendice (2000)
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] ". Bohr rielabora questo concetto a suo modo: "Il contrario di una verità banale è un errore stupido, ma il contrario di una verità profonda è sempre un'altra verità profonda". Il problema fondamentale è dunque quello di unire nozioni antagonistiche ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
EMMANUELE, Pietro
Dizionario Biografico degli Italiani (1993)
EMMANUELE (Emanuele, Emmanueli), Pietro
Maria Muccillo
Nacque forse sullo scorcio del secolo XVI o agli inizi del XVII, a Palermo dato che tutte le fonti concordi lo designano come "Panormitanus". Assolutamente [...] di non nutrire alcun pregiudizio negativo verso l'E., poiché neppure lo conosceva, e di aver parlato soltanto in nome della verità scientifica.
Ma l'attacco più violento venne all'E. proprio dallo Spinola che si prese il gusto non solo di smontare ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE