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 [...] teoria T’ che ‘parli’ di T, le d. del primo tipo sono espresse nel linguaggio L’ di T’, mentre quelle del secondo sono espresse nel linguaggio (formale) L di T. Spesso le d. metalinguistiche vengono usate come convenzioni abbreviative, che permettono ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Bohr ed Einstein: fenomeni e realta fisica
Sandro Petruccioli
Bohr ed Einstein: fenomeni e realtà fisica
Gli storici della scienza hanno tentato diverse [...] del processo di astrazione concettuale che accompagna la crescita della conoscenza e che nella microfisica comporta che il linguaggioformale con cui si esprime la teoria non sia più in grado di suggerire un'immagine intuitiva e visualizzabile ...
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. [...] come detto sopra, è quella parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggioformale (teorie formalizzate) e insiemi di strutture in cui quelle espressioni sono valide. Nella presente esposizione ci si ...
Leggi Tutto
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] L'interesse maggiore di queste rappresentazioni si ha in discipline nuove, prive di un linguaggioformale proprio, che adottano gli algoritmi come strumento di ricerca e di conoscenza, come nel caso della psicologia cognitiva, della linguistica ...
Leggi Tutto
linguaggiolinguà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, [...] stesso che l. macchina (v. oltre). ◆ [ALG] [FAF] [INF] L. formale o formalizzato: v. oltre: L. logici. ◆ [ELT] [INF] L. interattivo di dati: I 343 a. ◆ [ELT] [INF] L. simbolico: v. linguaggi di programmazione: III 424 e. ◆ [ELT] [INF] L. speciale di ...
Leggi Tutto
fìsica matemàtica Disciplina scientifica che si propone di descrivere in termini matematici rigorosi i fenomeni fisici.
Abstract di approfondimento da Fisica matematica di Gianfausto Dell’Antonio (Enciclopedia [...] il cui scopo è di far corrispondere enti del linguaggio matematico alle componenti di un fenomeno fisico e alle loro g costante negativa (chiamata teoria f4 per l’espressione formale del potenziale corrispondente). Per polinomi di grado maggiore di ...
Leggi Tutto
In senso lato, qualsiasi esplicazione di energia volta a un fine determinato. In senso più ristretto, attività umana rivolta alla produzione di un bene, di una ricchezza, o comunque a ottenere un prodotto [...] scadenza del termine, il rapporto si conclude senza necessità di formale comunicazione. La proroga è ammessa per i contratti di seguito di numerose e incontrollate proroghe.
Economia
Nel linguaggio economico, per l. si intende qualsiasi attività ...
Leggi Tutto
Arte
Nella terminologia architettonica classica, l’organismo a un tempo struttivo e formale che è costituito da una serie di colonne con la sovrastante trabeazione e, talora, il sottostante piedistallo [...] . A seconda delle proporzioni fra le varie parti e dei motivi formali in esse, si ebbero i vari tipi (fig. C).
L infinito. La locuzione o. di grandezza è usata nel linguaggio scientifico per indicare il valore numerico approssimativo di una grandezza ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] la logica dei generi e delle specie, ossia l’edificio formale quasi perfetto da lui costruito nell’Organon. In generale, ed etica), aggiungendovi l’uno la semiotica (s. del linguaggio) e l’altro la logica formalizzata sul modello della matematica. ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] ’eguaglianza dei cittadini in senso non soltanto formale, ma anche sostanziale. Una parte della argomenti, per ogni n esiste uno schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi, la negazione e la congiunzione, ...
Leggi Tutto
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...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...