چکیده:
در بررسی معنای محمول سه تز مهم در نظریه فرگه به چشم می خورد:
1- نحوه معرفی نمائی مدلول مندرج در معنای عبارت است. پس معنای محمول مشتمل بر نحوه معرفی نمائی مفهوم، به عنوان مدلول محمول، می باشد. 2- معنای محمول اشباع ناشده است. 3- معنای محمول جزئی از معنای جمله ای است که در آن واقع شده است.
در بررسی مهمترین تفاسیر پیرامون معنای محمول در نظریه فرگه، هر تفسیر لااقل یکی از تزهای فوق را مخدوش می کند. دامت و کلمنت نیز تفاسیر خاصی را از غیر اشباع بودن معنای محمول ارائه می دهند که هر دو با ظاهر کلام فرگه ناسازگار است. در مجموع به نظر می رسد، نمی توان تبیین مناسبی را در این زمینه ارائه داد بطوری که یا هر سه تز مذکور سازگار باشد.
خلاصه ماشینی:
"وی در توضیح سخن خود میگوید مجموعه کامل از زوجهای مرتب در نظریه فرگه تابع محسوب نمیشود (البته وی دلیل نمیآورد، ولی میتوان گفت به علت آن که مجموعه در منطق فرگه شیء محسوب میشود، نمیتواند مدلول یک عبارت تابعی باشد) اما آن مجموعه را میتوان همان چیزی دانست که بنا به تعبیر فرگه طیف مقادیر تابع (value - ranges) هستند [فرگه مجموعه زوجهای مرتبی که در هر زوج اولین عضو آن شناسه و دومین عضو آن مقدار تابع است، به عنوان «طیف مقادیر» آن تابع محسوب میکند (1893: 36)] اما، کلمنت اضافه میکند، به نظر فرگه دو تابع تا آنجائی که طیف مقادیر یکسانی داشته باشند از یکدیگر متفاوت نمیباشند.
دامت برای توجیه سخن خود میگوید: میتوان به معنای یک محمول، مثلا A، با چنین عبارتی رجوع کرد: «معنای محمول «A»(The sense of perdicate "A") و در نظریه فرگه این عبارت به علت این که با ادات تعریف آغاز شده یک اسم خاص محسوب میشود و بر شیء دلالت دارد.
اما میتوان ایراداتی را بر دیدگاه دامت وارد کرد:اگر مدلول محمول «A» را با این عبارت «مدلول محمول «A»» مورد اشاره قرار دهیم، درست شبیه کاری که در مورد معنای محمول توسط دامت انجام شد، بر اساس نظر دامت، باید آن مدلول یک شیء باشد؛ زیرا عبارت فوق، که با ادات تعریف شروع میشود، در نظریه فرگه اسم خاص محسوب شده و بر شیء دلالت دارد."