apagoge (o apagogia)
apagoge
(o apagogia) Dal gr. ἀπαγωγή «deduzione, riduzione». In Aristotele significa, genericamente, il metodo di risolvere un problema riducendolo ad altro problema già risolto [...] (Analitici primi, II 25, 69 a 20). In senso più tecnico è il metodo indiretto di dimostrazione, che procede accertando, in base alle sue conseguenze, la falsità di una tesi, per poter dedurre la verità ...
Leggi Tutto
(IX, p. 561)
Premessa storica alla deduzione della colonia latina di C. nel 273 a.C. fu la sconfitta delle forze alleate di Volsinii e di Vulci ad opera del console Ti. Coruncanio nel 280. In seguito i [...] con il suo porto sulla costa tirrenica, a 139 Km a nord-ovest di Roma, visse uno sviluppo crescente a partire dalla seconda deduzione dei coloni nel 197 a.C., finché nel terzo decennio del 1° sec. a.C. fu saccheggiata in circostanze ignote e restò ...
Leggi Tutto
inferenza, regola di
inferenza, regola di locuzione equivalente a regola di deduzione o regola di derivazione logica (→ deduzione, regola di); essa designa una regola che permette di passare da una affermazione [...] a un’altra in una catena di deduzione logica (→ deduzione, catena di). Così procedendo, si deduce (cioè si dimostra) un teorema a partire da assiomi (proposizioni inizialmente assunte come vere). Esempi di regole di inferenza sono (la linea ...
Leggi Tutto
particolarizzazione
particolarizzazione una delle regole di → inferenza utilizzabile per la deduzione formale in un sistema logico. Nel linguaggio dei predicati permette l’eliminazione del quantificatore [...] universale, indicato con il simbolo ∀ (si legge «per ogni») nel modo seguente:
dove la linea orizzontale separa la premessa ∀xA(x) dalla conclusione A(k) e k è una costante. In altri termini: dalla validità ...
Leggi Tutto
In fisica, lo stesso che energia cinetica (➔ energia). Teorema delle forze v. Deduzione dai principi della dinamica secondo la quale in un sistema meccanico la variazione di energia cinetica è uguale al [...] lavoro meccanico effettuato da, o sul, sistema stesso ...
Leggi Tutto
congiunzione, eliminazione di una
congiunzione, eliminazione di una in logica, regola di deduzione per la quale dalla verità della congiunzione A ∧ B si deduce la verità sia di A sia di B (→ inferenza, [...] regola di) ...
Leggi Tutto
congiunzione, introduzione di una
congiunzione, introduzione di una in logica, regola di deduzione per la quale dalla verità di due singoli enunciati A, B si deduce la verità di A ∧ B (→ inferenza, regola [...] di) ...
Leggi Tutto
abduzione
abduzione schema di ragionamento che si differenzia dall’induzione e dalla deduzione per la sua minore capacità dimostrativa. Aristotele considerava l’abduzione (in greco apagōghé) come forma [...] deduttiva dalle conclusioni incerte, e più precisamente come il sillogismo in cui la premessa maggiore è certa, quella minore incerta; la conclusione ha dunque una certezza inferiore o uguale alla premessa ...
Leggi Tutto
Nella logica aristotelica, il processo di prova della validità di una proposizione mediante la sua deduzione da un’altra verità più generale. Tale deduzione è compiuta dal pensiero dianoetico e ha per [...] inizio dell’a. non può essere fatto risalire all’infinito, nell’esigenza di provare le premesse di ogni singola deduzione: Aristotele pone quindi all’origine le premesse immediate, ‘principi’ dell’a., che debbono essere percepite senz’altro come vere ...
Leggi Tutto
inferenza logica
inferenza logica sinonimo di «argomentazione logica» utilizzato per designare il processo di deduzione di una formula A, detta conclusione, a partire da una o più formule, dette premesse. [...] o il linguaggio dei predicati, la costruzione di una inferenza logica è formalizzata attraverso le regole di inferenza o regole di deduzione, le quali stabiliscono come dedurre da una o più formule ben formate, che rivestono il ruolo di premesse, un ...
Leggi Tutto
deduzione
deduzióne s. f. [dal lat. deductio -onis, der. di deducĕre «dedurre»]. – 1. Termine tecnico usato dai Romani per indicare la fondazione di una colonia. 2. L’atto o il processo tramite il quale si perviene a una conclusione mediante...
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...