LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] dei quantificatori) in un insieme di clausole.
Il metodo di risoluzione è un metodo che permette di stabilire se una clausola è una conseguenza di un insieme di clausole.
Esso si basa sulla regoladiinferenzadi risoluzione che è definita nel modo ...
Leggi Tutto
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
Scienza che ha per oggetto lo studio dei fenomeni collettivi suscettibili di misura e di descrizione quantitativa: basandosi sulla raccolta di un grande numero di dati inerenti ai fenomeni in esame, e [...] .
Si ha un’inferenza statistica quando, sulla base dell’informazione fornita dall’osservazione di alcuni fatti e poi forma semplificata
Per ogni scelta di ϑ in Θ selezioniamo una funzione di densità che regola il meccanismo aleatorio che genera ...
Leggi Tutto
Si ha un problema di d. quando si deve scegliere tra differenti alternative, tenendo conto delle conseguenze che possono essere "certe" o "incerte". Nel primo caso si hanno i "problemi" di d. in condizioni [...] 1939) con l'obiettivo di fornire uno schema concettuale capace di unificare la vasta tematica dell'inferenza statistica. Per alcuni decidere quando fermare l'osservazione (scelta della "regoladi arresto") oltre che, naturalmente, come elaborare ai ...
Leggi Tutto
Alla parola affidabilità vengono di norma attribuiti tre diversi significati. Il primo è quello di caratteristica di un'unità tecnologica (sistema o componente) di possedere e conservare nel tempo le qualità [...] più modelli di mortalità; bande di fiducia e test d'ipotesi di uno specifico modello; tipologia della funzione tasso di guasto; derivata rispetto al tempo della 'a. di missione' di un'unità riparabile, ecc.
Quest'ultimo tipo diinferenza costituisce ...
Leggi Tutto
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] H ↔ K sono forme enunciative.
Calcolo enunciativo. - Assiomi del calcolo enunciativo:
Regole d'inferenza del calcolo enunciativo:
a) regoladi separazione o di distacco o modus ponens: a una sequenza di fbf in cui occorrano sia K sia K → H può essere ...
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
Scienza indiana: periodo classico. Matematica
Takao Hayashi
Matematica
'Gaṇita' ('matematica')
Prima dell'introduzione e diffusione dell'astrologia oroscopica e dell'astronomia matematica nella società [...] stessi nella montagna. La regola del tre può quindi essere considerata un'inferenza.
Mahāvīra
Mahāvīra, matematico jaina interessante risulta la scomposizione delle frazioni. Una delle regoledi Mahāvīra a questo riguardo è, in notazione moderna, ...
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,...