Relatore: Dottor Maurizio Biffoni

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Relatore: Dottor Maurizio Biffoni"

Transcript

1 CORSO DI FORMAZIONE PROFESSIONALE PSICOLOGIA GENERALE Relatore: Dottor Maurizio Biffoni

2 Anolli, Legrenzi, Psicologia Generale, Il Mulino Legrenzi, Storia della Psicologia, Il Mulino; -Ceccarelli, La Specificità Psicologica, Pontecorboli; -Ercolani e Altri, Statistica per la Psicologia, Il Mulino; -Boncori, I Test in Psicologia, Il Mulino; -Abbagnano, Storia della Filosofia (vol: I, II, III, IV) Utet; -Miller, Teorie dello Sviluppo Psicologico, Il Mulino; -Gennaro, Introduzione alla Psicologia della Personalità, Il Mulino; -Lis e Altri, Manuale di Psicologia Dinamica, Il Mulino; -Rizzolatti e Altri, Nella Mente degli Altri Neuroni Specchio e Comportamento Sociale, Zanichelli; -Rizzolatti e Altri, So quel che fai Il Cervello che Agisce e i Neuroni Specchio, Raffaello Cortina Editore; -Bear e Altri, Neuroscienze, Esplorando il Cervello, Elsevier Masson.

3 Bibliografia di riferimento per i Corsisti TESTO OBBLIGATORIO: Anolli, Legrenzi, Psicologia Generale, Il Mulino Testo complementare (consigliato ma non obbligatorio): Legrenzi, Storia della Psicologia, Il Mulino

4 No: 1.3 Capitolo 6

5 Teoria dei Modelli Mentali - TMM Il primo a parlare di Modelli Mentali è Craik (da un idea di Wittgenstein) I MM sono affini ai plastici hanno cioè una struttura corrispondente a ciò che rappresentano. In seguito gli scienziati cognitivi postulano che la mente costruisce MM a partire dalla percezione, dalla comprensione del linguaggio, dall immaginazione e dai dati deposti in memoria Kenneth Craik Il costrutto di MM non è riferibile a una semplice raffigurazione o immagine mentale 1) Vi sono difatti MM che non possono essere visualizzati Nozioni astratte come possesso, negazione 2) Le immagini stesse si fondano sui MM Operazioni su immagine = trasformazioni visive Operazioni su MM = processi concettuali inconsapevoli

6 La TMM conduce al concetto di inferenza e delle conseguenti fallacie sistematiche Che cosa è un sillogismo? syn, con, insieme - logismòs, calcolo Premessa Maggiore: Premessa Minore: Conclusione: Tutti gli uomini sono mortali Socrate è un uomo Socrate è mortale Tutti gli animali hanno il pelo Il pesce è un animale Il pesce ha il pelo Gli Dèi sono immortali Gli uomini non sono Dèi Gli uomini non sono immortali Esempio di sillogismo valido, anche se le frasi non sono vere Esempio di sillogismo non valido, anche se le frasi sono vere ATTENZIONE per sillogismo valido si intende logicamente valido. Cioè è valido indipendentemente dalla verità delle frasi che lo compongono I sillogismi possibili sono 64 Quelli validi sono solo 14

7 La TMM conduce al concetto di inferenza e delle conseguenti fallacie sistematiche Ricordiamo: nella vita di tutti i giorni ci sono 4 situazioni possibili sillogismi validi che ci persuadono sillogismi validi che non ci persuadono sillogismi non validi che ci persuadono sillogismi non validi che non ci persuadono Il fosforo è implicato attivamente nei processi cerebrali della memoria Il pesce contiene fosforo Mangiare pesce (e prendere ricostituenti ricchi di fosforo) fa bene alla memoria

8 La TMM conduce al concetto di inferenza e delle conseguenti fallacie sistematiche Consideriamo ora una inferenza sillogistica denominata, secondo la tradizione classica, modus ponens, abbreviazione dal latino modus ponendo ponens (modo che afferma). Se A implica B è una proposizione vera; e anche la premessa A è vera; allora la conseguenza B è vera Se A allora B A quindi: B Se nella mano c è un re, allora c è un asso Nella mano c è un re Dunque: nella mano c è un asso

9 La TMM conduce al concetto di inferenza e delle conseguenti fallacie sistematiche Con minore facilità giungiamo alla conclusione del seguente sillogismo, modus tollens ("il modo che toglie la verità di una proposizione togliendo quella di un'altra") Se nella mano c è un re (A), allora c è un asso (B) Nella mano non c è un asso (Non-B) Dunque: nella mano non c è un re (Non-A) Se A allora B Non-B quindi: Non-A Secondo la teoria delle regole formali (logica naturale), la nostra mente non possiede la struttura inferenziale del modus tollens

