Syntax of Predicate Logic (Part 1/2)

[@asima-asjasalihovic2379]

Thank you so much for this video! It helped a lot 😊

[@philosophyversuslogic]

I think sentences like (c) is not impossible to verify if to narrow the world into smaller areas, as one's room. Let's say if one has checked out all the scenarious as "the cat loves the dog", "the lamp loves the table", "my wife loves me", "my wife loves the cat", etc. I think it's not impossible to find out which of which is true or false. The bigger the area to search the harder this task to complete. And it seems that this task is incomplete if the area of research is infinite. But if a predicate is broken or queer, then any variables would be false, like in this example: x bwoaz y or Bxy. Whenever you put into x or y, Bxy is false, because 'bwoaz' makes no sense. On the other hand, if 'bwoaz' makes no sense, then Bxy also makes no sense. So, for any predicate to not be meaningless it's required to be able to perform on a certain set. That's why for 'bwoaz' if this predicate can be accomplished on a certain set a and b (or x and y, etc), then it's possible for this predicate to be verified.

[@mamo987]

life saver for real