Philosophical Logic: A branch of philosophy that studies the principles of valid inference and reasoning. Topics include deductive reasoning, logical fallacies, and formal systems (such as propositional logic or predicate logic).
Mathematical Logic: A subfield of mathematics that uses formal systems to express logical statements. Includes symbolic logic, set theory, and model theory.
Computer Science Logic: Logic used in computer programming and algorithms. Boolean logic (AND, OR, NOT) is fundamental to programming and digital circuit design. Predicate logic and lambda calculus are also important in formal verification and programming language theory.
Music Theory (Logic in Music): The term "logic" could also be used metaphorically in music composition, referring to the structured, pattern-based approach that governs musical development.
Logic in Everyday Use: Refers to sound reasoning or the process of thinking through problems or arguments in a coherent, systematic way.
Logic in Psychology: Explores cognitive processes like reasoning and decision-making, often examining how people apply logic in problem-solving.
Logic Models in Research and Evaluation: A tool for program planning and evaluation, used to map out how a program's inputs lead to outcomes or goals, often using flowcharts or diagrams.