Il Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche. A. Comte: il positivismo. (fisica fisica sociale)

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Il Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche. A. Comte: il positivismo. (fisica fisica sociale)"

Transcript

1 Il Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche A. Comte: il positivismo (fisica fisica sociale) E. Mach, R. Avenarius: empiriocriticismo Il CIRCOLO di VIENNA Percy W. Bridgman

2 Inquadramento delle correnti filosofiche RAZIONALISMO: si può ottenere conoscenza chiara ed evidente sulla base del puro ragionamento, senza dipendere dall'esperienza Cartesio, Spinoza, Leibniz Realismo (Res), Idealismo scienza come scoperta, relazioni universali; spesso anti-liberali (con eccezioni) EMPIRISMO: l'esperienza è l'unico modo di conoscere Locke, Hume, Berkeley Fenomenismo, positivismo scienza come invenzione, pratica, disincantata, mondana (con eccezioni), liberale POSIZIONE INTERMEDIA: Kant (fisica è conoscenza intersoggettiva)

3 il CIRCOLO di VIENNA ca componenti di varia formazione: Carnap, Neurath, Schlick, Hahn + Hempel, Gödel,... si ispirano al lavoro di Wittgenstein (il Tractatus ) e di Einstein riunioni serali nella Vienna degli anni Venti mettere ordine nel pensiero, anni (anche politicamente) burrascosi ampio ventaglio di posizioni atteggiamento anti-metafisico Socialismo democratico, scienza come internazionalizzazione uso della logica Neopositivismo o Positivismo Logico o Empirismo Logico Filosofia come analisi logica del linguaggio Scienza come individuazione e predizione di pattern esperibili Teoria della verificabilità del significato, ovvero...

4 Il principio di verificabilità [...]

5 [...] M. Schlick, Meaning and verification, 1936

6 in sintesi: Stabilire il significato di un enunciato equivale a stabilire le regole secondo cui l'enunciato va usato, e questo, a sua volta, è lo stesso che stabilire la maniera in cui esso può essere verificato (o falsificato). Il significato di una proposizione è il metodo della sua verificazione (Schlick) una versione attuale con valenza didattica/divulgativa - è quella del drago nel garage di C. Sagan...

7 R. Carnap: La costruzione logica del mondo costituzione del sapere come ramificazione di proposizioni a partire da proposizioni atomiche o elementari, + uso dei connettivi logici polemica con Heidegger Articolo del 1932 su Erkenntnis :

8 Il modo classico di trattare la metafisica e quello dei neopositivisti:

9

10 Conoscenza = conoscenza dotata di senso = conoscenza costituita da proposizioni fattuali......ovvero verificabili:

11 Tutto il resto è privo di senso:

12 Un predecessore: D. Hume If we take in our hand any volume; of divinity, or school metaphysics, for instance; let us ask, does it contain any abstract reasoning concerning quantity or number? No. Does it contain any experimental reasoning concerning matter of fact and existance? No. Commit it then to the flames. For it can contain nothing but sophistry and illusion

13 E. Severino così sintetizza il nucleo di pensiero del Wiener Kreis : Una proposizione ha significato solo se si può accertare che è vera o che è falsa, e cioè solo se è verificabile o falsificabile: se di una proposizione non si può e non si potrà mai dire se affermi qualcosa di vero o di falso, questa è una proposizione solo in apparenza. Ciò posto, l'unico modo per stabilire se una proposizione è vera o falsa è di accertare se nell'esperienza esista o non esista il fatto asserito dalla proposizione. In questo modo ci si comporta costantemente nella vita quotidiana e nella scienza, per stabilire la verità o falsità di un asserto. Ma la metafisica è, costitutivamente, un asserire qualcosa che esiste al di là di ogni esperienza possibile [ ] ciò significa che gli asserti metafisici non possono, per principio, essere verificati o falsificati, e che quindi sono completamente privi di significato

14 Percy W. Bridgman ( ) Operazionalismo: gli scienziati devono usare il linguaggio in modo che ogni termine concettuale sia strettamente collegato a delle procedure di osservazione diretta Opere: Dimensional Analysis (1922) La logica della fisica moderna La natura della teoria fisica (1936)

15 Cosa importante di una teoria è quello che essa fa, non quello che dice di fare o quello che il suo autore ritiene che essa faccia [il concetto di lunghezza risulterà] fissato quando sono fissate le operazioni mediante cui la lunghezza si misura; vale a dire, il concetto di lunghezza implica né più né meno che il gruppo di operazioni con cui la lunghezza si determina. In generale, per concetto noi non intendiamo altro che un gruppo di operazioni; il concetto è sinonimo del corrispondente gruppo di operazioni

