Felsefe tarihinde doğruluk değeri kavramını mantıksal analizlere tabi tutan ve önermelerin doğruluk tablolarını geliştiren filozof kimdir?