Logica e Filosofia Della Scienza - Claudia Casadio

7/30/2019 Logica e Filosofia Della Scienza - Claudia Casadio

1/38

LOGICA ELOGICA EFILOSOFIA DELLAFILOSOFIA DELLA

SCIENZASCIENZA

ClaudiaClaudia CasadioCasadio

PRIMA LEZIONEPRIMA LEZIONE

Logica, Linguistica eLogica, Linguistica e

Scienza CognitivaScienza Cognitiva______________________________________________


2/38

Tre ambiti scientificiTre ambiti scientifici


3/38

Logica

Studia i processi in base a cui traiamoStudia i processi in base a cui traiamoinferenzeinferenze a partire dalle nostrea partire dalle nostreconoscenzeconoscenze

rappresenta le attivitrappresenta le attivit deldelragionamentoragionamento

costruisce linguaggi formali e lecostruisce linguaggi formali e le

loro interpretazioniloro interpretazioni


4/38

Linguistica

Studia lStudia larticolazionearticolazione del pensierodel pensieroin segni, parole, frasiin segni, parole, frasi

la suala sua espressioneespressione tramitetramiteenunciati, proposizioni, asserzionienunciati, proposizioni, asserzioni

gligli attiatti della comunicazionedella comunicazione


5/38

Scienza Cognitiva

Studia laStudia la mentemente umana,umana,la sua organizzazione,la sua organizzazione,

la costituzione,la costituzione,le proprietle propriet e le lelaborazioneelaborazione

delladella conoscenzaconoscenza(intelligenza)(intelligenza)


6/38

AstrazioneAstrazione

La logica caratterizzata dallaattenzione per i processi di

astrazione:

analizzare la realt in base aregole che trascendono

gli stimoli fisici o lesperienzaprodotta da un certo evento

(insieme di eventi)


7/38

Compito della logica laformulazione di principi e leggi

generali:

verit analitiche, necessarie,

a priori, tautologie,assiomi, leggi logiche, teoremi

Generalit


8/38

Logica e PsicologiaLogica e Psicologia

La psicologia nel corso del XX secolo haLa psicologia nel corso del XX secolo ha

manifestato scarso interesse neimanifestato scarso interesse nei

confronti del ragionamento astrattoconfronti del ragionamento astratto

LogicaLogica considerata un repertorio diconsiderata un repertorio diattivitattivit formali, meccaniche,formali, meccaniche,

indipendentiindipendentidal pensiero umano nella sua naturaledal pensiero umano nella sua naturale

organizzazioneorganizzazione


9/38

ComportamentismoComportamentismoDescrizione empiricaDescrizione empirica in termini di concettiin termini di concetti

comecome stimolostimolo ee reazionereazione dei riflessi edei riflessi edei comportamenti (dei comportamenti (animali e umanianimali e umani))

RicercaRicerca sperimentalesperimentale per fondare una teoriaper fondare una teoria

adeguata del comportamento umanoadeguata del comportamento umano

Non si richiedono processi diNon si richiedono processi di astrazioneastrazione

nellnellapprendimento di compiti e abilitapprendimento di compiti e abilit


10/38

ApprendimentoApprendimentoInsegnamento ed apprendimentoInsegnamento ed apprendimento

intesi piintesi pi come addestramento checome addestramento checome acquisizione di aspetti generali,come acquisizione di aspetti generali,

didi regoleregole

Posizioni contrarie al ricorso a regolePosizioni contrarie al ricorso a regole

astratte e a formulazioni di principiastratte e a formulazioni di principigenerali si incontrano in varie areegenerali si incontrano in varie aree

della psicologia moderna.della psicologia moderna.


11/38

PiagetPiaget: importanza dell: importanza dellastrazioneastrazione Vi sonoVi sono regoleregole astratte che governano ilastratte che governano il

pensiero ed il comportamentopensiero ed il comportamento

Le regole piLe regole pi astratte, quelle della logica formaleastratte, quelle della logica formale

(algebrica) hanno una controparte intuitiva nelle(algebrica) hanno una controparte intuitiva nelleoperazioni cognitive umaneoperazioni cognitive umane

Queste regole sono impiegate per acquisire altreQueste regole sono impiegate per acquisire altreregole, piregole, pi specifiche, di comportamento, nelspecifiche, di comportamento, nel

corso dellocorso dello svilupposviluppo delldellindividuo da bambinoindividuo da bambino

ad adultoad adulto


12/38

Logicismo vs. psicologismoLogicismo vs. psicologismo

LogicismoLogicismo : ricorso alla logica per: ricorso alla logica perspiegare i fatti psicologici, le attivitspiegare i fatti psicologici, le attivit

mentali, i processi di pensieromentali, i processi di pensiero

PsicologismoPsicologismo : richiamo ad aspetti e: richiamo ad aspetti e

leggi di carattere psicologico perleggi di carattere psicologico per

spiegare proprietspiegare propriet ed operazionied operazionilogiche; p.logiche; p. eses. le rappresentazioni. le rappresentazioni

soggettive, i giudizisoggettive, i giudizi..


13/38

PsicologismoPsicologismo

Pensiero e conoscenza umanaPensiero e conoscenza umana

sono fenomeni mentali governatisono fenomeni mentali governatida operazioni psicologicheda operazioni psicologiche

Le leggi della logica in quantoLe leggi della logica in quanto

parte delle piparte delle pi generali operazionigenerali operazionidel pensiero (giudizio) sono leggidel pensiero (giudizio) sono leggi

di natura psicologicadi natura psicologica


14/38

Logicismo : FregeLogicismo : Frege

La logicaLa logica indipendente dallaindipendente dalla

psicologia, i suoi oggetti e le suepsicologia, i suoi oggetti e le sue

operazioni sonooperazioni sono

universaliuniversali eded intersoggettiviintersoggettivi

Attua il contatto con laAttua il contatto con la

realtrealt (esperienza) attraverso le(esperienza) attraverso le

dimensioni delladimensioni della veritverit e dele del

significatosignificato


15/38

Gli esempi di FregeGli esempi di Frege Il teorema di Pitagora esprime lo stessoIl teorema di Pitagora esprime lo stesso

pensiero per tutti gli uomini.pensiero per tutti gli uomini.

Ogni individuo ha invece i propri pensieri,Ogni individuo ha invece i propri pensieri,

rappresentazioni, sentimenti.rappresentazioni, sentimenti.

La differenzaLa differenza come tra uncome tra un telescopiotelescopio ee

llocchioocchio di un osservatore quando sonodi un osservatore quando sonorivolti ad un medesimo oggettorivolti ad un medesimo oggetto

astronomico.astronomico.


16/38

Pu la logica aiutare a comprendere e spiegare il

funzionamento della mente umana?

Quali aree della logica sono utili a questo scopo?

logica deduttiva - induttiva - probabilistica

teoria delle categorie o dei concetti

teoria della dimostrazione - teoria della verit

logica modale - semantica formale


17/38

Pensiero e ragionamentoPensiero e ragionamento

Lo studio del ragionamentoLo studio del ragionamento unun

obiettivo fondamentale dellaobiettivo fondamentale dellapsicologia del pensiero ed insieme ilpsicologia del pensiero ed insieme il

modo pimodo pi naturale per affrontare lanaturale per affrontare laquestione del ruolo che la logica puquestione del ruolo che la logica pu

assolvere nei confronti dellaassolvere nei confronti della

psicologia ed il contributo che pupsicologia ed il contributo che pudare allo sviluppo delle ricerche edare allo sviluppo delle ricerche e

delle capacitdelle capacit umane in questo campoumane in questo campo


18/38

Tipi di ragionamento

Deduttivo

Induttivo

Probabilistico

ragionamentoragionamento


19/38

Ragionamento DeduttivoRagionamento Deduttivo

Procede dallProcede dalluniversale al particolareuniversale al particolare

la conclusione segue in modola conclusione segue in modo

necessario dalle premessenecessario dalle premesse

La sua validitLa sua validit dipende dalla veritdipende dalla verit

