Logica e filosofia della scienza (P) 6 CFU
|
|
|
- Donata Landi
- 5 anni fa
- Visualizzazioni
Transcript
1 Logica e filosofia della scienza (P) 6 CFU Anno Accademico Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia, Pedagogia e Psicologia Università degli Studi di Verona
2 Lezione 3 27 ottobre 2010
3 Indice 1 La logica aristotelica La filosofia della scienza di
4 Indice La logica aristotelica 1 La logica aristotelica La filosofia della scienza di
5 Il Sillogismo La logica aristotelica Le proposizioni possono essere messe insieme per formare dei ragionamenti. Un tipo particolare di ragionamento è il sillogismo.
6 Il Sillogismo La logica aristotelica Le proposizioni possono essere messe insieme per formare dei ragionamenti. Un tipo particolare di ragionamento è il sillogismo. Definizione Il sillogismo è una concatenazione di proposizioni tali che date le premesse α e β si ricava la conseguenza γ:
7 Il Sillogismo La logica aristotelica Le proposizioni possono essere messe insieme per formare dei ragionamenti. Un tipo particolare di ragionamento è il sillogismo. Definizione Il sillogismo è una concatenazione di proposizioni tali che date le premesse α e β si ricava la conseguenza γ: α β γ α, β, γ sono proposizioni del tipo A B Esempio Ogni mammifero è mortale Tutti i leoni sono mammiferi Tutti i leoni sono mortali
8 Il Sillogismo La logica aristotelica Le proposizioni possono essere messe insieme per formare dei ragionamenti. Un tipo particolare di ragionamento è il sillogismo. Definizione Il sillogismo è una concatenazione di proposizioni tali che date le premesse α e β si ricava la conseguenza γ: α β γ α, β, γ sono proposizioni del tipo A B Esempio Ogni mammifero è mortale Tutti i leoni sono mammiferi Tutti i leoni sono mortali Esempio Nessuno studente è musicista Ogni musicista è vegetariano Qualche vegetariano non è uno studente
9 Il sillogismo formale La logica aristotelica Premessa maggiore B C Ogni/qualche B è/non è C Premessa minore A B Ogni/qualche A è/non è B Conclusione A C Ogni/qualche A è/non è C
10 Il sillogismo formale La logica aristotelica Termine maggiore Premessa maggiore B C Ogni/qualche B è/non è C Premessa minore A B Ogni/qualche A è/non è B Conclusione A C Ogni/qualche A è/non è C
11 Il sillogismo formale La logica aristotelica Termine maggiore Premessa maggiore B C Ogni/qualche B è/non è C Premessa minore A B Ogni/qualche A è/non è B Conclusione A C Ogni/qualche A è/non è C Termine minore
12 Il sillogismo formale La logica aristotelica Termine medio Termine maggiore Premessa maggiore B C Ogni/qualche B è/non è C Premessa minore A B Ogni/qualche A è/non è B Conclusione A C Ogni/qualche A è/non è C Termine minore Termine medio
13 Le quattro figure del sillogismo La logica aristotelica In base alla posizione del termine medio distinguiamo quattro figure di sillogismo. Prima figura B C A B A C Seconda figura C B A B A C Terza figura B C B A A C Quarta figura C B B A A C
14 I modi del sillogismo La logica aristotelica In base ai diversi tipi di proposizione usate si possono costruire 256 modi del sillogismo.
15 I modi del sillogismo La logica aristotelica In base ai diversi tipi di proposizione usate si possono costruire 256 modi del sillogismo. 4 tipi di premessa maggiore 4 3 = 64 4 = 256
16 I modi del sillogismo La logica aristotelica In base ai diversi tipi di proposizione usate si possono costruire 256 modi del sillogismo. 4 tipi di premessa maggiore 4 tipi di premessa minore 4 3 = 64 4 = 256
17 I modi del sillogismo La logica aristotelica In base ai diversi tipi di proposizione usate si possono costruire 256 modi del sillogismo. 4 tipi di premessa maggiore 4 tipi di premessa minore 4 tipi di conclusione 4 3 = 64 4 = 256
18 I modi del sillogismo La logica aristotelica In base ai diversi tipi di proposizione usate si possono costruire 256 modi del sillogismo. 4 tipi di premessa maggiore 4 tipi di premessa minore 4 tipi di conclusione 4 figure del sillogismo 4 3 = 64 4 = 256
19 I modi del sillogismo La logica aristotelica In base ai diversi tipi di proposizione usate si possono costruire 256 modi del sillogismo. 4 tipi di premessa maggiore 4 tipi di premessa minore 4 tipi di conclusione 4 figure del sillogismo 256 modi possibili di sillogismo 4 3 = 64 4 = 256
20 I modi validi del sillogismo La logica aristotelica Solo alcuni modi del sillogismo corrispondono a un ragionamento corretto. I Figura Barbara, Celarent, Darii, Ferio II Figura Cesare, Camestres, Festino, Baroco III Figura Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison I Figura (indiretti) Baralipton, Celantes, Dabitis, Fapesmo, Frisesomorum
21 I modi validi del sillogismo La logica aristotelica Solo alcuni modi del sillogismo corrispondono a un ragionamento corretto. I Figura Barbara, Celarent, Darii, Ferio II Figura Cesare, Camestres, Festino, Baroco III Figura Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison I Figura (indiretti) Baralipton, Celantes, Dabitis, Fapesmo, Frisesomorum I figura Barbara Celarent Darii Ferio ogni B è C nessun B è C ogni B è C nessun B è C ogni A è B ogni A è B qualche A è B qualche A è B ogni A è C nessun A è C qualche A è C qualche A non è C
22 La logica aristotelica Rappresentazione grafica dei sillogismi Barbara Camestres ogni B è C B C ogni C è B C B ogni A è B A B nessun A è B A B ogni A è C A B C nessun A è C A C B
23 Indice La filosofia della scienza di 1 La logica aristotelica La filosofia della scienza di
24 La scienza per La filosofia della scienza di Sapere accertato mediante dimostrazione
25 La scienza per La filosofia della scienza di Sapere accertato mediante dimostrazione Conoscenza delle cause
26 La scienza per La filosofia della scienza di Sapere accertato mediante dimostrazione Conoscenza delle cause [... ] sarà pure necessario che la scienza dimostrativa si costituisca sulla base di premesse vere, prime, immediate, più note della conclusione, anteriori ad essa e che siano cause di essa., Secondi analitici, 71b 20-23
27 La scienza per La filosofia della scienza di Sapere accertato mediante dimostrazione Conoscenza delle cause [... ] sarà pure necessario che la scienza dimostrativa si costituisca sulla base di premesse vere, prime, immediate, più note della conclusione, anteriori ad essa e che siano cause di essa., Secondi analitici, 71b " Dimostrazione
28 La scienza per La filosofia della scienza di Sapere accertato mediante dimostrazione Conoscenza delle cause [... ] sarà pure necessario che la scienza dimostrativa si costituisca sulla base di premesse vere, prime, immediate, più note della conclusione, anteriori ad essa e che siano cause di essa. " Dimostrazione " Natura delle premesse, Secondi analitici, 71b 20-23
29 La scienza per La filosofia della scienza di Sapere accertato mediante dimostrazione Conoscenza delle cause [... ] sarà pure necessario che la scienza dimostrativa si costituisca sulla base di premesse vere, prime, immediate, più note della conclusione, anteriori ad essa e che siano cause di essa. " Dimostrazione " Natura delle premesse " Concetto di causalità, Secondi analitici, 71b 20-23
30 Le premesse qualificano i sillogismi La filosofia della scienza di In base alla natura delle premesse distinguiamo diversi tipi di sillogismo. Il più importante è il sillogismo scientifico (o dimostrativo).
31 Le premesse qualificano i sillogismi La filosofia della scienza di In base alla natura delle premesse distinguiamo diversi tipi di sillogismo. Il più importante è il sillogismo scientifico (o dimostrativo). dialettico Fondato su premesse probabili
32 Le premesse qualificano i sillogismi La filosofia della scienza di In base alla natura delle premesse distinguiamo diversi tipi di sillogismo. Il più importante è il sillogismo scientifico (o dimostrativo). dialettico Fondato su premesse probabili eristico Pseudo-sillogismo usato dai sofisti allo scopo di ingannare
33 Le premesse qualificano i sillogismi La filosofia della scienza di In base alla natura delle premesse distinguiamo diversi tipi di sillogismo. Il più importante è il sillogismo scientifico (o dimostrativo). dialettico Fondato su premesse probabili eristico Pseudo-sillogismo usato dai sofisti allo scopo di ingannare scientifico Fondato su premesse necessarie
34 Il Sillogismo scientifico La filosofia della scienza di Più precisamente: Le premesse del sillogismo scientifico devono essere vere prime immediate più note della conclusione anteriori alla conclusione cause della conclusione
35 Il Sillogismo scientifico La filosofia della scienza di Più precisamente: Le premesse del sillogismo scientifico devono essere vere prime immediate Principi primi più note della conclusione anteriori alla conclusione cause della conclusione
36 Le premesse della scienza La filosofia della scienza di Per evitare il regresso all infinito, alcune premesse devono essere indimostrabili (prime) e immediate (evidenti). Principi primi Principio di non contraddizione Principio del terzo escluso
37 Le premesse della scienza La filosofia della scienza di Per evitare il regresso all infinito, alcune premesse devono essere indimostrabili (prime) e immediate (evidenti). Principi primi Principio di non contraddizione Principio del terzo escluso Oltre ai principi primi in senso stretto vi sono poi le premesse assunte da ciascuna scienza particolare, assunte come punti di partenza delle dimostrazioni all interno della scienza.
38 Principi primi La filosofia della scienza di Principio di non contraddizione 1 È impossibile che la stessa cosa, ad un tempo, appartenga e non apprtenga a una medesima cosa, secondo lo stesso rispetto. 2 È impossibile a chicchessia di credere che una stessa cosa sia e non sia, Metafisica
39 Principi primi La filosofia della scienza di Principio di non contraddizione 1 È impossibile che la stessa cosa, ad un tempo, appartenga e non apprtenga a una medesima cosa, secondo lo stesso rispetto. 2 È impossibile a chicchessia di credere che una stessa cosa sia e non sia, Metafisica Principio del terzo escluso Non è neppure possibile che fra i due contraddittori ci sia un termine medio, ma è necessario o affermare o negare, di un medesimo oggetto, uno solo dei contraddittori, qualunque esso sia, Metafisica
40 La filosofia della scienza di La relazione tra premesse e conclusione Sillogismo scientifico Tutti i ruminanti con lo stomaco munito di quattro cavità sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo stomaco munito di quattro cavità Tutti i buoi sono animali privi degli invisivi superiori
41 La filosofia della scienza di La relazione tra premesse e conclusione Sillogismo scientifico Tutti i ruminanti con lo stomaco munito di quattro cavità sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo stomaco munito di quattro cavità Tutti i buoi sono animali privi degli invisivi superiori Nelle premesse è contenuta la causa della conclusione
42 La filosofia della scienza di La relazione tra premesse e conclusione Sillogismo scientifico Tutti i ruminanti con lo stomaco munito di quattro cavità sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo stomaco munito di quattro cavità Tutti i buoi sono animali privi degli invisivi superiori Nelle premesse è contenuta la causa della conclusione
43 La filosofia della scienza di La relazione tra premesse e conclusione Sillogismo scientifico Tutti i ruminanti con lo stomaco munito di quattro cavità sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo stomaco munito di quattro cavità Tutti i buoi sono animali privi degli invisivi superiori Nelle premesse è contenuta la causa della conclusione Sillogismo non scientifico Tutti i ruminanti con lo zoccolo diviso sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo zoccolo diviso Tutti i buoi sono animali privi degli incisivi superiori
44 La filosofia della scienza di La relazione tra premesse e conclusione Sillogismo scientifico Tutti i ruminanti con lo stomaco munito di quattro cavità sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo stomaco munito di quattro cavità Tutti i buoi sono animali privi degli invisivi superiori Nelle premesse è contenuta la causa della conclusione Sillogismo non scientifico Tutti i ruminanti con lo zoccolo diviso sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo zoccolo diviso Tutti i buoi sono animali privi degli incisivi superiori Nelle premesse non è contenuta la causa della conclusione
45 La filosofia della scienza di La relazione tra premesse e conclusione Sillogismo scientifico Tutti i ruminanti con lo stomaco munito di quattro cavità sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo stomaco munito di quattro cavità Tutti i buoi sono animali privi degli invisivi superiori Nelle premesse è contenuta la causa della conclusione Sillogismo non scientifico Tutti i ruminanti con lo zoccolo diviso sono animali privi degli incisivi superiori Tutti i buoi sono ruminanti con lo zoccolo diviso Tutti i buoi sono animali privi degli incisivi superiori Nelle premesse non è contenuta la causa della conclusione
Filosofia della scienza
Filosofia della scienza Anno Accademico 2009-2010 Corso di laurea in programmazione e gestione dei servizi formativi Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia Università degli Studi
Lezioni (25 ottobre 2018)
Lezioni 11-12 (25 ottobre 2018) Eliminazione (B) di coppie di premesse sterili relativamente a date conclusioni (B1): sterilità relative alla quantità Esempio di una coppia che non può portare a conclusione
L eredità di Aristotele
L eredità di Aristotele 18 L importanza del metodo Aristotele è stato il primo scienziato della storia perché è stato il primo a capire che, per procedere nella scienza era necessario un metodo scientifico
ELEMENTI DI LOGICA SILLOGISTICA
Carlo Corsetti ELEMENTI DI LOGICA SILLOGISTICA ARACNE Copyright MM, ARACNE EDITRICE di Gioacchino Onorati 00173 Roma, via R. Garofalo, 133 tel. (06) 72672222 telefax 72672233 ISBN 88-7999-280-X I diritti
secondo incontro Caravaggio
secondo incontro Francesco Scarri 18 gennaio 2018 Le proposizioni Definizione Le proposizioni che esprimono le relazioni tra insiemi, cioè quelle che contengono quantificatori, sono dette proposizioni.
Lezioni (26 ottobre 2015)
Lezioni 13-14 (26 ottobre 2015) Il passaggio dalle inferenze immediate con gli operatori aristotelici alle inferenze sillogistiche, con due premesse rette dagli stessi operatori Un problema combinatorio:
LA LOGICA ARISTOTELICA
LA LOGICA ARISTOTELICA SOMMARIO DEFINIZIONI 2 IL SILLOGISMO 6 I TERMINI 8 LE PROPOSIZIONI 12 TUTTI GLI SCHEMI DEI SILLOGISMI 20 1 Definizioni La Logica è scienza delle operazioni dell'intelletto per fare
Slides del corso di Filosofia della scienza (dott. I. Valbusa) Laurea Specialistica in Programmazione e gestione dei servizi formativi
Slides del corso di Filosofia della scienza (dott. I. Valbusa) Laurea Specialistica in Programmazione e gestione dei servizi formativi Anno Accademico 2008-2009 Lezioni del 26-27 febbraio; 6-7 marzo; 12-13
Tavola dei sillogismi
Tavola dei sillogismi Le proposizioni del discorso apodittico si distinguono in affermative universali (A): Tutti i cani sono animali affermative particolari (I): Alcuni animali sono mammiferi negative
4^ liceo Scientifico-Tecnologico (2010/2011) IL SILLOGISMO
4^ liceo Scientifico-Tecnologico (2010/2011) IL SILLOGISMO Chiarita la natura delle sue proposizioni Aristotele negli analitici primi spiega quelle che sono le strutture e i modi del ragionamento, perché
Le asserzioni categoriche. Unit 3, Lez 1 Corso di Logica
Le asserzioni categoriche Unit 3, Lez 1 Corso di Logica Sommario Asserzioni categoriche Diagrammi di Venn Inferenze dirette Sillogismi categorici Forme e figure Asserzioni categoriche Qualche uccello è
Aristotele. Indice generale TOMMASO SCAPPINI APPUNTI DI STORIA DELLA FILOSOFIA
TOMMASO SCAPPINI APPUNTI DI STORIA DELLA FILOSOFIA Aristotele Indice generale 1. Notizie bio-bibliografiche 2 1.1. La vita 2 1.2. Il «corpus artistolelicum» 3 1.3. Le branche della conoscenza 4 Lo schema
La logica di Aristotele. Prof. Marco Lombardi
La logica di Aristotele Prof. Marco Lombardi L analitica Nella classificazione aristotelica delle scienze non trova posto la logica, poiché essa ha per oggetto, la forma comune di tutte le scienze, cioè
LOGICA E FILOSOFIA DELLA SCIENZA
LOGICA E FILOSOFIA DELLA SCIENZA Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici Logica Studia i processi in base a cui traiamo inferenze a partire dalle nostre
Logica e filosofia della scienza (P) 6 CFU
Logica e filosofia della scienza (P) 6 CFU Anno Accademico 2010-2011 Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia, Pedagogia e Psicologia
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
Logica e filosofia della scienza (P) 6 CFU
Logica e filosofia della scienza (P) 6 CFU Anno Accademico 2010-2011 Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Avvertenza In queste pagine sono riportati i contenuti
La logica di Aristotele. Prof. Marco Lombardi
La logica di Aristotele Prof. Marco Lombardi L analitica Nella classificazione aristotelica delle scienze non trova posto la logica, poiché essa ha per oggetto, la forma comune di tutte le scienze, cioè
Esercizi di logica. Ivan Valbusa 5 dicembre 2012
Esercizi di logica Ivan Valbusa 5 dicembre 2012 Gli esercizi proposti di seguito coprono solo una piccola parte del programma del corso. Sono mediamente più difficili di quelli presenti sul manuale di
La logica considera la forma che deve avere qualsiasi tipo di discorso che pretenda di dimostrare qualcosa. La logica mostra quindi:
La logica considera la forma che deve avere qualsiasi tipo di discorso che pretenda di dimostrare qualcosa. La logica mostra quindi: come proceda il pensiero quando pensa quale sia la struttura del ragionamento
Il termine medio può essere: 1) soggetto della maggiore e predicato della minore:
SILLOGISMO ll sillogismo si compone solo di enunciati dichiarativi. Dal punto di vista formale il sillogismo è l unione di più enunciati (chiamati premesse), dai quali deriva con necessità, secondo regole
Sillogismi condizionali e categorici. Laura Catastini Università di Roma Tor vergata
Sillogismi condizionali e categorici Laura Catastini Università di Roma Tor vergata I sillogismi Un sillogismo è un argomento formato da due premesse dalle quali può discendere, ma non obbligatoriamente,
Argomenti. Vita ed opere L'encicolpedia delle scienze La metafisica La fisica L'etica La poetica La logica
ARISTOTELE Argomenti Vita ed opere L'encicolpedia delle scienze La metafisica La fisica L'etica La poetica La logica ARISTOTELE Scritti esoterici Scritti essoterici ARISTOTELE (384 322 a.c.) Dialoghi (tutti
Alcuni elementi di logica e gnoseologia
Alcuni elementi di logica e gnoseologia Nella classificazione aristotelica delle scienze la logica non compare. Essa, infatti, come scienza del pensiero e delle sue leggi, ha un carattere, per così dire,
Dai Presocratici ad Aristotele Volume 1 sk Aristotele e il primo peripato pag. 1
Aristotele e il primo peripato pag. 1 Concetto di logica o analitica Questa disciplina non considera né la produzione di qualcosa (scienze poietiche), né l azione morale (scienze pratiche) e neppure la
sempre vere sempre false
Logica: elementi I principi della logica sono innanzitutto i seguenti: Identità: a=a (ogni cosa è cioè identica a se stessa) Non contraddizione: non (a e non a). E impossibile che la stessa cosa sia e
Logica e filosofia della scienza (P) 6 CFU
Logica e filosofia della scienza (P) 6 CFU Anno Accademico 2010-2011 Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia, Pedagogia e Psicologia
LOGICA ARISTOTELICA UN PERCORSO DI ESERCIZI
Cavallin Damiano LOGICA ARISTOTELICA UN PERCORSO DI ESERCIZI La nuova didattica: contenuti e competenze La didattica della filosofia ha subìto negli ultimi decenni notevoli mutamenti che hanno portato
Logica. Tomas Cipriani
Logica Tomas Cipriani If it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic. Alice through the looking glass, Lewis Carroll (Se è stato così, potrebbe essere;
CALCOLO DEI PREDICATI DEL I ORDINE
CALCOLO DEI PREDICATI DEL I ORDINE Dizionario Simboli descrittivi lettere o variabili proposizionali: p, q, r, A, B, C, lettere o variabili predicative: P, Q, R, lettere o variabili individuali: a, b,
DISPENSA SUPPLEMENTARE DEL CORSO DI SEMIOTICA a.a Prof. Costantino Marmo Prof. Patrizia Violi. La semiotica di Peirce (Schemi e citazioni)
DISPENSA SUPPLEMENTARE DEL CORSO DI SEMIOTICA a.a. 2003-2004 Prof. Costantino Marmo Prof. Patrizia Violi La semiotica di Peirce (Schemi e citazioni) Appunti e schemi per le lezioni su Peirce Semiotica
Prefazione 13. Capitolo ii
Prefazione 13 Capitolo i Introduzione alla logica 1 Definizioni della logica....................... 20 1.1 Logica naturale e logica scientifica.............. 21 1.2 L oggetto della logica.....................
Aristotele ARISTOTELE LA VITA E LE OPERE
Aristotele ARISTOTELE LA VITA E LE OPERE Vita ARISTOTELE NACQUE A STAGIRA NEL NORD DELLA GRECIA NEL 384 A.C. NEL 367, ALL'ETÀ DI 17 ANNI, ANDÒ AD ATENE AL FINE DI ENTRARE A FAR PARTE DELL'ACCADEMIA DI
SILLOGISMO QUATTRO CHIACCHIERE E UNA RIFLESSIONE
Libreria Filosofica http://www.libreriafilosofica.com/ Armando Girotti SILLOGISMO QUATTRO CHIACCHIERE E UNA RIFLESSIONE 1 PRIMA PARTE LA NASCITA DELLA LOGICA Circa 300 anni prima della nascita di Cristo,
ARISTOTELE STAGIRA 384/83 A.C. CALCIDE 322 A.C.
ARISTOTELE STAGIRA 384/83 A.C. CALCIDE 322 A.C. CONFRONTO CON PLATONE DA OSSERVARE: - DifFERENTE CONTESTO SOCIO-POLITICO; - INTERESSE POLITICO-EDUCATIVO IN PLATONE; INTERESSE CONOSCITIVO-SCIENTIFICO IN
Platone-Aristotele, visione d insieme e confronto introduttivo
ARISTOTELE Platone-Aristotele, visione d insieme e confronto introduttivo Organon (analitica) - Categorie Termini Soggetto predicati Le Categorie sostanza quantità qualità relazione luogo tempo giacere
Classe III C Liceo Scientifico A.S. 2009/2010. Indicazioni per il lavoro estivo
Classe III C Liceo Scientifico A.S. 2009/2010 Indicazioni per il lavoro estivo FILOSOFIA Per tutti gli studenti Lettura del testo: Ermanno Bencivenga, Platone,amico mio, Ed. Oscar Mondadori, Introduzione
Logica e filosofia della scienza (P) 6 CFU
Logica e filosofia della scienza (P) 6 CFU Anno Accademico 2010-2011 Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia, Pedagogia e Psicologia
Logica e filosofia della scienza (P) 6 CFU
Logica e filosofia della scienza (P) 6 CFU Anno Accademico 2010-2011 Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia, Pedagogia e Psicologia
POLO FERMI -GIORGI - LICEO DELLE SCIENZE APPLICATE PROGRAMMA SVOLTO CLASSE TERZA sezione D. Disciplina: FILOSOFIA
POLO FERMI -GIORGI - LICEO DELLE SCIENZE APPLICATE PROGRAMMA SVOLTO CLASSE TERZA sezione D Disciplina: FILOSOFIA Che cos è la filosofia L amore per il sapere Il cammino della filosofia: l influsso dell
Piccola storia della logica
Giovanni Salmeri Piccola storia della logica I. Dall antichità a Leibniz Roma 1999 Presentazione... 3 1. L analitica di Aristotele... 5 1.1. Il tema dell analitica... 5 1.2. I termini e la proposizione...
Classe III C Liceo Scientifico A.S. 2011/2012. Indicazioni per il lavoro estivo
Classe III C Liceo Scientifico A.S. 2011/2012 Indicazioni per il lavoro estivo FILOSOFIA Per tutti gli studenti Leggere il saggio: Piergiorgio Odifreddi, Hai vinto, Galileo! Mondadori. Rispondere per iscritto
LE REGOLE DI DEDUZIONE
LE REGOLE DI DEDUZIONE II concetto di regola di deduzione Ci proponiamo di formulare alcune regole, dette regole di deduzione o ragionamento, in virtù delle quali, a partire da certe P1, P2,..., Pn, sia
CALCOLO PROPOSIZIONALE: CENNI
CALCOLO PROPOSIZIONALE: CENNI Francesca Levi Dipartimento di Informatica February 26, 2016 F.Levi Dip.to Informatica Informatica per le Scienze Umane a.a. 15/16 pag. 1 La Logica La logica è la disciplina
Principio di non contraddizione e dialettica 3
Principio di non contraddizione e dialettica 3 DIALET TICA E CONTRADDIZIONE IN HEGEL Passaggio dalla seconda alla terza lezione Nelle prime due lezioni abbiamo mostrato come la relazione tra le categorie
Una Breve Introduzione alla Logica
Una Breve Introduzione alla Logica LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti
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
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
Appunti di geometria euclidea
Appunti di geometria euclidea Il metodo assiomatico Appunti di geometria Euclidea Lezione 1 Prima di esaminare nel dettaglio la Geometria dal punto di vista dei Greci è opportuno fare unrichiamo di Logica.
LOGICA E PROBLEMI DI LOGICA
LOGICA E PROBLEMI DI LOGICA Un inferenza è una successione di n proposizioni tale che se le prime n 1 proposizioni fossero vere, allora la n-ma proposizione sarebbe vera. queste prime n 1 proposizioni
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
LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva
titolo LOGICA E PSICOLOGIA DEL PENSIERO Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici logica Logica Studia i processi in base a cui traiamo inferenze a partire
IMMANUEL KANT CRITICA DELLA RAGION PURA LOGICA TRASCENDENTALE
IMMANUEL KANT CRITICA DELLA RAGION PURA LOGICA TRASCENDENTALE Senza sensibilità nessun oggetto ci sarebbe dato, e senza intelletto nessun oggetto verrebbe pensato. I pensieri senza contenuto sono vuoti,
DIALETTICA TRASCENDENTALE
Critica della ragione che cerca di essere pura La ragione crea i sillogismi ed è l organo della totalità L idea è la totalità delle condizioni dell esperienza DIALETTICA TRASCENDENTALE La Dialettica trascendentale
02 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016
Stupido è chi lo stupido fa. Ruggero Pagnan DIMA, Università di Genova
Stupido è chi lo stupido fa Ruggero Pagnan DIMA, Università di Genova Stupido è chi lo stupido fa Fatti non foste a viver come bruti... Ruggero Pagnan DIMA, Università di Genova Perché educare alla razionalità
LETTERE. 7.1 La grande invenzione aristotelica delle variabili
07 Lettere.qxd 2-02-2009 16:22 Pagina 197 197 7 LETTERE 7.1 La grande invenzione aristotelica delle variabili Abbiamo già detto in esordio al primo capitolo che Aristotele è l inventore della logica formale,
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
Logica & Linguaggio: Logica Proposizionale II
Logica & Linguaggio: Logica Proposizionale II Raffaella Bernardi Università degli Studi di Trento P.zza Venezia, Room: 2.05, e-mail: bernardi@disi.unitn.it Contents 1 Fatto e da fare............................................
IMMANUEL KANT
IMMANUEL KANT 1724-1804 Prof. Monti a.s. 2017-2018 Parte prima Kant prende le mosse dall Empirismo arrivando a elaborare il suo CRITICISMO (anche detto filosofia trascendentale o filosofia del limite )
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
IIS "O. Bacaredda - S. Atzeni"
IIS "O. Bacaredda - S. Atzeni" MARTA BAIRE IV B ANNO SCOLASTICO 2016/17 ARISTOTELE (Stagira 384-322 a. C.) Studi di anatomia 367 a. C. Accademia Platonica 347 a. C. Morte Platone Matrimonio con Pizia ad
Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale
Affermazioni aperte e quantificatori Definizione Una affermazione aperta è una affermazione che coinvolge una o più variabili. Esempi (a) 5 ³ 3x 2 (b) Il bambino ha un quaderno rosso. Una affermazione
Elementi di Psicometria con Laboratorio di SPSS 1
Elementi di Psicometria con Laboratorio di SPSS 1 10-Significatività statistica per la correlazione vers. 1.0 (5 novembre 2014) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia, Università
STOICISMO. Simone Marchiodi, Tommaso Fantini, Mariano Boccarossa, Sara Merella, Lara Coli, Edilia Benzi, Caterina Perezzani. 4D
STOICISMO z Simone Marchiodi, Tommaso Fantini, Mariano Boccarossa, Sara Merella, Lara Coli, Edilia Benzi, Caterina Perezzani. 4D Fisica Materialismo: tutto è corpo Corpo = materia + ragione Passiva Attiva
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,
La conoscenza si fonda sulla ragione o sull'e sperienza?
La conoscenza si fonda sulla ragione o sull'e sperienza? Platone e Aristotele La luce del sole illumina il mattino, filtrando attraverso le fronde degli alberi Lo scultore francese Auguste Rodin è all'o
Elementi di Logica matematica. Elementi di logica matematica
1 Elementi di logica matematica Molte grammatiche definiscono la proposizione come un giudizio della mente espresso con parole, cioè da un punto di vista grammaticale la parola proposizione sta ad indicare
Esercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 15 aprile 2005 Esercizi Nota importante. In questa dispensa sono stati raccolti, senza alcun ordine particolare, alcuni esercizi che possono
ISTITUZIONI DI LOGICA(1)
ISTITUZIONI DI LOGICA(1) a.a. 2005-2006 (5 crediti) prof.ssa Giovanna Corsi TEST del 26 novembre 2005 Cognome Nome Corso di Laurea 1. (a) Secondo la lettura fatta delle pagine di Quine, cosa è rilevante
Corso di Laurea Triennale in DISCIPLINE DELLE ARTI, DELLA MUSICA E DELLO SPETTACOLO
Corso di insegnamento PEDAGOGIA E DIDATTICA MUSICALE Corso di Laurea triennale I anno coorte 2017-2018 A. A 2017-2018 docente titolare: prof. Salvatore COLAZZO Semestre: SECONDO Crediti: 6 (n. ore di didattica:
Norme per l esame di Logica e Comunicazione, anno accademico , I sessione 2012 (gennaio-febbraio)
Norme per l esame di Logica e Comunicazione, anno accademico 2011-2012, I sessione 2012 (gennaio-febbraio) Le norme sono differenziate in base ai possibili tipi di esame, determinati dal numero dei CFU
Aristotele a. C.
Aristotele 384-322 a. C. La differenza con Platone Platone: le idee sono separate dalla realtà Aristotele: le idee si trovano all interno degli oggetti L esempio dello Stato ideale Il problema dell essere
1 Il linguaggio matematico
1 Il linguaggio matematico 1.1 La logica delle proposizioni La matematica è un linguaggio; a differenza del linguaggio letterario che utilizza una logica soggettiva, la matematica si serve di una logica
ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica
settembre 008 Elementi di Logica 1. Nozioni preliminari La logica studia come funziona il pensiero e il ragionamento espresso attraverso degli enunciati Il ragionamento è un sistema di enunciati che permette
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
Lezione 5. Corso di comunicazione scienofica A.A Prof. Paolo LaQanzio.
Lezione 5 Corso di comunicazione scienofica A.A. 2010 2011 Prof. Paolo LaQanzio www.paololaqanzio.net plaqanzio@unite.it AltrimenO.. CaRvo giornalismo: 2012:La fine del mondo Servizio Le IENE Seconda Parte
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
Aristotele ARISTOTELE LA VITA E LE OPERE
Aristotele ARISTOTELE LA VITA E LE OPERE Vita ARISTOTELE NACQUE A STAGIRA NEL NORD DELLA GRECIA NEL 384 A.C. NEL 367, ALL'ETÀ DI 17 ANNI, ANDÒ AD ATENE AL FINE DI ENTRARE A FAR PARTE DELL'ACCADEMIA DI
Lezioni di storia della logica: Gargnano, agosto Massimo Mugnai. Scuola Normale Superiore, Pisa
Lezioni di storia della logica: Gargnano, 26-31 agosto 2013 Massimo Mugnai Scuola Normale Superiore, Pisa e-mail: m.mugnai@sns.it Massimo Mugnai (SNS Pisa) Gargnano, Storia della logica agosto 2013 1 /
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
Principio di non contraddizione e dialettica 2
Principio di non contraddizione e dialettica 2 IL PRINCIPIO DI NON CONTRADDIZIONE IN ARISTOTELE Passaggio dalla prima alla seconda lezione Parmenide ha per primo dimostrato rigorosamente che «è impossibile
15 Aprile 2016 Svolgimento della prova scritta (OA + BC)OB 2. 2(4 + k ) 2
Dipartimento di Matematica e Informatica Anno Accademico 015-016 Corso di Laurea in Informatica (L-1) Prova in itinere di Matematica Discreta (1 CFU) 15 Aprile 016 B1 Compito A Tempo a disposizione 10
CALCOLO CALCOL COMBINATORIO COMBINAT
CALCOLO COMBINATORIO INDICE Che cos è il calcolo combinatorio? Concetto di raggruppamenti semplici e di raggruppamenti con ripetizione Disposizioni Combinazioni Permutazioni PROBLEMI 1. In quanti modi
A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket.
Logica La logica si occupa della correttezza del ragionamento, un ragionamento è formato da un insieme di proposizioni (enunciati di cui è possibile stabilire se sono veri o falsi) Carlo è un alunno di
DIETRO LE QUINTE DELLA MATEMATICA
DIETRO LE QUINTE DELLA MATEMATICA TEKNOTRE Anno Accademico 2016-2017 Lezione n. 6 (10-2-2017) PERUCCO Pieraldo Dalla Logica alla Geometria Da regole empiriche a una rigorosa costruzione fondata sulla sistematica
IL TEOREMA DI BOLZANO-WEIERSTRASS
IL TEOREMA DI BOLZANO-WEIERSTRASS In questa nota dimostriamo il teorema di Bolzano-Weierstrass che garantisce l esistenza, per una opportuna classe di sottoinsiemi di R, di punti di accumulazione. Per
0 < x 3. x 2 mod 5 x 0 mod 3. x 27 mod 7. 1 [7 punti] Risolvere il seguente sistema di congruenze:
![0 < x 3. x 2 mod 5 x 0 mod 3. x 27 mod 7. 1 [7 punti] Risolvere il seguente sistema di congruenze:](/thumbs/72/66598710.jpg "0 < x 3. x 2 mod 5 x 0 mod 3. x 27 mod 7. 1 [7 punti] Risolvere il seguente sistema di congruenze:")
Dipartimento di Matematica e Informatica Anno Accademico 05-06 Corso di Laurea in Informatica (L-3) Prova scritta di Matematica Discreta ( CFU) 7 Settembre 06 Parte A Tempo a disposizione Ognuna delle
Analisi Matematica A
Analisi Matematica A Ingegneria Civile Ingegneria per l Ambiente e il Territorio Paola Gervasio orario di ricevimento: GIO. 9:30-11:30 Edificio di via Valotti, piano terra, tel. 030-3715734 e-mail: gervasio@ing.unibs.it
LICEO SCIENTIFICO STATALE TITO LUCREZIO CARO Cittadella PD. PROGRAMMA DI FILOSOFIA I liceo classico a.s
LICEO SCIENTIFICO STATALE TITO LUCREZIO CARO Cittadella PD PROGRAMMA DI FILOSOFIA I liceo classico a.s. 2010-1011 Docente: Massimo Gomiero Testo in adozione: Itinerari di filosofia, Dalle origini alla
Il percorso formativo degli studenti si sviluppa in cinque annualità per un numero complessivo di 300 CFU.
Descrizione del percorso di formazione Il percorso formativo degli studenti si sviluppa in cinque annualità per un numero complessivo di 300 CFU. Ogni credito formativo universitario corrisponde a 10 ore
LA METAFISICA ARISTOTELICA
www.aliceappunti.altervista.org LA METAFISICA ARISTOTELICA INTRODUZIONE: Aristotele sostiene che esistono tre tipi di scienze: 1) TEORETICHE: sono la metafisica, la fisica e la matematica. Queste scienze
Quand è che un argomento è un buon argomento?
Quand è che un argomento è un buon argomento? 1. Standard deduttivi 2. Standard induttivi P 1 Tutti gli uomini hanno la testa P 2 Io ho la testa C Quindi, sono un uomo Argomenti validi Un argomento si
ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA. Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica. Università di Salerno
ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica Università di Salerno gerla@unisa.it II INTRODUZIONE Sotto il termine di logica
Senofane di Elea. Omero ed Esiodo hanno attribuitop agli dei furti, adulteri e reciproci inganni.
Scuola di Elea fondatore = Parmenide di Elea (costa della Campania a sud di Paestum (Velia) visse tra il 550 e 450 a.c. Opera in versi Intorno alla natura di cui restano 154 versi Senofane di Elea critica
A m n B n p = P m p. 0 1 a b c d. a b. 0 a 0 c Il risultato e lo stesso solo nel caso in cui c = 0 e a = d.
Matematica II, 220404 Il prodotto di matrici e un operazione parziale che prende in entrata una matrice A ed una matrice B, tali che il numero delle colonne di A sia uguale al numero delle righe di B,
Logica di Base. Docente: Francesca Benanti. 27 Gennaio 2007
Logica di Base Docente: Francesca Benanti 27 Gennaio 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica è
Tommaso d Aquino > NOTE INTRODUTTIVE <
1221 1274 > NOTE INTRODUTTIVE < Tommaso fu il più importante autore appartenente alla Scolastica. L epoca in cui egli visse fu caratterizzata da un intenso studio degliantichifilosofie, in particolare,