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 [...] per questo motivo, spesso il termine ‛metodologia' viene ristretto ai soli metodi logiciformali. In quest'accezione così angusta, la metodologia diventa dottrina dell'applicazione della logica ai vari campi del sapere (v. Bocheński, 19715, p. 16), e ...
Leggi Tutto
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] a regole ovvie, tra le quali: (√−1)2=−1. Questa teoria formale è molto simile a quella moderna, e offre una base sufficiente per sviluppare matematica fosse vera, in quanto sistema di deduzioni logiche (che preservano la verità) costruite a partire da ...
Leggi Tutto
Modelli matematici in immunologia
Ulrich Behn
(Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania)
Franco Celada
(Cattedra di Immunologia, Università di Genova Genova, Italia)
Philip [...] , cioè l oppure O, e le regole sono regole logiche: e, o, non, sono operatori logici. Quindi la prima regola è da interpretarsi come segue: il sul principio dell'automa cellulare, le cui regole formali sono le seguenti (Wolfram, 1984): consiste in ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] il grosso del nostro esercito". La prospettiva indicata da Poincaré va in direzione opposta a quella seguita da logicisti e formalisti, ai quali riserva i paragrafi conclusivi della sua conferenza (Tav. III).
"In matematica non c'è alcun Ignorabimus ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] . Questo non è vero; la costruzione della matematica intuizionista è indipendente da tali controesempi.
Un sistema formale di logica intuizionista è stato dato da Heyting. Naturalmente un tale sistema non intende fornire una fondazione per la ...
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, [...]
Agli inizi del secolo, il costruttivismo fu l'ultima risposta alle incertezze suscitate dai paradossi logici che tempestavano il formalismo. Esso rappresentava la versione matematica della dottrina dell'operazionismo. Il suo punto di partenza, in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] , l'esercizio dei Principia mathematica penetrava certamente fino alle radici logiche della matematica ed estendeva a tutte le sue parti l'ideale di rigore formale il cui precedente esemplare era stato quello della geometria euclidea, due millenni ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] enunciare correttamente le regole del gioco, il contesto in cui si opera. Il punto di partenza è costituito dalla logicaformale e dalla teoria degli insiemi. Le strutture sono classificate in ordine di complessità crescente. È così che all'inizio ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] teoria degli automi finiti a parole infinite (v. oltre); l'altra, lo studio dei legami tra teoria degli automi e logicaformale. In questo quadro, Büchi ha dimostrato che i linguaggi razionali sono precisamente quelli che si possono definire in un ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] essere spiegata dai condizionamenti cui è soggetta piuttosto che dalle logiche di scelta dell'attore, il presupposto è che "le per descrivere quelle che egli chiama le proprietà formali delle configurazioni sociali. Da questo momento tuttavia la ...
Leggi Tutto
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...