Avainsana: analyyttinen logiikka