inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica matematica, si dicono 'regole d'i.' l'insieme delle [...] regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi a partire da assiomi o da altri enunciati ...
Leggi Tutto
Scienza indiana. Il pensiero indiano
Raffaele Torella
Il pensiero indiano
Una 'filosofia' indiana?
I diversi modi in cui nel tempo si è articolata questa domanda e le risposte date a essa sono da inquadrare, [...] un risultato finale (se questa parte d'acqua di mare è salata vuol dire che tutto il mare è salato), sāmānyatodṛṣṭa per un'inferenza basata su un'osservazione di carattere generale (se troviamo la luna e le stelle ora in una parte del cielo ora nell ...
Leggi Tutto
modus tollens
modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non [...] p. In termini di logica matematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H" ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni ...
Leggi Tutto
modus tollendo ponens
modus tollendo ponens 〈mòdus tollèndo pònens〉 [Lat. "modo che negando (un enunciato) afferma (l'altro)"] [FAF] Inferenza della sillogistica classica del tipo: vale almeno uno degli [...] enunciati p, q; vale "non p"; allora vale q ...
Leggi Tutto
Scienza greco-romana. Epistemologia e teorie della Natura nell'eta ellenistica
David Sedley
Epistemologia e teorie della Natura nell'età ellenistica
La filosofia ellenistica
Nel IV sec. a.C. Aristotele [...] II. a) E non si dà il caso che se ci manifestano dei segni non ci indichino le strade della conoscenza scientifica dell’inferenza segni - ca (perché in questo caso il loro manifestarsi dèi sarebbe inutile).
b) E se ci indicano la strada, non si dà il ...
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 [...] compaiono termini (classi) e nelle quali le variabili stanno per i termini, gli stoici individuano schemi d’inferenza, in cui gli elementi costitutivi sono le proposizioni (e le variabili quindi stanno per proposizioni). Particolare rilievo acquista ...
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
non monotonicità
Claudio Pizzi
Mentre la regola di monotonicità (a) A→B ⊦(A∧C)→B e la sua variante metalinguistica (b) Γ⊦B solo se Γ ∪{C}⊦ B valgono incondizionatamente nella logica standard, c’è un’ampia [...] essere inaccettabile in quanto A∧¬A è una contraddizione, mentre B può essere o non essere tale. Vari sistemi di inferenza non-monotona sono stati elaborati riflettendo sul fatto che nella pratica della AI (Intelligenza Artificiale) si tende a far ...
Leggi Tutto
Filosofo statunitense (Somerville 1906 - Needham, Massachusetts, 1998). Prof. in varie univ. e, dal 1968 al 1977, alla Harvard University. Tra i più autorevoli rappresentanti della filosofia analitica [...] di orientamento pragmatista, G. si mise in luce soprattutto per le sue ricerche sul problema dell'inferenza induttiva, sulle cosiddette asserzioni controfattuali e sulla natura delle leggi scientifiche. Influenzato dalle indagini e dai metodi ...
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,...