Predikatlogikken har betydning for fagfelt langt utover logikk, spesielt for matematikk, lingvistikk, filosofi og informatikk. Den ble utviklet uavhengig av hverandre av Gottlob Frege og Charles S. Peirce på slutten av 1800-tallet.