validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi delprimoordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] delprimoordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione. ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] poche perplessità nella moderna linguistica teorica. Un primoordine di problemi nasce dalla scelta della ‘parola’ Boezio). Fino alla fine del 18° sec. lo studio della s. fu strettamente connesso con quello della logica; contribuirono allo sviluppo ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordinedel sapere
Cesare Vasoli
Il metodo e l'ordinedel sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] e stabilirne l'ordine più esatto. Questo termine è assente nelle prime edizioni dei Dialectices libri; ma esso già compare almeno sino da quella di Lione del 1537, consacrando, anche nell'ambito delle discussioni logiche cinquecentesche, un uso ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] della dimostrazione dell'esistenza delprimo motore, che ha opposto io l'ho interpellato su questa cosa mi ha ordinato di calcolare davanti a lui [con l'aiuto on Kant, German idealism, hermeneutics and logic, philosophical essays in honour of Thomas M ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] del Principio Primo e i suoi rapporti con gli Intelletti.
Si può dunque descrivere l'emanazione senza ricorrere al tempo perché i suoi termini sono dati in una logicadel necessario e del loro riguardo; e di un ordine e di una disposizione di queste ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] un terzo satellite di Nettuno, con diametro dell'ordine di 160 km. Dopo vive polemiche, la di quella del Sole; si tratta della scoperta delprimo buco nero 'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] storia leggendaria della scienza, la cui origine sia logica sia storica è ascritta all'astrologia babilonese-persiana. Forse l'ordine di Apollonio: asse, generatrice, base, cilindro retto od obliquo; lo stesso vale per le prime proposizioni del libro ...
Leggi Tutto
La Rivoluzione scientifica: luoghi e forme della conoscenza. Universita e ordini religiosi
Florence C.Hsia
Antonella Romano
Università e ordini religiosi
La retorica incentrata sull'idea di riforma [...] dagli ordini religiosi cattolici di esercitare un controllo sulle idee filosofiche dei propri membri. Primadel 1700 seguiva un'impostazione molto tradizionale, prevedeva, dopo un primo anno d'insegnamento di logica, un corso di fisica.
I minimi e le ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] di ordine teorico ‒ conflitti tra modelli, osservazione e calcolo delprimo piano.
Per i Siri cristiani passa anche il percorso "da Alessandria a Baghdad" dell'insegnamento filosofico, in particolare della logica, che trasmise ai filosofi arabi del ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] nell'ambito dell'informatica teorica si sono sviluppati altri approcci formali alla logica della programmmazione, per lo più estensioni modali di logichedelprim'ordine. L'uso delle logiche modali è motivato dal fatto che un'asserzione valida in un ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...