- Concept C is not further analyzable.
- If C is an actually-had (by a human being) concept that is not further analyzable, then C is possibly satisfied.
- If C is an actually-had concept that is not further analyzable, then, probably, C is actually satisfied.
- Someone actually has the concept C.
- Therefore, both possibly and probably there is something that has C.
No comments:
Post a Comment