Rodyklė
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
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ė loginio skaičiavimo alfabetas ir išraiškų sudarymo bei jų pertvarkymo taisyklės. Daugiau
tiesa teiginio loginis teisingumas, priklausantis nuo teiginio loginės struktūros ir sistemos, kurioje teiginys vartojamas, taisyklių. Daugiau
filosofija analitinės filosofijos kryptis, logikos priemonėmis siekianti nustatyti samprotavimų priimtinumą, teiginių prasmingumą ir patikslinti sąvokų prasmę. Daugiau
atomizmas loginės analizės filosofijos doktrina, pažinimą laikanti paprasčiausių, vadinamųjų atominių, teiginių logine konstrukcija. Daugiau
kvadratas schema, vaizduojanti subjektinės-predikatinės struktūros teiginių santykius teisingumo požiūriu. Daugiau
pozityvizmas loginis empirizmas, neopozityvizmas, filosofijos kryptis, analizuojanti mokslinių žinių kalbines formas. Susiklostė 20 a. 3–4 dešimtmetyje Austrijoje ir Vokietijoje veikiant empiristinės epistemologijos ir analitinės filosofijos idėjoms. Daugiau