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

Dimensione: px
Iniziare la visualizzazioe della pagina:

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

Transcript

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

2 Un piccolo gioco per riscaldare l atmosfera CHE COSA HANNO IN COMUNE QUESTE IMMAGINI?

3 BABBO NATALE

4 IL QUADRATO ROTONDO

5 IL FIGLIO DI BARACK OBAMA

6 APOLLO

7 IL NUMERO CARDINALE MASSIMO

8 LA MONTAGNA D ORO

9 L attuale re di Francia

10 Pegaso

11 Babbo Natale, il quadrato rotondo, il figlio di Barack Obama, il dio Apollo, il numero cardinale massimo, la montagna d oro, l attuale re di Francia, Pegaso condividono una medesima caratteristica SONO TUTTE ENTITA INESISTENTI

12 Bertrand Russell - Filosofia del linguaggio

13 Abbiamo alcuni problemi con il linguaggio

14 1. Il problema delle entità inesistenti Il linguaggio non può parlare di entità inesistenti: un nome proprio deve avere sempre un riferimento, deve cioè designare un entità singolare effettivamente esistente. Problema: Il linguaggio ordinario abbonda di nomi propri che designano entità inesistenti (Babbo Natale, Apollo, Topolino, Amleto, Sherlock Holmes, ecc.). Problema: Enunciati negativi del tipo x non esiste sembrano spingerci ad ammettere in qualche modo l esistenza di x per poi dire di questo x che esso non esiste il che è una contraddizione. Babbo Natale non esiste Il quadrato rotondo non esiste

15 2. Il problema del Terzo Escluso La Legge del Terzo Escluso: per ogni enunciato P, o P o non-p (non si dà una terza possibilità) Secondo la Legge del Terzo Escluso, deve essere vero A è B o A non é B. Quindi deve essere vero l attuale re di Francia è calvo o l attuale re di Francia non è calvo. Ma se enumeriamo tutte le cose che sono calve e le cose che non sono calve, non troveremo l attuale re di Francia in nessuna delle due liste. Problema: Quando il soggetto grammaticale di una frase non ha un riferimento, allora la Legge del Terzo Escluso non vale più; per es. L attuale re di Francia è calvo. Il figlio di Barack Obama vive in Italia.

16 3. Il problema dell identità Indiscernibilità degli Identici: Se a = b, allora tutto ciò che è vero dell uno è vero dell altro. Se a è identico a b, allora tutto ciò che è vero dell uno è vero dell altro, e l uno può essere sostituito all altro in ogni enunciato senza alterare la verità o falsità di quell enunciato. Ora, Giorgio IV voleva sapere se Scott era l autore di Waverly, e in effetti Scott era l autore di Waverly. Quindi possiamo sostituire l autore di Waverly con Scott e provare così che Giorgio IV voleva sapere se Scott era Scott. Problema: L enunciato Giorgio IV voleva sapere se Scott era l autore di Waverly è presumibilmente vero, mentre l enunciato Giorgio IV voleva sapere se Scott era Scott è presumibilmente falso in quanto assurdo.

17 L origine dei nostri problemi col linguaggio Russell ritiene che il linguaggio ordinario ci inganni! La superficie grammaticale del linguaggio, basata sulla forma soggetto-predicato, nasconde la vera struttura logica degli enunciati. L impossibilità di riconoscere la vera forma logica sotto la superficie è responsabile delle difficoltà esposte. Occorre quindi tradurre il linguaggio ordinario in un linguaggio ideale, logicamente rigoroso, ed evitare così problemi e paradossi.

