linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] di dati: I 343 a. ◆ [ELT] [INF] L. contestuale, acontestuale, regolare: v. automi, teoria degli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e manipolazione di dati: v. base dei dati: I 343 b. ◆ [ELT ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] s. di equazioni lineari algebriche si basa sul teorema di Rouché-Capelli.
Quando tutti gli elementi di una teoria deduttiva sono completamente simbolizzati e lo stesso calcolo logico in essa adoperato è completamente espresso, si dice che la teoria ...
Leggi Tutto
assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] , nell'ambito della critica dei fondamenti delle scienze, e spec. della matematica, per cui la scienza viene concepita come un sistema ipotetico-deduttivo, basato esclusivam. su assiomi che possono essere scelti ad arbitrio purché siano compatibili. ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] campioni e limitato, mediante la stima dei parametri e il controllo delle ipotesi. ◆ [FAF] Regole di i.: in un sistema deduttivo, l'insieme delle regole secondo le quali le proposizioni possono essere dedotte dagli assiomi o da altre proposizioni. ...
Leggi Tutto
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] atto a determinare l’ente stesso. La d. implicita, quando si costruisce una teoria matematica come sistema ipotetico-deduttivo, rappresenta lo studio di un insieme di termini non definiti esplicitamente, ma legati da un certo numero di postulati ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei principî" (Bailhache 1975, p. 7), dovuta al fatto che la meccanica analitica nella ...
Leggi Tutto
quantità chimica e fisica Grandezza che esprime il numero di entità elementari (atomi, molecole, ioni, elettroni ecc., ovvero gruppi specificati di tali particelle) presenti in un dato sistema. La sua [...] , e anche nell’idealismo postkantiano il problema della q. resta quello della sua collocazione in seno al sistema deduttivo delle categorie. Nel pensiero contemporaneo il problema della q. ha perso le sue connotazioni filosofiche, trasformandosi nei ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] impossibilità e simili. ◆ [ELT] [INF] L. negativa: v. oltre: L. positiva. ◆ [ELT] [INF] L. non monotona: sistema deduttivo utilizzato nella deduzione automatica, in contrapp. alla logica classica; in essa il corpo degli enunciati dimostrati può anche ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] nel controllo empirico di asserti singolari dedotti da ipotesi escogitate in modo non induttivo, il carattere fondamentalmente deduttivo della ricerca scientifica.
Biologia
Embriologia
Il processo dell’i. embrionale si verifica quando una cellula o ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] e indeterministico: v. teoria: VI 131 d. ◆ [ALG] [FAF] S. formale: una teoria deduttiva costituita solo dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento esterno: v. Gödel, teorema di ...
Leggi Tutto
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...