Psicologia del ragionamento

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Psicologia del ragionamento"

Transcript

1 Psicologia del ragionamento Il ragionamento è essenziale per l intelligenza umana. Facendo ricorso ad inferenze possiamo utilizzare adeguatamente la grande quantità di conoscenza immagazzinata ed applicarla a situazioni particolari. Una gran parte del ragionamento, tuttavia, non è consapevole, ma automatica ed efficiente, inconsapevole allo stesso modo in cui lo è il nostro sistema percettivo.

2 Inferenze inconsce Il padre del mio amico è anche il padre di sua sorella Un triangolo ha tre lati Il libro che leggo ora è lo stesso che leggevo ieri Il mio vicino di casa è anche la persona che si muove al piano di sopra

3 Economicità e cooperazione Esempio: Prendi la mia auto. Le chiavi sono nel cassetto. Sappiamo, senza pensarci, che le chiavi nel cassetto sono quelle dell auto. Lo scambio linguistico, le relazioni tra persone, dipendono da inferenze come questa che si basano sull impiego economico delle risorse cognitive e sulla cooperazione tra individui (vedi Principio di cooperazione di Grice).

4 Problem solving La soluzione quotidiana di problemi richiede ragionamento Facciamo uso del ragionamento per applicare la nostra conoscenza (competenza) a situazioni particolari e affrontarle, migliorarle a nostro favore Migliori sono le nostre conoscenze, più accurate sono le inferenze che possiamo trarre! conoscenze interferiscono col ragionamento

5 Tipi di inferenze Deduttiva : si deriva una conclusione che è latente, implicita, prevista nelle premesse (l informazione di cui siamo in possesso). Induttiva : la conclusione aggiunge informazione alle premesse, non è una conseguenza logica delle premesse; caso tipico: la generalizzazione empirica.

6 Esempi Matteo è il padre della sorella di Piero. Matteo padre di Piero. Inferenza deduttiva (relazioni parentali) Matteo prende l automobile. Le chiavi sono nel cassetto. Chiavi automobile Inferenza induttiva (di tipo pragmatico)

7 Explicit reasoning tasks Gli studi sul ragionamento hanno privilegiato le sperimentazioni in cui i soggetti sono esplicitamente invitati ad assolvere compiti di ragionamento, in genere di tipo deduttivo. I compiti hanno soluzioni che sono verificabili logicamente, secondo qualche formulazione standard della logica classica. Le soluzioni non dipendono delle conoscenze o credenze individuali.

8 Obiettivi Correttezza logica: con quanta frequenza e regolarità i soggetti producono le inferenze definite dalla logica; quando sbagliano e natura degli errori: casuali oppure sistematicamente influenzati (biased) da certi aspetti del compito; osservazione degli errori sistematici e dei biases perché le condizioni che producono errori sono informative dei processi cognitivi sottostanti.

9 Risultati Tutti i tipi di compiti di ragionamento (reasoning tasks) sono associati con alte frequenze di errori logici. Questo non significa che i soggetti svolgono i compiti a caso, perché le risposte corrette sono registrate con un frequenza molto più che casuale. Gli errori riflettono spesso biases sistematici.

10 Biases Il termine si riferisce a comportamenti sistematicamente collegati ad aspetti di un compito logicamente irrilevanti. Non va confuso con manifestazioni di irrazionalità. E oggetto di studio: come tali biases si formano, se sono effetto di tentativi razionali o di altre cause, la relazione con il sistema logico usato.

11 Effetti Effetti del contenuto del problema quali temini sono contenuti nelle premesse Effetti del contesto uno scenario precedente in cui il problema si situa Contenuto e contesto possono interagire nel determinare il ruolo svolto dalla conoscenza precedente (prior knowledge)

12 Tre problemi della ricerca sul ragionamento Problema della competenza Quali sono i meccanismi che conducono i soggetti alla soluzione di problemi logici Problema dei biases Quali fattori causano errori sistematici e biases e cosa ci dicono i biases sulla natura del ragionamento Problema del contenuto Quali aspetti del contenuto condizionano l abilità di ragionamento e cosa ci dicono sulla natura del ragionamento

13 Quattro teorie Regole formali sistema interno di regole formali, astratte Modelli mentali rappresentano stati parziali del mondo in cui le premesse sono vere Schemi sensibili al contesto regole pragmatiche e context-sensitive Euristiche e biases dimensioni non logiche, separate dal processo che governa il ragionamento corretto