16 Posizione strumentalistica, nominalistica di Bridgman quando estendiamo il campo della nostra esperienza, dobbiamo essere pronti a constatare, prima o poi, che estendendo per mezzo di modelli mentali il concetto ordinario di evento a fenomeni su piccola scala, abbiamo automaticamente introdotto di contrabbando nel nostro quadro fenomeni che non esistono, di modo che sarà necessario rivedere il nostro pensiero riformandolo in termini corrispondenti all'esperienza diretta. Esempio: concetti di traiettoria e di posizione dalla fisica classica alla fisica atomica..

17 Diversi fisici pensano che la misura sia la sola definizione di ogni cosa. Ovviamente, allora, dovremmo usare lo strumento che misura la velocità il tachimetro- e dire, Signora, guardi, il suo tachimetro segnava 60. Così essa direbbe, Il mio tachimetro è rotto, non segna affatto. Significa forse che l'automobile era ferma? Crediamo che Critica di Feynman all'operazionismo ci sia qualcosa da misurare, prima di costruire il tachimetro. Soltanto in questo caso possiamo dire, per esempio, il tachimetro non sta funzionando bene, oppure, il tachimetro è rotto. Si tratterebbe di una affermazione priva di significato se la velocità indipendentemente dal tachimetro non avesse senso. Così, ovviamente, c'è nella Posizione realistica di Feynman nostra mente un concetto che è indipendente dal tachimetro e il tachimetro ha senso soltanto come misura applicata a questo concetto

Epistemologia. - Bacone, Neopositivismo, Bridgman, Popper, Kuhn, Lakatos-

Epistemologia. - Bacone, Neopositivismo, Bridgman, Popper, Kuhn, Lakatos- Epistemologia - Bacone, Neopositivismo, Bridgman, Popper, Kuhn, Lakatos- P. Godfrey-Smith, Theory and Reality. An introduction to the philosophy of science J. Losee, Filosofia della scienza. Un'introduzione

Dettagli

Che cos è una teoria scientifica?

Che cos è una teoria scientifica? Temi filosofici dell ingegneria e della scienza/informatica B[1] Politecnico di Milano, II Facoltà di ingegneria, a.a. 2009-10 Che cos è una teoria scientifica? Viola Schiaffonati Dipartimento di elettronica

Dettagli

fondamenti della matematica il programma logicista. Il programma logicista è legato ai nomi di G. Frege, B. Russell e L. Wittgenstein.

fondamenti della matematica il programma logicista. Il programma logicista è legato ai nomi di G. Frege, B. Russell e L. Wittgenstein. fondamenti della matematica il programma logicista. Il programma logicista è legato ai nomi di G. Frege, B. Russell e L. Wittgenstein. Frege per primo sostenne che l aritmetica non è altro che logica nel

Dettagli

Filosofia del linguaggio Alfredo Paternoster

Filosofia del linguaggio Alfredo Paternoster Filosofia del linguaggio 2012-2013 Alfredo Paternoster Russell: la teoria delle descrizioni Frege: descrizioni vuote non hanno riferimento, quindi gli enunciati dove esse occorrono non hanno valore di

Dettagli

Cap. 6 del manuale La natura e i suoi modelli

Cap. 6 del manuale La natura e i suoi modelli Cap. 6 del manuale La natura e i suoi modelli 1. In questa stanza c è una lavagna 2. Gli atomi di sodio hanno 11 protoni e 11 elettroni Consideriamo vere queste due affermazioni? Perché? Aff. 1: Perché

Dettagli

Che cos è la filosofia analitica?

Che cos è la filosofia analitica? Che cos è la filosofia analitica? Sascia Pavan sascia.pavan@gmail.com 31 marzo 2011 Sommario 1 Introduzione I padri fondatori Logica matematica 2 La filosofia analitica prima maniera: dalle origini agli

Dettagli

NOZIONI DI LOGICA. Premessa

NOZIONI DI LOGICA. Premessa NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una

Dettagli

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... Capitolo 3. Logica 3. Logica Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... sei una persona priva di logica è logico comportarsi cosí fai l

Dettagli

Richiami di logica matematica

Richiami di logica matematica Richiami di logica matematica Gli oggetti elementari dei discorsi matematici sono le proposizioni logiche = enunciati di cui si possa stabilire inequivocabilmente se sono veri o falsi. Sono proposizioni