18 Soluzione del problema 1: entità inesistenti Supponiamo di dire: «il quadrato rotondo non esiste». Sembra palese che questa sia una proposizione vera, tuttavia non possiamo considerarla come la negazione dell esistenza di un certo oggetto chiamato «il quadrato rotondo». Infatti se vi fosse un oggetto del genere, esso esisterebbe: non possiamo dapprima assumere che vi sia un certo oggetto e poi passare a negare che un tale oggetto vi sia. Ogniqualvolta si può supporre che il soggetto grammaticale di una proposizione non esista senza che questa supposizione renda la proposizione priva di significato, è palese che il soggetto grammaticale non è un nome proprio, ossia non è un nome che rappresenti in maniera diretta qualche oggetto. Pertanto in tutti i casi siffatti, deve essere possibile analizzare la proposizione in modo tale che venga a scomparire quello che ne è il soggetto grammaticale. Così quando diciamo «il quadrato rotondo non esiste», possiamo sostituire, come primo tentativo di direzione di un analisi del genere «è falso che vi sia un oggetto x il quale sia al contempo rotondo e quadrato».

19 Soluzione del problema 1: entità inesistenti L enunciato (1) «Il quadrato rotondo non esiste» deve quindi essere parafrasato o tradotto in (1.1) «É falso che vi sia un oggetto x che sia al contempo rotondo e quadrato». Trascritto in simboli logici (1.1) diventa: [( x)(rx Qx)] Quelli che all apparenza si presentano come nomi propri, pur non avendo alcun riferimento (Apollo, Babbo Natale, Amleto ), sono in realtà descrizioni abbreviate, non veri nomi propri, e vanno interpretati nel modo seguente: Apollo = il dio greco del sole, figlio di Zeus e Latona, fratello di Artemide che vive sul monte Olimpo. Babbo Natale = l uomo barbuto che porta i doni la vigilia di Natale, che viaggia su una slitta trainata da renne che vive in Lapponia. Al posto di un termine singolare (nome proprio) abbiamo così una stringa di descrizioni prive di riferimento, alle quali cioè non corrisponde alcuna entità esistente.

20 Soluzione del problema 2: Terzo Escluso L enunciato (2) «L attuale re di Francia è calvo» è vero o falso? Non si dà infatti una terza possibilità. Essendo però un enunciato privo di riferimento, sembra impossibile giudicarlo vero o falso, semmai privo di senso: una soluzione inaccettabile per Russell. La falsità di (2) appare evidente una volta che la sua struttura logica viene esplicitata per mezzo di una parafrasi: (2.1) «Esiste almeno un x tale che a) x è l attuale re di Francia, e b) x è calvo». L analisi della struttura logica di (2.1) ci permette di affermarne la falsità in ragione della falsità di a.

21 Soluzione del problema 2: Terzo Escluso Grazie ad un analisi del genere possiamo stabilire la falsità dell enunciato (3) «L attuale re del Belgio è calvo». Esiste almeno un x tale che a) x è l attuale re del Belgio, e b) x è calvo». In questo caso l enunciato è falso in ragione della falsità di b. Filippo I del Belgio

22 Soluzione del problema 3: identità «Scott» e «l autore di Waverly» non sono simboli equivalenti: il primo è un nome proprio, mentre il secondo è una descrizione. Il significato di un nome proprio è il suo riferimento, l entità reale che esso designa. Il significato di una descrizione è un determinato senso o contenuto di pensiero, che non necessariamente deve avere anche un riferimento (nel caso de «l autore di Waverly» ce l ha, nel caso de «l attuale re di Francia» no). L enunciato (4) «Giorgio IV voleva sapere se Scott era l autore di Waverly» non dice la stessa cosa di (5) «Giorgio IV voleva sapere se Scott era Scott» - «Scott» e «l autore di Waverly» hanno infatti un diverso significato.

23 Soluzione del problema 3: identità Sir Walter Scott ( ) fu uno scrittore e poeta scozzese, tra i principali esponenti del Romanticismo britannico e padre riconosciuto del romanzo storico. Tra le sue opere ricordiamo: La donna del lago (1810), Waverley (1814), L antiquario (1816), Ivanhoe (1819), Kenilworth (1821), Il talismano (1825).

24 Costruzione di un linguaggio ideale, adatto agli scopi della logica e della matematica Analisi del linguaggio ordinario per metterne in luce la struttura logica Distinzione tra nomi propri e descrizioni Prevalenza del riferimento sul senso Atteggiamento realista: il linguaggio deve parlare della realtà, di ciò che esiste

