L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] . C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e diregolediinferenza, e che definisce la conoscenza come l'insieme di tutti i possibili sistemi deduttivi logicamente coerenti.
A ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] 0 e 1. La logica sfumata ha proprietà sfumate, tavole di verità sfumate e regolediinferenza sfumate, rendendo evanescente l'applicazione dei concetti tradizionali di assiomatizzabilità, consistenza, completezza. Tali proprietà peraltro interessano ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] ; limitiamoci per ora al caso del primo ordine classico ‒ privato dell'identità ‒ introducendo il sistema LK.
Il sistema LK è costituito da tre gruppi diregolediinferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc. indicano insiemi finiti ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] di insiemi attraverso le proprietà di sottoinsiemi casuali. Dunque, problemi diinferenza induttiva, di stima statistica: stima dei valori incogniti di empiria simulata (il modello formale). Non esistono regole fisse, criteri oggettivi (che non sia l' ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] se a rigore non letteralmente, nel solco tracciato dalla regoladi successione di Laplace tornando in certo senso agli albori della metodologia statistica. Ci riferiamo alle inferenze predittive su cui lavorarono dapprima Rudolf Carnap (1891-1970 ...
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
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza delle logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
La scienza bizantina e latina. Introduzione
John D. North
Introduzione
Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] l'esibizione con misure estreme che andavano al di là delle regoledi una civile discussione. La filosofia della Natura rimase tipi diinferenza. Vi era un altro stile di pensiero, tuttavia, che era diviso dalle scienze da una linea di demarcazione ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] suo metodo. Nelle materie di fatto, la prossima volta può sempre essere diversa.
Ma pure un'inferenza deduttiva coerente con un (univariata o multivariata) si può evincere una regoladi variazione nel tempo attraverso opportuni confronti tra i dati ...
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
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,...