صدق و كذب در حمليه
صدق و كذب يكي از شاخصههاي قضايا هستند و قضيه را بر اساس آن چنين تعريف مي كنند:هر قضيهاي احتمال صدق يا كذب دارد، البته اين كه اين تعريف داراي نقص است يا خير، خيلي به بحث ما ارتباط پيدا نمي كند و بحثي مستوفا در اين زمينه انجام گرفته است.(1) كه ثمره آن با تحقيقاتي ژرفتر تقديم مي شود. صدق در قضاياي حمليه به اين است كه قضيه با محكي و مصداق خودش مطابق باشد؛ يعني اگر در نفس الامر عينيّت دو عنوان موضوع و محمول است قضيه ما موجبه است و اگر واقع چنين نباشد قضيه ما سالبه است. به عبارت ديگر، اگر موضوع و محمول قضيه كه هر كدام ناظر به مصداق خودش است، يك واقعيّت و مشترك باشند، قضيه صادق ما موجبه است، در غير اين صورت، سالبه است. اين بيان صدق و كذب قضايا را در حالت ثبوتي بيان مي كند، اما در مقام اثبات و احراز صدق و كذب اين بيان كافي نيست، بلكه بايد به1. ر. ك: عسكري سليماني اميري ، سرشت كليت و ضرورت، ص 33 - 40.