sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] ) un insieme diregolediinferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di espressioni logicamente giuste, in quanto ricavate dalle premesse mediante un numero finito di applicazioni delle regolediinferenza (teoremi o ...
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 [...] (come N. Goodman), ne ha segnalato il carattere di procedura eminentemente pragmatico-linguistica non ulteriormente riconducibile a qualche forma diinferenza logico-sintattica. Più radicale il punto di vista di K. Popper, che ha invece negato la ...
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 [...] faranno seguito, come loro essenziale compendio, le quattro regole del Discours de la méthode, in cui ancora di ricavare da essi, mediante un numero finito diinferenze logiche, una contraddizione. Particolarmente dopo la scoperta dell’antinomia 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 [...] quale sono state derivate, e ne accrescono così la probabilità. Si è cercato anzi di costruire con le regoledi queste inferenze induttive di probabilità un intero sistema di ‟logica induttiva" (v. Carnap, 1952). Ma già Hume aveva mostrato che è ...
Leggi Tutto
Scienza greco-romana. Scienza e forme di sapere in Platone
Luc Brisson
Scienza e forme di sapere in Platone
L'atteggiamento di Platone nei confronti del sapere relativo al mondo sensibile è oggetto [...] formale nel quale, a partire da proposizioni considerate valide a priori, si cerca di dedurre un insieme di proposizioni vere, applicando alcune regolediinferenza non numerose e ammesse da tutti.
Le conoscenze
Il termine epistḗmē in Platone è ...
Leggi Tutto
non monotonicità
Claudio Pizzi
Mentre la regoladi 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 diinferenza non-monotona sono stati elaborati riflettendo sul fatto che nella pratica della AI (Intelligenza Artificiale) si tende a far ...
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 regoladi deduzione [...] compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regoladi separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l'espressione H→K può ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] (o assiomi) possono essere ricavati, per mezzo diregolediinferenza deduttive, altri enunciati (teoremi). Naturalmente, una t. viene di solito formulata attraverso l’utilizzazione di termini descrittivi tipicamente teorici e le sue connessioni con ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. Tre scuole di pensiero
Zheng Jianjian
Marc Kalinowski
Jean Levi
Tre scuole di pensiero
I moisti e il 'Canone moista'
di Zheng Jianjian
Fondatore della scuola [...] ', e tutta una serie di forme specifiche diinferenza: 'falsa', 'probabile', 'risultato', 'analogia', 'uguaglianza', 'abduzione', 'deduzione', 'conclusione'. Misero in evidenza alcune regole del pensiero all'interno di argomenti inferenziali, come i ...
Leggi Tutto
Scienza greco-romana. Scetticismo e critica della conoscenza scientifica
Jim R. Hankinson
Scetticismo e critica della conoscenza scientifica
Con le sue riflessioni sui limiti della conoscenza umana, [...] dalle regole formali di una scienza tecnica (Adversus mathematicos, I, 172, 176-95), così come la capacità propria di alcuni di parlare qui le pretese dei dogmatici di progredire, attraverso sicuri modi diinferenza, dai fenomeni alla comprensione del ...
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,...