STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] ciascuna delle quali o è un assioma o si può ricavare dalle formule precedenti tramite regolediinferenza, così che la verifica della correttezza di una dimostrazione può essere fatta meccanicamente. D’altra parte Frege vuole creare una scrittura ...
Leggi Tutto
Territorio, pianificazione e sistemazione del
Corrado Beguinot
con la collaborazione di Luigi Dadda
Giampio Bracchi
Adriano De Maio
Giorgio Noseda
di Corrado Beguinot, con la collaborazione di Luigi [...] che nei procedimenti scientifici è ormai operante una sorta di determinismo metodologico, in base al quale, quando si applicano correttamente certe regolediinferenza a un insieme di premesse, è consentito prevedere il probabile comportamento futuro ...
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
Storia della civiltà europea a cura di Umberto Eco (2014)
La logica antica
Walter Cavini e Luca Castagnoli (*)
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Dalla tarda Antichità all’Età Moderna la logica [...] anapodittici sono anch’essi “sillogistici” qualora siano riducibili agli anapodittici tramite l’applicazione di una o più regolediinferenzadi secondo livello, chiamate thémata, che operano su argomenti complessi “risolvendoli” o “analizzandoli” in ...
Leggi Tutto
Scienza greco-romana. Ottica e teoria della luce
A. Mark Smith
Ottica e teoria della luce
La moderna ottica fisica ha le sue radici storiche nell'ottica matematica greca; il più ovvio legame tra le [...] di giudizio percettivo e diinferenza. In questa triplice differenziazione dei sensibili è implicito un modello di percezione sensoriale articolato in tre distinti livelli di conoscenza. In termini di a conoscenza di questa regoladi base per ...
Leggi Tutto
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
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] semplice regoladi aggiornamento per modificare le forze di connessione fra i neuroni possa dare luogo a processi di apprendimento tipo di elaborazione dell'informazione è quella di 'inferenza sulla conoscenza' (e allora si parla di elaboratore ...
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
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,...