Vai al contenuto principale
Oggetto:
Oggetto:

Logica (M-Z)

Oggetto:

Logic (M-Z)

Oggetto:

Anno accademico 2024/2025

Codice attività didattica
S2444
Docente
Lorenzo Rossi (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
Tipologia unità didattica
corso
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, e sarà definito un sistema di deduzione naturale basato su quel linguaggio. Nella terza sarà introdotto un sistema assiomatico equivalente, per mostrarne alcune proprietà essenziali.

 

 

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, and a system of natural deduction based on that language will be defined. The third part concerns an axiom system equivalent to the one employed for natural deduction.

 

Oggetto:

Modalità di insegnamento

 

Lezioni della durata di 36 ore complessive (6 CFU), che si svolgono in aula; sono previste anche esercitazioni sulla piattaforma moodle e in classe. C'è anche un tutorato associato a questo corso.

 

 

Lectures (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, agli studenti sarà chiesto di svolgere prove scritte che prevedono esercizi e domande teoriche. Le prove scritte saranno mirate ad accertare la comprensione delle nozioni presentate durante l'insegnamento e la capacità di fare alcune operazioni logiche elementari. Le prove scritte si svolgeranno in presenza.

Il voto sarà dato in trentesimi.

 

 

To test the logical skills acquired, students will be asked to take written examinations that include exercises and theoretical questions. The written tests will be intended to check their understanding of the notions presented in the course and their capacity to carry out some elementary logical operations. The written examinations will be in person. 

The final grade will be given on a 30-points scale.

 

Oggetto:

Attività di supporto

Tutorato

Testi consigliati e bibliografia



Oggetto:
Libro
Titolo:  
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
Anno pubblicazione:  
2021
Editore:  
Springer
Autore:  
Iacona, Andrea
Obbligatorio:  
Si
Oggetto:

 

 

 

 

 

 



Oggetto:

Note

 

Il corso si svolgerà in presenza. Gli studenti intenzionati a seguire il corso sono invitati a iscriversi su Campusnet. Non è previsto un programma diverso per studenti non-frequentanti. 

Il corso inizierà (indicativamente) a fine Ottobre. 

Gli studenti con bisogni specifici (disabilità, difficoltà dell'apprendimento) sono invitati a consultare le seguenti pagine: supporto per studenti con bisogni specifici (https://www.unito.it/servizi/lo-studio/studenti-con-disabilitaopen_in_newopen_in_newopen_in_newopen_in_newopen_in_new), si veda anche (https://www.unito.it/accoglienza-studenti-con-disabilita-e-dsaopen_in_newopen_in_newopen_in_newopen_in_newopen_in_new); informationi sulle procedure di esame (https://www.unito.it/servizi/lo-studio/studenti-e-studentesse-con-disabilita/supporto-studenti-e-studentesse-con).open_in_newopen_in_newopen_in_newopen_in_newopen_in_new

 

 

The course will be in person. Students willing to take the course are kindly invited to enroll on Campusnet. There is no alternative program for students who do not attend the lectures. 

 

The course will start around late October. 

Students with special needs (disabilities, learning difficulties) should consult the following web pages: support for students with special needs (https://www.unito.it/servizi/lo-studio/studenti-con-disabilitaopen_in_newopen_in_newopen_in_newopen_in_newopen_in_new), more on that (https://www.unito.it/accoglienza-studenti-con-disabilita-e-dsaopen_in_newopen_in_newopen_in_newopen_in_newopen_in_new); information about the exam procedures (https://www.unito.it/servizi/lo-studio/studenti-e-studentesse-con-disabilita/supporto-studenti-e-studentesse-con).open_in_newopen_in_newopen_in_newopen_in_newopen_in_new

 

Oggetto:

Insegnamenti che mutuano questo insegnamento

Registrazione
  • Chiusa
    Apertura registrazione
    01/09/2024 alle ore 00:00
    Oggetto:
    Ultimo aggiornamento: 04/07/2024 09:57

    Location: https://filosofia.campusnet.unito.it/robots.html
    Non cliccare qui!