delle premesse e dalla correttezzadelle premesse e dalla correttezzadella deduzionedella deduzione


20/38

procede dal particolare allprocede dal particolare alluniversaleuniversale

la conclusione segue dalle premessela conclusione segue dalle premesse

con un certo grado di probabilitcon un certo grado di probabilit

condizioni di effettocondizioni di effetto framingframing______________________________________________

Ragionamento InduttivoRagionamento Induttivo


21/38

Effetto framingEffetto framing

1. La maggior parte degli architetti ama larte moderna.2. Il signor B. G. un architetto.

Dunque, il signor B. G. (probabilmente) ama larte moderna.

Se la prima e la seconda premessa induttiva sono vere, probabileche anche la conclusione sia vera, piuttosto che falsa. Ma se vengonoaggiunte nuove premesse, largomento pu risultare indebolito (o

rafforzato):

3. Il signor B. G. appassionato di Caravaggio.4. Il signor B. G. non ama la musica contemporanea, ma preferisce

quella classica.

Un insieme di informazioni di questo tipo favorir unimmagine nuovadel nostro personaggio, quella di un architetto che ha gusti differenti

rispetto allimmagine tipica che abbiamo degli architetti


22/38

DEDUZIONEDEDUZIONE

Forma di ragionamento che procedeForma di ragionamento che procede

da una o pida una o pi premessepremesse ad unaad unaconclusioneconclusione

Aristotele identifica la deduzioneAristotele identifica la deduzione

con ilcon il sillogismosillogismo

e la definisce come il ragionamentoe la definisce come il ragionamento

che procede dallche procede dalluniversaleuniversale alal

particolareparticolare


23/38

Inferenza DeduttivaInferenza Deduttiva

Due dimensioni fondamentaliDue dimensioni fondamentali

CONSEGUENZA LOGICACONSEGUENZA LOGICA

CORRETTEZZACORRETTEZZA


24/38

CONSEGUENZA LOGICACONSEGUENZA LOGICA

Una proposizioneUna proposizione BB (conclusione)(conclusione) conseguenza logica delleconseguenza logica delle

proposizioniproposizioni AA11,, ,, AAnn (premesse) se e(premesse) se e

solo se non si dsolo se non si d il caso che :il caso che :

AA11,, ,, AAnn sonosono VEREVERE

BB FALSAFALSA


25/38

EsempioEsempio

dalle premesse:dalle premesse:

Tutti iTutti i prodotti dieteticiprodotti dietetici sono farmacisono farmaci

XYZXYZ unun prodotto dieteticoprodotto dietetico

Segue logicamente che:Segue logicamente che:

XYZXYZ un farmacoun farmaco


26/38

ControesempioControesempioTuttavia, dalle premesse:Tuttavia, dalle premesse:

Tutti i prodotti dietetici sonoTutti i prodotti dietetici sono farmacifarmaci

XYZXYZ unun farmacofarmaco

Non segue logicamente che:Non segue logicamente che:

XYZXYZ un prodotto dieteticoun prodotto dietetico

Infatti vi sono farmaci che non sonoInfatti vi sono farmaci che non sono

prodotti dieteticiprodotti dietetici


27/38

CORRETTEZZACORRETTEZZA

Una inferenza deduttivaUna inferenza deduttiva

AA11,, , A, Ann

BB CORRETTACORRETTA se e solo se lase e solo se la

conclusioneconclusione BB conseguenzaconseguenzalogica delle premesselogica delle premesse AA11,, ,, AAnn


28/38

SILLOGISMOSILLOGISMO

Ragionamento deduttivo formato daRagionamento deduttivo formato da

duedue premessepremesse

una conclusioneuna conclusione

PremessaPremessa MaggioreMaggiorePremessaPremessa MinoreMinore .

ConclusioneConclusione


29/38

Scopo della logicaScopo della logica individuare le inferenzeindividuare le inferenze

validevalide(e dunque corrette):(e dunque corrette):

le deduzioni, i ragionamenti inle deduzioni, i ragionamenti in

cui la conclusionecui la conclusione conseguenza logica delleconseguenza logica delle

