se-allora
sé-allóra [ALG] [FAF] Uno dei connettivi logici, e precis. implicazionelogica o condizionale logico, di simb. →; agisce su due enunciati A e B trasformandoli nell'unico enunciato A→B, che [...] risulta falso se A è vero mentre B è falso, e vero in ogni altro caso; corrisponde all'"implicazione materiale", già conosciuta da Filone Megarico. ...
Leggi Tutto
implicazioneimplicazióne [Der. del lat. implicatio -onis, dal part. pass. implicatus di implicare "piegare, avvolgere, coinvolgere", comp. di in- e plicare da plica "piega"] [FAF] Conseguenza necessaria [...] di una proposizione, di un evento, ecc. ◆ [ALG] [FAF] I. logica: la relazione intercorrente tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda, scrivendosi A→B e leggendo "A implica B" oppure "se è vera A, allora è vera B ...
Leggi Tutto
Scienza greco-romana. Ottica e teoria della luce
A. Mark Smith
Ottica e teoria della luce
La moderna ottica fisica ha le sue radici storiche nell'ottica matematica greca; il più ovvio legame tra le [...] nitida; ma cosa avviene negli altri tre casi? La conclusione logica sarebbe che, in queste condizioni, non si veda alcuna immagine. in qualche punto X tra questo e lo specchio. Ciò implica che i raggi di questo non si raccoglieranno, in nessun ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Bohr ed Einstein: fenomeni e realta fisica
Sandro Petruccioli
Bohr ed Einstein: fenomeni e realtà fisica
Gli storici della scienza hanno tentato diverse [...] modo di esprimermi, che deve aver reso molto difficile cogliere il filo logico del ragionamento. Esso era inteso a mettere in evidenza la sostanziale ambiguità implicita nel fatto di riferirsi agli attributi fisici degli oggetti, quando ci si occupa ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. Completare un vecchio lavoro
Helge Kragh
Completare un vecchio lavoro
La teoria della relatività di Einstein e la teoria dei quanti di Planck, Sommerfeld [...] complessa, ma era anche minata da problemi di natura logica e concettuale. Il primo e più importante consisteva nel un sistema fisico, e quindi stabilirne la sua realtà, implicava necessariamente disturbarlo. Il dibattito tra Einstein e Bohr degli ...
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
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] la negazione e la congiunzione oppure la negazione e l'implicazione, tale che a esso corrisponda una funzione di verità valori di f). ◆ [FAF] Teorema di c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni ...
Leggi Tutto
materiale 1
materiale1 [agg. Der. del lat. materialis, da materia] [LSF] [MCC] Che consta di materia o che si riferisce a proprietà della materia: corpo m., corpo ordinario, esistente nel mondo naturale [...] matematica, l'asserto p↔q, valida quando p e q hanno lo stesso valore. ◆ [FAF] [ALG] Implicazione m.: nella logica matematica, l'asserto p→q, che è vero solo se p è falso o q è vero, oppure, come si dice più usualmente, è falso se p è vero e q è ...
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...