La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] di Frege era un calcolo dei predicati del secondo ordine, che utilizzava negazione, implicazione e quantificatore universale come operatori logici di base, e conteneva un sistema completo per il calcolo proposizionale e dei predicati del primo ordine ...
Leggi Tutto
Programmazione lineare
Robert Dorfman
di Robert Dorfman
Programmazione lineare
Introduzione
La programmazione lineare è una famiglia di metodi matematici per individuare i modi più redditizi o in [...] mancanza di un metodo pratico per risolverli o per dimostrarne le implicazioni. Verso la fine degli anni quaranta una svolta venne segnata da queste nozioni di base, possiamo illustrare la logica applicata dai computer per risolvere un problema ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] rilevanza A→(B→A), vista come esemplare fallacia della rilevanza, e la connessa regola strutturale A⊦C / A,B⊦C. La logica dell'implicazione stretta da questo punto di vista non è soddisfacente perché ammette dei teoremi come (A ∉A)aB, in cui il nesso ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] sono la somma, il prodotto logico e la negazione, se in entrambe si scambiano tra loro simultaneamente le occorrenze del prodotto con quelle della somma, si ottengono due formule f′ e g′ che sono 'duali' rispetto a f e g. Se f implica g, f′ (il duale ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Calcolo delle variazioni
Craig Fraser
Mario Miranda
Calcolo delle variazioni
Tra il 1870 e il 1920 si assiste al consolidamento degli argomenti [...] famiglia ammissibile di curve tali che y(x)=y(x,0), deve valere la seguente implicazione:
Per famiglie della forma y(x,ε)=y(x)+εζ(x), il tipo considerato della condizione sufficiente con una sensibilità logica più profonda dei suoi predecessori e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] I. Lewis (1883-1964) e Jan Łukasiewicz (1878-1956). In Implication and the algebra of logic (1912) Lewis critica l''implicazione materiale' dei Principia mathematica per la mancanza di connessione tra i significati delle proposizioni coinvolte, e ...
Leggi Tutto
lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno enunciate le ipotesi di un'implicazione e il numero di volte in cui ciascuna di esse verrà usata). ◆ [ELT ...
Leggi Tutto
ideografia
ideografìa [Comp. di idea e -grafia] [LSF] Rappresentazione grafica di idee, cioè scrittura basata non su fonemi, vale a dire sui suoni articolati del linguaggio, ma su simboli significanti [...] di simboli con cui si rappresentano le operazioni logiche, quali & per la congiunzione, → per l'implicazione, ecc.; per es., la rappresentazione ideografica del sillogismo "se A implica B e B implica C, allora A implica C" è: [(A→B)&(B→C)]→(A ...
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' e al-Balḫī essa non ne è che il risultato. Questo punto, implicito nei testi di al-Nīsābūrī e di ῾Abd al-Ǧabbār già ricordati, ...
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 [...] tempo, poiché il tempo, il moto e il corpo si implicano reciprocamente. Egli mostra poi che non esiste un tempo infinito a Kindī lo era stato del IX. Per questo grande metafisico, logico e medico, le matematiche avevano un ruolo diverso da quello che ...
Leggi Tutto
implicazione
implicazióne s. f. [dal lat. implicatio -onis]. – 1. non com. L’implicare, l’essere implicato; lo stato di più cose implicate insieme. 2. a. Conseguenza logica, necessaria di un fatto: i. sociali, economiche, finanziarie di una...
implicare v. tr. [dal lat. implicare, comp. di in-1 e plicare «piegare»] (io ìmplico, tu ìmplichi, ecc.; poet. io implìco, ecc.). – 1. letter. Inviluppare o avvolgere intrigando, imbrogliando: un gran vento ... dibatté e implicò lo stendardo...