riprendiamo il cammino n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Riprendiamo il cammino PowerPoint Presentation
Download Presentation
Riprendiamo il cammino

Loading in 2 Seconds...

play fullscreen
1 / 38

Riprendiamo il cammino - PowerPoint PPT Presentation


  • 124 Views
  • Uploaded on

Riprendiamo il cammino. Le tre regole alla base della logica Aristotelica sono : Il principio di identità ( ogni oggetto del pensiero è identico a se stesso) Il principio del terzo escluso

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

Riprendiamo il cammino


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
riprendiamo il cammino
Riprendiamo il cammino
  • Le tre regole alla base della logica Aristotelica sono :
  • Il principio di identità

(ogni oggetto del pensiero è identico a se stesso)

  • Il principio del terzo escluso
  • ( una affermazione può avere solo uno di questi due valori di verità, cioè può essere o vera o falsa )
  • Il principio di non contraddizione :

( un’affermazione non può essere contemporaneamente vera e falsa )

esempio i
Esempio I

In un sacchetto ci sono alcune biglie

  • Maria dice : nel sacchetto ci sono in tutto tre biglie e sono nere.
  • Luca dice :nel sacchetto ci sono due biglie nere e due biglie rosse.
  • Giorgio dice :nel sacchetto ci sono solo biglie nere

Sapendo che uno solo dei tre ha mentito , quante biglie ci sono nel sacchetto ?

(A) una (B) due ( C) tre ( D ) quattro ( E ) non ci sono sufficienti elementi per determinarne il numero

risoluzione
Risoluzione
  • Se Maria ha mentito , Luca e Giorgio si contraddicono .
  • Se ha mentito Giorgio si contraddicono Maria e Luca.
  • Se il mentitore è Luca , le affermazioni di Maria e Giorgio devono essere entrambe vere : quindi la risposta corretta è la ……
ii esempio
II Esempio
  • In questo rettangolo c’è esattamente una affermazione falsa
  • In questo rettangolo ci sono esattamente due affermazioni false
  • In questo rettangolo ci sono esattamente tre affermazioni false
  • In questo rettangolo ci sono esattamente quattro affermazioni false
ii esempio1
II Esempio
  • Quante affermazioni vere ci sono nel rettangolo ?
  • ( A ) 0
  • ( B ) 1
  • ( C ) 2
  • ( D ) 3
  • ( E ) 4
risoluzione1
Risoluzione
  • Poiché le quattro affermazioni che stanno nel rettangolo si contraddicono vicendevolmente al più una sola di esse può essere vera
  • La terza affermazione risulta vera ,dato che le altre tre sono evidentemente false ; quindi la risposta giusta è la ……..
debolezza principio di non contraddizione
Debolezza principio di non contraddizione
  • Il principio di non contraddizione rappresenta però anche un punto debole della logica se si riesce ad enunciare una affermazione auto-contraddittoria tipo :

Questaaffermazione è falsa

paradossi
Paradossi

Così sono nati i più famosi paradossi della storia

  • paradosso del mentitore di Epimenide
  • paradosso del barbiere ( se il barbiere del villaggio rade tutti gli uomini che non si radono da soli , chi rade il barbiere?,)
  • Paradosso di Russell(l'insieme di tutti gliinsiemi che non appartengono a se stessi appartiene a se stesso se e solo se non appartiene a se stesso.)
creiamo un paradosso
Creiamo un paradosso
  • Nel paese Vattalapesca ogni anno ,al momento del pagamento delle tasse, l’utente fa una dichiarazione relativa all’anno in corso.
  • Se la dichiarazione è vera , deve pagarele tasse ;
  • se la dichiarazione è falsa ,non le paga:

Un giovane matematico, ritenendo iniquo il sistema trova il modo di bloccarlo:

voi come fareste ?

aristotele e la logica
Aristotele e la logica

L’importanza fondamentale di Aristotele nell’ambito della logica comprende tre campi :

  • Sillogismo
  • Quantificatori ( nessuno , qualcuno, tutti )
  • Modalità ( lo studio di impossibile, possibile ,necessario)
sillogismo

Sillogismo

Etimologicamente = Ragionamento concatenato

E’ un tipo di ragionamento deduttivo formale : da due proposizioni dette premesse segue necessariamente una terza detta conclusione.

:

tipi di sillogismo
Tipi di sillogismo

I sillogismi più utilizzati sono :

  • i sillogismi condizionali :
  • modus ponens
  • modus tollens
esempio
Esempio

PRIMO RAGIONAMENTO

  • Bearzot sta fumando la pipa
  • Dopo aver vinto una partita ,Bearzot fuma sempre la pipa
  • Dunque Bearzot ha appena vinto una partita.

SECONDO RAGIONAMENTO

  • Ogni volta che conquista una vetta Messner si concede una bella bevuta
  • Non ha conquistato una vetta quindi non si concede una bella bevuta
esempio sillogismo condizionato
Esempio sillogismo condizionato

TERZO RAGIONAMENTO

  • Rossi ha appena vinto una gara
  • Ogni volta che vince una gara , Rossi fa impennare la moto.
  • Dunque Rossi ora fa impennare la moto.

QUARTO RAGIONAMENTO

  • Ogni volta che vince il Tour de France , Armstrong brinda con gli amici
  • Non ha brindato con gli amici quindi non ha vinto il Tour de France.
sillogismo condizionato
Sillogismo condizionato
  • Quanti dei precedenti ragionamenti risultano logicamente attendibili ?:
  • Uno
  • Due
  • Tre
  • Tutti
  • nessuno
sillogismi categorici
Sillogismi categorici
  • Schemi di ragionamento costituiti da
  • Premessa maggiore
  • Premessa minore
  • conclusione
tipi di sillogismi categorici
Tipi di sillogismi categorici

Si basano su vari tipi di quantificatori infatti si distinguono in :

  • Universale affermativa = tutti gli A sono B
  • Universale negativa = Nessun A è B
  • Particolare affermativa :qualche A è B
  • Particolare negativa: Alcuni A non sono B
sillogismo1
Sillogismo
  • Aristotele studiò 276 sillogismi e vide che si potevano tutti ridurre a circa una ventina che a loro volta si possono ricondurre al sillogismo Barbara che oggi chiameremmo la transitività della implicazione :
  • da A discende B ,
  • da B discende C allora
  • da A discende C.
sillogismo2
sillogismo
  • la premessa maggiore

contiene

il predicato della conclusione ,

mentre

La premessa minore

contiene

il soggetto della conclusione.

esempi
esempi
  • Alcuni riformatori sono fanatici ; quindi alcuni idealisti sono fanatici perchè tutti i riformatori sono idealisti.
  • Nessuna persona ricca è un capo di sindacato ,perché nessuna persona ricca è liberale e tutti i capi sindacato sono veri liberali.\
  • Alcuni greci sono filosofi perché tutti gli ateniesi sono greci ed alcuni filosofi sono ateniesi
quantificatori
Quantificatori
  • Aristotele riuscì a codificare i legami tra le varie particelle attraverso il seguente schema:
interdefinibilit dei quantificatori
Interdefinibilità dei quantificatori

Il quantificatore universale e il quantificatore esistenziale sono interdefinibili:

  • il quantificatore universale si può definire per mezzo di quello esistenziale e dellanegazione
  • quantificatore esistenziale si può definire per mezzo del quantificatore universale e della negazione
interdefinibilit
interdefinibilità

ES.

1)

Tutti fanno =

Non è vero che qualcuno non fa

2)

Qualcuno fa =

Non è vero che tutti non fanno

esempio 1
Esempio 1
  • Se è vero che “ tutti gli intellettuali sono interlocutori noiosi” sarà necessariamente VERA anche UNA delle affermazioni seguenti :

a)Tutti gli interlocutori sono intellettuali noiosi

b)Nessun interlocutore noioso è intellettuale

c)È falso che alcuni intellettuali non siano noiosi

d)Tutti i noiosi sono intellettuali

e)Tutti gli interlocutori sono noiosi

esempio 2
Esempio 2
  • Se è vero che “ non tutti i mali vengono per nuocere “ sarà necessariamente VERA anche

UNA delle seguenti affermazioni:

  • Nessun male nuoce
  • Se non vengono per nuocere non sono mali
  • Quelli che nuocciono non sono mali
  • Se sono mali non vengono per nuocere
  • Qualche male non viene per nuocere.