Dettagli

2. IL CRITERIO DI VERIFICABILITÀ

2. IL CRITERIO DI VERIFICABILITÀ 2. IL CRITERIO DI VERIFICABILITÀ Il criterio di verificabilità (CV) è stato interpretato dagli esponenti del positivismo logico, sia come criterio di significato, che come criterio di demarcazione e può

Dettagli

Richiami teorici ed esercizi di Logica

Richiami teorici ed esercizi di Logica Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla

Dettagli

IL RACCONTO DELLA FILOSOFIA

IL RACCONTO DELLA FILOSOFIA UGO PERONE IL RACCONTO DELLA FILOSOFIA Breve storia della filosofia Queriniana Indice generale Racconto e storia.... 5 La filosofia si definisce.... 9 1. I primordi 9 2. La filosofia nello spazio della

Dettagli

La logica della finzione

La logica della finzione Formalizzazione Nella lezione precedente, abbiamo visto qual è l idea di fondo della teoria di Lewis: La logica della finzione Sandro Zucchi 2013-14 Un enunciato della forma Nell opera di finzione f, p

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità

Dettagli

«Le uniche proposizioni che hanno senso sono quelle suscettibili di verifica empirica»

«Le uniche proposizioni che hanno senso sono quelle suscettibili di verifica empirica» 1 Stefano Nobile Metodologia delle Scienze Sociali IL NEOPOSITIVISMO LOGICO (neoempirismo, neopositivismo, positivismo logico, empirismo logico) Circolo di Vienna (Moritz Schlick) (1929-1937) Gruppo di

Dettagli

Filosofia del linguaggio (i) (3 cr.)

Filosofia del linguaggio (i) (3 cr.) Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:

Dettagli

Esercizi di rappresentazione

