schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] continua di materia secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. di assiomi: nella logica matematica, un insieme finito di assiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli ...
Leggi Tutto
estensione
estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] un concetto, un predicato, un sistema formale, e simili, è il contenuto di ciascuno di essi. (b) Con altra accezione, nella logica, la classe di tutti gli oggetti che sono denotati con lo stesso segno o con la stessa parola, per cui un insieme viene ...
Leggi Tutto
AGNESI, Maria Gaetana
Mario Gliozzi
Gianfranco Orlandelli
Nacque il 16 maggio 1718 a Milano da Pietro, professore di matematica all'università di Bologna. Posta sotto la guida di ottimi insegnanti, [...] habitis coram clariss. viris explicabat extempore et ab obiectis vindicabat M. C. de A. mediolanensis.
Vi si tratta di logica, ontologia, pneumatologia, meccanica dei gravi, dei fluidi, dei corpi elastici, dei corpi celesti, vi si danno notizie su ...
Leggi Tutto
terna
tèrna [Der. di terno "complesso di tre cose"] [ALG] Insieme di tre numeri o, più in generale, di tre elementi di un insieme; se si tiene conto del-l'ordine dei tre elementi si parla di t. ordinata, [...] due ortogonali e, a seconda dell'orientamento reciproco degli assi, si hanno t. levogire oppure t. destrogire (→ levogiro, destrogiro). ◆ [ALG] T. di spazi: v. topologia algebrica: VI 260 c. ◆ [FAF] T. distributiva: v. logica quantistica: III 488 a. ...
Leggi Tutto
Diritto
Nella scienza giuridica, ogni tipo di alterazioni, consistenti in aggiunte, omissioni e sostituzioni, subite dai testi giuridici da parte sia di commissioni legislative sia di commentatori e interpreti. [...] , ma da più variabili. L’i. riesce utile allorché si vuole dare continuità a una serie di dati discontinui (i. logica dei dati) oppure sostituire a una serie di dati irregolari per errori accidentali o sistematici, una serie più regolare. Presupposto ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] come metodo d’insegnamento, in contrapposto a sintesi, diviene successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’invenzione’, nel solco delle dottrine cartesiane, una prevalenza sulla ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] fossero già presenti in Boezio). Fino alla fine del 18° sec. lo studio della s. fu strettamente connesso con quello della logica; contribuirono allo sviluppo di tale tendenza pensatori come C. Wolf, A.F. Bernardi, J.S. Vater, G. Hermann.
I grammatici ...
Leggi Tutto
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. [...] il p. non sussiste più. Anche per il p. di Richard si possono fare considerazioni analoghe.
Metodi per evitare i p. logici
Le teorie assiomatiche degli insiemi del tipo di von Neumann, Robinson, Bernays, Gödel sono basate sull’idea esposta da J. von ...
Leggi Tutto
Chimica
Notazione che utilizza simboli e indici per dare informazioni relative alla composizione atomica e alla struttura di una molecola. Infatti a seconda del grado di dettaglio utilizzato è possibile [...] ecc., in trigonometria) o dal matematico che per primo le stabilì (per es.: formule di Cardano, di Taylor ecc.).
In logica matematica, f. ben formata (spesso abbreviata in f.b.f. o fbf), espressione di un linguaggio simbolico conforme a particolari ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] esigenza di razionalizzare un istinto dell'essere vivente, è il tentativo di legare i fatti tra loro, di dare una parvenza logica all'abitudine di indurre l'ignoto dal noto, il futuro dal passato. Un'inferenza induttiva rivolta al futuro non cerca la ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...