14 Logica proposizionale Connettivi Negazione ~, congiunzione, disgiunzione, condizionale, bicondizionale Regole di inferenza Modus ponens, modus tollens, addizione, congiunzione, semplificazione, sillogismo disgiuntivo, transitività

15 Regole di Inferenza Congiunzione p q p q Semplificazione p q p q p q Addizione p p q Sillogismo disgiuntivo p q p q ~ p ~ q q p

16 Regole di Inferenza Modus Ponens MP A B due premesse A Modus Tollens MT A B due premesse ~ B B una conclusione ~ A una conclusione Forme Invalide o Fallacie AC A B A B DA B ~ A *A * ~ B

17 Ragionamento proposizionale 1. Inferential task Esperimenti 2. Evaluation task 3. Selection task

18 Inferential task Mostrare ad un soggetto un insieme di proposizioni da interpretare come premesse e chiedere di valutare un altra proposizione come conclusione valida da tali premesse Scegliere una possibile conclusione Fornire una conclusione

19 Inferential task : obiettivi Sapere riconoscere la forma delle inferenze logiche, sapere trarre conclusioni da premesse rispettando gli schemi di ragionamento proposizionale (regole di inferenza), sapere riconoscere una conclusione valida date certe premesse.

20 Esempi Cosa segue da queste premesse: Giovanni corre o salta Pia legge e studia Giovanni non salta Pia non legge Se Pia non studia, Giovanni non è contento Ma Pia studia, dunque Se Pia studia, Giovanni è contento Ma Giovanni non è contento, dunque

21 Evaluation Task Riguarda la conoscenza e comprensione delle operazioni logiche, i connettivi, i quantificatori, e le loro funzioni di verità Si chiede di costrire una tavola di verità, o un altro sistema di rappresentazione (albero, grafo) Oppure si chiede di valutare una tavola o grafo presentato, o completarlo

22 Esempio Completare la seguente tavola di verità: A ~ A ~ ~ A ~ ~ A A V F V F

23 Selection task Combina il ragionamento proposizionale con il ragionamento decisionale Si chiede di scegliere in base ad alcune opzioni proposte Il più celebre è il task di selezione di Wason

24 Inferenze condizionali Frequenze MP è eseguito correttamente, o giudicato valido dal 90% dei soggetti MT può scendere fino al 41% DA e AC variano dal 20% al 75% In un esperimento si sono registrati: MP 98% MT 81% DA 48% AC 54% In un altro: MP 95% MT 62% DA 51% AC 36%

25 Errori nei compiti di ragionamento Due fondamentali scoperte iniziali La gente fa molti errori logici nei tasks di laboratorio Le loro risposte dipendono molto dal contenuto (o dal contesto) usato per formulare il problema, nonostante la non rilevanza logica. Woodworth & Sells 1935, Wilkins 1928 = sillogismi

26 Negazione Può comparire in forma esplicita: Se la lettera non è G, allora il numero è 9. Il numero non è 9. Dunque, la lettera è G Oppure in forma implicita: Se la lettera non è G, allora il numero è 9. Il numero è 6. Dunque, la lettera è G.

27 A ~B Conseguente negato Se la lettera è G, allora il numero non è 9. Il numero è 9. (MT) La lettera non è G. Se la lettera è G, allora il numero non è 9. La lettera non è G. (DA) * Il numero è 9 Il numero non è 9 (AC) *La lettera è G

28 Performances MT in condizionali con antecedente negato scende fino al 12% = problemi con l eliminazione della doppia negazione DA in condizionali con conseguente negato scende fino al 12% = sempre effetto doppia negazione AC scende anch essa fino al 31% = spiegazione?

29 Negative conclusion bias (Pollard & Evans) Tendenza dei soggetti a penalizzare le inferenze con conclusioni negative, indipendentemente dalla forma logica Bias spiegato dalla euristica della cautela (caution): un enunciato della forma A è B è facile da falsificare, ma difficile da verificare; il contrario avviene con A è non B, una conclusione di questa forma è più cauta. Difficoltà a passare da non falso a vero

30 Esperimenti deduttivi Intense ricerche sulla psicologia del ragionamento condotte negli anni 60 da Peter Wason (rassegna nel volume di Wason & Johnson-Laird, 1972). Wason inventa il selection task delle 4 carte, sulla logica dei condizionali, paradigmatico nella sua efficacia ed ancora usato a livello sperimentale.

