Bringing about and conjunction: A reply to Bigelow on omnificence

Analysis 69 (3):452-458 (2009)
Download Edit this record How to cite View on PhilPapers
Church and Fitch have argued that from the verificationationist thesis “for every proposition, if this proposition is true, then it is possible to know it” we can derive that for every truth there is someone who knows that truth. Moreover, Humberstone has shown that from the latter proposition we can derive that someone knows every truth, hence that there is an omniscient being. In his article “Omnificence”, John Bigelow adapted these arguments in order to argue that from the assumption "every contingent proposition is such that if it is true something brought it about that it is true" we can derive that there is an omnificent being: a being that brings it about that every true contingent proposition is true. In my reply to his article, I show that Bigelow’s argument is flawed because there is some formal property that the knowledge operator has but that the bringing about operator lacks. This is the property of distributing over conjunctions. I explain why what brings it about that some conjunctive proposition is true need not bring it about that its conjuncts are true.
PhilPapers/Archive ID
Upload history
Archival date: 2011-08-03
View other versions
Added to PP index

Total views
416 ( #12,395 of 55,933 )

Recent downloads (6 months)
13 ( #43,575 of 55,933 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.