EP 203: Frege

Escuchar episodio

Gottlob Frege este unul dintre fondatorii logicii moderne și ai filozofiei analitice. Proiectul său pornește de la o întrebare aparent tehnică: pe ce se întemeiază adevărurile aritmeticii? Frege încearcă să arate că matematica poate fi derivată din logică și construiește, în Begriffsschrift, un nou limbaj formal, mult mai puternic decât logica tradițională aristotelică. Introducerea cuantificatorilor și analiza propozițiilor în termeni de funcții și argumente schimbă radical istoria logicii. În…