GRIMALDI, Francesco Maria
Cesare Preti
Nacque a Bologna il 2 apr. 1618 da Paride, del ramo emiliano della nota casata ligure, e da Anna Cattani, di nobile famiglia locale. Ebbe almeno tre fratelli, [...] in altrettante scuole. Nell'autunno del 1635 passò a Parma nel collegio di S. Rocco, dove seguì le lezioni di logica di G. Chiaramonti e incontrò nuovamente Riccioli, che vi insegnava teologia. Nel 1636 frequentò a Ferrara, avendo tra i condiscepoli ...
Leggi Tutto
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
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
molecolari, màcchine Locuzione con cui si indicano i sistemi supramolecolari costituiti da un numero discreto di componenti, capaci di compiere movimenti utili allo svolgimento di certe funzioni, sotto [...] recenti hanno permesso di stabilire che anche sistemi molecolari di tutt’altro tipo sono in grado di mostrare un comportamento logico.
Alcuni scienziati vedono in queste e in altre ricerche a esse collegate i primi passi verso la costruzione di una ...
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
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
CANALI, Luigi
Cesare Lippi Boncampi
Nacque in Perugia il 29 ott. 1759 da Giuseppe e da Antonia Dati. Fu nell'adolescenza indirizzato dai genitori allo studio delle lettere; apprese, più tardi, le discipline [...] figura di fisicochimico, notevole per un'epoca in cui la chimica era agli albori; lasciò così ben presto l'insegnamento di logica e metafisica, chiamato (nel 1799) alla cattedra di fisìca e chimica, dopo il ritiro di L. Pellicciari, di cui era già ...
Leggi Tutto
fluidico
fluìdico [agg. (pl.m. -ci) Der. dell'ingl. fluidic, da fluid "fluido"] [ELT] [MCF] Analogia f.: corrispondenza formale fra grandezze relative a un fluido e grandezze elettriche, mediante la [...] ); si può ottenere contemporaneamente l'operazione NOR tramite l'uscita dal condotto c. La realizzazione dell'operatore AND di prodotto logico (fig. 4) è alquanto più complessa, richiedendo l'impegno di due invertitori e di un operatore NOR (xlx₂=x-l ...
Leggi Tutto
molecolare
molecolare [agg. Der. di molecola] [MCC] Qualifica delle grandezze descriventi lo stato dinamico di un sistema dal punto di vista lagrangiano (detto anche punto di vista m.), in quanto da [...] : v. dielettrico: II 124 d e magnetostatica nella materia: III 590 d. ◆ [ELT] [INF] Circuito m.: circuito logico realizzato mediante macromolecole: v. elettronica molecolare. ◆ [FML] [MCS] Dinamica m.: metodo numerico per integrare le equazioni del ...
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...