31 Bibliografia essenziale Evans J.St.B.T., S.E. Newstead, R.M.J.Byrne, Human Reasoning. The Psychology of Deduction, 1993 Evans, J. St. B. T. Logic and human reasoning: An assessment of the deduction paradigm. Psychological Bulletin, , Stenning K. & M. van Lambalgen, Semantic and Cognition: semantic insights into the psychology of reasoning, 2003 Stenning K. & R. Cox, Rethinking deductive tasks: relating interpretation and reasoning through individual differences

Inferenza deduttiva! Una sola delle seguenti asserzioni, relative a una mano di carte, è vera:

Inferenza deduttiva! Una sola delle seguenti asserzioni, relative a una mano di carte, è vera: Una sola delle seguenti asserzioni, relative a una mano di carte, è vera: Se nella mano c è un Asso, allora c è un 2. Se nella mano c è un Re, allora c è un 2. Cosa ne segue? Risposta prodotta da quasi

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 E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva

LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva titolo LOGICA E PSICOLOGIA DEL PENSIERO Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici logica Logica Studia i processi in base a cui traiamo inferenze a partire

Dettagli

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

PSICOLOGIA DEI PROCESSI COGNITIVI

PSICOLOGIA DEI PROCESSI COGNITIVI Facoltà di Psicologia PSICOLOGIA DEI PROCESSI COGNITIVI Lezione 13 prof. Donatella Ferrante 2006-2007 Teorie formali e senso comune La maggior parte delle persone non hanno studiato la logica né il calcolo

Dettagli

CALCOLO DEI PREDICATI DEL I ORDINE

CALCOLO DEI PREDICATI DEL I ORDINE CALCOLO DEI PREDICATI DEL I ORDINE Dizionario Simboli descrittivi lettere o variabili proposizionali: p, q, r, A, B, C, lettere o variabili predicative: P, Q, R, lettere o variabili individuali: a, b,

Dettagli

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

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

Dettagli

Esercizi di Riepilogo e Autovalutazione Modulo 1

Esercizi di Riepilogo e Autovalutazione Modulo 1 Esercizi di Riepilogo e Autovalutazione Modulo 1 Marcello D Agostino Istituzioni di Logica 2016-2017 Copyright c 2013 Marcello D Agostino Classificazione delle domande * = difficoltà bassa ** = difficoltà

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

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

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

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

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

Intelligenza Artificiale. Logica proposizionale: calcolo automatico

Intelligenza Artificiale. Logica proposizionale: calcolo automatico Intelligenza Artificiale Logica proposizionale: calcolo automatico Marco Piastra Logica formale (Parte 3) - Parte 3 Calcolo automatico Forme normali ed a clausole Risoluzione e refutazione Forward chaining

Dettagli

DI CHE COSA SI OCCUPA LA LOGICA

DI CHE COSA SI OCCUPA LA LOGICA Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione

Dettagli

LE REGOLE DI DEDUZIONE

LE REGOLE DI DEDUZIONE LE REGOLE DI DEDUZIONE II concetto di regola di deduzione Ci proponiamo di formulare alcune regole, dette regole di deduzione o ragionamento, in virtù delle quali, a partire da certe P1, P2,..., Pn, sia

Dettagli

PROGRAMMA CONSUNTIVO

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

Dettagli

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

Relatore: Dottor Maurizio Biffoni

Relatore: Dottor Maurizio Biffoni CORSO DI FORMAZIONE PROFESSIONALE PSICOLOGIA GENERALE Relatore: Dottor Maurizio Biffoni Anolli, Legrenzi, Psicologia Generale, Il Mulino Legrenzi, Storia della Psicologia, Il Mulino; -Ceccarelli, La Specificità

Dettagli

Il ministero della sanità dovrebbe vietare la vendita delle sigarette; Infatti il fumo nuoce alla salute.

Il ministero della sanità dovrebbe vietare la vendita delle sigarette; Infatti il fumo nuoce alla salute. Argomenti e entinemi argomento: un argomento è un qualsiasi insieme di enunciati dei quali uno è la conclusione e gli altri le premesse. La conclusione è l' enunciato che viene affermato sulla base dell'

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

CAPITOLO IX. - PENSIERO e RAGIONAMENTO -