forma linguistica forma logica gli enunciati in cui compaiono descrizioni devono essere analizzati riducendoli a

forma linguistica forma logica gli enunciati in cui compaiono descrizioni devono essere analizzati riducendoli a Nomi vs descrizioni Bertrand Russell On denoting (1905) Nomi propri (grammaticali): Piero Trieste Descrizioni: indefinite: un uomo una città definite: il figlio di Piero l uomo che è appena arrivato il

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

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

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

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

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

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

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

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

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

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

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

La logica della finzione

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

Dettagli

4 La Logica come base di ogni scienza. 5 Alla ricerca della forma logica. logica

4 La Logica come base di ogni scienza. 5 Alla ricerca della forma logica. logica 4 La Logica come base di ogni scienza La Logica è alla base di ogni scienza (o teoria) in quanto è fondamento di ogni scienza non tanto per i contenuti specifici ma per la loro articolazione deduttiva.

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

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

Verità nella finzione

Verità nella finzione Mondi di finzione Verità nella finzione La teoria di D. Lewis Sandro Zucchi 2013-14 Nelle lezioni precedenti, abbiamo introdotto un ingrediente, i mondi possibili, per rendere conto del significato delle

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

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

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

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

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

2 non è un numero razionale

2 non è un numero razionale 2 non è un numero razionale 1. Richiami: numeri pari e dispari. Un numero naturale m è pari (rispettivamente dispari) se e solo se esiste un numero naturale r tale che m = 2r (rispettivamente m = 2r +

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

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

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

Esercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo.

Esercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo. Sapienza Università di Roma - Facoltà I3S Corso di Laurea in Statistica Economia Finanza e Assicurazioni Corso di Laurea in Statistica Economia e Società Corso di Laurea in Statistica gestionale Matematica

Dettagli

Connettivi del linguaggio e della logica

Connettivi del linguaggio e della logica Connettivi del linguaggio e della logica Fino a che punto il significato di,, e corrisponde al significato delle espressioni del linguaggio naturale e o, se... allora... e non? e e Congiunzioni e connettivi

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

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

Introduzione alla Matematica per le Scienze Sociali - parte I

Introduzione alla Matematica per le Scienze Sociali - parte I Introduzione alla Matematica per le Scienze Sociali - parte I Lucrezia Fanti Istituto Nazionale per l Analisi delle Politiche Pubbliche (INAPP) lucrezia.fanti@uniroma1.it Lucrezia Fanti Intro Matematica

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

Introduzione all algebra di Boole. Introduzione all'algebra di Boole

Introduzione all algebra di Boole. Introduzione all'algebra di Boole Introduzione all algebra di Boole Introduzione all'algebra di Boole 1 Concetto di logica Esistono regole che sottostanno al ragionamento umano, o questo è una attività spontanea e casuale? Come mai certi

Dettagli

QUIZ DI LOGICA. Dr.ssa Cinzia Beligni

QUIZ DI LOGICA. Dr.ssa Cinzia Beligni QUIZ DI LOGICA Dr.ssa Cinzia Beligni cinzia.beligni@opifipt.org Quiz di logica matematica Si possono trovare in vario modo: Sequenza di dati numerico Sequenza di grafici Sequenza di lettera Presentati

Dettagli

Fondamenti della matematica. Gianluigi Bellin

Fondamenti della matematica. Gianluigi Bellin Fondamenti della matematica Gianluigi Bellin November 17, 2010 Insiemi. La nozione di insieme è così generale che non si può definire senza usare una nozione simile, come quella di una collezione, di una

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

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

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

ELEMENTI DI LOGICA. Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),...

ELEMENTI DI LOGICA. Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),... ELEMENTI DI LOGICA Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),... Le variabili libere x, y,... sono argomenti che possono assumere valori diversi

Dettagli

Alberi di sequenti per un linguaggio predicativo L 1.

Alberi di sequenti per un linguaggio predicativo L 1. Alberi di sequenti per un linguaggio predicativo L 1. Si estenda il linguaggio L 1 con un insieme C infinito numerabile di costanti individuali. Un multinsieme è un insieme con ripetizioni. Un sequente

Dettagli

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: Elementi di Algebra e Logica 2008. 8. Logica. 1. Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: (a) p ( q r); (b) p (q r); (c) (p q) ( p r); (d) (p q) ( p r); (e) (p

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

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

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

Dettagli

Errata corrige del libro Introduzione alla logica e al linguaggio matematico

Errata corrige del libro Introduzione alla logica e al linguaggio matematico Errata corrige del libro Introduzione alla logica e al linguaggio matematico 28 gennaio 2009 Capitolo 1 Pag. 7, Definizione 6. Il complemento di un sottoinsieme A di I è il sottoinsieme A = {x I : x /

Dettagli

Maiuscole e minuscole

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

Dettagli

2. I condizionali indicativi

2. I condizionali indicativi 2. I condizionali indicativi 2.1. Da un punto di vista logico La semantica è quella branca della linguistica che si occupa del significato delle espressioni che analizza cioè la relazione tra i segni e

Dettagli

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

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

Dettagli

Esercizi sul Calcolo Proposizionale

Esercizi sul Calcolo Proposizionale Esercizi sul Calcolo Proposizionale Francesco Sborgia Matricola: 459245 December 7, 2015 1 Esercizio 1 Per ogni formula A dimostrare che ρ(a) = min{n A F n } Definizione 1. Ricordiamo che, dato un linguaggio

Dettagli

Logica proposizionale

Logica proposizionale Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)

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

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

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

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

Dettagli

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

Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni

Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni Maria Rita D Orio, Giada Moretti, Daniele Vitacolonna Nota! Useremo per tutti gli esercizi a = 5, b = 9. 1 Esercizi di logica Esercizio

Dettagli

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

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

Dettagli

Logica Proposizionale

Logica Proposizionale Intelligenza rtificiale I Logica Proposizionale Introduzione Marco Piastra Intelligenza rtificiale I -.. 28-29 29 Introduzione al corso ] lgebre di Boole Definizione Una collezione di oggetti X su cui

Dettagli

1 IL PROBLEMA DELLA VAGHEZZA

1 IL PROBLEMA DELLA VAGHEZZA 1 IL PROBLEMA DELLA VAGHEZZA DEFINIZIONI PRELIMINARI: Predicato: un espressione che, applicata ad un soggetto, e opportunamente declinata, produce un enunciato. Estensione del predicato: l insieme degli

Dettagli

Esercizi su validità e tavole di verità

