Mokslas
matematikos pagrindų kryptis, teigianti, kad visą matematiką galima redukuoti į logiką ir laikyti logikos dalimi. Daugiau
Lietuvoje 1507 dominikonų vienuolyne Vilniuje įkurta mokykla su filosofijos ir teologijos studijomis. Pirmoji filosofinė disciplina buvo logika. Daugiau
algebra 19 a. antros pusės formalioji logika, sudaryta skaičių algebros priemonėmis. Pradininkai G. Boole’is ir A. De Morganas, plėtojo E. Schröderis, Ch. S. Peirce’as. Daugiau
filosofija teorija, nagrinėjanti loginių santykių tyrimo filosofines problemas, kurios kyla taikant, plečiant ir griežtinant logikos formalizmą. Tradiciškai skiriama dedukcinė ir indukcinė logika. Daugiau