Kavramları kelimelerle değil göstergelerle göstererek işlem yapan, matematiğe dayalı mantık; lojistik