logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] a compimento tra l’altro le idee dei successori di Aristotele. La logica stoica è una logica delle proposizioni, mentre la logica aristotelica è una logica dei predicati (o delle classi, non vuote), il che significa che mentre Aristotele si serve di ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA

TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] o falsità di un enunciato formato da proposizioni semplici e connettivi logici: congiunzione (e), disgiunzione (o), negazione (non), implicazione (se... allora...), in ragione della verità o falsità delle proposizioni e dei connettivi presenti. È ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA

geometria

Enciclopedia on line

In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali. Cenni storiciL’antichità - L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] discendere il 5° postulato di Euclide dalle precedenti proposizioni euclidee, ne dimostrava l’indipendenza logica. La possibilità di escludere tale postulato dal novero delle proposizioni che stanno alla base della g., dando vita a nuove g. lontane ... Leggi Tutto

CATEGORIA: GEOMETRIA

TAGS: OPERAZIONI DI PROIEZIONE E SEZIONE – TEORIA QUANTISTICA DEI CAMPI – TEORIA DELLE SUPERSTRINGHE – POSTULATO DELLE PARALLELE – METODO DELL’ASSONOMETRIA

assioma

Enciclopedia on line

Filosofia Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] fa riferimento a particolari contenuti, non afferma la verità delle proposizioni iniziali, ma si limita ad asserire che se sono gli elementi del sistema sono completamente simbolizzati e la logica del sistema è completamente formulata sotto forma di a ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI

TAGS: CRITICA DELLA RAGION PURA – MATEMATICA – INTUIZIONE – INFERENZA – FILOSOFIA

Łukasiewicz, Jan

Enciclopedia on line

Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] la tradizionale divisione delle proposizioni in vere e false (soprattutto in relazione al futuro), L. gettò le basi per costruire una logica a più valori. Tra le sue opere: A system of modal logic (1953). Vita e attività Allievo di K. Twardowski, ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CALCOLO PROPOSIZIONALE – LOGICA MATEMATICA – DEDUZIONE – VARSAVIA – LEOPOLI

RETICOLO

Enciclopedia Italiana - III Appendice (1961)

RETICOLO (fr. treillis, ingl. lattice, ted. Veroand) Guido ZAPPA Il concetto matematico di "reticolo" è stato già introdotto, col nome di "struttura", in App. II, 11, p. 923. Oggi il termine r. si è [...] dei due sottoinsiemi. Altri notevoli esempî di algebre di Boole si hanno nella logica matematica classica (algebra degli attributi, algebra delle classi, algebra delle proposizioni). Per es., se M è l'insieme di tutti i possibili "attributi" semplici ... Leggi Tutto

TAGS: SPAZIO PROIETTIVO – LOGICA MATEMATICA – ALGEBRA DI BOOLE – NEW YORK – BERLINO

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] palline e si assuma la verità delle proposizioni ‛la pallina n. 1 è rossa', ‛la pallina n. 2 è rossa', e così via; in questo senso è possibile dimostrare che P è vera nel dominio D. I sostenitori della logica induttiva hanno poi cercato - e cercano ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA

TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE

La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche

Storia della Scienza (2001)

La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche Menso Folkerts Richard P. Lorch Anne Tihon Le discipline matematiche La matematica nell'Europa latina di [...] procedimento dimostrativo, cercando di conferirgli una logica stringente. Questa attenzione per le ipotesi in questi scritti, rappresentano un tentativo di giustificare alcune delle proposizioni del De canonio sulla bilancia a bracci disuguali. In ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

Scienza greco-romana. Euclide e la matematica del IV secolo

Storia della Scienza (2001)

Scienza greco-romana. Euclide e la matematica del IV secolo Reviel Netz Euclide e la matematica del IV secolo Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] la coerenza logica dell’opera, ma anche l’importanza del modo in cui le deduzioni sono presentate; occorre non soltanto che le cose siano coerenti, ma anche che siano nel giusto ordine. Ancora più importante è il fatto che le proposizioni, pur ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA