Psicologia del ragionamento
|
|
- Eugenia Novelli
- 6 anni fa
- Visualizzazioni
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:
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
Dettaglisempre vere sempre false
Logica: elementi I principi della logica sono innanzitutto i seguenti: Identità: a=a (ogni cosa è cioè identica a se stessa) Non contraddizione: non (a e non a). E impossibile che la stessa cosa sia e
DettagliLOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva
titolo LOGICA E PSICOLOGIA DEL PENSIERO Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici logica Logica Studia i processi in base a cui traiamo inferenze a partire
DettagliLOGICA E FILOSOFIA DELLA SCIENZA
LOGICA E FILOSOFIA DELLA SCIENZA Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici Logica Studia i processi in base a cui traiamo inferenze a partire dalle nostre
DettagliPSICOLOGIA 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
DettagliCALCOLO DEI PREDICATI DEL I ORDINE
CALCOLO DEI PREDICATI DEL I ORDINE Dizionario Simboli descrittivi lettere o variabili proposizionali: p, q, r, A, B, C, lettere o variabili predicative: P, Q, R, lettere o variabili individuali: a, b,
DettagliRagionamento LOGICA E PENSIERO COMUNE. Fondamenti di Psicologia Generale Cap. 20. Dott.ssa Stefania Pighin -
Ragionamento LOGICA E PENSIERO COMUNE Fondamenti di Psicologia Generale Cap. 20 Dott.ssa Stefania Pighin - stefania.pighin@unitn.it Due fratelli, Paolo e Francesco, vanno a fare la spesa al mercato. La
DettagliEsercizi 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à
DettagliLogica 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,
DettagliLogica proposizionale
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliProposizioni e verità
Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................
DettagliIntroduzione alla logica
Corso di Intelligenza Artificiale 2011/12 Introduzione alla logica iola Schiaffonati Dipartimento di Elettronica e Informazione Sommario 2 Logica proposizionale (logica di Boole) Logica del primo ordine
DettagliIntelligenza 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
DettagliDI 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
DettagliLE REGOLE DI DEDUZIONE
LE REGOLE DI DEDUZIONE II concetto di regola di deduzione Ci proponiamo di formulare alcune regole, dette regole di deduzione o ragionamento, in virtù delle quali, a partire da certe P1, P2,..., Pn, sia
DettagliPROGRAMMA CONSUNTIVO
PAGINA: 1 PROGRAMMA CONSUNTIVO A.S.2014-2015 SCUOLA Liceo Linguistico Manzoni DOCENTE: Marina Barbàra MATERIA: Matematica e Informatica Classe 1 Sezione A OBIETTIVI: le parti sottolineate sono da considerarsi
DettagliMaiuscole 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
DettagliRelatore: 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à
DettagliIl 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'
DettagliLogica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
DettagliCAPITOLO 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
DettagliDIMOSTRAZIONI 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
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliLa 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
Dettagli1. 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
DettagliC1: 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
DettagliLogica 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
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
DettagliBREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
DettagliPercorso 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
DettagliLA 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
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
DettagliNOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
DettagliDIMOSTRAZIONE 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
DettagliCenni di logica e calcolo proposizionale
Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni
DettagliA 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
Dettagli1 Richiami di logica matematica
Geometria e Topologia I 7 marzo 2005 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini
DettagliScelta 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à
DettagliRagionamento 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à
DettagliLogica 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
DettagliLogica 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
DettagliUNIVERSITÀ 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
DettagliLogica 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
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliIl 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
Dettaglimio indirizzo 1 Sarò lieto di ricevere commenti o segnalazioni di errori presso il
INTRODUZIONE Purtroppo questo libro è rappresentato molto più dal sottotitolo che dal titolo. Infatti è una semplice trascrizione di miei appunti per vari corsi di logica che ho tenuto in passato all Università
DettagliIntroduzione 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
DettagliI.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
DettagliIl 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
DettagliDISTINZIONI 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
DettagliRAGIO 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
DettagliLOGICA. 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
DettagliCalcolo 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
DettagliPROGRAMMAZIONE 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à
DettagliMETODI 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
DettagliUniversità 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
DettagliGeorge BOOLE ( ) L algebra booleana. (logica proposizionale)
George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si
DettagliLogica 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
DettagliInformatica. Logica e Algebra di Boole
Informatica Logica e Algebra di Boole La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso
DettagliEsercitazioni 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
DettagliSemantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica
Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative
DettagliLA 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
DettagliLogica 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
DettagliCALCOLO PROPOSIZIONALE
CALCOLO PROPOSIZIONALE UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che: Se Corrado va al cinema, allora ci va anche
DettagliQuine. 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
DettagliElementi 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
DettagliDavidson. 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
DettagliELEMENTI 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
DettagliIntelligenza 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
DettagliIntroduzione 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
DettagliElementi 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
DettagliTipi 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
DettagliUn 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
DettagliNozioni di logica matematica
MINISTERO DELL ISTRUZIONE, DELL UNIVERSITA E DELLA RICERCA LICEO STATALE P. E. IMBRIANI Linguistico - Scientifico - Scientifico delle Scienze Applicate Via S. Pescatori, 155 83100 Avellino Tel. (2 linee)
DettagliMonitorare 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
DettagliIV 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
DettagliIntroduzione 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
DettagliLa 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
Dettagli4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara
4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I
DettagliJean 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
DettagliPsicologia 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
DettagliLOGICA 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
DettagliMETODI 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
DettagliI.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole
DettagliAppunti 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.
DettagliLogica proposizionale
Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per
DettagliConnettivi 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
DettagliUNITA 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.
Dettagli2. 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
DettagliTortura 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
DettagliESERCIZI 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
DettagliI 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
DettagliDIMOSTRAZIONI 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 ( ),
DettagliL 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
DettagliPROGRAMMAZIONE DISCIPLINARE
Modello A2 Istituto d Istruzione Superiore POLO-LICEO ARTISTICO - VEIS02400C VENEZIA Liceo Artistico, Liceo Classico e Musicale Dorsoduro, 1073 30123 Venezia tel. 0415225252, fax 041 2414154 PROGRAMMAZIONE
DettagliMente 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
DettagliComincio 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
DettagliPRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE
PRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE Chiara Andrà & Rosa Iaderosa 21 ottobre 2016 PERCHÈ LA DIMOSTRAZIONE? La matematica è costituita da enunciati in cui sono coinvolti continuamente due aspetti:
DettagliProposizione 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