Gottlob Frege – 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.   źródło opisu: Państwowe Wydawnictwo Naukowwe ( PWN ) 1977 źródło okładki: Państwowe Wydawnictwo Naukowwe ( PWN ) 1977