Mokslas
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
loginė
sintaksė loginio skaičiavimo alfabetas ir išraiškų sudarymo bei jų pertvarkymo taisyklės. Daugiau
sintaksė loginio skaičiavimo alfabetas ir išraiškų sudarymo bei jų pertvarkymo taisyklės. Daugiau
loginė
tiesa teiginio loginis teisingumas, priklausantis nuo teiginio loginės struktūros ir sistemos, kurioje teiginys vartojamas, taisyklių. Daugiau
tiesa teiginio loginis teisingumas, priklausantis nuo teiginio loginės struktūros ir sistemos, kurioje teiginys vartojamas, taisyklių. Daugiau
loginės analizės
filosofija analitinės filosofijos kryptis, logikos priemonėmis siekianti nustatyti samprotavimų priimtinumą, teiginių prasmingumą ir patikslinti sąvokų prasmę. Daugiau
filosofija analitinės filosofijos kryptis, logikos priemonėmis siekianti nustatyti samprotavimų priimtinumą, teiginių prasmingumą ir patikslinti sąvokų prasmę. Daugiau