premessepremesse


30/38

Diplomati

Postini

Tutti i postini sono diplomatiTutti i postini sono diplomati

Tutti gli impiegati con laTutti gli impiegati con la

divisa blu sono postinidivisa blu sono postiniDivisa blu


divisa blu sono diplomatidivisa blu sono diplomati

Esempio IEsempio I

Barbara, I figuraBarbara, I figura


31/38

Diplomati

Postini

Tutti i postini sono diplomatiTutti i postini sono diplomati

Qualche impiegato con laQualche impiegato con la

divisa bludivisa blu un postinoun postino

Qualche impiegato con laQualche impiegato con la

divisa bludivisa blu diplomatodiplomato

Divisa blu

Esempio IIEsempio II

DariiDarii, I figura, I figura


32/38

Diplomati

Postini

Nessun postinoNessun postino diplomatodiplomato


divisa blu sono diplomatidivisa blu sono diplomati Divisa blu

Nessun impiegato con laNessun impiegato con la

divisa bludivisa blu un postinoun postino

Esempio IIIEsempio III

CamestresCamestres, II figura, II figura


33/38

Diplomati

Postini

Nessun postino diplomato

Qualche impiegato con la

divisa blu diplomato Divisa blu

Qualche impiegato con la

divisa blu non un postino

Esempio IVEsempio IV

Festino, II fig.Festino, II fig.


34/38

TransitivitTransitivit

La deduzione sillogistica si basa sulLa deduzione sillogistica si basa sul

principio di transitivitprincipio di transitivit::

AA BB BB CC

__________________________________

AA CC


35/38

Sillogismi come ragionamentiSillogismi come ragionamenti

Prima premessa o premessaPrima premessa o premessa MAGGIOREMAGGIORESeconda premessa o premessaSeconda premessa o premessa MINOREMINORE

ConclusioneConclusione

1)1) Termine MedioTermine Medio Termine MaggioreTermine Maggiore

2) Termine Minore2) Termine Minore Termine MedioTermine Medio

3) Termine Minore3) Termine Minore Termine MaggioreTermine Maggiore


36/38

Sillogismi : figureSillogismi : figure

In base alla disposizione del termine medio rispettoIn base alla disposizione del termine medio rispetto

agli altri due termini sono state individuate quattroagli altri due termini sono state individuate quattrofigure caratteristiche:figure caratteristiche:

Figura 1 Figura 2 Figura 3 Figura 4Figura 1 Figura 2 Figura 3 Figura 4

MM P PP P MM MM P PP P MM

SS MM SS MM MM SS MM SSSS PP SS PP SS PP SS PP


37/38

Sillogismo : ModiSillogismo : Modi

Quando sono determinate laQuando sono determinate la qualitqualit ((affermativaaffermativa oo

negativanegativa) e la) e la quantitquantit ((universaleuniversale oo particolareparticolare))delle proposizioni che occorrono come premessedelle proposizioni che occorrono come premessee conclusione, per ogni figura si ottengono lee conclusione, per ogni figura si ottengono leconfigurazioni che vanno sotto il nome diconfigurazioni che vanno sotto il nome di MODIMODI..

Avremo un numeroAvremo un numero finitofinito di (tipi di) sillogismi che,di (tipi di) sillogismi che,considerando la forma assunta da premesse econsiderando la forma assunta da premesse e

conclusione e le quattro figure in cui esseconclusione e le quattro figure in cui essepossono disporsi, corrisponde apossono disporsi, corrisponde a 256256. Tuttavia non. Tuttavia nontutti sono sillogismi validi: eliminando letutti sono sillogismi validi: eliminando lecombinazioni proibite restano solocombinazioni proibite restano solo 2424 modimodi

sillogistici corretti.sillogistici corretti.


38/38

ESERCIZIOESERCIZIO

Usando la CATEGORIE (insiemi):

LIBRI

MANUALI

COPERTINA VERDE

costruire 4 esempi di sillogismisimili a quelli mostrati

Documents

Logica e Filosofia Della Scienza - Claudia Casadio