condizionali controfattuali

Enciclopedia della Scienza e della Tecnica (2008)

condizionali controfattuali Claudio Pizzi Enunciato di forma ‘se A allora B’ nel quale A è noto essere falso: per es., ‘se Cesare non avesse attraversato il Rubicone non avrebbe conquistato Roma’. Nelle [...] mentre questi non ci sarebbero senza il verificarsi di depressioni atmosferiche precedenti); (c) per rendere conto dei predicati detti disposizionali (‘solubile’, ‘irascibile’, ‘elastico’ ecc.) che rimandano a condizioni possibili che di fatto non si ... Leggi Tutto

CATEGORIA: LOGICA

proposizione

Dizionario delle Scienze Fisiche (1996)

proposizione proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] (le p. semplici) e connettivi; se le p. fossero espresse anche mediante predicati e, oltre ai connettivi, si usassero anche quantificatori, si avrebbe il calcolo dei predicati. ◆ [ALG] [FAF] Legge delle p. inverse: una delle leggi proposizionali (v ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

metamatematica

Enciclopedia on line

Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] formalizzate (cioè, a sistemi assiomatici contenenti un conveniente calcolo logico, simboli speciali per gli individui, i predicati e le funzioni, oltre agli assiomi non logici propri delle teorie), scelte in modo da riprodurre fedelmente ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI – LOGICA MATEMATICA

LOGICA E INFORMATICA

Enciclopedia Italiana - V Appendice (1993)

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 [...] calcolo logico. Ci si riferisce qui alla proposta dovuta essenzialmente a R.A. Kowalski di usare la logica dei predicati come linguaggio di programmazione e come modello di computo. Tale proposta va comunemente sotto il nome di programmazione logica ... Leggi Tutto

Computazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Computazione, teoria della Fabrizio Luccio La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] con il famoso teorema di incompletezza di Kurt Gödel, che provava l'esistenza di formule indimostrabili nel calcolo dei predicati del primo ordine. Questo teorema è basato sulla costruzione di una di tali formule e lascia aperto il problema della ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA

TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

termine

Dizionario delle Scienze Fisiche (1996)

termine tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] con il medesimo esponente e che, pertanto, possono essere ridotti a un solo monomio. ◆ [FAF] Classe dei t.: nella logica dei predicati, l'insieme di tutte le espressioni atte a designare gli individui e le variabili individuali: v. logica: III 484 c. ... Leggi Tutto

CATEGORIA: ELETTROLOGIA – FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

fuzzy

Enciclopedia on line

Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] i quali esiste una vastissima letteratura. La teoria di Lotfi A. Zadeh può essere vista come un modo di trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto Gottlob Frege a espungerli dall ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DEGLI INSIEMI – GOTTLOB FREGE – INSIEMI FUZZY – LOGICA FUZZY – RETTA REALE

Frege, Gottlob

Enciclopedia on line

Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] (1879; trad. it. 1965), in cui viene costruito per la prima volta un calcolo degli enunciati e dei predicati e viene elaborato un opportuno linguaggio simbolico destinato a sostituire, in una formulazione veramente rigorosa, l'ambiguo e impreciso ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DEL LINGUAGGIO – LOGICA MATEMATICA – WISMAR – JENA

Probabilita

Enciclopedia del Novecento (1980)

Probabilità Gian-Carlo Rota e Joseph P.S. Kung *La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi. sommario: 1. Introduzione. [...] , ma fino ad ora questa pretesa non ha avuto il sostegno di uno sviluppo sintattico simile a quello del calcolo dei predicati, per quanto alcuni recenti risultati della scuola di H. J. Keisler indichino finalmente i primi passi in quella direzione ... Leggi Tutto

CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA

TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – MATRICE DELLE PROBABILITÀ DI TRANSIZIONE – EQUAZIONE ALLE DERIVATE PARZIALI – LEGGE DEBOLE DEI GRANDI NUMERI – TEORIA QUANTISTICA DEI CAMPI

Scienza indiana. La scienza nella cultura indiana

Storia della Scienza (2001)

Scienza indiana. La scienza nella cultura indiana Frits Staal La scienza nella cultura indiana Il concetto di scienza e la classificazione delle scienze Per designare le conoscenze sistematiche indiane [...] è determinata dal principio in base al quale la negazione di una proposizione si identifica con la negazione del predicato e non del soggetto. Aristotele ha spiegato questo concetto così: "Per esempio, la negazione del giudizio 'essere uomo', risulta ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – TEMI GENERALI – STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO