Quem é o filósofo contemporâneo conhecido por seu trabalho em filosofia analítica e lógica matemática, além de ser um proeminente ativista pacifista?