CAPITOLO IX. - PENSIERO e RAGIONAMENTO - CAPITOLO IX - PENSIERO e - Percezione Attenzione Memoria Linguaggio Pensiero Linguaggio CARATTERISTICHE della SPECIE UMANA Pensiero DIMENSIONE ONTOLOGICA PARMENIDE Essere di un oggetto = pensarlo PLATONE

Dettagli

DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini

DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini INFERENZE CORRETTE E TAUTOLOGIE Il Calcolo Proposizionale permette di formalizzare

Dettagli

NOZIONI DI LOGICA. Premessa

NOZIONI DI LOGICA. Premessa NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una

Dettagli

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

1. Logica e sistemi deduttivi

1. Logica e sistemi deduttivi il Ragionamento M. Cristina Caratozzolo caratozzolo2@unisi.it Psicologia Cognitiva A.A. 2010-2011 Dipartimento di Scienze della Comunicazione Università di Siena 1. Logica e sistemi deduttivi 1 Ragionamento

Dettagli

C1: L C1 C2: L C2 C: C1 C2

C1: L C1 C2: L C2 C: C1 C2 Abbiamo visto Gli agenti logici applicano inferenze a una base di conoscenza per derivare nuove informazioni. Concetti base della logica: sintassi: struttura formale delle sentenze semantica: verita` di

Dettagli

Logica e Filosofia della Scienza

Logica e Filosofia della Scienza Logica e Filosofia della Scienza Prof.ssa Claudia Casadio Manuale di riferimento: C. Casadio, Logica e psicologia del pensiero, Carocci 1. Ragionamento e deduzione 2. Logica proposizionale 3. Logica predicativa

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

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

Percorso 2010: Introduzione alla Logica Proposizionale

Percorso 2010: Introduzione alla Logica Proposizionale Percorso 2010: Introduzione alla Logica Proposizionale Francesca Poggiolesi Facoltà di Medicina e Chirurgia 26 Agosto 2010, Firenze Dal test alla logica Alcuni esempi di test 1 Dal test alla logica Alcuni

Dettagli

LA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità.

LA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. LA LOGICA 1. Le proposizioni logiche ESERCIZI Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. 1 A «1 1 è uguale a 5»; «Non si

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

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

DIMOSTRAZIONE DI IMPLICAZIONI TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini

DIMOSTRAZIONE DI IMPLICAZIONI TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini DIMOSTRAZIONE DI IMPLICAZIONI TAUTOLOGICHE Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini DIGRESSIONE: SULLA SINTASSI DEL CALCOLO PROPOSIZIONALE Abbiamo già presentato la grammatica

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

A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket.

A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket. Logica La logica si occupa della correttezza del ragionamento, un ragionamento è formato da un insieme di proposizioni (enunciati di cui è possibile stabilire se sono veri o falsi) Carlo è un alunno di

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

Scelta razionale e comportamenti: psicologia ed economia a confronto

Scelta razionale e comportamenti: psicologia ed economia a confronto Scelta razionale e comportamenti: psicologia ed economia a confronto Paolo Legrenzi Università Iuav e Scuola di Studi Avanzati in Venezia Milano, 5 luglio 2007 Razionalità: sintattica e semantica Razionalità

Dettagli

Ragionamento condizionale con costituenti negativi e con livelli differenziati di probabilità degli enunciati

Ragionamento condizionale con costituenti negativi e con livelli differenziati di probabilità degli enunciati Ragionamento condizionale con costituenti negativi e con livelli differenziati di probabilità degli enunciati Olimpia Matarazzo, Ivana Baldassarre, Carlo Irollo Dipartimento di Psicologia - Seconda Università

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

Logica per la Programmazione

Logica per la Programmazione Logica per la Programmazione Lezione 2 Dimostrazione di tautologie Proof System pag. 1 Un Problema di Deduzione Logica [da un test di ingresso] Tre amici, Antonio, Bruno e Corrado, sono incerti se andare

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

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

Il termine medio può essere: 1) soggetto della maggiore e predicato della minore:

Il termine medio può essere: 1) soggetto della maggiore e predicato della minore: SILLOGISMO ll sillogismo si compone solo di enunciati dichiarativi. Dal punto di vista formale il sillogismo è l unione di più enunciati (chiamati premesse), dai quali deriva con necessità, secondo regole

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

Introduzione alla logica proposizionale. Unit 2, Lez 1 e 2 Corso di Logica

Introduzione alla logica proposizionale. Unit 2, Lez 1 e 2 Corso di Logica Introduzione alla logica proposizionale Unit 2, Lez 1 e 2 Corso di Logica Sommario Forme argomentative Variabili proposizionali Operatori e simboli logici Formalizzazione Regole di formazione Dalle proposizioni

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

Il ragionamento è un attività mentale che consiste nell organizzare l informazione in una serie di passaggi per trarre delle conclusioni

Il ragionamento è un attività mentale che consiste nell organizzare l informazione in una serie di passaggi per trarre delle conclusioni Il ragionamento è un attività mentale che consiste nell organizzare l informazione in una serie di passaggi per trarre delle conclusioni Processo cognitivo che consente di elaborare informazioni nuove

Dettagli

DISTINZIONI LOGICO/FILOSOFICHE FONDAMENTALI. T> MT(T) = Si(T) + Se(T) + Pr(T) vero Pr(T) = <L, L, U, u> Pragmatica: il soggetto x afferma che 2+2 = 4

DISTINZIONI LOGICO/FILOSOFICHE FONDAMENTALI. T> MT(T) = Si(T) + Se(T) + Pr(T) vero Pr(T) = <L, L, U, u> Pragmatica: il soggetto x afferma che 2+2 = 4 DISTINZIONI LOGICO/FILOSOFICHE FONDAMENTALI TEORIA E METATEORIA T = MT(T) = T = MT(T) = Si(T) + Se(T) + Pr(T) Si(T) = Se(T) = Sintassi: a+b è un termine Semantica: 2+2 = 4

Dettagli

RAGIO ARE SU PROBABILITA, POSSIBILITA E FREQUE ZE

RAGIO ARE SU PROBABILITA, POSSIBILITA E FREQUE ZE RAGIO ARE SU PROBABILITA, POSSIBILITA E FREQUE ZE 1. Introduzione Lo scopo di questa dispensa è quella di presentare alcuni recenti sviluppi della ricerca sul ragionamento probabilistico. Come abbiamo

Dettagli

LOGICA. Definizione: una proposizione semplice è una frase della quale si possa dire se è

LOGICA. Definizione: una proposizione semplice è una frase della quale si possa dire se è LOGICA La logica nasce nell antica Grecia ed in particolare possiamo far risalire il suo inizio al grande filosofo Aristotele (384 a.c. 322 a.c.) che la tratta principalmente negli Analitici I e Analitici

Dettagli

Calcolo proposizionale

Calcolo proposizionale 1 Il calcolo delle proposizioni Una proposizione logica si dice semplice o atomica se contiene soltanto un predicato. Due o più proposizioni semplici collegate mediante l'uso di connettivi formano proposizioni

Dettagli

PROGRAMMAZIONE di MATEMATICA. classe 4B. Indirizzo Socio Sanitario a.s

PROGRAMMAZIONE di MATEMATICA. classe 4B. Indirizzo Socio Sanitario a.s I.P.S.I.A E. DE AMICIS - ROMA PROGRAMMAZIONE di MATEMATICA classe 4B Indirizzo Socio Sanitario a.s. 2016-2017 Docente : Prof.ssa Maria Diomedi Camassei FINALITA EDUCATIVE Si perseguono le seguenti finalità

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

Università degli Studi di Milano

Università degli Studi di Milano Università degli Studi di Milano Laurea in Sicurezza dei sistemi e delle reti informatiche Note di logica proposizionale STEFANO FERRARI Fondamenti di informatica per la sicurezza Note di logica proposizionale

Dettagli

George BOOLE ( ) L algebra booleana. (logica proposizionale)

George BOOLE ( ) L algebra booleana. (logica proposizionale) George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si

Dettagli

Logica proposizionale classica. Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or )

Logica proposizionale classica. Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or ) Logica proposizionale classica Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or ) Parte da una famiglia di enunciati atomici di cui non analizziamo la struttura interna, che rappresentiamo

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

Esercitazioni per il corso di Logica Matematica

Esercitazioni per il corso di Logica Matematica Esercitazioni per il corso di Logica Matematica Luca Motto Ros 22 febbraio 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano

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

LA CONOSCENZA SOCIALE

LA CONOSCENZA SOCIALE LA CONOSCENZA SOCIALE A partire dagli anni 50-60 il cognitivismo ha avuto una grande influenza sulla psicologia sociale. La teoria cognitiva si occupa dello studio di come l uomo raccoglie informazioni

Dettagli

Logica per la Programmazione

Logica per la Programmazione Logica per la Programmazione Lezione 3 Dimostrazione di Tautologie e Sintassi del Calcolo osizionale Antonio, Corrado e Bruno... formalmente Tautologie: dimostrazioni e controesempi Sintassi del Calcolo

Dettagli

CALCOLO PROPOSIZIONALE

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

Dettagli

Quine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali

Quine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali Quine su senso, riferimento e traduzione radicale Lezioni lauree triennali 2014-15 La semantica di Carnap A partire da Frege, Carnap riformula senso e denotazione come intensione e estensione associate

Dettagli

Elementi di Logica Le forme del ragionamento

Elementi di Logica Le forme del ragionamento Elementi di Logica Le forme del ragionamento Corso di Logica e Filosofia della scienza, a.a. 2015-2016 Il principale oggetto di studio della logica è il ragionamento, con particolare attenzione per il

Dettagli

Davidson. Verità e significato

Davidson. Verità e significato Davidson Verità e significato Teoria del significato Una teoria del significato soddisfacente deve spiegare come i significati degli enunciati dipendono dai significati delle parole Ma come si può costruire

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

Intelligenza Artificiale I

Intelligenza Artificiale I Intelligenza Artificiale I Logica formale Calcolo simbolico Marco Piastra Logica formale - Calcolo simbolico - 1 Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi modello

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

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

Tipi di ragionamento. -Ragionamento deduttivo. -Ragionamento induttivo. -Euristiche e algoritmi

Tipi di ragionamento. -Ragionamento deduttivo. -Ragionamento induttivo. -Euristiche e algoritmi Tipi di ragionamento -Ragionamento deduttivo -Ragionamento induttivo -Euristiche e algoritmi Ragionamento deduttivo Procede da premesse generali per arrivare a conclusioni particolari Il ragionamento deduttivo

Dettagli

Un po di logica. Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie

Un po di logica. Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie Un po di logica Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie Proposizioni. Le proposizioni, anche dette affermazioni o enunciati, che si considerano in matematica sono quelle

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

Monitorare gli apprendimenti in matematica PROVE PER LA SCUOLA PRIMARIA. Beatrice Caponi. CTI Valmont Montebelluna, 3 settembre 2015

Monitorare gli apprendimenti in matematica PROVE PER LA SCUOLA PRIMARIA. Beatrice Caponi. CTI Valmont Montebelluna, 3 settembre 2015 Monitorare gli apprendimenti in matematica PROVE PER LA SCUOLA PRIMARIA Beatrice Caponi CTI Valmont Montebelluna, 3 settembre 2015 ANTICIPAZIONI Modelli di riferimento per la costruzione delle Prove di

Dettagli

IV NOVEMBRE 35, CLES (TRENTO)

IV NOVEMBRE 35, CLES (TRENTO) PROGRAMMAZIONE COMUNE DEL DIPARTIMENTO: SCIENZE UMANE INDIRIZZO: Scienze umane opzione economica Primo BIENNIO: Classi Prime opzione DISCIPLINA: Scienze umane MODULO 1 DI PSICOLOGIA - LA PSICOLOGIA COME

Dettagli

Introduzione alla logica proposizionale. Unit 2 Corso di Logica

Introduzione alla logica proposizionale. Unit 2 Corso di Logica Introduzione alla logica proposizionale Unit 2 Corso di Logica Sommario Forme argomentative Variabili proposizionali Operatori e simboli logici Formalizzazione Regole di formazione Dalle proposizioni alle

Dettagli

La scienza e le scienze

La scienza e le scienze La scienza e le scienze Scienza: definizioni Insieme di conoscenze rigorosamente controllate e sistematicamente ordinate che consente di giungere a verità obiettive intorno a un determinato ordine di fenomeni

Dettagli

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

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

Dettagli

Jean Piaget. Metodo osservativo e Teorie sullo sviluppo cognitivo

Jean Piaget. Metodo osservativo e Teorie sullo sviluppo cognitivo Jean Piaget Metodo osservativo e Teorie sullo sviluppo cognitivo Ricerca non-sperimentale: la ricerca osservazionale La distinzione tra ricerca sperimentale e non-sperimentale è basata sul grado di controllo

Dettagli

Psicologia sociale Introduzione al corso. Ruggieri Stefano Università degli Studi di Enna

Psicologia sociale Introduzione al corso. Ruggieri Stefano Università degli Studi di Enna Psicologia sociale Introduzione al corso Ruggieri Stefano Università degli Studi di Enna stefano.ruggieri@unikore.it Programma del corso Introduzione al corso e alla psicologia sociale dei gruppi Processi

Dettagli

LOGICA PER LA PROGRAMMAZIONE

LOGICA PER LA PROGRAMMAZIONE LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti la presente indagine, che essa cioè riguarda la dimostrazione

Dettagli

METODI DI RICERCA E DI VALUTAZIONE IN PSICOLOGIA DELLO SVILUPPO

METODI DI RICERCA E DI VALUTAZIONE IN PSICOLOGIA DELLO SVILUPPO METODI DI RICERCA E DI VALUTAZIONE IN PSICOLOGIA DELLO SVILUPPO LUMSA 2016-17 Dott.ssa Giulia Pecora giulia.pecora@uniroma1.it pensando a ciò che ci siamo detti nelle prime lezioni, dopo la spiegazione

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

Appunti di geometria euclidea

Appunti di geometria euclidea Appunti di geometria euclidea Il metodo assiomatico Appunti di geometria Euclidea Lezione 1 Prima di esaminare nel dettaglio la Geometria dal punto di vista dei Greci è opportuno fare unrichiamo di Logica.

Dettagli

Logica proposizionale

Logica proposizionale Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per

Dettagli

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

UNITA D APPRENDIMENTO. Spazio e figure OBIETTIVI DISCIPLINARI

UNITA D APPRENDIMENTO. Spazio e figure OBIETTIVI DISCIPLINARI Spazio e figure Acquisire il concetto di angolo come cambiamento di direzione e come rotazione di semirette. Confrontare angoli e saperli classificare. Classificare le figure piane secondo diversi criteri.

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

Tortura la natura per i suoi segreti!

Tortura la natura per i suoi segreti! Tortura la natura per i suoi segreti! Francis Bacon Il pane mi ha sempre nutrito nel passato; ciò che si è sempre ottenuto nel passato si otterrà nel futuro; quindi il pane continuerà a nutrirmi David

Dettagli

ESERCIZI DI ANALISI MATEMATICA 1 FOGLIO 1

ESERCIZI DI ANALISI MATEMATICA 1 FOGLIO 1 ESERCIZI DI ANALISI MATEMATICA 1 FOGLIO 1 Logica e connettivi logici Esercizio 0.1. Si costruiscano le tabelle di verità delle seguenti espressioni booleane; cioè, al variare dei valori di verit delle

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento

Dettagli

DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione

DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI Corso di Logica per la Programmazione SULLE LEGGI DEL CALCOLO PROPOSIZIONALE Abbiamo visto le leggi per l'equivalenza ( ),

Dettagli

L AND di x e y si indica con x y (oppure xy) L OR di x e y si indica con x + y Il NOT di x si indica con x ( oppure con x, ~x, (not x), x )

L AND di x e y si indica con x y (oppure xy) L OR di x e y si indica con x + y Il NOT di x si indica con x ( oppure con x, ~x, (not x), x ) ALGEBRA BOOLEANA Insieme K con elementi che assumono i valori {0,1) con operatori (AND, OR, NOT) Notazione: Se x e y sono due variabili booleane: L AND di x e y si indica con x y (oppure xy) L OR di x

Dettagli

PROGRAMMAZIONE DISCIPLINARE

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

Dettagli

Mente e cervello Dal rappresentazionalismo alla stanza cinese

Mente e cervello Dal rappresentazionalismo alla stanza cinese Mente e cervello Dal rappresentazionalismo alla stanza cinese 20 aprile 2011 Dalle macchine alla mente 2 Rappresentazionalismo Sistemi simbolici e sistemi connessionisti L argomento della stanza cinese

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

PRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE

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

Dettagli

Proposizione logica Argomento/i Predicato Roma è la capitale d Italia Roma è la capitale d Italia 2>3 2 e 3 è maggiore di

Proposizione logica Argomento/i Predicato Roma è la capitale d Italia Roma è la capitale d Italia 2>3 2 e 3 è maggiore di 1. Un pò di storia Logica Il primo studioso che si occupò di logica fu il filosofo greco Aristotele (384-322 a.c.). Fino al Cinquecento la logica restò sostanzialmente entro i confini tracciati da Aristotele;

Dettagli