La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni sulle coniche...
Roshdi Rashed
Philippe Abgrall
Le tradizioni sulle coniche e l'inizio delle ricerche sulle proiezioni
A [...] curva (Γ′) tali che PL è perpendicolare a IK si ha PL2=PI×PK, e la curva (Γ′) è un cerchio di diametro KI.
In una terza proposizione al-Farġānī dimostra che la retta Aω che passa per il centro di (Γ) taglia IK in un punto E che non è il centro di (Γ ...
Leggi Tutto
AL PUNTO DA, AL PUNTO DI O AL PUNTO CHE?
Al punto da e al punto di sono locuzioni ➔preposizionali e sono intercambiabili; al punto che, invece, è una locuzione ➔congiuntiva.
Tutte e tre introducono una [...] proposizione subordinata consecutiva.
• Al punto da e al punto di richiedono un verbo all’infinito e introducono quindi una consecutiva implicita
Sono affamato al punto da svenire / Sono affamato al punto di svenire
• Al punto che richiede il ...
Leggi Tutto
subordinazione In linguistica, nella sintassi del periodo, la relazione che si stabilisce tra due proposizioni collocate nel periodo su piani diversi, in modo che l’una (subordinata) risulti dipendente [...] nella sua fase più antica, non sembra far uso della s., salvo che per le proposizioni relative; tutti gli altri tipi di proposizioni subordinate sono creazioni indipendenti nelle diverse lingue. Nelle lingue moderne si osserva di nuovo la prevalenza ...
Leggi Tutto
CONSECUTIO TEMPORUM
L’espressione consecutio temporum, mutuata dalla grammatica latina, si usa nella grammatica italiana per indicare le norme che regolano la concordanza dei tempi verbali delle proposizioni [...] subordinate (prime tra tutte le proposizioni ➔oggettive) legate alla proposizione principale da un rapporto di contemporaneità, anteriorità o posteriorità.
• Quando nella subordinata si usa il modo indicativo, i tempi vanno usati come nello schema ...
Leggi Tutto
PREDICATO
Goffredo COPPOLA
Guido CALOGERO
Giacomo DEVOTO
. Col latino praedicatum Boezio tradusse il termine logico di καρτηγούμενον o di κατηγόρημα, messo in uso da Aristotele. Questo significava [...] nelle origini gli era identico.
Grammatica. - Azione o qualità attribuita al soggetto, il predicato è nucleo essenziale della proposizione e frase, rappresentato dal verbo quando si tratta di un'azione (predicato verbale) o dal verbo sostantivo più ...
Leggi Tutto
logica paraconsistente
logica paraconsistente tipo di logica caratterizzato dalla compatibilità con le contraddizioni. Generalmente i sistemi formali non sono compatibili con le contraddizioni perché [...] paraconsistenti. Se L è un sistema formale di una logica paraconsistente allora è possibile estendere L aggiungendo a esso due proposizioni in contraddizione fra loro come per esempio A e ￢A e ottenere un sistema non banale, dal quale cioè non ...
Leggi Tutto
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] all'univ. di California. Nel 1936 enunciò la proposizione oggi chiamata tesi (o ipotesi o legge) di Ch., la quale afferma che ogni funzione effettivamente calcolabile (cioè ogni predicato decidibile) è ricorsiva generale. Essa ha formulazioni ...
Leggi Tutto
PROBABILITÀ, CALCOLO DELLE
Guido CASTELNUOVO
Luigi GALVANI
. È lo studio delle regolarità statistiche che presentano i fenomeni attribuiti al caso. Con quest'ultima parola s'intende nel calcolo delle [...] che il teorema del Bernoulli renda superflua questa legge. In realtà non è così. Codesto teorema, come ogni altra proposizione teorica di calcolo delle probabilità, contiene un'affermazione relativa a una probabilità, nel caso attuale relativa alla ...
Leggi Tutto
acciò che
Mario Medici
. La congiunzione subordinativa viene rappresentata dagli editori delle opere di D. con grafia non unita; è infatti sentita distinta nei suoi componenti, tanto è vero che quando [...] che la beatitudine sia perfetta cosa e lo desiderio sia cosa defettiva.
2. Come congiunzione finale, col verbo della proposizione dipendente naturalmente al congiuntivo, nelle stesse tre opere. In Vn XIX 16 ne la terza [delle suddivisioni della prima ...
Leggi Tutto
CORRELATIVE, CONGIUNZIONI
Si dicono congiunzioni correlative (o più propriamente nessi correlativi) quei parallelismi creati da due elementi che si richiamano tra loro, stabilendo un rapporto di coordinazione [...] o tra due elementi della stessa proposizione: sia ... sia (sia ... che), vuoi … vuoi, tanto ... quanto, ora … ora, non solo ... ma (anche)
Sia che tu prenda l’autobus, sia che tu venga a piedi, ricordati l’ombrello!
Vuoi perché è timido ...
Leggi Tutto
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.:...
indipendente
indipendènte agg. [comp. di in-2 e dipendente, part. pres. di dipendere]. – In generale, che non dipende, che non è soggetto o subordinato ad altre persone o ad altre cose. In partic.: 1. Di stato (o nazione), non soggetto alla...