discussion:logic_word_symbolism