Lezioni 7-9 (16 e19 ottobre 2017)

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Lezioni 7-9 (16 e19 ottobre 2017)"

Transcript

1 Lezioni 7-9 (16 e19 ottobre 2017) Articolazione e cronologia degli scritti aristotelici sulla logica titolo collettivo del ciclo di sei libri tradizionalmente posti in esordio agli scritti di Aristotele: Organon ( Strumento ) questo titolo risale ad Alessandro di Afrodisia (II-III sec. dopo Cristo) nel suo Commentario ai Topici di Aristotele (C.A.G., II.2, 74, 9) nella stessa riga, Alessando è il primo a utilizzare logica come nome dello studio del ragionare Alessandro pensa alla logica come esterna alla filosofia vera e propria seguendo l uso della parola organon da parte di Aristotele (ad es. nei Topici, I xiii-xviii), lo studio della logica è propedeutico ad altri studi generalmente, Aristotele stesso si riferisce ai suoi libri sulla logica come analitici (ad es., Retorica, I, iv, 1359b10 e Metafisica IV, iii,1005b3 [nella dispensa a p. 37]) analysis = disfare un nodo, risolvere L ordine tradizionale dei trattati di logica e gli argomenti trattati Categorie (Bekker pp. 1-15) ambiguità di parole (capp. i-iv) sostanza prima e i suoi attributi ( categorie : capp.v-ix) i sensi di opposizione (capp. x-xv) Sull interpretazione (pp ) quantità e qualità delle proposizioni (capp. i-viii) i futuri contingenti (cap. ix) conversione modale (capp. x-xiv) Analitici primi (pp ) Lib I elementi della sillogistica (capp. i-vii) tentativo di modellare ragionamenti modali (capp. viii-xxii) la nozione di dimostrazione (capp. xxiii-xxvi) la selezione di premesse (capp. xxvii-xlvi) Lib II varietà di dimostrazione indiretta (capp. i-xxvii) Analitici secondi (pp ) Lib I la scienza raggiunta con la deduzione (capp. i-xxxiv) Lib II definizione e intuizione dei princìpi (capp. i-xix) Topici (pp ) Lib I-VIII l arte di ragionare sugli argomenti più comuni (con molti esempi) Confutazioni sofistiche (pp ) rassegna di ragionamenti capziosi (capp. i-xxxiv) Alcuni momenti cruciali nel pensiero di Aristotele (383/4-322 a.c.e) sull arte di ragionare A: probabilmente, i suoi primi incarichi di insegnamento nell Accademia di Platone (intorno a ?) includevano lezioni di sofistica / eristica : la capacità di riconoscere (e anche costruire) cattivi ragionamenti il materiale per questi corsi in parte desunti dall Eutidemo di Platone quindi Confutazione sofistiche probabilmente tra i primi trattati ad essere elaborato ma spesso trattate come un nono libro dei Topici

2 e entrambi i trattati anche in evoluzione: nel cap. xxxiv di Confutazioni Aristotele si autocongratula per aver inventato questa scienza dove prima non c era niente (183b35) la sceinza dell eristica o di tutta la logica? B: un momento (forse prima della fondazione della scuola a Mitilene negli ultimi anni 340) in cui Aristotele intravvede il rapporto tra variabili e forme argomentative - questa intuizione sta al centro degli Analitici primi - il senso tecnico di syllogismos ( mettere insieme i discorsi ) è assente dalle Categorie e dai Topici, che forse sono cronologicamente antecedenti - ma il contenuto dei capitoli viii-xxii del primo libro indica che sono molto più tardi e sono stati inseriti un po a caso - alcune nozioni modali sono già presenti comunque nel Sull interpretazione C: un momento (di nuovo non sappiamo datarlo con precisione, ma forse prima della fondazione del Liceo nel 3354-) in cui Aristotele intravvede il rapporto tra deduzione e scienza organizzata questo viene espresso negli Analitici secondi, che devono quindi essere successivi ai Primi anche se questa sequenza è stata contestata alla luce dell ipotesi che il pensiero di Aristotele si emancipa gradualmente dal Platonismo in AnPo, cè più matematica, più teoria dei princìpi (archai), e cenni alla Teoria delle Forme, tutti elementi decisamente in secondo piano in AnPr ma forse la tradizione (a cominciare con Ermippo di Smirne nel terzo secolo a.c.) non sbaglia (una volta tanto), Così, abbiamo un ipotetica sequenza in ordine del tempo: Confutazioni sofistiche (prime bozze) Categorie Topici Primi analitici (tranne I, viii-xxii) Sull interpretazione Rielaborazione delle Confutazioni sofistiche (incluso cap. xxxiv) Secondi analitici Primi analitici I, viii-xxii) La Scienza (quella vera) della Deduzione (in senso stretto) Il momento fondante della teoria formale delle deduzioni (Aristotele, Primi analitici, I, ii, 25a1-26) è il passaggio da a Se nessun piacere è un bene, allora nessun bene è un piacere (25a8) Se nessun A si applica a B, allora nessun B si applica ad A (25a16) Diciamo che A e B qui sono variabili e che nessun è una costante logica La distinzione tra variabili e costanti deriva dalla matematica + è una costante per l addizione 1 è una costante per il numero uno Π è una costante per un certo rapporto tra raggio e circonferenza di un circolo x è una variabile per una quantità x + y = y + x è un modo per esprimere la commutatività dell addizione Il genio di Aristotele fu di applicare la distinzione anche al linguaggio ordinario

