metajęzyki
Encyklopedia PWN
log. język służący do opisywania pewnego innego języka (tzw. języka przedmiotowego), zawierający nazwy wyrażeń tego języka, nazwy właściwości tych wyrażeń oraz związków, jakie między nimi zachodzą;
Tarski Alfred, pierwotnie A. Tajtelbaum, ur. 14 I 1901, Warszawa, zm. 27 X 1983, Berkeley (stan Kalifornia),
polski logik, matematyk i filozof; uważany za jednego z największych logików w dziejach nauki.
antynomia
log. para zdań (zdanie) wzajemnie sprzecznych, z których każde zdaje się równie dobrze uzasadnione (uzasadnianie).
[gr. antí ‘przeciw’, ‘naprzeciw’, nómos ‘prawo’],
języki związane z prawem, będące odmianą i specjalizacją naturalnego języka potocznego stanowiącego ich wspólne źródło.
logik, jeden z najwybitniejszych przedstawicieli lwowsko-warszawskiej szkoły filozoficznej.
