Extensional logic

Extensional logic is like playing with blocks. Imagine you have a lot of different blocks that come in lots of different shapes and sizes. You can build all sorts of things with them like towers, castles and even cars. But what if someone wanted to know what blocks you used to build a tower? You could show them all the blocks you used, one by one, or you could just say “these are the same as the ones in the tower.”

That’s kind of how extensional logic works. It’s like saying that two things are the same because they have the same extension or set of things that belong to them. For example, if you have a bunch of apples and I have a bunch of apples, we can say that we both have apples in common. We don’t need to worry about the details of each individual apple, just that we both have them.

But sometimes we don’t use extensional logic in everyday life. For example, if you played with a toy car, you might call it a “car” even if it doesn’t have wheels or move like a real car. So, in a way, you might be using intentional logic – the opposite of extensional logic – where you’re more interested in the idea or concept of something than in its actual properties.

In summary, extensional logic is like matching blocks together by their common characteristics, while intentional logic looks at concepts or ideas beyond the material details.