Metin tabanlı programlamada kullanılan "koşul ifadeleri" (if-else), felsefede hangi akıl yürütme biçimine karşılık gelir?