Rodyklė
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
analizė logikos priemonių taikymas kontroliuojant teiginių prasmingumą ir teisingumą; samprotavimo loginės formos tyrimas ir tikslinimas. Daugiau
forma minčių ir jų dalių jungimo būdas. Nustatoma formalizacijos procese ir reiškiama jo priemonėmis (loginiais simboliais). Daugiau
funkcija operacija, vienareikšmiškai sugretinanti su kiekvieno kurios nors klasės elementu apibrėžtą kitos klasės elementą. Daugiau
semantika teorija, tirianti loginių išraiškų reikšmę bei prasmę ir su tuo susijusias problemas – apibrėžtumą, įvykdymą, teisingumą, supratimą, ekstensionalumą ir intensionalumą, analitiškumą ir sintetiškumą, interpretaciją, paradoksus, galimus pasaulius ir kita. Daugiau