Logic is also studied in philosophy . The development of logic since Frege , Russell and Wittgenstein had a profound influence on the practice of philosophy and the perceived nature of philosophical problems ( see Analytic philosophy ) , and Philosophy of mathematics . Logic , especially sentential logic , is implemented in computer logic circuits and is fundamental to computer science .