I principi della logica
La dimostrazione è quel ragionamento che porta da premesse assunte come vere a una conclusione vera grazie a un processo inferenziale codificato da alcune regole, le regole della deduzione.
La logica è quella disciplina che ha individuato e definito queste regole. Essa prende le mosse dallalogica classica, che ha avuto inizio con i lavori di Aristotele (IV sec. a.C.) ed è stata perfezionata in epoca medievale – e che chiameremologica classica aristotelico-medievale.
Solo a fine XIX sec., in particolare grazie ai lavori di Gottlob Frege, essa ha raggiunto la forma tuttora considerata – chiameremo questa formulazionelogica classica fregeanaologica formale.
Vi sono…
View original post 693 altre parole