John Locke
John Locke (29. elokuuta 1632 Wrington, Somerset – 28. lokakuuta 1704 Essex) on tunnetuimpia uuden ajan filosofeja. Hän on tunnettu sekä tietoteoriastaan että yhteiskuntafilosofiastaan. Tietoteoreetikkona Locke luokitellaan yleensä brittiläisiin empiristeihin eli kokemusajattelun kannattajiin yhdessä David Humen ja George Berkeleyn kanssa.
Logiikan historia
John Locken teoksessaan "An Essay Concerning Human Understanding" antama kuvaus väittämistä on Port Royalin logiikan mukainen:
”Suulliset väittämät, jotka ovat sanoja, ovat ajatustemme merkkejä, jotka on laitettu yhteen tai erotettu myöntäviksi tai kieltäviksi lauseiksi. Näin väittämä koostuu näiden merkkien yhdistämisestä ta erottamisesta, mikäli niiden edustamat asiat täsmäävät tai eivät täsmää.”