10 Nota di approfondimento: Metodo deduttivo (Aristotele). DEDUZIONE = de ducere, condurre da Un ragionamento che parte da una legge universale per arrivare a una conclusione particolare. Dall universale al particolare. Classici esempi di sillogismo deduttivo: Tutti gli uomini sono mortali, Socrate è un uomo, dunque Socrate è mortale Tutti gli uomini sono animali, tutti gli animali sono mortali, dunque tutti gli uomini sono mortali

11 Nota di approfondimento: Metodo induttivo (Aristotele). INDUZIONE = in ducere, condurre dentro Un ragionamento che parte da un caso particolare per arrivare a una legge universale. Dal particolare all universale. Classico esempio di sillogismo induttivo: L'uomo, il cavallo e il mulo sono longevi, l'uomo, il cavallo e il mulo sono animali senza fiele, dunque gli animali senza fiele sono longevi Nel tempo la forma canonica dell induzione divenne Ho visto un corvo ed era nero Ho visto un secondo corvo ed era nero Ho visto un terzo corvo ed era nero Quindi

12 Attualmente gli psicologi cognitivi confrontano le predizioni della logica naturale (teoria delle regole formali) con quanto prevede la TMM, ovvero: Le persone (a digiuno di logica) non hanno una mente già equipaggiata con regole formali di inferenza. Esse si affidano alla loro capacità di comprendere le premesse di un ragionamento. Sulla base di questa comprensione e delle loro conoscenze generali, costruiscono MM degli stati di cose descritti in un linguaggio naturale. L idea di base della TMM è che noi non pensiamo a partire da eventi presenti nel mondo esterno o nella nostra mente ma da descrizioni di eventi sotto forma di rappresentazioni mentali. Queste ultime sono influenzate sia dal modo di descrivere gli eventi sia dai vincoli di funzionamento della mente umana. Si spiegano così molte fallacie sistematiche

13 Irrazionalità come accettazione di due credenze che sono incoerenti, ovvero se è vera l una non può esserlo l altra. Esempio: dialogo tra pilota e co-pilota del volo 007 della Korean Airlines (abbattuto il 1 settembre 1983, con 269 vittime) Se siamo sulla rotta giusta, allora sotto di noi c è il mare Sotto di noi vedo terra Incoerenza Irrazionalità Umana Siamo sulla rotta giusta (assunto accettato implicitamente da entrambi) Possibile esito diverso se lo stesso dialogo ascoltato da un terzo esterno: per ottenere coerenza si è costretti a decidere quale dei due interlocutori abbia espresso un affermazione falsa. Tuttavia in questo tipo di decisioni tendiamo a costruirci rappresentazioni incomplete dei problemi; così possiamo credere come compatibili asserzioni in realtà incompatibili e viceversa

14 La Focalizzazione nella presa di decisione La Focalizzazione implica che nel prendere le decisioni le persone si ritengono soddisfatte di una ricerca NON completa delle alternative possibili (es: santone) 1) Si tende a costruire un modello dell azione e un modello alternativo nel quale l azione non ha luogo 2) Per arrivare alla decisione si tende a focalizzare sull azione cercando ulteriori informazioni su di essa, tralasciando però la ricerca di informazioni su azioni alternative Risulta evidente come sia possibile un forte condizionamento in base al direzionamento della focalizzazione da parte del parlante verso l ascoltatore Tale premessa ci porta a considerare la Focalizzazione e i fattori sociali nella decisione (paradigma di Tversky e Kahneman, 1981 psicologia della decisione)

15 La Focalizzazione e i fattori sociali nella decisione (paradigma di Tversky e Kahneman, 1981 psicologia della decisione) Dilemma: sei il Ministro della Sanità e il tuo Paese sta per essere invaso da un pericoloso contagio. Devi scegliere velocemente tra 2 programmi di intervento: Se il programma A sarà adottato, 200 persone verranno salvate Se il programma B sarà adottato, con 1/3 di probabilità 600 persone verranno salvate, e con 2/3 di probabilità nessuno verrà salvato Il 72% sceglie A Se il programma A sarà adottato, 400 persone moriranno Se il programma B sarà adottato, con 1/3 di probabilità nessuno morirà, e con 2/3 di probabilità 600 persone moriranno Il 22% sceglie A

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

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

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

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

