نقد برهان ناپذیری نسخه متنی

موضوع - محمولي است (آن طور كه «تئاتتوس پرواز مي ‏كند» چنين است) و فرض كنيد كه «وجود دارد» محمول منطقي آن است، پس در اين گزاره واژه «وجود دارد» بر تئاتتوس حمل مي ‏شود. حال به طور كلي ، درست است كه اگر يك محمولِ P بر A حمل شود، A بايد موجود باشد، زيرا در غير اين صورت، چيزي براي P وجود ندارد كه P برآن حمل شود. اما بر اين اساس، اين گزاره كه «تئاتتوس وجود دارد»، نمي ‏تواند كاذب باشد، زيرا اگر اين گزاره درشكل موضوع - محمولي است آن‏چه موضوع قضيه نماينده آن است؛ يعني «تئاتتوس» وجود دارد و بنابراين، اين گزاره صادق است و شكل اين گزاره ضامن صدق آن است. اما برعكس، اگر گزاره «تئاتتوس وجود ندارد» در شكل موضوع - محمولي باشد نمي ‏تواند صادق باشد، زيراشكل گزاره ضامن وجود چيزي است كه موضوع گزاره نماينده آن است و در نتيجه، ضامن كذب گزاره است. به طور كلي ، اين نتايج درباره تمام گزاره‏هاي وجودي و نفي آن‏ها صادق است و از آنجا كه بديهي است تعدادي از گزاره‏هاي وجودي [موجبه‏] كاذب و تعدادي از گزاره‏هاي وجودي ِ سالبه صادق‏اند، پس گزاره‏هاي وجودي نمي ‏توانند به شكل موضوع - محمولي باشند. اگر در اين گزاره‏ها وجودْ محمول و تئاتتوس موضوع باشد، بنابراين، مشخص كننده شيئي است كه آن شي ‏ء اگر بخواهد مشخص شود بايد وجود داشته باشد... اگر گزاره «تئاتتوس وجود دارد» در شكل موضوع - محمولي است، پس اين گزاره بايد در مورد تئاتتوس باشد، البته با كمك گرفتن از اين اصل كه اگر گزاره‏اي در مورد موضوعي باشد، بنابراين، آن موضوع موجود است... .(1)

در اين سخن بارنز سه دليل بر محمول نبودن وجود ارائه شده است:

1- هليات بسيطه اگر موضوع - محمولي باشند، بايد موضوع در رتبه سابق بر محمول وجود داشته باشد تا محمول بر او حمل شود. 2- اگر گزاره «تئاتتوس وجود دارد» موضوع - محمولي باشد، بايد موضوع قضيه مشخص كننده چيزي باشد؛ يعني مصداقي داشته باشد تا وجود بر آن حمل شود.

1. The Ontological A gument p. 41-42.