метаезик

Метаезик, в семантиката и философията, език, използван за анализ на езика на обектите (език, който се използва за разговор за обекти в света). По този начин метаезикът може да се мисли като език за друг език. Такива философи като родения в Германия логически позитивист Рудолф Карнап и Алфред Тарски, математик с произход от Полша, твърдят, че философските проблеми и философските изявления могат да бъдат разрешени само когато се разглеждат по отношение на синтактична рамка. Логиката на семантиката е това, което определя истинността на едно твърдение, а не неформалното или действителното значение на твърдението. Карнап смяташе, че използвайки символичната нотация в метаезика и спазвайки правилата на логиката, беше възможно да се избегнат метафизичните съждения, които в неговата система по дефиниция са невалидни.