Esercizi di rappresentazione Esercizi di rappresentazione Sandro Zucchi 2013-14 Primo esercizio (connettivi vero-funzionali - Bonevac) Quale dei connettivi seguenti è vero-funzionale? (Se classifichi un connettivo come vero-funzionale,

Dettagli

LICEO SCIENTIFICO G. MARCONI A.S. 2015/2016 CLASSE IV D PROGRAMMA DI FILOSOFIA PROF.SSA ANTONIETTA PISTONE

LICEO SCIENTIFICO G. MARCONI A.S. 2015/2016 CLASSE IV D PROGRAMMA DI FILOSOFIA PROF.SSA ANTONIETTA PISTONE LICEO SCIENTIFICO G. MARCONI A.S. 2015/2016 CLASSE IV D PROGRAMMA DI FILOSOFIA PROF.SSA ANTONIETTA PISTONE Filosofia cultura cittadinanza 2 Dall Umanesimo a Hegel, A. La Vergata, F. Trabattoni Unità 1:

Dettagli

PROGRAMMA PREVENTIVO

PROGRAMMA PREVENTIVO COD. Progr.Prev. PAGINA: 1 PROGRAMMA PREVENTIVO A.S.2013/14 SCUOLA Civico Liceo Linguistico A. Manzoni DOCENTE: prof.ssa P. Vedovati MATERIA: FILOSOFIA Classe 4 Sezione I FINALITÀ DELLA DISCIPLINA Acquisire

Dettagli

Quine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali

Quine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali Quine su senso, riferimento e traduzione radicale Lezioni lauree triennali 2014-15 La semantica di Carnap A partire da Frege, Carnap riformula senso e denotazione come intensione e estensione associate

Dettagli

Temi d Esame Logica II

Temi d Esame Logica II PONTIFICIA UNIVERSITÀ LATERANENSE Facoltà di Filosofia Temi d Esame Logica II Corso50609 Anno Accademico 2007/8 ELENCO TEMI D ESAME L ESAME SARÀ SCRITTO, DURERÀ DUE ORE E SARÀ COMPOSTO DI TRE PARTI. CHI

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e

Dettagli

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia

Dettagli

LICEO MUSICALE A. MANZONI VARESE CLASSE 3^AM PROGRAMMAZIONE DI FILOSOFIA CONTENUTI CONOSCENZE PERCORSI STORICI

LICEO MUSICALE A. MANZONI VARESE CLASSE 3^AM PROGRAMMAZIONE DI FILOSOFIA CONTENUTI CONOSCENZE PERCORSI STORICI LICEO MUSICALE A. MANZONI VARESE CLASSE 3^AM PROGRAMMAZIONE DI FILOSOFIA OBIETTIVI EDUCATIVI FINALITA -Sviluppare un pensiero critico -Potenziare l attitudine alla problematizzazione della realtà -Suscitare

Dettagli

La matematica non è un opinione, lo è oppure...?

La matematica non è un opinione, lo è oppure...? La matematica non è un opinione, lo è oppure...? Giulio Giusteri Dipartimento di Matematica e Fisica Università Cattolica del Sacro Cuore Brescia 26 Febbraio 2010 Vecchie conoscenze Dedurre... dedurre...

Dettagli

Logica: materiale didattico

Logica: materiale didattico Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica

Dettagli

Maiuscole e minuscole

Maiuscole e minuscole Maiuscole e minuscole Abilità interessate Distinguere tra processi induttivi e processi deduttivi. Comprendere il ruolo e le caratteristiche di un sistema assiomatico. Riconoscere aspetti sintattici e

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una

Dettagli

Logica, teoria della conoscenza, filosofia della scienza. Gianluigi Bellin

Logica, teoria della conoscenza, filosofia della scienza. Gianluigi Bellin Logica, teoria della conoscenza, filosofia della scienza. Gianluigi Bellin October 8, 2013 0.1. La filosofia della scienza esamina le strutture concettuali e le argomentazioni in uso nelle varie scienze;

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento

Dettagli

L AMBITO DISCIPLINARE DI FILOSOFIA STABILISCE CHE:

L AMBITO DISCIPLINARE DI FILOSOFIA STABILISCE CHE: a.s.2013/2014 FILOSOFIA A CURA DEL DOCENTE: Marco Turbanti L AMBITO DISCIPLINARE DI FILOSOFIA STABILISCE CHE: 1. I docenti prevedono un congruo numero di ore per il recupero in itinere e una verifica finale

Dettagli

CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini

CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti

Dettagli

La filosofia della scienza nel XX secolo. Editori Laterza

La filosofia della scienza nel XX secolo. Editori Laterza Donale! Gillies Giulio Giorello La filosofia della scienza nel XX secolo Editori Laterza INDICE DEL VOLUME Prefazione Ringraziamenti ix xi Parte prima L'induttivismo e i suoi critici 1. Breve profilo storico:

Dettagli

Informatica. Logica e Algebra di Boole

Informatica. Logica e Algebra di Boole Informatica Logica e Algebra di Boole La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso

Dettagli

NOZIONI DI LOGICA PROPOSIZIONI.

NOZIONI DI LOGICA PROPOSIZIONI. NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale

Dettagli

Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO. a cura del prof. Flaviano Scorticati

Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO. a cura del prof. Flaviano Scorticati Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO a cura del prof. Flaviano Scorticati Un piccolo gioco per riscaldare l atmosfera CHE COSA HANNO IN COMUNE QUESTE IMMAGINI? BABBO NATALE IL QUADRATO

Dettagli

Cenni di logica e calcolo proposizionale

Cenni di logica e calcolo proposizionale Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni

Dettagli

L'algebra Booleana. Generalità. Definizioni

L'algebra Booleana. Generalità. Definizioni L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati

Dettagli

LE COMPETENZE ESSENZIALI DI FILOSOFIA

LE COMPETENZE ESSENZIALI DI FILOSOFIA LE ESSENZIALI DI FILOSOFIA classe terza Liceo scientifico Liceo linguistico essere consapevoli del significato della riflessione filosofica come modalità specifica e fondamentale della ragione umana che,

Dettagli

BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta

BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno

Dettagli

La scienza e le scienze

La scienza e le scienze La scienza e le scienze Scienza: definizioni Insieme di conoscenze rigorosamente controllate e sistematicamente ordinate che consente di giungere a verità obiettive intorno a un determinato ordine di fenomeni

Dettagli

LE TEORIE DELL ASSISTENZA INFERMIERISTICA

LE TEORIE DELL ASSISTENZA INFERMIERISTICA Università degli Studi di Pavia Corso di Laurea in Infermieristica LE TEORIE DELL ASSISTENZA Piera Bergomi Obiettivi della materia Obiettivo generale Portare lo studente a conoscere, analizzare e saper

Dettagli

04 - Logica delle dimostrazioni

04 - Logica delle dimostrazioni Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,

Dettagli

ARGOMENTI DELLA LEZIONE

ARGOMENTI DELLA LEZIONE Università degli Studi di Roma Silvia La Degni Sapienza Facoltà di Psicologia 1 Insegnamento: Storia culturale del XX secolo Docente: Silvia Degni ARGOMENTI DELLA LEZIONE Considerazioni in merito alla

Dettagli

George BOOLE ( ) L algebra booleana. (logica proposizionale)

George BOOLE ( ) L algebra booleana. (logica proposizionale) George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si

Dettagli

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore

Dettagli

LA CRISI DEL VERIFICAZIONISMO

LA CRISI DEL VERIFICAZIONISMO VERIFICABILITÀ E FALSIFICABILITÀ PROF. MAURO DI GIANDOMENICO Indice 1 LA CRISI DEL VERIFICAZIONISMO----------------------------------------------------------------------------------- 3 2 IL PROBLEMA DELL

Dettagli

Il metodo scientifico

Il metodo scientifico Il metodo scientifico Alcune conoscenze sono considerate vere altre solo opinioni Relazione fra teoria e prassi Teoria che non si confronta con l esperienza non può sussistere Evoluzione delle conoscenze

Dettagli

Storia della Scienza e Filosofia della Scienza

Storia della Scienza e Filosofia della Scienza Storia della Scienza e Filosofia della Scienza Arturo Russo Dottorato di ricerca in Storia e didattica delle matematiche, della fisica e della chimica Il compito della filosofia della scienza e il rapporto

Dettagli

PROGRAMMAZIONE DIDATTICA E GRIGLIE DI VALUTAZIONE ORALI DI DIPARTIMENTO MICROAREA FILOSOFIA

PROGRAMMAZIONE DIDATTICA E GRIGLIE DI VALUTAZIONE ORALI DI DIPARTIMENTO MICROAREA FILOSOFIA PROGRAMMAZIONE DIDATTICA E GRIGLIE DI VALUTAZIONE ORALI DI DIPARTIMENTO MICROAREA FILOSOFIA (programmazione elaborata in conformità delle INDICAZIONI NAZIONALI di cui al DM 211 del 7-10-2010) Indirizzi:

Dettagli

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente

Dettagli

DI CHE COSA SI OCCUPA LA LOGICA

DI CHE COSA SI OCCUPA LA LOGICA Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione

Dettagli

Logica. Claudio Sacerdoti Coen 07/10/ : Connotazione, denotazione, invarianza per sostituzione. Universitá di Bologna

Logica. Claudio Sacerdoti Coen 07/10/ : Connotazione, denotazione, invarianza per sostituzione. Universitá di Bologna Logica 3: Connotazione, denotazione, invarianza per sostituzione Universitá di Bologna 07/10/2015 Outline 1 Connotazione, denotazione, invarianza per sostituzione Connotazione vs

Dettagli

Kripke. su i nomi e il riferimento. Lezioni lauree triennali

Kripke. su i nomi e il riferimento. Lezioni lauree triennali Kripke su i nomi e il riferimento Lezioni lauree triennali 2014-15 Il riferimento diretto Kripke affronta il problema se i nomi propri abbiano oltre che un riferimento o denotazione, anche un senso Frege

Dettagli

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria. Capitolo 2 Campi 2.1 Introduzione Studiamo ora i campi. Essi sono una generalizzazione dell insieme R dei numeri reali con le operazioni di addizione e di moltiplicazione. Nel secondo paragrafo ricordiamo

Dettagli

PROGRAMMAZIONE ANNUALE

PROGRAMMAZIONE ANNUALE Sezione associata Liceo Artistico C. Carrà a. s. 2015-2016 classe PROGRAMMAZIONE ANNUALE IV A Sezione / indirizzo Biennio comune Arti figurative Design docente materia ore settimanali di lezione Elisa

Dettagli

Davidson. Verità e significato

Davidson. Verità e significato Davidson Verità e significato Teoria del significato Una teoria del significato soddisfacente deve spiegare come i significati degli enunciati dipendono dai significati delle parole Ma come si può costruire

Dettagli

Logica e fondamenti di matematica

Logica e fondamenti di matematica Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it) Logica proposizionale Logica e teoria dell argomantazione. Cap. 1: Enunciati. Enunciato: Non ogni discorso è dichiarativo

