Programlama dilindeki "if-else" yapısı, insan düşüncesindeki belirli bir mantıksal işleve karşılık gelir. Bu durum felsefenin hangi alt dalının programlama ile doğrudan ilişkisini gösterir?