logicalò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 [...] che studia le condizioni sotto le quali si può affermare che una certa conclusione segue correttamente da certe premesse: v. logica. ◆ [ALG] [FAF] L. algebrica o algebra della l.: una prima fase dello sviluppo della l. matematica (v. oltre), in cui ...
Leggi Tutto
logicismologicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] ), si proponeva di mostrare la possibilità di definire tutti i concetti matematici a partire da un numero ristretto di concetti logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni ...
Leggi Tutto
{{{1}}}
è detto segno della s.). ◆ [FAF] S. logica: quell'argomentazione nella quale, avendo stabilito una certa classe o un certo concetto universale e dimostrato che una singola realtà ne è totalmente [...] o parzialmente priva, si conclude che essa non appartiene a quella classe o non è includibile in quel concetto. ◆ [ALG] S. tra due insiemi: l'operazione con cui si forma l'insieme (insieme differenza) ...
Leggi Tutto
Scienziato e letterato (Bologna 1748 - ivi 1802), lettore di logica, quindi (1788) di fisica e infine (1800) di matematica applicata nell'univ. di Bologna. Membro dell'Accademia bolognese delle scienze, [...] dove insegnò nautica (1771), ne fu dal 1797 segretario. È autore di opere scientifiche (Sugli accidenti che s'osservano nel suono ...; Del suono e specialmente dell'intensità di esso, ecc.) e letterarie ...
Leggi Tutto
alternativa
alternativa [Der. di alternato] [FAF] [ELT] [INF] Operazione logica, sinon. di OR. ◆ [ANM] Principio dell'a.: principio utilizzabile per la risolubilità di un'equazione integrale di Fredholm [...] di seconda specie: v. equazioni integrali: II 477 d ...
Leggi Tutto
metateoria
metateorìa [Comp. di meta- e teoria] [FAF] Nella logica matematica, l'analisi di una teoria, detta teoria oggetto; si distingue tra m. sintattica, che ha per oggetto le proprietà formali delle [...] espressioni della teoria, e m. semantica, che studia anche i signif. dei simb.; più generic., come calco dell'ingl., come sinon. di metafisica ...
Leggi Tutto
antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logica matematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
metasimbolo
metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logica matematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ...
Leggi Tutto
ortocomplementazione
ortocomplementazióne [Comp. di orto- e complementazione][ALG] [FAF] Applicazione della logica quantistica: v. logica quantistica: III 487 f. ...
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...