Prefazione 13. Capitolo ii

Prefazione 13. Capitolo ii Prefazione 13 Capitolo i Introduzione alla logica 1 Definizioni della logica....................... 20 1.1 Logica naturale e logica scientifica.............. 21 1.2 L oggetto della logica.....................

Dettagli

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

ragionamento Ragionamento induttivo Ragionamento deduttivo

ragionamento Ragionamento induttivo Ragionamento deduttivo IL PENSIERO Il pensiero Il termine pensiero ha delle accezioni molto diverse. La psicologia del pensiero si occupa del pensare inteso come: Ragionare Immaginare Prendere decisione Formulare giudizi circa

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

Lezione 3. Okasha, cap. 2

Lezione 3. Okasha, cap. 2 Lezione 3 Il problema della giustificazione Deduzione e induzione La dimostrazione scientifica Hume e il problema dell induzione Induzione e probabilità Okasha, cap. 2 Il problema della giustificazione

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

Pensiero e Ragionamento

Pensiero e Ragionamento Pensiero e Ragionamento pensiero processo mentale che elabora le relazioni fra le informazioni codificate in memoria o in entrata pensiero ha molti significati ricordare credere immaginare pensare ad una

Dettagli

Il ragionamento consiste di quattro operazioni:

Il ragionamento consiste di quattro operazioni: TEORIA DEI MODELLI MENTALI (Johnson-Laird, 1981) Parte dall evidenza empirica che testimonia che le persone quando ragionano sono sensibili al contenuto di premesse e conclusioni. il ragionamento è un

Dettagli

Ordinamento Corso di laurea Codice corso DM 270/04 Magistrale L Insegnamento. Cfu Codice SSD Docente

Ordinamento Corso di laurea Codice corso DM 270/04 Magistrale L Insegnamento. Cfu Codice SSD Docente Psicologia clinica e tutela salute DM 270/04 Magistrale L-51 13665-16063 Psicologia cognitiva applicata 6 1017706 Programma Teorie, modelli, approcci e metodi della ricerca cognitiva applicata usati nello

Dettagli

La Teoria (epistemica) della conferma bayesiana

La Teoria (epistemica) della conferma bayesiana La Teoria (epistemica) della conferma bayesiana La teoria della probabilità fornisce alcuni strumenti potenti anche in senso epistemico, per valutare argomentazioni e decisioni in cui sono usati dei metodi

Dettagli

Una Breve Introduzione alla Logica

Una Breve Introduzione alla Logica Una Breve Introduzione alla Logica LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti

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

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

STOICISMO. Simone Marchiodi, Tommaso Fantini, Mariano Boccarossa, Sara Merella, Lara Coli, Edilia Benzi, Caterina Perezzani. 4D STOICISMO z Simone Marchiodi, Tommaso Fantini, Mariano Boccarossa, Sara Merella, Lara Coli, Edilia Benzi, Caterina Perezzani. 4D Fisica Materialismo: tutto è corpo Corpo = materia + ragione Passiva Attiva

Dettagli

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

Introduzione alla psicologia generale

Introduzione alla psicologia generale Introduzione alla psicologia generale 1 Che cos è la psicologia? Tentativi di definizione. Studio su base empirica della soggettività, espressa sia come stati di coscienza sia come manifestazione del comportamento

Dettagli

DECISIONI E SCELTE D IMPRESA IN OTTICA SISTEMICO VITALE

DECISIONI E SCELTE D IMPRESA IN OTTICA SISTEMICO VITALE DECISIONI E SCELTE D IMPRESA IN OTTICA SISTEMICO VITALE Il sistema vitale come modello di decisore universale Equivalenza algoritmica tra i percorsi di apprendimento e i percorsi di Decision Making Proff.

Dettagli

Introduzione al Corso. Lezione 1 Corso di Logica e Teoria dell Argomentazione

Introduzione al Corso. Lezione 1 Corso di Logica e Teoria dell Argomentazione Introduzione al Corso Lezione 1 Corso di Logica e Teoria dell Argomentazione Sommario Informazioni generali Cosa mi aspetto Cos è la logica? Qualche test di autovalutazione INFORMAZIONI GENERALI Organizzazione

Dettagli

La Teoria (epistemica) della conferma bayesiana

La Teoria (epistemica) della conferma bayesiana La Teoria (epistemica) della conferma bayesiana Introduzione La teoria della probabilità fornisce alcuni strumenti potenti anche in senso epistemico, per valutare argomentazioni e decisioni in cui sono

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

