Bir programcının metin tabanlı kod yazarken kullandığı mantıksal operatörler ve koşul ifadeleri hangi felsefi disiplinle doğrudan ilişkilidir?