La logica medievale. Prof. Marco Lombardi

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "La logica medievale. Prof. Marco Lombardi"

Transcript

1 La logica medievale Prof. Marco Lombardi

2 Dall antichità al Medioevo Tra la fine del mondo antico e l'inizio del medioevo non sono molti gli eventi da segnalare riguardo la storia della logica. Sicuramente importante è la stesura da parte di Porfirio dell'isagoge, ovvero un'introduzione alle Categorie di Aristotele e nemmeno si può trascurare la teoria dei sillogismi relazionali di Galeno (P=2Q, Q=2C, P=4C). A parte questo si può dire che fino all'xi secolo riguardo la storia della logica si assiste ad un periodo di immobilità. 08/04/15 2 La logica medievale

3 08/04/15 Galeno Porfirio ( ) ( ) 3 La logica medievale

4 La questione degli universali Nel primo medioevo il tema che maggiormente impegna i pensatori intorno alla logica è il problema dello stato ontologico dei generi e delle specie ovvero la questione degli universali. Si vengono a costituire due fondamentali linee di pensiero a riguardo: Linea nominalista: gli universali non sono altro che flatus vocis e non corrispondo in nessun modo alla realtà (tesi fortemente propugnata da Roscellino che fu costretto ad abiurare essendo questa sua dottrina in contraddizione con il dogma cristiano della trinità). Linea realista: la realtà nel suo grado più alto di verità corrisponde proprio agli universali mentre i singoli individui non sono altro che accidenti (tesi propugnata da Anselmo d'aosta). Solo nel XII secolo si riscopre l'organon di Aristotele e Abelardo riesce a costruire una nuova teoria degli universali ispirandosi alle tesi aristoteliche e proponendo una soluzione secondo la quale essi consistono in immagini degli individui stampate nella nostra mente e poi sbiadite. 08/04/15 4 La logica medievale

5 Anselmo d Aosta Abelardo ( ) ( ) 08/04/15 5 La logica medievale

6 XIII secolo Nel XIII secolo invece la logica trova il proprio apogeo all'interno dell'epoca medievale e diventa materia fondamentale all'interno delle università affiancata da grammatica e retorica e proponendosi come studio approfondito della natura dei termini e dei loro rapporti. Si viene a formare il concetto di significazione grazie al quale si può dividere tra termini categorematici (cioè significanti già di loro come i soggetti e i predicati) e sincategorematici (cioè termini che significano solo se accompagnati da termini categorematici, ad esempio le congiunzioni o gli avverbi); si viene inoltre a formare una dottrina delle consequentiae distinte tra complete o incomplete di premesse e quindi perfette o imperfette. Inoltre nello stesso periodo si vengono a formare tesi celebri per la storia della logica come l'ex falso sequitur quodlibet - ovvero il teorema forse ideato da Duns Scoto secondo il quale da un enunciato contraddittorio può seguire qualsiasi enunciato e anche la tesi della contrapposizione secondo la quale data la consequenzialità di due proposizioni vere è anche vera la consequenzialità delle stesse proposizioni false in ordine invertito (Se A allora B e quindi se non B allora non A). 08/04/15 6 La logica medievale

7 08/04/15 Duns Scoto Paolo Veneto ( ) ( ) 7 La logica medievale

8 XIII secolo Sempre nel XIII secolo nelle scuole si assiste a vere e proprie battaglie combattute sul terreno logico e ci impegna anche nella soluzione di paradossi insolubili come quello del mentitore arrivando a soluzioni che suonano molto simili a disquisizioni intorno al linguaggio che ritroveremo solo nel '900. Un ultimo elemento che non si può non citare in questo breve riepilogo della storia della logica medievale è la differenziazione che si viene a formare tra i concetti come necessità e contingenza de dicto e de re. La prima riguarda la necessità (o la contingenza) della correttezza di una proposizione come nell'enunciato necessariamente ogni individuo P della classe C gode dell'attributo A ; mentre la seconda riguarda la necessità (o la contingenza) della correttezza di un enunciato intorno ad un individuo specifico e alla sua natura al di là della coerenza logica come nella frase nella classe C l'individuo P necessariamente gode della proprietà P. Questo genere di problematiche accompagneranno la filosofia e la logica fino alla fine del XIV secolo. 08/04/15 8 La logica medievale

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

La questione degli universali. Sulle possibilità conoscitive della ragione

La questione degli universali. Sulle possibilità conoscitive della ragione La questione degli universali Sulle possibilità conoscitive della ragione Porfirio e Boezio Nel III sec. d. C. il filosofo neoplatonico Porfirio (allievo di Plotino) pubblica un testo che vuole introdurre

Dettagli

Transizione DA cultura Classica A cultura Cristiana

Transizione DA cultura Classica A cultura Cristiana Transizione DA cultura Classica A cultura Cristiana Attraverso l'applicazione dei criteri della cultura classica alla cultura cristiana Es.: coerenza (identità, non contraddizione, terzo escluso) l'accordo

Dettagli

Prefazione 13. Capitolo ii

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

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

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

La logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S

La logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S La logica matematica Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S. 2010-2011 La logica studia le proposizioni logiche e le relazioni tra esse. Una proposizione logica è

Dettagli

Introduzione alla Teologia

Introduzione alla Teologia Introduzione alla Teologia Settima lezione: La nascita della teologia scolastica Istituto Superiore di Scienze Religiose Giuseppe Toniolo - Pescara Prof. Bruno Marien Anno Accademico 2008-2009 11 dicembre

Dettagli

Elementi di Logica matematica. Elementi di logica matematica

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

Dettagli

R. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli

R. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli Liceo Scientifico L.B. Alberti 9 Febbraio 2010 1 / 40 Outline 2 / 40 La come gioco da tavolo Quali sono gli elementi fondamentali di un gioco da tavolo? I Pezzi 3 / 40 La come gioco da tavolo Quali sono

Dettagli

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

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

Dettagli

STOICISMO. Simone Marchiodi, Tommaso Fantini, Mariano Boccarossa, Sara Merella, Lara Coli, Edilia Benzi, Caterina Perezzani. 4D

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

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

Capitolo 2 - Parmenide, Zenone e Eraclito Gli eleati Parmenide Zenone di Elea Eraclito di Efeso...

Capitolo 2 - Parmenide, Zenone e Eraclito Gli eleati Parmenide Zenone di Elea Eraclito di Efeso... INDICE GENERALE Capitolo 1 - I presocratici...3 1. Introduzione... 3 2. I Sette Saggi... 3 3. La scuola di Mileto... 4 4. Talete di Mileto: vita e opere... 5 4.1 La spiegazione naturalistica... 6 5. Anassimandro...

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

Principio di non contraddizione e dialettica 3

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

Dettagli

Anassimene. Pitagora e i pitagorici Eraclito Parmenide Lettura tratta da: Parmenide, Sulla natura, Bompiani 2001 Zenone: la dimostrazione per assurdo

Anassimene. Pitagora e i pitagorici Eraclito Parmenide Lettura tratta da: Parmenide, Sulla natura, Bompiani 2001 Zenone: la dimostrazione per assurdo Ministero dell istruzione, dell università e della ricerca Istituto d Istruzione Superiore Severi-Correnti IIS Severi-Correnti 02-318112/1 via Alcuino 4-20149 Milano 02-89055263 codice fiscale 97504620150

Dettagli

Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica

Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore

Dettagli

4^ liceo Scientifico-Tecnologico (2010/2011) IL SILLOGISMO

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é

Dettagli

RAGIONAMENTO E ANALISI FILOSOFICA A.A Corso di laurea triennale in Filosofia

RAGIONAMENTO E ANALISI FILOSOFICA A.A Corso di laurea triennale in Filosofia 1 RAGIONAMENTO E ANALISI FILOSOFICA A.A. 2016-2017 Corso di laurea triennale in Filosofia 2 Giov. 14-15, aula 6; Ven. 12-14, aula 16 Testi: A. Coliva e E. Lalumera: Pensare. Leggi ed errori del ragionamento,

Dettagli

Cenni di Logica. Hynek Kovarik. Università di Brescia. Analisi Matematica 1

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

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

Logica. Tomas Cipriani

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;

Dettagli

ANSELMO D AOSTA

ANSELMO D AOSTA Prova ontologica (argomento a priori ) Lo stolto afferma: Qualcun altro, invece, afferma: DIO NON ESISTE (proposizione A) DIO È CIÒ DI CUI NON SI PUÒ PENSARE IL MAGGIORE (proposizione B) A questo punto

Dettagli

Filosofia del linguaggio Alfredo Paternoster

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

Dettagli

Prof. Emanuele Papotto 14/10/2010

Prof. Emanuele Papotto 14/10/2010 Prof. Emanuele Papotto Proposizioni e valori di verità In informatica spesso si ricorre ai principi della logica degli enunciati, una branca della matematica che studia l algebra delle proposizioni che

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

L eredità di Aristotele

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

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

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

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

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

Dettagli

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

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

Dettagli

1 Richiami di logica matematica

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

Dettagli

61528 Intelligenza Artificiale M106. Logica Fuzzy

61528 Intelligenza Artificiale M106. Logica Fuzzy 61528 Intelligenza Artificiale M106 Logica Fuzzy Ipse Dixit? Che cosa ha detto Aristotele? Ogni enunciato ben formato o è VERO o è FALSO. A e non A (A ^ A) è una contraddizione logica. Una contraddizione

Dettagli

Progetto Competenze del XXI secolo Pensiero logico. e competenze argomentative. Prof. Alessandro Montrasio 04 aprile 2018 LINKYOU WEBINAR

Progetto Competenze del XXI secolo Pensiero logico. e competenze argomentative. Prof. Alessandro Montrasio 04 aprile 2018 LINKYOU WEBINAR Progetto Competenze del XXI secolo Pensiero logico e competenze argomentative LINKYOU WEBINAR Prof. Alessandro Montrasio 04 aprile 2018 La logica come analisi dell argomentazione Intendiamo la logica come

Dettagli

Ruggero Bacone e la «Perspectiva» come scienza sperimentale

Ruggero Bacone e la «Perspectiva» come scienza sperimentale INDICE Avvertenza alla seconda edizione Prefazione alla terza edizione xiii xv Introduzione 1 Roberto Grossatesta e la «Perspectiva» 9 La «Perspectiva» come scienza dimostrativa 9 Le Fonti 14 L'influenza

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

Verità, tautologia e implicazione logica

Verità, tautologia e implicazione logica Condizioni di verità delle frasi di LP erità, tautologia e implicazione logica Sandro Zucchi Passiamo ora alla terza parte del compito di descrivere il linguaggio LP: Come vengono calcolate le condizioni

Dettagli

Logica e fondamenti di matematica

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

Dettagli

La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di

La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di studio da parte anche dei matematici. LE PROPOSIZIONI

Dettagli

Logica proposizionale

Logica proposizionale Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_2 V1.1 Logica proposizionale Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale

Dettagli

6 Lezione: semantica modellistica. WITTGENSTEIN - Tractatus logico philosophicus: IL SENSO COME CONDIZIONI DI VERITA'

6 Lezione: semantica modellistica. WITTGENSTEIN - Tractatus logico philosophicus: IL SENSO COME CONDIZIONI DI VERITA' 6 Lezione: semantica modellistica WITTGENSTEIN - Tractatus logico philosophicus: IL SENSO COME CONDIZIONI DI VERITA' (1) teoria dell'immagine Un enunciato mostra come stanno le cose se è vero (mostra cioè

Dettagli

Ragionamento formalei. Ragionamento formale

Ragionamento formalei. Ragionamento formale Ragionamento formale La necessità e l importanza di comprendere le basi del ragionamento formale, utilizzato in matematica per dimostrare teoremi all interno di teorie, è in generale un argomento piuttosto

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

Lo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione.

Lo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione. Logica binaria 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 di logica si chiede

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

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

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

Dettagli

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

DIETRO LE QUINTE DELLA MATEMATICA

DIETRO LE QUINTE DELLA MATEMATICA DIETRO LE QUINTE DELLA MATEMATICA TEKNOTRE Anno Accademico 2016-2017 Lezione n. 12 (5-5-2017) PERUCCO Pieraldo Richiami Matematica : insieme di DOGMI di FEDE o di OPINIONI? Metodo deduttivo, logica e processo

Dettagli

Programma di Filosofia Classe 4, sez. B I.I.S. "Croce-Aleramo" Roma anno scolastico

Programma di Filosofia Classe 4, sez. B I.I.S. Croce-Aleramo Roma anno scolastico Programma di Filosofia Classe 4, sez. B I.I.S. "Croce-Aleramo" Roma anno scolastico 2017-2018 Vol. 1B LO STOICISMO 1. La scuola stoica 2. La logica (no) 3. La fisica 4. L antropologia 5. L etica 6. La

Dettagli

DIETRO LE QUINTE DELLA MATEMATICA

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

Dettagli

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

Dettagli

Che cos è la filosofia analitica?

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

Dettagli

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

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

La disputa sugli Universali. Gli universali: il problema. Soluzioni del problema

La disputa sugli Universali. Gli universali: il problema. Soluzioni del problema La disputa sugli Universali Gli universali: il problema A partire dal XII secolo, uno dei più frequenti temi di discussione fra gli Scolastici del Medioevo è il cosiddetto «problema degli universali».

Dettagli

1 Il linguaggio matematico

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

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

Come si fa a distinguere il vero dal falso? Occorre elaborare una filosofia pratica che migliori la vita dell uomo.

Come si fa a distinguere il vero dal falso? Occorre elaborare una filosofia pratica che migliori la vita dell uomo. 1596-1650 Il Problema Come si fa a distinguere il vero dal falso? Occorre elaborare una filosofia pratica che migliori la vita dell uomo. Questa filosofia deve possedere un metodo unico e semplice che

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

Linguaggio della logica Calcolo della verità/falsità di «affermazioni»

Linguaggio della logica Calcolo della verità/falsità di «affermazioni» Linguaggio della logica Calcolo della verità/falsità di «affermazioni» Linguaggio della logica Proposizioni semplici e composte Le frasi che formano i discorsi del nostro linguaggio naturale possono essere

Dettagli

Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;

Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,

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

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

Analisi Matematica A CONTENUTI DEL CORSO. MODALITÀ D ESAME: Prova Scritta + Prova orale. Ingegneria Civile Ingegneria per l Ambiente e il Territorio

Analisi Matematica A CONTENUTI DEL CORSO. MODALITÀ D ESAME: Prova Scritta + Prova orale. Ingegneria Civile Ingegneria per l Ambiente e il Territorio 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

Dettagli

Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva

Sesto modulo: Logica Obiettivi 1. individuare dei calcoli logici che consentano di meccanizzare l attività deduttiva Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva 2. stabilire quali ragionamenti sono corretti e quali no 3. distinguere tra condizione

Dettagli

Analisi Matematica A

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

Dettagli

Tautologie e contraddizioni

Tautologie e contraddizioni Tautologie e contraddizioni 1 Tautologie importanti: Non contraddizione; legge di Scoto e leggi di De Morgan A B (A A) (A A) B (A B) ( A B) (A B) ( A B) V V V V V V V F V V V V F V V V V V F F V V V V

Dettagli

1 Richiami di logica matematica

1 Richiami di logica matematica Geometria I 2009-mar-10 1 1 Richiami di logica matematica Cfr: M. Conti, D.L. Ferrario, S. Terracini, G. Verzini: Analisi matematica, Vol I, dal calcolo all analisi, Apogeo, 2006. Cap. ℵ. Definire cos

Dettagli

La comunicazione vista dal nostro cervello. Indice. Parte prima. Gli interlocutori emisferici e i loro linguaggi. Parte seconda

La comunicazione vista dal nostro cervello. Indice. Parte prima. Gli interlocutori emisferici e i loro linguaggi. Parte seconda La comunicazione vista dal nostro cervello Indice Introduzione 8 Parte prima Gli interlocutori emisferici e i loro linguaggi 1.1. Chi sono gli interlocutori emisferici? 1.2. La mappa e il territorio 1.3.

Dettagli

5 Lezione: Nominazione e forma logica. SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO. oggetto concetto valore di verità estensione.

5 Lezione: Nominazione e forma logica. SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO. oggetto concetto valore di verità estensione. 5 Lezione: Nominazione e forma logica SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO termine predicato enunciato singolare senso modo di modo di dare pensiero dare il il riferimento riferimento

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

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. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve

Dettagli

Intelligenza Artificiale. Logica proposizionale: calcolo simbolico

Intelligenza Artificiale. Logica proposizionale: calcolo simbolico Intelligenza Artificiale Logica proposizionale: calcolo simbolico Marco Piastra Logica formale (Parte 2) - 1 Parte 2 Calcolo logico Assiomi Derivazioni Derivazioni e conseguenza logica Completezza Logica

Dettagli

DALLA GEOMETRIA EUCLIDEA ALLE GEOMETRIE NON EUCLIDEE PROF. SILVIO ARCOLESSE LICEO CLASSICO M. PAGANO CAMPOBASSO

DALLA GEOMETRIA EUCLIDEA ALLE GEOMETRIE NON EUCLIDEE PROF. SILVIO ARCOLESSE LICEO CLASSICO M. PAGANO CAMPOBASSO DALLA GEOMETRIA EUCLIDEA ALLE GEOMETRIE NON EUCLIDEE PROF. SILVIO ARCOLESSE LICEO CLASSICO M. PAGANO CAMPOBASSO LE TEORIE MATEMATICHE SONO SISTEMI IPOTETICO-DEDUTTIVI Gli enti della teoria vengono definiti

Dettagli

METODI MATEMATICI PER L INFORMATICA

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

Dettagli

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

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

UNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE

UNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE UNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE TAVOLE DI VERITÀ, COLETEZZA VERO-FUNZIONALE Esercizio 1. Calcola le tavole

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

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

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

Dettagli

LICEO SCIENTIFICO STATALE GUIDO CASTELNUOVO PROGRAMMA DI FILOSOFIA CLASSE IV I ANNO SCOLASTICO

LICEO SCIENTIFICO STATALE GUIDO CASTELNUOVO PROGRAMMA DI FILOSOFIA CLASSE IV I ANNO SCOLASTICO LICEO SCIENTIFICO STATALE GUIDO CASTELNUOVO PROGRAMMA DI FILOSOFIA CLASSE IV I ANNO SCOLASTICO 2013-2014 Da La filosofia volume 1B N. Abbagnano, G. Fornero, Paravia Unità 5 Capitolo 2: Lo stoicismo 1.

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

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

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

Filosofi e profeti. Una questione di metodo. Cos è un argomento. Università degli Studi di Milano

Filosofi e profeti. Una questione di metodo. Cos è un argomento. Università degli Studi di Milano Una questione di metodo Università degli Studi di Milano Filosofi e profeti Sandro Zucchi 2015-2016 Prima di affrontare la questione se le nostre pratiche correnti nei confronti degli animali siano giustificate

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

PROGRAMMA DI STORIA. Liceo Classico Statale Vitruvio, Formia CLASSE 1 C ANNO SCOLASTICO 2013/2014 PROF. A.OLIVO

PROGRAMMA DI STORIA. Liceo Classico Statale Vitruvio, Formia CLASSE 1 C ANNO SCOLASTICO 2013/2014 PROF. A.OLIVO PROGRAMMA DI STORIA Liceo Classico Statale Vitruvio, Formia CLASSE 1 C ANNO SCOLASTICO 2013/2014 PROF. A.OLIVO I/I SECOLI CENTRALI DEL MEDIOEVO: SECC. XI/XIII 1-I fondamenti del potere 2.1-La signoria

Dettagli

Logica di Base. Docente: Francesca Benanti. 13 Dicembre 2007

Logica di Base. Docente: Francesca Benanti. 13 Dicembre 2007 Logica di Base Docente: Francesca Benanti 13 Dicembre 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica

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

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

P : gli iscritti all università di Bari sono più di 1000

P : gli iscritti all università di Bari sono più di 1000 BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia il ragionamento deduttivo, ovvero le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento

Dettagli

Prof. Monti a.s

Prof. Monti a.s Conclusioni sulla Patristica ti e considerazioni generali > I PERIODI DELLA PATRISTICA < Abbiamo visto come l avvento del Cristianesimo abbia deviato la filosofia, dandole un nuovo aspetto. Agostino è

Dettagli

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

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

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