Dettagli

GIOVANNI FEDERICO HERBART

GIOVANNI FEDERICO HERBART MISCELLANEA POST-HEGELIANA I GIOVANNI FEDERICO HERBART http://biografieonline.it/img/bio/j/johann_friedrich_herbart.jpg Herbart inizia in nome del realismo la reazion contro l idealismo romantico. Di vita

Dettagli

Es. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi.

Es. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi. La logica di Aristotele La logica non si trova tra le scienze dell enciclopedia aristotelica, poiché essa ha per oggetto la forma comune a tutte le scienze, cioè il procedimento dimostrativo, o le varie

Dettagli

Filosofia della Medicina

Filosofia della Medicina Filosofia della Medicina Nasce nella seconda metà del '900 Tipo di scientificità che compete al sapere medico La nozione di malattia Il rapporto medico paziente Le implicanze mediche della medicina Filosofia

Dettagli

Un po di logica. Christian Ferrari. Laboratorio di matematica

Un po di logica. Christian Ferrari. Laboratorio di matematica Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare

Dettagli

Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita.

Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Intenderemo per PROPOSIZIONE (o ENUNCIATO) una qualunque

Dettagli

Da E. Severino, La filosofia moderna, Rizzoli, pag

Da E. Severino, La filosofia moderna, Rizzoli, pag Da E. Severino, La filosofia moderna, Rizzoli, pag. 176-178 Sulla superficie di un lago galleggiano dei fiori con le radici attaccate sul fondo - delle ninfee. Il fondo del lago è invisibile dalla superficie.