Esercizi su validità e tavole di verità Esercizi su validità e tavole di verità soluzioni Sandro Zucchi 2013-14 Risposte al primo esercizio Le formule (1)-(6), (9) e (12) sono formule ben formate di LP, le altre no: p (1) q (2) (p q) (3) (p

Dettagli

LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA

LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA L impostazione logico-deduttiva propria della matematica affida un importanza basilare alle definizioni. La ricerca, poi,

Dettagli

Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale

Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale Affermazioni aperte e quantificatori Definizione Una affermazione aperta è una affermazione che coinvolge una o più variabili. Esempi (a) 5 ³ 3x 2 (b) Il bambino ha un quaderno rosso. Una affermazione

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

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

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

detta tavola di verità, in cui nella prima colonna compaiono i valori di verità della

detta tavola di verità, in cui nella prima colonna compaiono i valori di verità della LOGICA DELLE PROPOSIZIONI Proposizioni Nel linguaggio naturale, ovvero nel linguaggio che parliamo quotidianamente per comunicare, indichiamo con il termine proposizione una frase che esprime un pensiero

Dettagli

LOGICA MATEMATICA PER INFORMATICA

LOGICA MATEMATICA PER INFORMATICA LOGICA MATEMATICA PER INFORMATICA A.A. 10/11, DISPENSA N. 2 Sommario. Assiomi dell identità, modelli normali. Forma normale negativa, forma normale prenessa, forma normale di Skolem. 1. L identità Esistono

Dettagli

Fondamenti di Informatica 2

Fondamenti di Informatica 2 Fondamenti di Informatica 2 Linguaggi e Complessità : Lezione 1 Corso Fondamenti di Informatica 2 Marco Schaerf, 2009-2010 Linguaggi e Complessità : Lezione 1 1 Logica proposizionale Linguaggio matematico

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

ESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A

ESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo

Dettagli

ABILITÀ LOGICO MATEMATICHE DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI A.A LOGICA

ABILITÀ LOGICO MATEMATICHE DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI A.A LOGICA 1 Che cos è una proposizione logica? LOGICA Una proposizione logica è un espressione linguistica, cioè una frase, che può essere vera (V) o falsa (F). Consideriamo le frasi: 1. 5 è un numero primo 2. Roma

Dettagli

Il significato. Anno accademico 2017/2018 Psicologia della Comunicazione Prof.ssa Serino. Quarta Lezione

Il significato. Anno accademico 2017/2018 Psicologia della Comunicazione Prof.ssa Serino. Quarta Lezione Il significato Anno accademico 2017/2018 Psicologia della Comunicazione Prof.ssa Serino Quarta Lezione Quarta lezione: Il significato Sommario Il significato: tre approcci Capitolo 3 «Comunicazione e Significato»

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

Il tentativo di Goodman

Il tentativo di Goodman Alla ricerca di una via di uscita Il tentativo di Goodman Sandro Zucchi 2013-14 In questa lezione, per prima cosa cercheremo di raccogliere un po le idee per quanto riguarda il nostro tentativo di tradurre

Dettagli

ELEMENTI DI LOGICA. Siano p e q le due proposizioni: p: 3 è un numero primo q: 20 è divisibile per 5 Enunciare le proposizioni p q, p q.

ELEMENTI DI LOGICA. Siano p e q le due proposizioni: p: 3 è un numero primo q: 20 è divisibile per 5 Enunciare le proposizioni p q, p q. ELEMENTI DI LOGICA Proposizioni e operazioni 2 3 4 Stabilire quali di queste frasi sono proposizioni logiche e stabilirne il valore di verità: a) 5 è un numero dispari b) Napoli è il capoluogo della Campania

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

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

Cerchiamo di capire che cosa questo significa

Cerchiamo di capire che cosa questo significa http://filosofia.dipafilo.unimi.it/~paganini/index.html A tutti appare chiaro che Quando leggiamo una frase ambigua facciamo molto fatica a cogliere l ambiguità, noi leggiamo la frase in base a una certa

Dettagli

Introduzione alla logica matematica

Introduzione alla logica matematica Introduzione alla logica matematica 1 PROPOSIZIONE LOGICA Ogni discorso è fatto mediante espressioni di vario tipo che sono dette: proposizioni. Nel linguaggio ordinario, si chiama proposizione qualunque

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

2. Quesiti dell area scientifica e scientifico-tecnologica

2. Quesiti dell area scientifica e scientifico-tecnologica 2. Quesiti dell area scientifica e scientifico-tecnologica Logica 01 Scegliere fra le alternative proposte quella che completa la serie: a b c d e 02 Un auto percorre 20.000 km nel corso di un lungo viaggio.

Dettagli

Implicazione, implicatura, presupposizione

Implicazione, implicatura, presupposizione Implicazione, implicatura, presupposizione scheda 2 Adattato da A. Bonomi e A. Zucchi (2001) Tempo e linguaggio, Milano falso: Se l enunciato (1) è vero, è impossibile che l enunciato (2) sia (1) Terry

Dettagli

Esercitazioni per il corso di Logica Matematica

Esercitazioni per il corso di Logica Matematica Esercitazioni per il corso di Logica Matematica Luca Motto Ros 15 aprile 2005 Esercizi Nota importante. In questa dispensa sono stati raccolti, senza alcun ordine particolare, alcuni esercizi che possono

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

