De la silogism la logica formală – ce a sistematizat Aristotel și ce a venit mai târziu
Scopul activității: Să urmărești trecerea de la argumente în limbaj la logică formală.
Situația
Aristotel a sistematizat silogismele: de exemplu „Toți oamenii sunt muritori; Socrate este om; deci Socrate este muritor.” În secolul al XIX-lea, Boole a dezvoltat o algebră a logicii, iar logica simbolică a permis tratarea formală a propozițiilor.
Aristotel a sistematizat silogismele: de exemplu „Toți oamenii sunt muritori; Socrate este om; deci Socrate este muritor.” În secolul al XIX-lea, Boole a dezvoltat o algebră a logicii, iar logica simbolică a permis tratarea formală a propozițiilor.
Investighează
Compară silogismul cu forma simbolică p⇒q, p, deci q. Ce câștigăm când separăm forma logică de conținut?
Reflectează
La ce să fii atent: Nu spune că o singură persoană „a inventat logica”; este o evoluție.