Dettagli

CLASSE: 4 LL MATERIA: FILOSOFIA DOCENTE: RAVASIO ELISA

CLASSE: 4 LL MATERIA: FILOSOFIA DOCENTE: RAVASIO ELISA CLASSE: 4 LL MATERIA: FILOSOFIA DOCENTE: RAVASIO ELISA PROGRAMMA SVOLTO NELL ANNO SCOLASTICO 2012/2013 LIBRO DI TESTO: LA RICERCA DEL PENSIERO (ABBAGNANO, FORNERO) UNITA 1 CAP. 1 - IL RINASCIMENTO COME

Dettagli

TEORIE DEL SIGNIFICATO

TEORIE DEL SIGNIFICATO linguaggio emozioni pensieri TEORIE DEL SIGNIFICATO IL CONTRIBUTO DELLA FILOSOFIA ALLA PSICOLOGIA COGNITIVA DONALD DAVIDSON (1917-2003) Il linguaggio permette di riformulare i tradizionali interrogativi

Dettagli

RELAZIONE FINALE. Istituto di Istruzione Superiore telefono: ITALO CALVINO fax: via Guido Rossa ROZZANO MI

RELAZIONE FINALE. Istituto di Istruzione Superiore telefono: ITALO CALVINO fax: via Guido Rossa ROZZANO MI Allegato al documento di classe no. 1.5 Docente Materia Classe Acciavatti Luciana Filosofia 5D RELAZIONE FINALE 1. Considerazioni generali La classe ha partecipato in modo costruttivo al dialogo educativo,

Dettagli

Immanuel Kant ( ) La filosofia del Criticismo tra Empirismo e Razionalismo

Immanuel Kant ( ) La filosofia del Criticismo tra Empirismo e Razionalismo Immanuel Kant (1724-1804) La filosofia del Criticismo tra Empirismo e Razionalismo Opere di Kant 1747-1769: Scritti pre-critici 1770: De mundi sensibilis atque intelligibilis forma principiis 1770-1781:

Dettagli

Al fine di catturare matematicamente la nozione di conseguenza logica introduciamo i concetti fondamentali di modello e soddisfacibilità.

Al fine di catturare matematicamente la nozione di conseguenza logica introduciamo i concetti fondamentali di modello e soddisfacibilità. ELEMENTI DI LOGICA PROBABILISTICA 15 2.3. Conseguenza logica. 7 Le condizioni di verità, unite ai principi semantici fondamentali che le sottendono, ci permettono di decidere, per ogni 2EL, quale tra 0

Dettagli

Liceo scientifico A. Righi Bologna a. s PROGRAMMAZIONE DISCIPLINARE FILOSOFIA

Liceo scientifico A. Righi Bologna a. s PROGRAMMAZIONE DISCIPLINARE FILOSOFIA Liceo scientifico A. Righi Bologna a. s. 16-17 PROGRAMMAZIONE DISCIPLINARE FILOSOFIA 1. Competenze da acquisire nel corso del secondo biennio e dell ultimo anno Sviluppare l abitudine ad un approccio non

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011 1 Un test problematico Sapendo che in questo test una sola risposta

Dettagli

Sviluppo di programmi

