tag:blogger.com,1999:blog-5743370102334877264.post7449949685678001247..comments2023-04-05T09:07:08.419-07:00Comments on Fides et Ratio: Time for another update of the MTW!Anonymoushttp://www.blogger.com/profile/07034462951274070391noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-5743370102334877264.post-88801630245926839292012-03-27T13:36:57.363-07:002012-03-27T13:36:57.363-07:00I think the egg/dragon example would be an example...I think the egg/dragon example would be an example of a broadly logical contradiction, as you say, because a defeater can be presented (e.g. nothing can be the cause of itself). The question is then whether (5) can be defeated in a similar fashion. I don't know of any forthcoming arguments, but I could be overlooking one.<br /><br />(2) and (3) may be superfluous, but I included it in order to keep focus on the individual propositions.<br /><br />I guess a revised version of the argument would look like this:<br /><br />1. Necessarily, two possible propositions that do not yield a broadly logical contradiction when in conjunction with one another are compossible. (Premise)<br /><br />2. Necessarily, if there were a past time at which nothing existed, then nothing would presently exist. (Premise)<br /><br />3. "Something presently exists" and "there was a past time at which nothing contingent existed" are compossible. (Premise)<br /><br />4. Possibly, something necessary exists. (Implied by 1 - 3)<br /><br />5. Therefore, something necessary exists. (From 4 and S5)Anonymoushttps://www.blogger.com/profile/07034462951274070391noreply@blogger.comtag:blogger.com,1999:blog-5743370102334877264.post-51273996753350992172012-03-27T12:29:26.032-07:002012-03-27T12:29:26.032-07:00a. The difference is that your (5) says that '...a. The difference is that your (5) says that 'It is possible that something presently exists' and 'It is posisble that there was a past time...' do not yield a contradiction.<br /><br />b. I am worried about step (5) then. Two things can be narrowly compatible while being broadly incompatible. Consider these two propositions:<br /> A. The only egg ever to exist is caused by the only dragon ever to exist.<br /> B. The only dragon ever to exist is caused by the only egg ever to exist.<br /><br />Then, A and B are metaphysically possible, and they are not logically narrowly contradictory, but they are broadly contradictory, since nothing can be a cause of itself.<br /><br />c. If you're talking about broad contradiction in 5, you don't actually need premises 2 and 3. For if p and q are not broadly contradictory, then they are each possible, and compossible, too.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-5743370102334877264.post-47827852041394614082012-03-27T12:16:17.781-07:002012-03-27T12:16:17.781-07:00I'm not sure what the difference between (5) a...I'm not sure what the difference between (5) and your revision of it are, but I see no problem with the revision.<br /><br />In (1), I had in mind a broadly logical contradiction. I take it that few would deny that the two propositions are narrowly logically compossible. It's just that once the latter is established, it seems to me that their broadly logical compossibility ought to be granted barring any defeater. What do you think?Anonymoushttps://www.blogger.com/profile/07034462951274070391noreply@blogger.comtag:blogger.com,1999:blog-5743370102334877264.post-44817553337678889692012-03-27T11:36:56.963-07:002012-03-27T11:36:56.963-07:00I think 5 should read:
5. The conjunction of '...I think 5 should read:<br /><br />5. The conjunction of 'something presently exists' and 'there was a past time at which nothing contingent existed' does not yield a contradiction. (Premise)<br /><br />I am worried about 1. By "contradiction", do you mean a contradiction in the narrow logical sense?Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-5743370102334877264.post-23493443300495525472012-02-14T06:00:55.281-08:002012-02-14T06:00:55.281-08:00I'd dispute the ability of standard modal logi...I'd dispute the ability of standard modal logic to express premise 6 (self-promotion: I've extended the language to cope here: http://bit.ly/xU0uXy /self-promotion)<br /><br />Standard modal logic can express modalities (modal qualifications of entities) it has nothing to express meta-modalities (the modal qualification of a modal qualification of an entity)Tony Lloydhttps://www.blogger.com/profile/03740295390214409286noreply@blogger.com