Mokslas
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