Sviluppo di programmi Sviluppo di programmi Per la costruzione di un programma conviene: 1. condurre un analisi del problema da risolvere 2. elaborare un algoritmo della soluzione rappresentato in un linguaggio adatto alla

Dettagli

Fondamenti di Informatica 2, Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela

Fondamenti di Informatica 2, Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2 Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica Indice degli argomenti Introduzione: Motivazioni, Prove,

Dettagli

Anno scolastico PROGRAMMA SVOLTO E CONTENUTI MINIMI. Docente: Enzo Citarella. Materia: Filosofia

Anno scolastico PROGRAMMA SVOLTO E CONTENUTI MINIMI. Docente: Enzo Citarella. Materia: Filosofia Anno scolastico 2015-16 PROGRAMMA SVOLTO E CONTENUTI MINIMI Docente: Enzo Citarella Materia: Filosofia Classe : 4 F Indirizzo Linguistico ARTICOLAZIONE DEI CONTENUTI E DEGLI OBIETTIVI SECONDO UNITA FORMATIVE

Dettagli

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1B 23.11.2012 prof. Mimmo Corrado 1. Dati gli insiemi: = è = è " = è " = è " = è

Dettagli

Calcolo proposizionale

Calcolo proposizionale 1 Il calcolo delle proposizioni Una proposizione logica si dice semplice o atomica se contiene soltanto un predicato. Due o più proposizioni semplici collegate mediante l'uso di connettivi formano proposizioni

Dettagli

Comincio con l elencare le possibilità di scelta aperte al teorico riguardo ad alcuni fattori coinvolti nell analisi degli enunciati vaghi.

Comincio con l elencare le possibilità di scelta aperte al teorico riguardo ad alcuni fattori coinvolti nell analisi degli enunciati vaghi. prof. Marina Sbisà Filosofia del linguaggio LS104/013LM a.a. 2009-10 Materiali didattici per la seconda parte del corso Il tema della vaghezza nella filosofia analitica contemporanea Molti enunciati del

Dettagli

Indice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche

Indice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Silvia Pianta - Laura Montagnoli Geometria I - Prerequisiti - UCSC A.A. 2015/2016 1 / 36 1. Cenni

Dettagli

RELATIVISMO. OPINIONE Doxa. Sensi. Conoscenza. relativa. Molteplice varia nello Spazio RELATIVISMO. Impossibilità verità Universale e Immutabile

RELATIVISMO. OPINIONE Doxa. Sensi. Conoscenza. relativa. Molteplice varia nello Spazio RELATIVISMO. Impossibilità verità Universale e Immutabile RELATIVISMO OPINIONE Doxa Sensi Conoscenza relativa Mutevole varia nel Tempo Molteplice varia nello Spazio Soggettiva varia nei diversi soggetti RELATIVISMO Impossibilità verità Universale e Immutabile

Dettagli

Semantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica

Semantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative

Dettagli

APPUNTI DI ANALISI MATEMATICA Parte Prima

APPUNTI DI ANALISI MATEMATICA Parte Prima APPUNTI DI ANALISI MATEMATICA Parte Prima Versione preliminare del 24 settembre 2008 Pierpaolo Omari Dipartimento di Matematica e Informatica Università degli Studi di Trieste Maurizio Trombetta Dipartimento

Dettagli

Logica proposizionale

Logica proposizionale Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per

Dettagli

Introduzione alla logica

Introduzione alla logica Corso di Intelligenza Artificiale 2011/12 Introduzione alla logica iola Schiaffonati Dipartimento di Elettronica e Informazione Sommario 2 Logica proposizionale (logica di Boole) Logica del primo ordine

Dettagli

LICEO SOCIO-PSICO-PEDAGOGICO ALATRI OBIETTIVI DISCIPLINARI - TRIENNIO FILOSOFIA, PEDAGOGIA, PSICOLOGIA,SOCIOLOGIA,METODOLOGIA ANNO SCOL.

LICEO SOCIO-PSICO-PEDAGOGICO ALATRI OBIETTIVI DISCIPLINARI - TRIENNIO FILOSOFIA, PEDAGOGIA, PSICOLOGIA,SOCIOLOGIA,METODOLOGIA ANNO SCOL. LICEO SOCIO-PSICO-PEDAGOGICO ALATRI OBIETTIVI DISCIPLINARI - TRIENNIO FILOSOFIA, PEDAGOGIA, PSICOLOGIA,SOCIOLOGIA,METODOLOGIA ANNO SCOL. 2008-09 CONOSCERE I CONTENUTI E I LINGUAGGI SPECIFICI conoscere

