Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini ([email protected])
description
Transcript of Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini ([email protected])
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini ([email protected])
Verità logiche
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
Verità logiche positive
• () “legge dell’ a fortiori”
• (())(()()) “legge di Frege”
• (())() “legge di assorbimento (di premessa)”
• (())(()) “legge di scambio delle premesse”
• ()(()()) “legge di transitività”
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
Verità logiche positive in , , ,
• ; “attenuazione congiuntive”
• ; “attenuazione disgiuntive”
• () (); () ();
• (())( ) “legge di importazione (di premessa)”
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
• ( )( ()) “legge di esportazione (di premessa)”
• ()(()()) “legge di transitività”
• (()) “syllogismus hypothetius”
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
Verità logiche “algebriche” in e
• ; “legge di idempotenza di ed ”
• ; “legge di commutatività di ed ”
• ( ) ( ) “legge di associatività di ”
• ( ) ( ) “legge di associatività di ”
• ( ) “legge di assorbimento di su ”
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
• ( ) “legge di assorbimento di su ” • ( ) ( ) ( ) “legge di distributività
di su ”• ( ) ( ) ( ) “legge di distributività
di su ”
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
Verità logiche negative
• ; “legge della doppia negazione”
• ( ) ( ) “legge di contrapposizione”
• “Tertium non datur (legge del terzo escluso)”
• “legge di Duns Scoto (“ex absurdo sequitur quodlibet”)”
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
Leggi di de Morgan
• ( ) ( ) [ può essere definito via {, }]
• ( ) ( ) [ può essere definito via {, }]
• ( ) ( )
• ( ) ( )
INTERDEFINIBILITA’
Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.
Leggi di Filone
• ( ) ( ) [ può essere definito via {, }]
• ( ) ( ) [ può essere definito via {, }]
Leggi di Crisippo
• ( ) ( ) [ può essere definito via {, }]
• ( ) ( ) [ può essere definito via {, }]