sillogistica
sillogìstica s. f. [femm. sostantivato dell’agg. sillogistico]. – Parte della logica elementare che studia i varî tipi e il valore logico (validità o non validità) dei sillogismi; fu trattata [...] analisi ha successivamente trovato una sistemazione pressoché definitiva nella logica moderna, dove, corrispondendo i termini a predicati, i sillogismi sono interpretabili nel calcolo dei predicati e anche nel linguaggio della teoria degli insiemi. ...
Leggi Tutto
matrice
s. f. [dal lat. matrix -icis «madre; utero»]. – 1. a. Sinon. non com. di madre, soltanto nell’espressione merid. chiesa m., o assol. matrice, lo stesso che chiesa madre (v. madre). b. Sinon. [...] , un cristallo. b. In sedimentologia, insieme dei clasti a granulometria più fine compresi tra i della matematica (per es. nella teoria delle equazioni lineari) in quanto permettono alcune proprietà o di eseguire certi tipi di calcoli che in altre ...
Leggi Tutto
stellare1
stellare1 agg. [dal lat. tardo stellaris]. – 1. Di una stella; relativo a una stella: nucleo s., atmosfera s.; grandezza o magnitudine s. (v. magnitudine); più genericam., relativo a stelle: [...] s., la teoria che, basandosi sullo studio delle caratteristiche di stelle appartenenti a tipi diversi, stabilisce lo schema grafico che ha lo scopo di rappresentare l’andamento dei valori delle grandezze stellari, facendo riferimento a un sistema di ...
Leggi Tutto
sbarra
s. f. [der. di barra, col pref. s- (nel sign. 6)]. – 1. Trave, palo, asse (di legno, di metallo o di altra materia) che serve a chiudere, serrare, impedire il passaggio e sim.: serrare la porta [...] poco com.): mettere alla s. un’opinione, una teoria, l’operato di una persona, sottoporre a giudizio verticale o orizzontale in varî tipi di costruzione. In partic.: c. Nella ginnastica artistica maschile, uno dei grandi attrezzi, costituito da un’asta ...
Leggi Tutto
solmisazione
solmiṡazióne (o solmiżżazióne) s. f. [dal nome delle note musicali sol e mi]. – In musica, teoria diffusa dal sec. 11° a tutto il 16° e oltre, nella quale si limitava l’ambito tonale in [...] d’un semitono, detta esacordo. Nel sistema completo si distinguevano 3 tipi (trasportabili) di esacordo: il naturale (che nei nomi odierni (es. la-si bemolle) produceva una mutazione dei nomi delle note, dovendo il semitono essere sempre solfeggiato ...
Leggi Tutto
topologico
topològico agg. [der. di topologia] (pl. m. -ci). – Relativo alla topologia, nei suoi varî sign. In partic.: 1. In geografia, codice t., l’insieme dei segni di cui si serve la topologia per [...] rappresentare i varî tipi di forme del suolo. 2. Psicologia t., teoria psicologica che tenta di descrivere le relazioni tra soggetto e ambiente avvalendosi di concetti mutuati dalla topologia geografica. 3. In matematica, relativo alla topologia, che ...
Leggi Tutto
serratura
s. f. [der. di serrare]. – 1. a. Dispositivo che serve ad assicurare la chiusura di porte, sportelli, saracinesche e sim., in modo che essi possano essere aperti solo da chi è in possesso della [...] di perni che poggiano su dei controperni spinti da molle: l comprimendo le molle e lasciando libero il chiavistello; tipi più recenti sono la s. a chiave a l’atto del serrare. 3. In matematica, nella teoria degli spazî topologici, s. di un insieme, ...
Leggi Tutto
tipi, teoria dei
tipi, teoria dei in logica, teoria elaborata da B. Russell per superare le antinomie, basate sulla autoreferenzialità, venute alla luce all’epoca della crisi dei → fondamenti della matematica. La teoria propone una stratificazione...
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo in parte dell'influsso di L. Wittgenstein...