antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logicamatematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
Diritto
Diritto costituzionale
In via generale, l’atto di un organo (monocratico o collegiale) investito della cosiddetta funzione legislativa. A differenza della consuetudine, che nasce spontaneamente [...] astratta e generale (l. assiomatiche che non discendono da enunciati più generali: per es., la l. delle inverse in logicamatematica); oppure relazioni di più o meno diretta derivazione sperimentale (l. empiriche: per es., la l. di van der Waals ...
Leggi Tutto
riducibilità In analisi vettoriale due sistemi di vettori applicati (per es., due sistemi di forze) si dicono mutuamente riducibili se si può passare dall’uno all’altro con sole operazioni elementari (➔ [...] (ma non sufficiente) è che essi siano complanari e che le loro rette di applicazione s’incontrino in un punto.
In logicamatematica l’assioma di r. fu introdotto da B. Russell per superare alcune difficoltà che si presentavano nella teoria dei tipi ...
Leggi Tutto
Botanica
Qualifica di organi appartenenti a uno stesso verticillo, più o meno fusi insieme. Sono c. (o coesi) i sepali dei calici gamosepali (Lamiacee) o i carpelli che costituiscono un ovario unico. Se [...] condizione indispensabile al verificarsi di fenomeni di interferenza tra grandezze ondulatorie che queste siano coerenti.
Matematica
In logicamatematica, una teoria formalizzata viene detta c. o non contraddittoria, se in essa non sono dimostrabili ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] concetti d'interpretazione e di struttura per il linguaggio L di una teoria elementare T (cfr. pure logicamatematica: Principi di logicamatematica, in questa Appendice). Una interpretazione I per il linguaggio L di una teoria elementare T consiste ...
Leggi Tutto
simbolico
simbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] s. markoviane: → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logicamatematica. ◆ [EMG] Metodo s., o metodo di Steinmetz o di Steinmetz-Kennelly: metodo di calcolo correntemente impiegato nell'elettrotecnica nella trattazione di ...
Leggi Tutto
prodotto
prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] Tab. 1.1); (b) [ALG] espressione, quasi desueta, per indicare l'intersezione nella teoria degli insiemi e la congiunzione nella logicamatematica. ◆ [ALG] P. misto: la grandezza scalare che risulta dal-l'insieme di un p. scalare e di un p. vettoriale ...
Leggi Tutto
analisi
anàlisi [Der. del gr. análysis "scomporre in elementi"] [LSF] Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, [...] su varietà): v. analisi non lineare. ◆ [ANM] A. non standard: disciplina nata negli anni '60 nell'ambito della logicamatematica per rendere rigoroso il metodo degli infinitesimi e degli infiniti: v. analisi non standard. ◆ [ANM] A. numerica: v ...
Leggi Tutto
simmetrico
simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] qualsiasi polinomio s. può essere scritto come un polinomio le cui indeterminate siano polinomi fondamentali. ◆ [ALG] [FAF] Proprietà s.: nella logicamatematica, la proprietà di una relazione R tale che se a è associato a b (in simb.: aRb) anche b è ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] x; per le rispettive tavole di verità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logicamatematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante ...
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,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...