Stupido è chi lo stupido fa. Ruggero Pagnan DIMA, Università di Genova

Stupido è chi lo stupido fa. Ruggero Pagnan DIMA, Università di Genova Stupido è chi lo stupido fa Ruggero Pagnan DIMA, Università di Genova Stupido è chi lo stupido fa Fatti non foste a viver come bruti... Ruggero Pagnan DIMA, Università di Genova Perché educare alla razionalità

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

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

SCHEDA DI PROGRAMMAZIONE DIDATTICO-DISCIPLINARE Programmazione 2016/2017

SCHEDA DI PROGRAMMAZIONE DIDATTICO-DISCIPLINARE Programmazione 2016/2017 SCHEDA DI PROGRAMMAZIONE DIDATTICO-DISCIPLINARE Programmazione 2016/2017 Materia Classe Indirizzo Docente Scienze Umane Prima Tortora Giuseppina Testi in adozione Il manuale di scienze umane: psicologia

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

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1] Intelligenza Artificiale I Logica Formale Introduzione Marco Piastra Intelligenza Artificiale I - A.A. 2010- Logica Formale 1] Sistemicità del linguaggio naturale Capacità di astrazione della descrizione

Dettagli

Sistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1]

Sistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1] Intelligenza Artificiale I Sistemi Deduttivi Marco Piastra Intelligenza Artificiale I - A.A. 2010- Sistemi Deduttivi[1] Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi

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

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

IL PENSIERO. È un processo psichico complesso che comprende diverse abilità mentali. Vi sono vari tipi di pensiero e di ragionamento:

IL PENSIERO. È un processo psichico complesso che comprende diverse abilità mentali. Vi sono vari tipi di pensiero e di ragionamento: IL PENSIERO È un processo psichico complesso che comprende diverse abilità mentali. Vi sono vari tipi di pensiero e di ragionamento: Il problem solving: risolvere un problema significa raggiungere una

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

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 Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1] Intelligenza Artificiale I Logica Formale Introduzione Marco Piastra Logica Formale 1] Sistemicità del linguaggio naturale Capacità di astrazione della descrizione simbolica: molti fenomeni linguistici

Dettagli

Fare clic per I MODELLI modificare MENTALI lo stile del titolo La teoria dei modelli mentali

Fare clic per I MODELLI modificare MENTALI lo stile del titolo La teoria dei modelli mentali Corsi Speciali abilitanti SILSIS Scienze Umane Fabrizia Mantovani PENSIERO Psicologia generale Fare clic per I MODELLI modificare MENTALI lo stile del La teoria dei modelli mentali I modelli mentali sono

Dettagli

1 Cenni di logica matematica

1 Cenni di logica matematica 1 Cenni di logica matematica 1 1 Cenni di logica matematica Una delle discipline chiave della matematica (e non solo, visto che è fondamentale anche per comprendere la lingua parlata) è la logica matematica,

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

Introduzione alla Programmazione Logica ed al linguaggio PROLOG

Introduzione alla Programmazione Logica ed al linguaggio PROLOG Introduzione alla Programmazione Logica ed al linguaggio PROLOG Esercitazioni per il corso di Logica ed Intelligenza Artificiale a.a. 2014/15 Paolo Tomeo http://sisinflab.poliba.it/tomeo Programmazione

Dettagli

Logica filosofica. Terza Parte Il ragionamento

Logica filosofica. Terza Parte Il ragionamento Logica filosofica Terza Parte Il ragionamento Caratteristiche generali del ragionamento Definizione: Il ragionamento è un movimento della mente per il quale passiamo da diversi giudizi confrontatisi fra

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

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

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

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

CALCOLO PROPOSIZIONALE: CENNI

CALCOLO PROPOSIZIONALE: CENNI CALCOLO PROPOSIZIONALE: CENNI Francesca Levi Dipartimento di Informatica February 26, 2016 F.Levi Dip.to Informatica Informatica per le Scienze Umane a.a. 15/16 pag. 1 La Logica La logica è la disciplina

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

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

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

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

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

Quand è che un argomento è un buon argomento?

Quand è che un argomento è un buon argomento? Quand è che un argomento è un buon argomento? 1. Standard deduttivi 2. Standard induttivi P 1 Tutti gli uomini hanno la testa P 2 Io ho la testa C Quindi, sono un uomo Argomenti validi Un argomento si

Dettagli

Psicologia generale. Anna Borghi. Sito web:

