La scienza bizantina e latina: la nascita di una scienza europea. Ottica, scienza dei pesi e cinematica
Katherine Tachau
John D. North
Johannes M.M.H. Thijssen
Ottica, scienza dei pesi e cinematica
'Perspectiva': [...] in modo significativo il valore di verità delleproposizioni nelle quali si esponevano i problemi fisici, ebbero un peso influente nella soluzione di questi ultimi.
A Oxford, l'applicazione dellalogica alla cinematica si fuse con le tecniche ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Statica
Fayza Bancel
Mariam Rozhanskaya
Statica
La statica è quella parte della meccanica che si occupa dell'equilibrio [...] ῾ilm al-ḥiyal fa parte delle otto discipline scientifiche fondamentali (come la filosofia, la logica, l'astronomia, ecc.) e si cerchiamo di stabilire da quali opere traggano origine alcune delleproposizioni in esso contenute e quale sia stato il ...
Leggi Tutto
FISICA
Enrico Bellone
(XV, p. 473; App. II, I, p. 950; III, I, p. 619; IV, I, p. 812)
Studi di storia della fisica. − "Prendiamo dunque il bastone dell'esperienza e lasciamo stare la storia di tutte [...] il Seicento e i primi decenni del Settecento, ritenevano d'aver scorto sia la fonte primaria della verità sia le radici esclusivamente filosofiche delleproposizioni false sul mondo. Pochi mesi dopo la pubblicazione de L'homme machine (1748) di ...
Leggi Tutto
BALIANI, Giovanni Battista
Enzo Grillo
Nacque a Genova nel 1582. Il rango della sua famiglia lo costrinse a seguire le orme del padre, senatore della Repubblica genovese, avviandolo alla carriera politicoamministrativa, [...] della velocità di caduta dei gravi dal loro peso; e la stessa enunciazione delleproposizioni sull'isocronismo delle cui uno Sulle lettere di cambio;diciassette scritti vari di logica, ottica, geometria, meccanica, ecc.). La raccolta è preceduta ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] . ◆ [FAF] E. protocollari: v. epistemologia: II 436 a. ◆ [ALG] Calcolo degli e., o delleproposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] che assume il calcolo delleproposizioni (→ proposizione) quando, oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la parte dellalogica matematica che studia le espressioni ...
Leggi Tutto
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] ) assumibili da una funzione in corrispondenza ai valori di v. delleproposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella ...
Leggi Tutto
necessita
necessità [Der. del lat. necessitas- atis, da necesse: (→ necessario)] [FAF] Condizione di ciò che è necessario. ◆ [FAF] N. fisica: relativa a regolarità della Natura, a rapporti causali tra [...] eventi e proprietà delle cose: v. teoria: VI 131 c. ◆ [FAF] N. logica: è tipica delleproposizioni matematiche dedotte logicamente l'una dall'altra: v. teoria: VI 131 c. ...
Leggi Tutto
proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delleproposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione. ...
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,...
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...