# categorical question

**URL:** https://www.ilovephilosophy.com/t/categorical-question/49417
**Category:** Science, Technology, and Math
**Created:** [December 16, 2023, 7:24pm UTC](https://www.ilovephilosophy.com/t/categorical-question/49417 "2023-12-16T19:24:54Z")
**Posts on this page:** 1
**Showing post:** 7

<div class="post-metadata">

### Author: ![Ichthus77](https://www.ilovephilosophy.com/user_avatar/www.ilovephilosophy.com/ichthus77/32/446_2.png) [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [December 18, 2023, 1:11pm UTC](https://www.ilovephilosophy.com/t/categorical-question/49417/7 "2023-12-18T13:11:32Z")

</div>

> [@Ichthus77](#):
>
> Last question for now.
> 
> From the above, can we construct a taxonomy of ontology?
> 
> Spit-balling:
> 
> Always (can never not be) true (instantiated) — includes 100% probability = necessity  
> — full category/set
> 
> Sometimes true (can go out of instantiation — like the formula for or instantiation of photosynthesis if all life of that sort ceases)  
> — tentatively full category/set
> 
> Logically possible/probable (includes practical impossibility where logical impossibility does not rule it out)
> 
> Vacuous truth, or tentatively empty/hypothetical category/set—where logical impossibility does not rule it out
> 
> Logically impossible - can never be true (by definition)
> 
> …If it’s broken, fix it^

^edits in quoted portion are in bold^

---

_[View the full topic](https://www.ilovephilosophy.com/t/categorical-question/49417)._