can someone explain more in detail to me whats syntax and whats semantics in logic?
does syntax really just says what symbols mean what and semantics give meaning to these?
what does "giving meaning" really mean because i don't really get that
and also how does Tarski's interpretation work with it?
last thing: pic related is supossed to show intetrpretation of relation R of n-th degree, i get why 1 tuple refers to n-elements in delta, but what's R^I really? a set of tuples?