1. nauka z dziedziny filozofii zajmująca się znajdowaniem praw rządzących ludzkim rozumowaniem, a także wnioskowaniem; 2. poprawne myślenie, oparte na związkach przyczynowo-skutkowych; 3. logika matematyczna - dziedzina matematyki zajmująca się badaniem własności wnioskowania matematycznego oraz modeli teorii matematycznych