Pisma semantyczne – Gottlob Frege

Wybór najważniejszych prac niemieckiego filozofa Gottloba Fregego, które położyły fundamenty pod współczesną logikę i filozofię matematyki. Frege odrzucił XIX-wieczny psychologizm i w swoim opracowaniu podstaw logiki formalnej przedstawił pierwszy w historii sformalizowany system aksjomatyczny. Krytykował wszelkie koncepcje, zgodnie z którymi twierdzenia logiki matematyki były jedynie wytworami umysłu lub też regułami używania znaków. Uważał, że nauki te dotyczą obiektywnie istniejących przedmiotów i w swoich twierdzeniach odkrywają logiczne związki między nimi. Frege pracował również nad sformalizowanym zapisem twierdzeń logicznych. Jako pierwszy wprowadził do takiego zapisu kwantyfikatory. Pisma Fregego nalezą dziś do klasyki filozofii, niemniej jego idee nie straciły na ważności w rozważaniach nad logicznymi podstawami myślenia.