Psicologia generale. Anna Borghi. Sito web: Psicologia generale Anna Borghi anna.borghi@uniroma1.it Sito web: http://laral.istc.cnr.it/borghi 1 Il pensiero 1. Immagini mentali Definizione La controversia tra immaginisti - proposizionalisti Immagini

Dettagli

Psicologia del ragionamento

Psicologia del ragionamento 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

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

Corso: Multimedialità e modelli di argomentazione (3 cr.)

Corso: Multimedialità e modelli di argomentazione (3 cr.) Corso: Multimedialità e modelli di argomentazione (3 cr.) Quinta lezione Docente: Giuseppe Spolaore. Ricevimento: Martedì, ore 11.50-13.25, presso il Dipartimento di Filosofia. Libro di testo: A. Iacona,

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

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

Intelligenza Artificiale. Logica proposizionale: calcolo simbolico

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

Dettagli

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

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

Logica Matematica. Informatica Filosofia. Simone Martini

Logica Matematica. Informatica Filosofia. Simone Martini Logica Matematica Informatica Filosofia Simone Martini Dipartimento di Scienze dell Informazione martini@cs.unibo.it Newsgroups: unibo.cs.informatica.logica Ricevimento studenti: Mercoledì 14-15 1 / 29

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

Introduzione e fondamenti di Psicologia della Comunicaione

Introduzione e fondamenti di Psicologia della Comunicaione Introduzione e fondamenti di Psicologia della Comunicaione Anno accademico 2017/2018 Psicologia della Comunicazione Prof.ssa Serino Prima Lezione Obiettivi del corso Acquisire gli strumenti teorici per

Dettagli

Intelligenza Artificiale I

Intelligenza Artificiale I Intelligenza Artificiale I Logica formale Calcolo simbolico Marco Piastra Logica formale - Calcolo simbolico - 1 Conseguenza, decidibilità Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi

Dettagli

Conoscenza e simulazione mentale

Conoscenza e simulazione mentale Conoscenza e simulazione mentale Aspetti storici: cognitivismo, mente computazionale, mente modulare Mente simulativa, mente situata e radicata nel corpo (grounding cognition) Mappe cerebrali e mappe mentali

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e

Dettagli

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

DIETRO LE QUINTE DELLA MATEMATICA

DIETRO LE QUINTE DELLA MATEMATICA DIETRO LE QUINTE DELLA MATEMATICA TEKNOTRE Anno Accademico 2016-2017 Lezione n. 6 (10-2-2017) PERUCCO Pieraldo Dalla Logica alla Geometria Da regole empiriche a una rigorosa costruzione fondata sulla sistematica

Dettagli

La conoscenza si fonda sulla ragione o sull'e sperienza?

La conoscenza si fonda sulla ragione o sull'e sperienza? La conoscenza si fonda sulla ragione o sull'e sperienza? Platone e Aristotele La luce del sole illumina il mattino, filtrando attraverso le fronde degli alberi Lo scultore francese Auguste Rodin è all'o

Dettagli

LICEO STATALE G. MOLINO COLOMBINI. PROGRAMMA SVOLTO a.s. 2016/2017

LICEO STATALE G. MOLINO COLOMBINI. PROGRAMMA SVOLTO a.s. 2016/2017 LICEO STATALE G. MOLINO COLOMBINI LICEO DELLE SCIENZE UMANE LICEO DELLE SCIENZE UMANE AD INDIRIZZO ECONOMICO SOCIALE LICEO SCIENTIFICO AD INDIRIZZO SCIENZE APPLICATE Via Beverora, 51 - Piacenza - 0523/328281

Dettagli

(ii) seguendo (o a volte anche violando) certe regole o schemi riconosciuti.

(ii) seguendo (o a volte anche violando) certe regole o schemi riconosciuti. 1 lezione: linguaggio e Che cos'è un'? un ragionamento che tende a dimostrare una tesi (conclusione) persuasivamente (i) sulla base di ragioni (premesse o assunzioni) (ii) seguendo (o a volte anche violando)

Dettagli

Deduzione Distinguere VALIDITA dell argomentazione (o inferenza, o ragionamento) dalla VERITA di premesse e conclusione Un ragionamento valido può ave

Deduzione Distinguere VALIDITA dell argomentazione (o inferenza, o ragionamento) dalla VERITA di premesse e conclusione Un ragionamento valido può ave Deduzione Distinguere VALIDITA dell argomentazione (o inferenza, o ragionamento) dalla VERITA di premesse e conclusione Un ragionamento valido può avere una conclusione falsa se almeno una delle sue premesse

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

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

GIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT

GIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT GIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT La completezza logica si esprime nel modo seguente: M α M α che si legge: da M 1 segue logicamente ( ) α se e solo se ( ) da M si può dedurre (

Dettagli

Questioni epistemologiche delle neuroscienze

Questioni epistemologiche delle neuroscienze Questioni epistemologiche delle neuroscienze Ascrivere attributi psicologici al cervello Le neuroscienze cognitive hanno abbracciato quasi universalmente una posizione monistica e riduzionistica. Sembrano

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

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

Sistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un

Sistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un Sistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un insieme di assiomi un insieme di regole di inferenza,

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

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

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

Dettagli

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

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

Dettagli

Prof. Roberto Capone. Nozioni di logica matematica

Prof. Roberto Capone. Nozioni di logica matematica Prof. Roberto Capone Nozioni di logica matematica Premesse In matematica non è ammesso un linguaggio ambiguo. Le parole chiave di questo linguaggio sono soltanto sette: Connettivi Non E O Se. allora Se

Dettagli

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

semantica come impresa matematica - lo studio delle condizioni di verità degli enunciati del linguaggio in una presentazione formale adeguata.

semantica come impresa matematica - lo studio delle condizioni di verità degli enunciati del linguaggio in una presentazione formale adeguata. semantica come impresa matematica - lo studio delle condizioni di verità degli enunciati del linguaggio in una presentazione formale adeguata. semantica come impresa psicologica - lo studio dei processi

Dettagli

LE TAVOLE DI VERITA IN LOGICA DELLE PROPOSIZIONI

LE TAVOLE DI VERITA IN LOGICA DELLE PROPOSIZIONI LE TAVOLE DI VERITA IN LOGICA DELLE PROPOSIZIONI Estratto dal cap. III del volume: GIANFRANCO BASTI, FRANCESCO PANIZZOLI, Istituzioni di filosofia formale. Dalla logica formale alla ontologia formale,

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

PER UNA PSICOPEDAGOGIA DELLO SVILUPPO. Sidney Strauss

PER UNA PSICOPEDAGOGIA DELLO SVILUPPO. Sidney Strauss PER UNA PSICOPEDAGOGIA DELLO SVILUPPO Sidney Strauss INDICE 1) Introduzione 2) Differenze negli oggetti di indagine 3) Determinare sequenze di sviluppo vs. ottenere i risultati desiderati 4) Descrizioni

Dettagli

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

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

Dettagli

PSICOLOGIA E SOCIETÀ. collana per l integrazione tra la psicologia e le professioni diretta da Luciano Mecacci

PSICOLOGIA E SOCIETÀ. collana per l integrazione tra la psicologia e le professioni diretta da Luciano Mecacci PSICOLOGIA E SOCIETÀ collana per l integrazione tra la psicologia e le professioni diretta da Luciano Mecacci ELEMENTI DI PSICOLOGIA GIURIDICA 3 Paolo Cherubini Angelo Costanzo Filippo Petruccelli Gaetano

Dettagli

Lezioni 7-9 (24 e 27 ottobre 2017)

Lezioni 7-9 (24 e 27 ottobre 2017) Lezioni 7-9 (24 e 27 ottobre 2017) La Scienza (quella finzionale) della Deduzione (in senso largo) In molti testi (ad es. Studio in Rosso, 1877, cap. 2; Segno dei Quattro, 1890, cap. 1; Scandalo in Boemia,

Dettagli

Lezioni (19, 21 ottobre 2015)

Lezioni (19, 21 ottobre 2015) Lezioni 10-12 (19, 21 ottobre 2015) La Scienza (quella finzionale) della Deduzione (in senso largo) In molti testi (ad es. Studio in Rosso, 1877, cap. 2; Segno dei Quattro, 1890, cap. 1; Scandalo in Boemia,

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

Agenti Basati su Logica

Agenti Basati su Logica Agenti Basati su Logica Corso di Intelligenza Artificiale, a.a. 2017-2018 Prof. Francesco Trovò 09/04/2018 Agenti basati sulla logica Generico agente logico Il mondo del Wumpus Logica proposizionale Inferenza

Dettagli

Computation and the Philosophy of Science. P. Thagard

Computation and the Philosophy of Science. P. Thagard Computation and the Philosophy of Science P. Thagard Computation and the Philosophy of Science La Filosofia della Scienza e l Intelligenza Artificiale sono due discipline separate che possono interagire

Dettagli