- Oggetto:
- Oggetto:
Logica (A-L)
- Oggetto:
Logic (A-L)
- Oggetto:
Anno accademico 2024/2025
- Codice attività didattica
- S2444
- Docenti
- Francesco Genco (Titolare del corso)
- Corso di studio
- laurea triennale in Filosofia
- Anno
- 1° anno
- Periodo
- Primo semestre
- Tipologia
- Caratterizzante
- Crediti/Valenza
- 6
- SSD attività didattica
- M-FIL/02 - logica e filosofia della scienza
- Erogazione
- Tradizionale
- Lingua
- Italiano
- Frequenza
- Facoltativa
- Tipologia esame
- Scritto
- Prerequisiti
- Il corso non richiede alcuna conoscenza preliminare della logica, è sufficiente la preparazione generale acquisita nelle scuole superiori.
- Propedeutico a
- Logica (corso avanzato)
Filosofia della scienza
Filosofia della matematica
Filosofia del linguaggio
Storia della logica - Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
L'insegnamento offre un'introduzione alla logica e si rivolge a studenti di filosofia che non abbiano mai incontrato questa materia. Il suo scopo è quello di spiegare alcune nozioni logiche fondamentali, come quelle di argomento, validità e forma logica, e di fornire i rudimenti della logica enunciativa.
The course is an introduction to logic, and it is addressed to students who have never encountered this subject. Its aim is to explain some fundamental logical notions, such as argument, validity and logical form, and to provide the rudiments of propositional logic.
- Oggetto:
Risultati dell'apprendimento attesi
Al termine dell'insegnamento lo studente dovrà sapere:
- che cos'è un argomento, e come si esplicita un argomento contenuto in un testo;
- quali sono le principali fallacie;
- in che cosa consiste la validità formale;
- come è definito l'apparato simbolico della logica enunciativa;
- come si usano le tavole di verità;
- come si deriva una formula da un insieme di formule in un sistema di deduzione naturale.At the end of the course the student will know:
- what is an argument, and how to extract an argument from a text;
- the main fallacies;
- what is formal validity;
- the symbolic apparatus of propositional logic;
- how to use truth tables;
- how to derive a formula from a set of formulas in a natural deduction system.- Oggetto:
Programma
L'insegnamento si divide in tre parti. Nella prima saranno introdotte alcune nozioni logiche fondamentali: sarà chiarito che cos'è un argomento, in che cosa consiste la validità di un argomento, e in che senso un argomento può essere valido in virtù della sua forma. Nella seconda sarà presentato un linguaggio enunciativo, spiegando il significato dei connettivi che rappresentano negazione, congiunzione, disgiunzione, e condizionale. Nella terza sarà definito un sistema di deduzione naturale basato su quel linguaggio.
The course has three parts. In the first, some fundamental logical notions will be introduced: it will be explained what is an argument, what it is for an argument to be valid, and in what sense an argument can be valid in virtue of its form. In the second, a propositional language will be outlined, explaining the meaning of the connectives that represent negation, conjunction, disjunction and the conditional. The third part presents a system of natural deduction based on that language will be defined.
- Oggetto:
Modalità di insegnamento
Lezioni in presenza. Lezioni della durata di 36 ore complessive (6 CFU), che si svolgono in aula. E' previsto un tutorato associato a questo corso.
Lectures in person (36 hours). Exercise on moodle and in class. There is also a tutorial associated with this course
- Oggetto:
Modalità di verifica dell'apprendimento
Per verificare le conoscenze acquisite, sarà chiesto di svolgere prove scritte che prevedono esercizi e domande teoriche. Le prove scritte, in presenza, saranno mirate ad accertare la comprensione delle nozioni presentate durante l'insegnamento e la capacità di fare alcune operazioni logiche elementari. Punteggio valutazione: min 18/30, max 30/30.
To test the logical skills acquired, students will be asked to take written examinations that include exercises and theoretical questions. The written tests, in person, will be intended to check their understanding of the notions presented in the course and their capacity to carry out some elementary logical operations. Scores: min 18/30, max 30/30
- Oggetto:
Attività di supporto
Tutorato
Testi consigliati e bibliografia
- Oggetto:
Il testo
Andrea Iacona, Logic: Lecture notes for philosophy, mathematics, and computer science, Cham, Switzerland: Springer, 2021.
è accessibile in versione ebook tramite Eureka: https://unito.on.worldcat.org/oclc/1250512845
The text
Andrea Iacona, Logic: Lecture notes for philosophy, mathematics, and computer science, Cham, Switzerland: Springer, 2021.
is available as an ebook through Eureka: https://unito.on.worldcat.org/oclc/1250512845
- Oggetto:
Note
Non è previsto un programma diverso per non frequentanti.
Per studenti con DSA o disabilità, si prega di prendere visione delle modalità di supporto (https://www.unito.it/servizi/inclusione-ed-esigenze-specifiche/servizi-la-disabilita) di Ateneo, ed in particolare delle procedure necessarie per il supporto in sede d’esame (https://www.unito.it/servizi/inclusione-ed-esigenze-specifiche/servizi-la-disabilita/tu-tu-accoglienza-e-avvio-supporti).
There is no separate program for non-attending students.
Students with DSA or disabilities can find useful information at https://www.unito.it/servizi/lo-studio/studenti-con-disabilita. Information about the procedures concerning exams can be found at https://www.unito.it/servizi/inclusione-ed-esigenze-specifiche/servizi-la-disabilita/tu-tu-accoglienza-e-avvio-supporti.
- Oggetto:
Insegnamenti che mutuano questo insegnamento
- Logica (S2444)Corso di laurea in Storia
- Logica (S2444)
- Registrazione
- Aperta
- Apertura registrazione
- 01/09/2024 alle ore 00:00
- Oggetto:
