Timeline for How sound is the Avicennian argument from Contingency?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2022 at 6:04 | comment | added | Jo Wehler | +1 Your example is convincing: Denote by W the set of possible worlds and by E the set of possible entities, i.e. those entities existing in at least one possible word. You consider the function S: W x E ---> {TRUE, FALSE}, S(w,e):= TRUE iff e exist in w. An entity e in E is necessary iff S(w,e)=TRUE for all w in W. An entity e in E is contingent iff S(w,e)=FALSE for at least one w in W. You provide a model (W,E) with all entities e in E contingent. | |
| Feb 26, 2022 at 0:11 | history | answered | causative♦ | CC BY-SA 4.0 |