Mokslas
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