Dettagli

Ricordando che: = si ha:

Ricordando che: = si ha: Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua

Dettagli

LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)

LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema

Dettagli

CLASSE 4^B PROGRAMMA DI FILOSOFIA (a.s ) Caratteristiche e correnti fondamentali del Rinascimento filosofico

CLASSE 4^B PROGRAMMA DI FILOSOFIA (a.s ) Caratteristiche e correnti fondamentali del Rinascimento filosofico CLASSE 4^B PROGRAMMA DI FILOSOFIA (a.s. 2014-15) UNITA 1 - DAL RINASCIMENTO ALLA RIVOLUZIONE SCIENTIFICA Autori e problemi Caratteristiche e correnti fondamentali del Rinascimento filosofico La Rivoluzione

Dettagli

Logica proposizionale

Logica proposizionale Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite

Dettagli

La filosofia della medicina Lezione n. 1

La filosofia della medicina Lezione n. 1 Storia e Filosofia della Medicina La filosofia della medicina Lezione n. 1 Contenuti del corso Che cos è la filosofia della medicina Dalla medicina magica alla medicina scientifica La medicina scientifica

Dettagli

I circuiti elementari

I circuiti elementari I circuiti elementari Nel lavoro diprogrammazione con il computer si fa largo uso della logica delle proposizioni e delle regole dell algebra delle proposizioni o algebra di Boole. L algebra di Boole ha

Dettagli

Proposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità:

Proposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità: Si ricorda: - L'oggetto della logica sono le proposizioni, o enunciati (i due termini sono sinonimi); - Una proposizione è una espressione dotata di senso compiuto alla quale si può attribuire in modo

Dettagli

8. Completamento di uno spazio di misura.

8. Completamento di uno spazio di misura. 8. Completamento di uno spazio di misura. 8.1. Spazi di misura. Spazi di misura completi. Definizione 8.1.1. (Spazio misurabile). Si chiama spazio misurabile ogni coppia ordinata (Ω, A), dove Ω è un insieme

Dettagli

Appunti di informatica. Lezione 7 anno accademico Mario Verdicchio

Appunti di informatica. Lezione 7 anno accademico Mario Verdicchio Appunti di informatica Lezione 7 anno accademico 2016-2017 Mario Verdicchio L algoritmo di Euclide per l MCD Dati due numeri A e B, per trovare il loro MCD procedere nel seguente modo: 1. dividere il maggiore

Dettagli

Se torturate abbastanza i dati, essi confesseranno. T. Mayer, 1980

Se torturate abbastanza i dati, essi confesseranno. T. Mayer, 1980 Se torturate abbastanza i dati, essi confesseranno T. Mayer, 1980 IL FALSIFICAZIONISMO DI POPPER Corso di Dottorato di Ricerca Lezioni di Filosofia e Metodologia della Ricerca Scientifica Giacomo Zanni

Dettagli

Interferenza di elettroni e! Principio di Indeterminazione

Interferenza di elettroni e! Principio di Indeterminazione Interferenza di elettroni e! Principio di Indeterminazione Paolo Pendenza Corso PAS, 10 luglio 2014 Anche nelle scienze non si possono scoprire nuove terre se non si è pronti a lasciarsi indietro il porto

Dettagli

10 Logica classica predicativa

10 Logica classica predicativa 10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei

Dettagli

Alcune nozioni preliminari di teoria elementare di insiemi e funzioni

Alcune nozioni preliminari di teoria elementare di insiemi e funzioni Alcune nozioni preliminari di teoria elementare di insiemi e funzioni Alberto Pinto Corso Propedeutico - METS A.A. 2013/2014 1 Insiemi 1.1 Generalità Diamo la definizione di insieme secondo Georg Cantor,

Dettagli

Lezione 7. Traduzioni/1. Linguaggi booleani/1. Traduzioni/3. Traduzioni/2. Linguaggi booleani. Traduzioni/4

Lezione 7. Traduzioni/1. Linguaggi booleani/1. Traduzioni/3. Traduzioni/2. Linguaggi booleani. Traduzioni/4 Traduzioni/1 Lezione 7 Linguaggi booleani/1 Il linguaggio formale delle piccionaia è sufficientemente potente da esprimere un gran numero di informazioni: 1. La celletta n.1 è occupata O(m,1) O(d,1) O(t,1)

Dettagli