teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile ...
Leggi Tutto
Carnap Rudolf
Carnap 〈kàrnap〉 Rudolf [STF] (Wuppertal 1891 - Santa Monica, California, 1970) Prof. di logica e matematica nelle univ. di Vienna, Praga, Chicago, Los Angeles. ◆ [FAF] Regole di corrispondenza [...] di C.-Margenau: tipo di corrispondenze introdotte, nella fondazione delle teorie fisiche, fra elementi matematici e specifici aspetti empirici: v. spazio-tempo: V 442 f. ...
Leggi Tutto
Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
Filosofia
Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità.
Critica dei f. Processo iniziato [...]
Sotto la denominazione di f. della matematica si indica quel capitolo della matematica che si occupa della rigorosa assiomatizzazione delle sue diverse branche, dell’analisi logica dei procedimenti dimostrativi usati ( critica dei f.), dello ...
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; [...] soltanto di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell'impetus ῾ mi ha detto che il nipote di Ibn Mu῾āḏ, giudice e matematico, gli aveva riferito di aver visto dal tempo di Ibn Mu῾āḏ due ...
Leggi Tutto
Scienza greco-romana. Aristotele
Enrico Berti
Aristotele
Il ritorno al naturalismo presocratico nelle opere perdute
L'originalità di Aristotele rispetto a Platone nel modo di concepire quell'indagine [...] 'pure' (aritmetica e geometria) mediante dimostrazioni del 'perché'. Ciò significa che le matematiche applicate sono logicamente subordinate alle matematiche pure, perché riguardano realtà che hanno la loro causa in queste.
La dimostrazione del ...
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 [...] voleva conoscere di più e meglio la filosofia, la logica, e ugualmente la statica e la fisica. Le esigenze traduttore-dotto al dotto-traduttore
Ṯābit ibn Qurra è uno dei più grandi matematici non solo dell'Islam ma di tutti i tempi. Inizia la sua ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La musica
Paolo Gozza
La musica
La musica e il Cosmo
Secondo la tradizione, l'istituzione del termine Cosmo (kosmos, mundus) risale a Pitagora. [...] Tolomeo (II sec. d.C.), impegnata a risolvere con calcoli matematici il moto anomalo dei pianeti e a fornire previsioni certe per 1981 (trad. it.: La consolazione della musica, della logica, della teologia e della filosofia, Bologna, Il Mulino, 1986 ...
Leggi Tutto
Ontologia
SSofia Vanni Rovighi
di Sofia Vanni Rovighi
Ontologia
sommario: 1. Il termine. 2. Dalla logica all'ontologia. a) Brentano. b) Husserl. c) Heidegger. d) Hartmann. 3. La neoscolastica. a) Garrigou-Lagrange. [...] in senso ancora più ampio" (ibid., p. 251).
Nei Prolegomena zur reinen Logik, Husserl identifica dunque logica e matematica; in Formale und transzendentale Logik, del 1929, non solo riprende questa identificazione, della quale già Leibniz aveva ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Don Howard
Fisica e filosofia della scienza all'alba del XX secolo
Simbiosi disciplinare
La [...] cui filosofia della scienza si attribuisce il nome di 'empirismo logico', si formò nel 1922 quando Moritz Schlick (1882-1936) intorno a un gruppo di studiosi di cui facevano parte il matematico Hans Hahn (1879-1934) e il sociologo ed economista Otto ...
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,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...