Pisma semantyczne

Chociaż Gottlob Frege miał wykształcenie matematyczne, dziś powszechnie jest uznawany za filozofa1. Historycy logiki twierdzą, że Frege położył podwaliny pod współczesną logikę. W 1879 roku opublikował pierwszą książkę — BS2, która jest uważana za najważniejszy tekst logiczny napisany od czasu Analityk wtórych Arystotelesa. Sformułował tam syntaktykę i semantykę dla rachunku zdań oraz rachunku predykatów pierwszego i drugiego stopnia. Żadna z dotąd napisanych prac logicznych nie była napisana tak precyzyjnie. Ten filozof i logik z Jeny jest uważany za autora pierwszego aksjomatycznego systemu logiki zdań, pierwszy też zbudował system logiki predykatów.