deduttivita, postulato di
Enciclopedia della Matematica (2013)
deduttivita, postulato di
deduttività, postulato di nella sistemazione della logica dovuta ad Aristotele, costituisce, insieme ai postulati di realtà, di verità, di evidenza per termini e di evidenza [...] un insieme di enunciati S costituisca una «scienza deduttiva». In particolare, il postulato di deduttività afferma che le conseguenze logiche di un insieme di enunciati che appartengono a una scienza deduttiva S appartengono anch’esse a S (→ sistema ...
Leggi Tutto
contronominale
Enciclopedia della Matematica (2013)
contronominale
contronominale proposizione (o enunciato) associata a una implicazione logica del tipo A ⇒ B in cui la proposizione antecedente viene scambiata con quella conseguente e di entrambe si [...] sei italiano allora non sei genovese». Con la tavola di verità si mostra facilmente che A ⇒ B e ￢B ⇒ ￢A sono logicamente equivalenti. La tavola ha nella sua terza e sesta colonna (corrispondenti rispettivamente a A ⇒ B e ￢B ⇒ ￢A) gli stessi valori ...
Leggi Tutto
Gentzen, induzione transfinita di
Enciclopedia della Matematica (2013)
Gentzen, induzione transfinita di
Gentzen, induzione transfinita di in logica, metodo dimostrativo ottenuto come estensione dell’induzione matematica dai numeri naturali ai numeri ordinali transfiniti. [...] Gentzen introduce la sequenza di numeri ordinali transfiniti nel seguente modo: il numero ω è definito come «collocato dopo tutti numeri naturali». Esso è seguito da ω + 1, poi da ω + 2, ω + 3, ... (→ ...
Leggi Tutto
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] and to methodology of deductive sciences, Oxford 1965 (trad. it. di E. Ballo e S. Bozzo, Introduzione alla logica, Milano 1969); M.L. Dalla Chiara Scabia, Modelli sintattici e semantici delle teorie elementari, Milano 1968; A. Marruccelli, Teorie ...
Leggi Tutto
antinomìa
Dizionario delle Scienze Fisiche (1996)
antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logica matematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
Kowalski, notazione di
Enciclopedia della Matematica (2013)
Kowalski, notazione di
Kowalski, notazione di espressione con cui si indica la formula: algoritmo = logica + controllo. Tale formula esprime sinteticamente la teoria di R. Kowalski sugli algoritmi dei [...] strategia di risoluzione del problema stesso. La parte logica descrive l’obiettivo dell’algoritmo, mentre la parte con il simbolo n!. In questo caso la componente logica consiste nella definizione di fattoriale assegnata attraverso le due regole ...
Leggi Tutto
proof-net
Enciclopedia della Matematica (2013)
proof-net
proof-net o rete dimostrativa o rete di prova, in logica lineare è un grafo che rappresenta una dimostrazione, termine con cui si intende una deduzione formale nel calcolo dei → sequenti della [...] insieme di nodi connessi fra loro da un insieme di archi. Gli archi di un proof-net sono etichettati da formule della logica lineare; i nodi sono detti legami e rappresentano le regole del calcolo dei sequenti lineare. Ogni legame ha un certo numero ...
Leggi Tutto
De Sorìa, Giovanni Alberto
Enciclopedia on line
Filosofo sensista (Pisa o Livorno 1707 - Calci, Pisa, 1767). Insegnò logica (1731), poi filosofia (1735) nell'univ. di Pisa. Combatté il cartesianesimo, esaltò Galileo. Opera principale le Rationalis philosophiae [...] institutiones (1741); inoltre Raccolta di opuscoli filosofici e filologici (1766) e Caratteri di varii uomini illustri (post., 1773-74) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logiche a piu valori
Enciclopedia della Scienza e della Tecnica (2008)
logiche a più valori
Settimo Termini
Nel ricco panorama delle varianti della logica classica esse si presentano come logiche non classiche vero-funzionali (cioè, il valore di verità di un enunciato [...] valori di verità non è limitato a due ma si ammette un insieme più ampio di valori di verità. Nei sistemi di logiche a più valori, i valori di verità solitamente formano un insieme finito ordinato, un insieme infinito numerabile o un insieme continuo ...
Leggi Tutto
CATEGORIA:
LOGICA
Ayer, Alfred Jules
Enciclopedia on line
Filosofo (Londra 1910 - ivi 1989), prof. di filosofia e di logica all'univ. di Londra, poi (dal 1959) a Oxford. Con la prima opera (Language, truth and logic, 1936; 2a ediz. 1946; trad. it. 1961) cercò [...] di conciliare alcune conclusioni del neopositivismo del Circolo di Vienna con la tradizione antimetafisica dell'empirismo anglosassone. La sua produzione successiva è stata dedicata, attraverso una coerente ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE