Il corso costituisce una introduzione ai principi di base della logica e delle teorie del ragionamento.

  • Obiettivi e contenuti
    • OBIETTIVI FORMATIVI
      Introdurre ai due capitoli di base della logica classica: la logica delle proposizioni e la logica dei predicati. Indicare che lo studio della correttezza delle deduzioni mediante strumenti di calcolo appositamente elaborati abitua all'impiego appropriato e consapevole del linguaggio naturale, alla precisione e al rigore nelle argomentazioni e aiuta a organizzare con coerenza i discorsi e la nostra attività di ragionamento.
      PROGRAMMA/CONTENUTO

      Programma per gli studenti che utilizzano l'insegnamento per 6 cfu

      Logica delle proposizioni e logica dei predicati
      - Che cos'è e cosa studia la logica
      - La nozione di inferenza
      - La logica delle proposizioni
      - Inferenze proposizionali con il metodo degli alberi semantici
      - Il linguaggio della logica dei predicati
      - Formalizzare enunciati mediante il linguaggio predicativo
      - Inferenze predicative con il metodo degli alberi semantici

      Programma per gli studenti che utilizzano l'insegnamento per 9 cfu

      1a parte: Logica delle proposizioni e logica dei predicati
      - Che cosa è e cosa studia la logica
      - La nozione di inferenza
      - La logica delle proposizioni
      - Inferenze proposizionali con il metodo degli alberi semantici
      - Il linguaggio della logica dei predicati
      - Formalizzare enunciati mediante il linguaggio predicativo
      - Inferenze predicative con il metodo degli alberi semantici
      2a parte: Operatori non verofunzionali, ragionamento informale e argomentazione
      - cenni di logica modale
      - Inferenze logiche e ragionamenti ordinari
      - Fallacie ed errori di ragionamento
      - Inferenze non deduttive

      TESTI/BIBLIOGRAFIA

      Bibliografia per gli studenti che utilizzano l'insegnamento per 6 cfu

      Dario Palladino, Corso di logica, Carocci, Roma, 2002: introduzione, capp. dall'1 al 5, 8 e 9

      Bibliografia per gli studenti che utilizzano l'insegnamento per 9 cfu

      1a parte: Dario Palladino, Corso di logica, Carocci, Roma, 2002: introduzione, capp. dall'1 al 5, 8 e 9
      2a parte: Marcello Frixione, Come ragioniamo, Laterza, Roma-Bari, 2007
      Ulteriori materiali integrativi verranno forniti durante il corso e resi disponibili su aula web.

      URL Orario lezioni
      LOGICA
      http://www.scienzeumanistiche.unige.it/didattica/orari
  • Chi
    • Docenti
    • Marcello Frixione
      tel. (+39) 010 2099795,interno 59795
      frix@dist.unige.it
    • Commissione d’esame
      65151 - LOGICA
      Maria Cristina Amoretti
      Marcello Frixione (Presidente)
      Andrea Oldofredi
      Carlo Penco
      Nicla Vassallo
      Massimiliano Vignolo
  • Come
  • Dove e quando
    • URL Orario lezioni
      LOGICA
      http://www.scienzeumanistiche.unige.it/didattica/orari
      INIZIO LEZIONI

      13 febbraio 2018

      RICEVIMENTO STUDENTI
      Marcello Frixione

      giovedì dalle 14 alle 16, studio del docente

      Appelli
      Data Ora Tipo Luogo Note
      18 gennaio 2018 9:00 Compitino Genova
      18 gennaio 2018 9:00 Scritto Genova
      1 febbraio 2018 9:00 Compitino Genova
      1 febbraio 2018 9:00 Scritto Genova
      24 maggio 2018 9:00 Compitino Genova
      24 maggio 2018 9:00 Scritto Genova
      21 giugno 2018 9:00 Compitino Genova
      21 giugno 2018 9:00 Scritto Genova
      28 giugno 2018 9:00 Compitino Genova
      28 giugno 2018 9:00 Scritto Genova
      19 luglio 2018 9:00 Compitino Genova
      19 luglio 2018 9:00 Scritto Genova
      13 settembre 2018 9:00 Compitino Genova
      13 settembre 2018 9:00 Scritto Genova
  • Contatti