Lezioni 7-9 (16 e19 ottobre 2017)
|
|
- Luigi Roberto
- 6 anni fa
- Visualizzazioni
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) 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,
DettagliLezioni (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:
Dettaglisempre 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
DettagliEs. 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
DettagliLogica: 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
DettagliISTITUTO 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
DettagliLOGICA 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
DettagliInsiemi, 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
DettagliUna 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
DettagliAristotele 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
DettagliLogica 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
DettagliUn 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
DettagliCenni 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
DettagliTemi 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
DettagliSemantica 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
DettagliCenni 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
DettagliRichiami 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
DettagliLOGICA 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
DettagliLinguaggio 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
DettagliCorso 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
DettagliInformatica. 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
DettagliLinguaggio 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
DettagliGeorge 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
DettagliCALCOLO 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
DettagliCenni 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
DettagliNOZIONI 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
DettagliIntroduzione 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
DettagliNozioni 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)
DettagliINSIEMI. 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
DettagliProposizioni 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à...............................................
DettagliI.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
DettagliRichiami 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
Dettaglimio 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à
DettagliMateriale 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
DettagliAristotele 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
DettagliPrerequisiti 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
DettagliBREVE 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
DettagliPROGRAMMA 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
DettagliProf. 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
Dettagli4. 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
DettagliBACONE 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
DettagliLogica 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.
DettagliVerifica 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
DettagliCALCOLO 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,
Dettagli1 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
DettagliNOZIONI 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
DettagliDai 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
DettagliCORSO 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
DettagliPRESENTAZIONE 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:
DettagliLogica 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
DettagliStupido è 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à
DettagliL'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
DettagliCORSO 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
DettagliRuggero 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
DettagliClasse 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
DettagliIndice 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.
DettagliLogica 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
DettagliCAPITOLO 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:
DettagliLuca 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
DettagliGEOMETRIA 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
DettagliManagement 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
DettagliMODULO 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
DettagliElementi 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
DettagliINDICE-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
DettagliLe 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 è
DettagliCALCOLO 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
DettagliLogica: 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
DettagliINDICE 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
DettagliLE 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
DettagliFilosofia 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:
Dettagli0 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
DettagliLICEO 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
DettagliAnno 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
DettagliLiceo 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
DettagliPIANO 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
DettagliPROGRAMMAZIONE 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
DettagliIntelligenza 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
DettagliAristotele 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
Dettagli2.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
Dettagli02 - 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
DettagliMatematica 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
DettagliGuido 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
Dettagli04 - 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,
DettagliLogica 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 è
DettagliIntroduzione. - 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:
DettagliBOOK 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
DettagliStoria 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
DettagliMATEMATICA 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
DettagliAppunti 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
DettagliRagionamento 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
DettagliELEMENTI 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
DettagliSecondo 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
DettagliLa 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...
DettagliISTITUTO 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)
DettagliIMMANUEL 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,
DettagliLogica 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
DettagliLINGUAGGIO 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
DettagliINTRODUZIONE 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.
Dettagli3. 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