Botanica
F. biologica Insieme di piante che, anche se sistematicamente lontane, hanno in comune caratteri ecologici e di adattamento. Tra i vari sistemi di classificazione delle f. biologiche, il più noto [...] già posto dalla legge sul tipo astratto come requisito (formale) dell’atto medesimo. Ciò avviene in due sensi. fornisce l’ordinario differenziale totale.
Tutto lo sviluppo della teoria delle f. differenziali esterne, e la relativa classificazione ...
Leggi Tutto
Diritto
L’a. nel diritto processuale civile
Diritto di agire in giudizio per ottenere la tutela giurisdizionale, che l’art. 24, co. 1, Cost. garantisce a tutti, sulla base della mera affermazione che un [...] altri gruppi svantaggiati, in quanto la semplice affermazione formale del divieto di discriminazione non ha trovato adeguati conto anche di una reazione di tale spazio. Nella teoria dei campi queste difficoltà vengono superate formulando la terza ...
Leggi Tutto
Antropologia
Nel dibattito antropologico e sociologico contemporaneo, il termine g. ha sostituito il termine sesso per indicare la tipizzazione sociale, culturale e psicologica delle differenze tra maschi [...] delle altre due). Un contributo importante, di stampo positivista, alla teoria dei g. è stato quello offerto da F.-V. Brunetière in gli elementi tematici e il piano della loro resa formale, sono oggi analizzati in relazione a diverse questioni, ...
Leggi Tutto
Filosofia
Nella filosofia scolastica, l’attribuzione di una realtà oggettiva ai concetti universali. Nella filosofia moderna, ogni dottrina che consideri l’oggetto della conoscenza come esistente in sé, [...] data di oggetti indipendenti dalla mente che le teorie scientifiche, se vere, descrivono oggettivamente, si è secolo con una pittura di forte impegno politico e di grande asciuttezza formale, che prepara gli sviluppi degli anni 1920. Negli USA, il ...
Leggi Tutto
Fisica
Nella meccanica statistica classica con i. statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè [...] una versione modificata e integrata da A. Fraenkel e da T. Skolem; è da rilevare come l’uso del formalismo logico nella teoria degli i., introducendo tutto il rigore che è proprio di tale metodo, contribuisca in maniera essenziale a mettere in luce ...
Leggi Tutto
Fisico (Ulma 1879 - Princeton 1955). Trascorsi i primi anni della sua vita a Monaco, dopo un breve soggiorno a Milano Einstein si trasferì con la famiglia in Svizzera. A Zurigo completò gli studî secondarî [...] esiti indeterministici della meccanica quantistica, rifiutando l'interpretazione di M. Born, secondo la quale il formalismo della teoria ammetterebbe unicamente previsioni di carattere probabilistico. A N. Bohr e alla cosiddetta scuola di Copenaghen ...
Leggi Tutto
Matematico italiano (Padova 1873 - Roma 1941). La sua opera ha avuto rilevanza fondamentale in svariati campi della matematica pura e applicata. A lui e al suo maestro G. Ricci Curbastro si deve l'elaborazione [...] assoluto, s'aggiunge per L.-C. quello, forse maggiore, di aver trasformato (1917) un algoritmo formale in una nitida teoria geometrica sulla base del cosiddetto trasporto per parallelismo sulle varietà riemanniane a quante si vogliono dimensioni ...
Leggi Tutto
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] procedura per l'eliminazione dei termini teorici dagli enunciati delle teorie scientifiche, consistente nel sostituire negli assiomi del sistema formale in cui è espressa la teoria tutte le costanti designanti entità teoriche con opportune variabili ...
Leggi Tutto
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] semantica formale per la logica intuizionistica e per quella modale, estendendo successivamente i risultati di quest'ultima all'analisi filosofica del riferimento dei termini del linguaggio naturale. Di qui è nata la teoria causale del riferimento, ...
Leggi Tutto
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] legati soprattutto la costruzione di un utile e rigoroso formalismo logico; la rigorosa critica logico-formale dei fondamenti dell'aritmetica, della geometria proiettiva, della teoria generale degli insiemi; il primo esempio d'integrazione per ...
Leggi Tutto
formalismo
s. m. [der. di formale1]. – 1. Attaccamento alla forma esteriore, per cui si trascura o si dà minore importanza a ciò che è sostanziale ed essenziale; rigorosa osservanza delle norme, dei regolamenti, o in genere delle formalità...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...