to all the philosophy/and or possilbly other major students

I find that whole symbolic logic fascinating, but I have a question. When is it used? Is it used in certain professions? Or is it used as shorthand in notes? :-bd