Logica e filosofia della scienza

La prima metà del corso è organizzata affinché lo studente sia in grado di effettuare un'analisi formale degli enunciati, saper formalizzare schemi inferenziali, verificare, con diversi metodi (dalle tavole di verità agli alberi semantici) la validità formale di argomentazioni.
La seconda metà del corso è costruita in modo che lo studente sia capace di analizzare un ragionamento situato, valutarne la capacità e la forza argomentative, riconoscere le principali fallacie e analizzare criticamente un testo scientifico

Al termine del corso gli studenti dovranno essere in grado di:
- Formalizzare il linguaggio
- Risolvere tavole di verità
- Risolvere alberi semantici
- Padroneggiare gli strumenti principali di analisi critica di un argomento
- Riconoscere le principali fallacie
- Analizzare in maniera critico-formale un testo scientifico