Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Specialization-generalization(mathematical logic)

  1. May 10, 2017 #1
    Specialization as defined in Wikipedia:
    "Concept B is a specialisation of concept A if and only if:

    • every instance of concept B is also an instance of concept A; and
    • there are instances of concept A which are not instances of concept B"
    We then call B as special case of A, it seems evident from the definition that in no case, given this definition, can A be simultaneously a special case of B, because it would be in contradiction and that conceptual system would be inconsistent.

    Should scientific theories(mathematically founded) follow this logic or can you think of any example that wouldn't necessarily? In other words is this a requirement for consistent scientific theories?
  2. jcsd
  3. May 10, 2017 #2


    User Avatar
    Science Advisor
    Homework Helper
    2017 Award

    yes :smile:
  4. May 10, 2017 #3
    Thanks, I supposed so but I wanted to confirm it, people would be surprised by certain established theories that don't fulfill this consistency check.
  5. May 10, 2017 #4
    Perhaps the issue is not so clear when the special cases happen to be also degenerate cases, but then I can see that in itself as a symptom of possible inconsistency.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted