Mokslas
loginė
analizė logikos priemonių taikymas kontroliuojant teiginių prasmingumą ir teisingumą; samprotavimo loginės formos tyrimas ir tikslinimas. Daugiau
analizė logikos priemonių taikymas kontroliuojant teiginių prasmingumą ir teisingumą; samprotavimo loginės formos tyrimas ir tikslinimas. Daugiau
loginė
forma minčių ir jų dalių jungimo būdas. Nustatoma formalizacijos procese ir reiškiama jo priemonėmis (loginiais simboliais). Daugiau
forma minčių ir jų dalių jungimo būdas. Nustatoma formalizacijos procese ir reiškiama jo priemonėmis (loginiais simboliais). Daugiau
loginė
funkcija operacija, vienareikšmiškai sugretinanti su kiekvieno kurios nors klasės elementu apibrėžtą kitos klasės elementą. Daugiau
funkcija operacija, vienareikšmiškai sugretinanti su kiekvieno kurios nors klasės elementu apibrėžtą kitos klasės elementą. Daugiau
loginė
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
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
loginė
sintaksė metalogikos skyrius, tiriantis neinterpretuotus skaičiavimus – dedukcinių aksiominių sistemų struktūrą ir savybes, sintaksinio neprieštaringumo, pilnumo, nepriklausomybės, išsprendžiamumo, įrodomumo ir kitas problemas. Daugiau
sintaksė metalogikos skyrius, tiriantis neinterpretuotus skaičiavimus – dedukcinių aksiominių sistemų struktūrą ir savybes, sintaksinio neprieštaringumo, pilnumo, nepriklausomybės, išsprendžiamumo, įrodomumo ir kitas problemas. Daugiau