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
upamana
upamāna
Strumento di valida conoscenza (➔ pramāṇa) consistente in un’analogia e accettato come strumento indipendente da Nyāya e Mīmāṃsā, mentre le altre scuole filosofiche lo riconducono a [...] che l’oggetto di u. è la mucca in quanto qualificata dalla somiglianza con un gavaya, così come l’oggetto dell’inferenza (➔ anumāna) è una montagna qualificata dal fuoco (il quale, nella sua forma generale, è già noto). Forse proprio a causa di ...
Leggi Tutto
istogramma
Samantha Leorato
Tipo di diagramma cartesiano al quale si ricorre per rappresentare graficamente la distribuzione di frequenza di una o più variabili quantitative. Lo scopo dell’i. può essere [...] semplicemente descrittivo, oppure quello di fare inferenza (➔ inferenza statistica) circa la densità o la distribuzione ignota della popolazione da cui i dati sono stati estratti. L’i. consiste in rettangoli adiacenti, le cui basi rappresentano ...
Leggi Tutto
predicato vago
Settimo Termini
Un predicato si dice vago se la sua estensione non ha confini ben definiti. Già i Greci hanno mostrato effetti paradossali causati dall’inserimento di predicati vaghi [...] in schemi di inferenza logica (paradossi del mucchio (sorites) o del calvo (phalakros). Nel linguaggio ordinario − poiché quasi tutte le parole sono ben lontane dall’essere definite in modo netto come, per es., numero primo in aritmetica − si può ...
Leggi Tutto
secondo ordine, teoria del
secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa [...] esprimere i suoi assiomi nonché le sue regole di → inferenza in un linguaggio formale (si consideri per esempio l’aritmetica formalizzata dagli assiomi di → Peano). Solitamente le teorie matematiche sono formalizzate in un linguaggio dei → predicati, ...
Leggi Tutto
teoria
teoria termine generico che tuttavia, nella sistemazione logica della matematica, si specifica assegnando un apparato logico, costituito da:
• un → linguaggio formale, che definisce le → formule [...] ben formate della teoria;
• un sistema di regole di → inferenza.
A tale apparato logico generale si accompagnano → assiomi specifici, che caratterizzano la teoria stessa, arricchendola di funzioni, relazioni ed elementi particolari (si veda, per ...
Leggi Tutto
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] ’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è un assioma di T, o è ottenuta da espressioni precedenti nella successione per applicazione di regole di inferenza di T; b) A è l’ultima espressione della successione (cioè A=An). ...
Leggi Tutto
programmazione logica
programmazione logica tipo di programmazione in cui la struttura principale consiste nelle proposizioni logiche e nella loro composizione attraverso connettivi; tali proposizioni [...] esplicano fatti, regole e relazioni, dai quali il programma trae le conclusioni attraverso le regole d’inferenza logica. Il linguaggio di programmazione logica più diffuso è il → prolog. ...
Leggi Tutto
succido
Latinismo, che significa " sozzo ", " sporco " (" Speciatim sucida lana dicitur recens detonsa et necdum purgata ", Forcellini). In If VIII 10 è adoperato per qualificare le onde fangose della [...] palude Stigia (cfr. VII 124 e 129); vale quindi " sudicie, sporche; per inferenza da fango a sudiciume ", come specifica il Mattalia.
La variante torbide, che si registra per questo verso, è invece la lezione prescelta dal Petrocchi per IX 64 ( ...
Leggi Tutto
Navyanyaya (o Navya Nyaya)
Navyanyāya
(o Nāvya Nyāya) Termine sanscr. («nuovo Nyāya») usato per indicare la letteratura risultante della sintesi di Nyāya (➔) e Vaiśeṣika (➔). Gli esordi del N. sono [...] probandum è necessariamente presente in presenza del probans. Per es., «la montagna ha il fuoco, perché ha il fumo» è un’inferenza valida perché tutti i casi di loci con fumo sono casi di loci con fuoco. La discussione sulla relazione di vyāpti verte ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...