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
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] la verità o falsità di un enunciato formato da proposizioni semplici e connettivi logici: congiunzione (e), disgiunzione (o), negazione (non), implicazione (se... allora...), in ragione della verità o falsità delle proposizioni e dei connettivi ...
Leggi Tutto
Geologia
In petrografia, si chiama struttura di i. quella di una roccia caratterizzata da interpenetrazione di due minerali prevalenti, in modo che un fascio di individui dell’uno, disposti più o meno [...] dell’altro, anch’essi grossolanamente paralleli.
Matematica
I. logica È la relazione che intercorre tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda; si esprime dicendo che A implica B ovvero: se è vera A allora è vera ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] ; l’implicazione si considera non valida solo nel caso in cui la proposizione che funge da antecedente sia vera e quella che funge da conseguente falsa.
Un altro settore di ricerca approfondito dagli stoici è quello dei problemi logico-semantici ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] valore di una (o più) variabili reali.
Funzioni di verità
In logica matematica, particolare tipo di f. che ha sia come argomenti sia come lo sia. Ancor più particolare è il caso dell’implicazione; essa è vera non solo quando antecedente e ...
Leggi Tutto
PROBABILITÀ, Calcolo delle (XXVIII, p. 259; App. II, 11, p. 611; III, 11, p. 485)
Giorgio Dall'Aglio
Il calcolo delle p., entrato con l'inizio del secolo nella sua fase moderna, ha proseguito anche negli [...] come "grado di fiducia", o più spesso, come "misura d'implicazione", che estende la logica classica: date due proposizioni A e B, A può implicare B, o implicare la negazione di B; ma può anche implicare B "in una certa misura", che è appunto la p. di ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] del metodo della falsificazione, la questione può essere così riassunta: la teoria T, congiunta con le ipotesi ausiliarie A, implicalogicamente che se sono realizzate le condizioni iniziali del tipo J abbia luogo un evento del tipo P. Ora, nel caso ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] nel procedimento dimostrativo, cercando di conferirgli una logica stringente. Questa attenzione per le ipotesi il concetto di lunghezza a una linea curva. Questo principio è implicito nella prop. 1 del trattato che asserisce l'equivalenza di un ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] matematica classica.
12. L'interpretazione delle costanti logiche
Noi usiamo le seguenti notazioni: ⋀ (congiunzione), ⋁ (disgiunzione), ¬ (negazione), → (implicazione), ∀ (quantificatore universale), ???29??? (quantificatore esistenziale). Questi ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] . Egli si limita a dimostrare che certe ipotesi geometriche implicano certe conseguenze, restando sempre, per quanto lo riguarda, all’interno della matematica. È questa la logica che sottende il progetto archimedeo.
Il significato storico di questa ...
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...