LOGICA FILOSOFICA. W. V. Quine Esponente principale della filosofia analitica

LOGICA FILOSOFICA. W. V. Quine Esponente principale della filosofia analitica LOGICA FILOSOFICA W. V. Quine Esponente principale della filosofia analitica Alfred Tarski Riassunto del temi di Alfred Tarski Concetto soddisfacente della definizione della verità In primo luogo, specificare

Dettagli

Specifica formale. Verifica formale (Prima parte) 03: Logica temporale lineare 1 / 26

Specifica formale. Verifica formale (Prima parte) 03: Logica temporale lineare 1 / 26 Specifica formale La correttezza di un programma è relativa a una determinata specifica: la verifica formale è connessa alle specifiche Linguaggi di specifica Automi LTL (Linear Temporal Logic): una specifica

Dettagli

Russell e gli universali. appunti per Filosofia della scienza

Russell e gli universali. appunti per Filosofia della scienza Russell e gli universali appunti per Filosofia della scienza Perché gli universali esistono? (cap. 9) 1. Le relazioni come in, su tra e prima di non esistono come cose particolari, e sono appunti universali

Dettagli

Fondamenti teorici e programmazione

Fondamenti teorici e programmazione Fondamenti teorici e programmazione FTP(A) - modb Lezione 8 F.Bonchi Dip.to Informatica Fondamenti teorici e programmazione (A) - modb a.a. 2018/19 pag. 1 Ragionamento formale Comprendere le basi del ragionamento

Dettagli

I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico

I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico Anno Scolastico 2012/13 Disciplina: Matematica Classe: I Liceo classico (nuovo ordinamento) Docente: prof. Roberto Capone ALGEBRA I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico Specifica dettagliata degli

Dettagli

Istituzioni di Logica Matematica

Istituzioni di Logica Matematica Istituzioni di Logica Matematica Sezione 8 del Capitolo 2 Alessandro Andretta Dipartimento di Matematica Università di Torino A. Andretta (Torino) Istituzioni di Logica Matematica AA 2012 2013 1 / 31 Strutture

Dettagli

Programma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore

Programma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore Programma del corso Introduzione agli algoritmi Rappresentazione delle Informazioni Elementi di Programmazione Architettura del calcolatore Reti di Calcolatori Calcolo proposizionale Teorema o tautologia

Dettagli

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

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

Dettagli

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

Frege. Frege. Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio:

Frege. Frege. Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio: Frege Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio: 1848-1925 Sinn und Bedeutung (Senso e denotazione), 1892 nb. Bedeutung vuol dire significato, Frege lo intende

Dettagli

Introduzione ad alcuni sistemi di logica modale

Introduzione ad alcuni sistemi di logica modale Introduzione ad alcuni sistemi di logica modale Laura Porro 16 maggio 2008 1 Il calcolo proposizionale Prendiamo come primitivi i simboli del Calcolo Proposizionale (PC) tradizionale a due valori 1 : un

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA ANNO ACCADEMICO 2011/2012 Sommario. Sintassi e semantica della Logica dei predicati. Proprietà fondamentali dei quantificatori. Strutture, soddisfacibilità e verità

Dettagli

La Filosofia da Ieri a Oggi

La Filosofia da Ieri a Oggi Istituto Superiore Dante Alighieri La Filosofia da Ieri a Oggi Redatto da Federico Paneccasio Indice 1 L inizio di tutto 2 1.1 La Definizione............................... 2 1.1.1 Gli Stumenti per Filosofare...................

Dettagli

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

Indice. 1. Cenni di logica 2. Elementi di teoria degli insiemi 3. Relazioni e funzioni. 1 Cenni di logica. 2 Elementi di teoria degli insiemi Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Cenni di logica Dispongo queste quattro carte da gioco davanti a voi, due coperte e due scoperte

Dettagli

ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA

ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA 2018-19 Settimana 1 Cap 1. 4.1, 4.2, 4.3, 4.4: Nozione intuitiva di funzione f : X Y, Dominio, codominio, immagine,

Dettagli