3 Altre costanti nella teoria aristotelica: qualche, ogni, qualche non : Se A si applica a qualche B, B deve anche applicarsi a qualche A (25a21) ma Se A non si applica a qualche B, non ne consegue di necessità che B non si applica a qualche A (25a23-4) ad esempio (hoion, 25a4), Se B è animale e A è uomo ; uomo non si applica a ogni animale, ma animale si applica a ogni uomo (25a25-6) (I) a b DISGIUNZIONE/ESCLUSIONE (II) a b INTERSEZIONE (IIIa) a (IIIb) b INCLUSIONE b a (IV )a b IDENTITÀ AffIrmo/nEgO Aab sta per ogni (o tutti) a è (sono) b noto come affermazione universale Iab sta per qualche (almeno uno) a è b noto come affermazione particolare Eab sta per nessun a è b noto come negazione universale Oab sta per qualche (almeno uno) a è non-b noto come negazione particolare

4 Aab Iab Eab Oab Aba Iba Eba Oba (I) F F V V F F V V (II) F V F V F V F V (IIIa) F V F V V V F F (IIIb) V V F F F V F V (IV) V V F F V V F F Conversione semplice: (i) Iab Iba (ii) Iba Iab (iii) Eab Eba (iv) Eba Eab Esemplificazione: (v) Aab Iab (vi) Aba Iba

5 Quadrato delle opposizioni A E I O Due proposizioni sono contraddittorie se e solo se (sse) almeno una è vera e almeno una è falsa contrarie sse non più di una è vera, ma entrambe possono essere false subcontrarie sse non possono essere entrambe false, ma possono essere entrambe vere subalterne: A implica I (ma non viceversa) e E implica O (ma non viceversa) Il passaggio dalle inferenze immediate con gli operatori aristotelici alle inferenze sillogistiche, con due premesse rette dagli stessi operatori presenta un problema combinatorio: con due proprietà (rappresentate dai diagrammi Euler/Venn per insiemi), si hanno solo 5 configurazioni: (I)-(IV) con i quattro operatori ( ogni, qualche, nessun e qualche non ), si hanno solo 8 permutazioni a due posti ma, aggiungendo una proprietà in più, ci sono quaranta configurazioni che vanno dalla reciproca disgiunzione di tutte e tre (corripondente a (I)) all identità di tutte e tre (corrispondente a (IV)) totale combinazioni di tre enunciate di varia quantità e qualità disposti come premesse e conclusion: 256 non tutte queste combinazioni sono sillogismi, ma quali? E quali lo sono?

6 Una strategia a tenaglia (una ricostruzione razionale di un colpo di genio da parte di Aristotele, seguendo Jonathan Lear, Aristotle s Logical Theory, Cambridge, 1980) prima mossa strategica: cercare di eliminare coppie di premesse che non portano o (A) a nessuna conclusione; o (B) a conclusioni di una data forma seconda mossa strategica: cercare di derivare tripli che sono sillogismi a partire da un paradigma perfetto (teleios)

Lezioni 7-9 (24 e 27 ottobre 2017)