esempio 3
Esempio 3
  • A quale delle seguenti affermazioni equivale la frase : “ non tutti i miopi portano gli occhiali”
  • a)nessun miope porta gli occhiali
  • b)tutti i miopi portano gli occhiali
  • c)non vi è un miope che non porti gli occhiali
  • d)tutti i miopi evitano di portare gli occhiali
  • e)C’è almeno un miope che non porta gli occhiali
la negazione
La negazione
  • la negazione di “ Antonio è alto “ non è “ Antonio è basso “ma“ Antonio non è alto “
  • la negazione di “ Nego l’impossibilità diandare su Giove “ è “ su Giove non si può andare “
  • la negazione di “ non esco mai “ non è “ esco sempre “ ma “ a volte esco”
negazione dei quantificatori
Negazione dei quantificatori
  • La negazione di “ per ogni x , p(x) è vera “ è “esiste almeno un x per cui p(x) è falsa”
  • La negazione di “ esiste almeno un y, q(y) è vera “ è “ per ogni y , q(y) è falsa
esempi 1
Esempi 1

Quale delle seguenti affermazioni è la negazione di

  • Tutti i numeri perfetti sono pari

a)tutti i numeri perfetti sono dispari

b)almeno un numero perfetto è dispari

c)almeno un numero pari non è perfetto

d)nessun numero pari è perfetto

e)nessun numero dispari è perfetto

esempio 21
Esempio 2

La seguente proposizione “ in ogni scuola c’è almeno una classe in cui sono tutti promossi “ diventa falsa quando:

a)in ogni scuola c’è almeno una classe in cui sono tutti bocciati

b)in ogni scuola c’è almeno un bocciato in tutte le classi

c) c’è almeno una scuola che ha almeno un bocciato in ogni classe

d) c’è almeno una scuola che ha dei promossi in ogni classe

e) c’è almeno una scuola in cui c’è una classe che ha almeno un bocciato

risolviamo
Risolviamo

per passaggi successivi

  • Non ( in ogni scuola c’è almeno una classe in cui sono tutti promossi) =
  • c’è almeno una scuola in cui non (c’è almeno una classe in cui sono tutti promossi )=
  • c’è almeno una scuola in cui ogni classe non ( sono tutti promossi ) =
  • c’è almeno una scuola in cui in ogni classe c’è almeno un bocciato
esempio 4
Esempio 4

Francesca afferma che “ tutti gli studenti di ingegneria biomedica hanno partecipato almeno una volta al test di Medicina”. Sapendo che l’affermazione di Francesca è falsa , determinare quale delle seguenti situazioni è sicuramente verificata :

  • a)Almeno uno studente che ha partecipato al test di medicina non si è iscritto a ingegneria biomedica
  • b)nessuno studente di ingegneria biomedica ha mai partecipato al test di medicina
  • c)Almeno uno studente di ing.biomedica ha partecipato al test di medicina
  • d)almeno uno studente di ing biomedica non ha mai partecipato al test di medicina.
  • e)almeno uno studente di ing.biomedica ha superato il test di medicina
modalit
Modalità
  • Particella del linguaggio con comportamento analogo ai quantificatori
modalit1
modalità
  • I quantificatori e le modalità godono delle stesse proprietà : infatti si può passare da necessario a possibile nello stesso modo con cui passiamo da tutti a qualcuno:

Es.

  • E’ necessario fare = non è possibile non fare
  • E’ possibile fare = non è necessario non fare
cosa resta di aristotele
Cosa resta di Aristotele
  • Il nome : pietra migliare della logica insieme a Frege
  • Le sue scoperte che hanno portato alla luce delle qualità sommerse della analisi linguistica
saluti
Saluti

Nulla di tutto quello che avevo imparato al college sembrava avere speranza di applicazione pratica nella mia vita, ma dieci anni dopo, quando stavamo progettando il primo computer Machintosh,tutto mi tornò utile.

Steve Jobs- discorso alla Stanford-University

saluti1
Saluti
  • Era la metà degli anni Settanta e io avevo pressappoco la vostra età:Nella copertina del numero finale c’era una fotografia di una strada di campagna nel primo mattino, del tipo che potete trovare facendo autostop se siete dei tipi così avventurosi. Sotto, le seguenti parole: “Siate affamati. Siate folli”. e ho sperato questo per me .
augurio
Augurio
  • Ed è l’augurio che io vi faccio:
  • siate affamati di conoscere e capire e siate folli per vivere la vostra avventura scolastica con creatività ed entusiasmo