Che cos'è la logica matematica
Upcoming SlideShare
Loading in...5
×
 

Like this? Share it with your network

Share

Che cos'è la logica matematica

on

  • 1,404 views

Una breve e schematica introduzione alla logica matematica

Una breve e schematica introduzione alla logica matematica

Statistics

Views

Total Views
1,404
Views on SlideShare
1,404
Embed Views
0

Actions

Likes
1
Downloads
4
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Che cos'è la logica matematica Presentation Transcript

  • 1. Che cosè la logica matematica? prof. Domenico Lanfranchi
  • 2. Due prospettive  La logica è una parte della matematica (Boole)  La matematica è una parte della logica (Russel)
  • 3. Giochiamo a carte  Gioco A: se tutte le carte sono rosse allora rosso, altrimenti nero  Gioco B: se tutte le carte sono nere allora nero, altrimenti rosso  Gioco C: se una carta è rossa allora nero, altrimenti rosso
  • 4. Interpretiamo il gioco  Nero significa VERO  Rosso significa FALSO  Gioco A significa DISGIUNZIONE (O)  Gioco B significa CONGIUNZIONE (E)  Gioco C significa NEGAZIONE (NON)
  • 5. Algebra di Boole V+V= V; V+F=V; F+F=F V*V=V; V*F=F; F*F=F -V=F; -F=VGeorge Boole 1815-1864
  • 6. Che cosè la matematica?La matematica pura è linsieme di tutte le proposizioni della forma «p implica q», dove p e q sono proposizioni che contengono una o più variabili, né p né q contenendo costanti che non siano costanti logiche. Le costanti logiche sono concetti che si possono definire in funzione di: implicazione, relazione di un termine ad una classe di cui è membro, nozione di tale che, nozione di relazione, ed ogni altro concetto implicito nella nozione generale delle proposizioni della forma precedente. Oltre a questi, la matematica usa un concetto che non fa parte delle proposizioni che essa considera, vale a dire la nozione di verità.
  • 7. Le nozioni base Implicazione Relazione di un termine ad una classe di cui è membro Nozione di tale che Nozione di relazione
  • 8. Il logicismo Bertrand Russell 1872-1970Gottlob Frege 1848-1923
  • 9. Antinomia di Russell Insiemi normali: non contengono se stessi (esempio: insieme dei numeri primi) Insiemi anomali: contengono se stessi (esempio: insieme delle idee astratte) Linsieme degli insiemi normali è normale?
  • 10. Lindagine sui fondamenti Formalismo (Hilbert) Intuizionismo ( Brouwer)
  • 11. Teoremi di Gödel 1931Nessun sistema coerente può essere utilizzato per dimostrare la sua stessa coerenza.(fallimento di logicismo e formalismo)