Matematico, astronomo, logico russo (Elizavetgrad 1846 - Žoved 1907), P. è ricordato soprattutto per i notevoli contributi alla logica moderna. Laureatosi a Tartu in matematica, studiandone i fondamenti sentì l'esigenza di identificare logica e matematica, dando luogo a una logica-matematica ("logica nel soggetto, matematica nei metodi"). Importantissimo fu il suo lavoro O sposobach rešenija logičeskich ravenstv i ob obratnom sposobe matematičeskoj logiki ("Sulle possibilità di risoluzioni di equazioni logiche e sulla conseguente possibilità di una logica matematica", 1884), nel quale, riprendendo le idee di Boole, P. avviò la trattazione del calcolo delle equazioni logiche e fornì la teoria delle forme canoniche.