, wybitny filozof, logik i metodolog nauk