Lezioni 7-9 (24 e 27 ottobre 2017) Lezioni 7-9 (24 e 27 ottobre 2017) La Scienza (quella finzionale) della Deduzione (in senso largo) In molti testi (ad es. Studio in Rosso, 1877, cap. 2; Segno dei Quattro, 1890, cap. 1; Scandalo in Boemia,

Dettagli

Lezioni (26 ottobre 2015)

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:

Dettagli

sempre vere sempre false

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

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

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

ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di 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

Dettagli

LOGICA E FILOSOFIA DELLA SCIENZA

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

Dettagli

Insiemi, Numeri, Terminologia. Prof. Simone Sbaraglia

Insiemi, Numeri, Terminologia. Prof. Simone Sbaraglia Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione

Dettagli

Una Breve Introduzione alla Logica

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

Dettagli

Aristotele ARISTOTELE LA VITA E LE OPERE

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

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

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

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve

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

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

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve

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

LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva

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

Dettagli

Linguaggio della Matematica

Linguaggio della Matematica Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi

Dettagli

Corso di Analisi Matematica 1. Insiemi e Logica

Corso di Analisi Matematica 1. Insiemi e Logica 1 / 27 Corso di Analisi Matematica 1 Logica Giulio Starita Università della Campania Luigi Vanvitelli Laurea in Ingegneria Elettronica e Informatica Anno Accademico 2017 2018 2 / 27 Corso di Analisi Matematica

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

Linguaggio della Matematica

Linguaggio della Matematica Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi

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

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

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

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

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

Nozioni di logica matematica

Nozioni di logica matematica MINISTERO DELL ISTRUZIONE, DELL UNIVERSITA E DELLA RICERCA LICEO STATALE P. E. IMBRIANI Linguistico - Scientifico - Scientifico delle Scienze Applicate Via S. Pescatori, 155 83100 Avellino Tel. (2 linee)

Dettagli

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti. INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme

Dettagli

Proposizioni e verità

Proposizioni e verità Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................

Dettagli

I.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica

I.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole

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

mio indirizzo 1 Sarò lieto di ricevere commenti o segnalazioni di errori presso il

mio indirizzo 1 Sarò lieto di ricevere commenti o segnalazioni di errori presso il INTRODUZIONE Purtroppo questo libro è rappresentato molto più dal sottotitolo che dal titolo. Infatti è una semplice trascrizione di miei appunti per vari corsi di logica che ho tenuto in passato all Università

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

Aristotele ARISTOTELE LA VITA E LE OPERE

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

Dettagli

Prerequisiti Matematici

Prerequisiti Matematici Prerequisiti Matematici Richiami di teoria degli insiemi Relazioni d ordine, d equivalenza Richiami di logica Logica proposizionale, tabelle di verità, calcolo dei predicati Importante: Principio di Induzione

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

PROGRAMMA CONSUNTIVO

PROGRAMMA CONSUNTIVO PAGINA: 1 PROGRAMMA CONSUNTIVO A.S.2014-2015 SCUOLA Liceo Linguistico Manzoni DOCENTE: Marina Barbàra MATERIA: Matematica e Informatica Classe 1 Sezione A OBIETTIVI: le parti sottolineate sono da considerarsi

Dettagli

Prof. Roberto Capone. Nozioni di logica matematica

Prof. Roberto Capone. Nozioni di logica matematica Prof. Roberto Capone Nozioni di logica matematica Premesse In matematica non è ammesso un linguaggio ambiguo. Le parole chiave di questo linguaggio sono soltanto sette: Connettivi Non E O Se. allora Se

Dettagli

4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara

4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara 4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I

Dettagli

BACONE SIR FRANCIS BACON (LONDRA ) FONTI ABBAGNANO FORNERO MASSARO LA VERGATA TRABATTONI

BACONE SIR FRANCIS BACON (LONDRA ) FONTI ABBAGNANO FORNERO MASSARO LA VERGATA TRABATTONI BACONE SIR FRANCIS BACON (LONDRA 1561-1626) FONTI ABBAGNANO FORNERO MASSARO LA VERGATA TRABATTONI LA SCIENZA AL SERVIZIO DELL UOMO AVEVA PROGETTATO UN ENCICLOPEDIA DEL SAPERE CHE AVREBBE RINNOVATO COMPLETAMENTE

Dettagli

Logica per la Programmazione

Logica per la Programmazione Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 1 Calcolo Proposizionale: sintassi e semantica Tautologie Esempi di Formalizzazione di Enunciati pag.

Dettagli

Verifica per la classe prima COGNOME... NOME... Classe... Data...

Verifica per la classe prima COGNOME... NOME... Classe... Data... Capitolo Gli insiemi Insiemi Insiemi Sottoinsiemi Operazioni.a Rappresentare per tabulazione e tramite l uso dei diagrammi di Eulero-Venn i seguenti insiemi dati per caratteristica: A {n n H 0 ; n 7} B

Dettagli

CALCOLO DEI PREDICATI DEL I ORDINE

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,

Dettagli

1 Richiami di logica matematica

1 Richiami di logica matematica Geometria e Topologia I 7 marzo 2005 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini

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

Dai Presocratici ad Aristotele Volume 1 sk Aristotele e il primo peripato pag. 1

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

Dettagli

CORSO DI PREPARAZIONE AI TEST DI AMMISSIONE DI SETTEMBRE 2016

CORSO DI PREPARAZIONE AI TEST DI AMMISSIONE DI SETTEMBRE 2016 CORSO DI PREPARAZIONE AI TEST DI AMMISSIONE DI SETTEMBRE 2016 SEDE DI BARI DESTINATARI Il corso è consigliato a coloro che sosterranno i test di ammissione per l accesso alle lauree magistrali a ciclo

Dettagli

PRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE

PRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE PRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE Chiara Andrà & Rosa Iaderosa 21 ottobre 2016 PERCHÈ LA DIMOSTRAZIONE? La matematica è costituita da enunciati in cui sono coinvolti continuamente due aspetti:

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

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 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à

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

CORSO DI PREPARAZIONE AI TEST DI AMMISSIONE DI SETTEMBRE 2016

CORSO DI PREPARAZIONE AI TEST DI AMMISSIONE DI SETTEMBRE 2016 C.so V. Emanuele, 111 76121 Barletta (BT) Tel. +39 392 6871279 / +39 347 2205471 info@vincereiconcorsi.it CORSO DI PREPARAZIONE AI TEST DI AMMISSIONE DI SETTEMBRE 2016 SEDE DI BARI DESTINATARI Il corso

Dettagli

Ruggero Morresi. Neotopica: un linguaggio, una filosofia. eum > scienze della comunicazione

Ruggero Morresi. Neotopica: un linguaggio, una filosofia. eum > scienze della comunicazione Ruggero Morresi Neotopica: un linguaggio, una filosofia eum > scienze della comunicazione eum > scienze della comunicazione Ruggero Morresi Neotopica: un linguaggio, una filosofia eum isbn 978-88-6056-161-9

Dettagli

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 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

Dettagli

Indice sommario. Presentazione... pag. 5 CAPITOLO I. per maresciallo o ispettore

Indice sommario. Presentazione... pag. 5 CAPITOLO I. per maresciallo o ispettore Indice sommario Presentazione... pag. 5 CAPITOLO I Indicazioni sui bandi di concorso per l accesso ai corsi per maresciallo o ispettore 1. Indicazioni generali... 19 1.1. Introduzione al bando.... 19 1.2.

Dettagli

Logica proposizionale

Logica proposizionale Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli

Dettagli

CAPITOLO 1 CENNI STORICI

CAPITOLO 1 CENNI STORICI CAPITOLO 1 CENNI STORICI 1. Gli abachi: calcolare con sassi e palline..... 1 2. I bastoncini di Nepero...... 7 3. Un antico calcolatore analogico: riga+compasso...... 10 4. Oltre le quattro operazioni:

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

GEOMETRIA EUCLIDEA O RAZIONALE. Prof.ssa Angela Donatiello

GEOMETRIA EUCLIDEA O RAZIONALE. Prof.ssa Angela Donatiello GEOMETRIA EUCLIDEA O RAZIONALE Prof.ssa Angela Donatiello Non vi sono dubbi che la geometria storicamente sia partita dalla realtà (il nome stesso letteralmente vuol dire misura della terra ), pensiamo

Dettagli

Management sistemico vitale

Management sistemico vitale Management sistemico vitale Scelte e decisioni in ambito complesso Corso di Management Prof. Sergio Barile Prof. Giuseppe Sancetta 10/10/2016 Lezione numero 4 1 Entropia ed informazione Abduzione: primo

Dettagli

MODULO 1 - Esponenziali e logaritmi

MODULO 1 - Esponenziali e logaritmi PROGRAMMAZIONE INDIVIDUALE A. S. 2014.15 DOCENTE: Gagliardi Stefano CLASSE: 3 a AT MATERIA: Matematica ASSE CULTURALE: Asse Matematico MODULO 1 - Esponenziali e logaritmi Le potenze e le proprietà delle

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

INDICE-SOMMARIO PARTE PRIMA NORME CAPITOLO I LINGUAGGIO NORMATIVO

INDICE-SOMMARIO PARTE PRIMA NORME CAPITOLO I LINGUAGGIO NORMATIVO INDICE-SOMMARIO PARTE PRIMA NORME CAPITOLO I LINGUAGGIO NORMATIVO 1. Il diritto come discorso... 3 2. Sintassi del linguaggio prescrittivo... 4 3. Pragmatica del linguaggio prescrittivo... 6 4. Semantica

Dettagli

Le asserzioni categoriche. Unit 3, Lez 1 Corso di Logica

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 è

Dettagli

CALCOLO PROPOSIZIONALE

CALCOLO PROPOSIZIONALE CALCOLO PROPOSIZIONALE UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che: Se Corrado va al cinema, allora ci va anche

Dettagli

Logica: nozioni di base

Logica: nozioni di base Fondamenti di Informatica Sistemi di Elaborazione delle Informazioni Informatica Applicata Logica: nozioni di base Antonella Poggi Anno Accademico 2012-2013 DIPARTIMENTO DI SCIENZE DOCUMENTARIE LINGUISTICO

Dettagli

INDICE SOMMARIO. Prefazione... pag. XIX PARTE PRIMA DISCIPLINA CIVILISTICA E CONTABILE

INDICE SOMMARIO. Prefazione... pag. XIX PARTE PRIMA DISCIPLINA CIVILISTICA E CONTABILE INDICE SOMMARIO Prefazione... pag. XIX PARTE PRIMA DISCIPLINA CIVILISTICA E CONTABILE CAPITOLO I PREMESSE. ASPETTI ECONOMICO-AZIENDALI DELLA LIQUIDAZIONE. GLI OBBIETTIVI DELLA RIFORMA DEL 2003 E I PROBLEMI

Dettagli

LE REGOLE DI DEDUZIONE

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

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

0 Insiemi, funzioni, numeri

0 Insiemi, funzioni, numeri Giulio Cesare Barozzi, Giovanni Dore, Enrico Obrecht Elementi di analisi matematica - Volume 1 Zanichelli 0 Insiemi, funzioni, numeri Esercizi 0.1. Il linguaggio degli insiemi 0.1.1. Esercizio Poniamo

Dettagli

LICEO SCIENTIFICO ALBERT EINSTEIN ANNO SCOLASTICO Classe 3D. LIBRO DI TESTO: Abbagnano- Fornero CON-FILOSOFARE Dalle origine ad Aristotele

LICEO SCIENTIFICO ALBERT EINSTEIN ANNO SCOLASTICO Classe 3D. LIBRO DI TESTO: Abbagnano- Fornero CON-FILOSOFARE Dalle origine ad Aristotele LICEO SCIENTIFICO ALBERT EINSTEIN ANNO SCOLASTICO 2016-2017 Classe 3D LIBRO DI TESTO: Abbagnano- Fornero CON-FILOSOFARE Dalle origine ad Aristotele PROGRAMA FILOSOFIA LA GRECIA E LA NASCITA DELLA FILOSIA

Dettagli

Anno Scolastico 2015/16 PROGRAMMAZIONE ANNUALE CLASSE PRIMA LICEO LINGUISTICO LICEO DELLE SCIENZE UMANE LICEO ECONOMICO-SOCIALE LICEO MUSICALE

Anno Scolastico 2015/16 PROGRAMMAZIONE ANNUALE CLASSE PRIMA LICEO LINGUISTICO LICEO DELLE SCIENZE UMANE LICEO ECONOMICO-SOCIALE LICEO MUSICALE LICEO LAURA BASSI - BOLOGNA Anno Scolastico 2015/16 PROGRAMMAZIONE ANNUALE CLASSE PRIMA LICEO LINGUISTICO LICEO DELLE SCIENZE UMANE LICEO ECONOMICO-SOCIALE LICEO MUSICALE MATEMATICA ARGOMENTI: GLI INSIEMI

Dettagli

Liceo Artistico Statale A. Caravillani Dipartimento di Matematica. Docente Patrizia Domenicone. Programmazione classi prime Sezione A

Liceo Artistico Statale A. Caravillani Dipartimento di Matematica. Docente Patrizia Domenicone. Programmazione classi prime Sezione A Liceo Artistico Statale A. Caravillani Dipartimento di Matematica Docente Patrizia Domenicone Programmazione classi prime Sezione A Tobia Ravà, Anime di luna, 2004 Programmazione di Matematica Classi Prime

Dettagli

PIANO DI LAVORO E DI ATTIVITA DIDATTICA. Classe Sezione Materia. Prima A Matematica. Docente. Antonella Cervi. Anno scolastico 2014/2015

PIANO DI LAVORO E DI ATTIVITA DIDATTICA. Classe Sezione Materia. Prima A Matematica. Docente. Antonella Cervi. Anno scolastico 2014/2015 Anno scolastico 2014/2015 Classe Sezione Materia Prima A Matematica Nome e cognome Antonella Cervi Docente Firma Pagina 1 di 9 Finalità e obiettivi generali del corso 1. Promuovere le facoltà sia intuitive

Dettagli

PROGRAMMAZIONE DISCIPLINARE

PROGRAMMAZIONE DISCIPLINARE Modello A2 Istituto d Istruzione Superiore POLO-LICEO ARTISTICO - VEIS02400C VENEZIA Liceo Artistico, Liceo Classico e Musicale Dorsoduro, 1073 30123 Venezia tel. 0415225252, fax 041 2414154 PROGRAMMAZIONE

Dettagli

Intelligenza Artificiale I

Intelligenza Artificiale I Intelligenza Artificiale I - AA 27/28 Intelligenza Artificiale I Logica formale Introduzione Marco Piastra Logica formale - Introduzione - Intelligenza Artificiale I - AA 27/28 Sistematicità del linguaggio

Dettagli

Aristotele 384 ac 322 ac

Aristotele 384 ac 322 ac Parte 2 L invenzione di una scienza: La logica formale o logica matematica Organon Come abbiamo visto, Aristotele dà una fondamentale importanza al linguaggio. Il gruppo di testi che se ne occupano ha

Dettagli

2.1. Le metafore della linea e del circolo Circolo o spirale ermeneutica? La qualificazione giuridica dei fatti 23

2.1. Le metafore della linea e del circolo Circolo o spirale ermeneutica? La qualificazione giuridica dei fatti 23 Indice IX Indice Introduzione 1 I La precomprensione 1.1. Oggetto e scopo dell ermeneutica giuridica 7 1.2. Statuto dell ermeneutica 8 1.3. La precomprensione 12 1.4. Il modello dell ermeneutica giuridica

Dettagli

02 - Logica delle dimostrazioni

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

Dettagli

Matematica Corso Base a.a INTRODUZIONE LEZIONE I Federica Ricca

Matematica Corso Base a.a INTRODUZIONE LEZIONE I Federica Ricca Matematica Corso Base a.a. 2017-2018 INTRODUZIONE LEZIONE I Federica Ricca Informazioni generali Introduzione: informazioni generali INSEGNAMENTO DOCENTE MATEMATICA CORSO BASE (Scienze Aziendali E-M) Prof.ssa

Dettagli

Guido Alliney Trento, 4 dicembre Libera volontà. Il fondamento metafisico della libertà del volere in Giovanni Duns Scoto

Guido Alliney Trento, 4 dicembre Libera volontà. Il fondamento metafisico della libertà del volere in Giovanni Duns Scoto Guido Alliney Trento, 4 dicembre 2013 Libera volontà Il fondamento metafisico della libertà del volere in Giovanni Duns Scoto Concezioni tardo antiche della libertà La libertà implica adesione all ordine

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

Logica di Base. Docente: Francesca Benanti. 27 Gennaio 2007

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 è

Dettagli

Introduzione. - Analizzare le parti fondamentali dell opera La logica o Arte di pensare

Introduzione. - Analizzare le parti fondamentali dell opera La logica o Arte di pensare Falsiroli Simonetta 1 Introduzione Scopi: - Analizzare le parti fondamentali dell opera La logica o Arte di pensare - Focalizzare l attenzione ai riferimenti matematici contenuti nel testo 2 1 L opera:

Dettagli

BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1

BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 SOMMARIO DEL TOMO 1 CAPITOLO 1: IL LINGUAGGIO DEGLI INSIEMI 1.1 Gli insiemi e la loro rappresentazione pag. 1 1. I sottoinsiemi pag. 6 1.3 Insieme

Dettagli

Storia della logica dall antichità a Boole

Storia della logica dall antichità a Boole Storia della logica dall antichità a Boole S.I.S.S.I.S. I anno Autore: Antonio Monteleone Indirizzo II Fisico-Matematico-Informatico Classe 49A Prof. T.Marino Pensatori contemporanei o antecedenti a Platone

Dettagli

MATEMATICA DI BASE 1

MATEMATICA DI BASE 1 MATEMATICA DI BASE 1 Francesco Oliveri Dipartimento di Matematica, Università di Messina 30 Agosto 2010 MATEMATICA DI BASE MODULO 1 Insiemi Logica Numeri Insiemi Intuitivamente, con il termine 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

Ragionamento LOGICA E PENSIERO COMUNE. Fondamenti di Psicologia Generale Cap. 20. Dott.ssa Stefania Pighin -

Ragionamento LOGICA E PENSIERO COMUNE. Fondamenti di Psicologia Generale Cap. 20. Dott.ssa Stefania Pighin - Ragionamento LOGICA E PENSIERO COMUNE Fondamenti di Psicologia Generale Cap. 20 Dott.ssa Stefania Pighin - stefania.pighin@unitn.it Due fratelli, Paolo e Francesco, vanno a fare la spesa al mercato. La

Dettagli

ELEMENTI DI LOGICA MATEMATICA LEZIONE I

ELEMENTI DI LOGICA MATEMATICA LEZIONE I ELEMENTI DI LOGICA MATEMATICA LEZIONE I MAURO DI NASSO Introduzione Scopo di questo corso è introdurre la logica matematica attraverso la teoria degli insiemi. La teoria degli insiemi riveste un ruolo

Dettagli

Secondo anno modulo recupero

Secondo anno modulo recupero Secondo anno modulo recupero Unità didattica_1 livello recupero: equazioni di primo grado e formule inverse Padroneggiare il linguaggio formale e i procedimenti dimostrativi. Riconoscere e saper applicare

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

ISTITUTO SCOLASTICO COMPRENSIVO MINEO UNITA 1 I NUMERI

ISTITUTO SCOLASTICO COMPRENSIVO MINEO UNITA 1 I NUMERI ISTITUTO SCOLASTICO COMPRENSIVO MINEO CURRICOLO DI MATEMATICA SCUOLA PRIMARIA classe PRIMA A-B-C INDICATORI OBIETTIVI U.D D'APPRENDIMENTO NUMERI 1) Acquisire il concetto di numero (almeno entro il 100)

Dettagli

IMMANUEL KANT CRITICA DELLA RAGION PURA LOGICA TRASCENDENTALE

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,

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

LINGUAGGIO MATEMATICO DI BASE, MODELLIZZAZIONE E RAGIONAMENTO

LINGUAGGIO MATEMATICO DI BASE, MODELLIZZAZIONE E RAGIONAMENTO Syllabus delle conoscenze per il modulo (comune a tutti i corsi di laurea scientifici) LINGUAGGIO MATEMATICO DI BASE, MODELLIZZAZIONE E RAGIONAMENTO AVVERTENZE PARTICOLARI PER QUESTO SYLLABUS Il modulo

Dettagli

INTRODUZIONE ALLA LOGICA DEONTICA

INTRODUZIONE ALLA LOGICA DEONTICA INTRODUZIONE ALLA LOGICA DEONTICA Parte I: Cenni di antropologia filosofica Schemi ad Uso degli Studenti Roma 2008 0. Schema del Corso BIBLIOGRAFIA GENERALE 0.1. PARTE ANTROPOLOGICA 0.1.1. La libertà 0.1.2.

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