generalizzazione
generalizzazione una delle regole di → inferenza su cui si basa il concetto di deduzione formale nell'ambito di un sistema logico. In particolare, la regola di generalizzazione è presente [...] nel calcolo dei predicati e permette l’introduzione del quantificatore universale, indicato con il simbolo ∀ (si legge «per ogni»), in una formula A nel modo seguente
dove la linea orizzontale separa ...
Leggi Tutto
SAINT-GENIÈS, Bertrand
Andrea Tilatti
de. – Nacque probabilmente attorno al 1280/1285, secondo una deduzione di Pier Silverio Leicht basata sul suo cursus scolastico. Stando alla leggenda agiografica, [...] essendo egli morto a 90 anni nel 1350, la data di nascita si dovrebbe porre invece attorno al 1260.
I Saint-Geniès erano originari del Quercy (diocesi di Cahors), ma inurbati a Tolosa verso la fine del ...
Leggi Tutto
paralogismo
paralogismo ragionamento errato che ricalca la struttura di un → sillogismo. Per esempio nella seguente “deduzione”
la conclusione paradossale è dovuta a una duplice interpretazione del [...] verbo «essere»: infatti il significato di «2 e 5 sono numeri primi» è «2 e 5 appartengono all’insieme dei numeri primi», mentre il significato di «i numeri primi sono infiniti» è «l’insieme dei numeri ...
Leggi Tutto
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso [...] ragionamento, giudizio d.; scienze d., quelle (per es., la matematica) che si basano sul metodo analitico e sulla deduzione; sistema d., ogni sistema formale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza ...
Leggi Tutto
SIENA (Σαῖνα, Saena, Sena, Sena Iulia)
R. Bianchi Bandinelli
Colonia romana. L'età della sua deduzione rimane incerta, ma è probabilmente augustea, come può apparire dall'elenco di Plinio (Nat. hist., [...] iii, 5, 52) che menziona la Senensis colonia tra le altre situate in Etruria. Tolomeo (iii, i), trascrive il nome in greco col dittongo e come Saena si trova con due nominativi nell'elenco dei pretoriani ...
Leggi Tutto
rete dimostrativa
rete dimostrativa grafo che rappresenta una dimostrazione, dove con tale termine si intende una deduzione formale nel calcolo dei sequenti della logica lineare (→ proof-net). ...
Leggi Tutto
Herbrand, teorema di
Herbrand, teorema di o teorema di Herbrand-Tarski, in logica, altra denominazione del teorema di deduzione, dimostrato da J. Herbrand nella sua opera del 1930, ma già delineato da [...] teoria logica contenente anche assiomi non logici, ma specifici, e la teoria logica generale, indipendente da essi (→ deduzione, teorema di). Con la denominazione teorema di Herbrand sono riportati anche altri risultati del giovane logico francese ...
Leggi Tutto
INFERENZA
Guido Calogero
. Termine filosofico, usato, al pari di quello equivalente d'illazione, per designare ogni forma di deduzione (v.) onde si dimostri la logica conseguenza da una verità a un'altra [...] (entrambi i termini originarî latini, inferentia e illatio, derivando dal verbo inferre, nel senso di "far trascorrere, passare" il ragionamento da un concetto all'altro). La dottrina dei possibili modi ...
Leggi Tutto
CONTINUITÀ DELL'ANTICO (ν. S 1970, p. 725, s.v. Sopravvivenza dell'antico)
S. Settis
«Sopravvivenza», «tradizione», «influsso», «imitazione», «deduzione», «derivazione», «assimilazione», e così via: [...] a oggetto di collezione; da unicum a riproducibile) e dell'artista; e dette specialissimo risalto alle varie forme di deduzione, citazione, imitazione più o meno creativa dall'arte del passato, inserendo fra i marchingegni di bottega anche l'inedita ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] è stato quello dei limiti e della giustificazione del processo induttivo. In Aristotele l’i. è contrapposta alla deduzione sillogistica e può raggiungere solo dei risultati parziali, non potendo scoprire l’essenza del genere esaminato: con essa ...
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...