Felsefe tarihinde, doğruluk değeri kavramını mantıksal bir sistem içinde ele alan ve doğruluk tablolarını geliştiren düşünür kimdir?