Jean Cavaillès was a French philosopher and logician who specialized in philosophy of mathematics and philosophy of science. He took part in the French Resistance within the Libération movement and was arrested by the Gestapo on 17 February 1944 and shot on 4 April 1944. From Wikipedia