درخت حوزه‌های تخصصی

تعاریف متعددی از قضایای (یا احکام) تحلیلی در فلسفه غرب شده است. تعریف لایبنیتز، هیوم، کانت، آیر، میل، فرگه و کواین از جمله مهم ترین تعاریف قضایای تحلیلی در فلسفه غرب است. این تعاریف به لحاظ مصداق در سه دسته اخص، خاص و اعم قرار می گیرند. برای دست یابی به تعریف صحیح، باید دید کدام تعریف با اهداف و مبانی این تقسیم سازگارتر است. در این مقاله، پس از تعیین اهداف و مبانی فیلسوفان غرب در این تقسیم، نشان داده شده است که هیچ یک از تعاریف فلسفه غرب با مبانی فلسفی آنها و با اهداف مورد نظرشان سازگار نیست؛ زیرا مهم ترین هدف این تقسیم تفکیک حقایق عقل از حقایق واقع یا تفکیک حقایق اولیه عقل از حقایق مشتقه عقل است که این هدف نسبت به قضایای حملی و شرطی از یک سو، و قضایای سالبه و موجبه از سوی دیگر، و قضایای صادق و کاذب و ... یکسان است. اما هیچ کدام از تعاریف نمی تواند همه انواع قضایا را در برگیرد. به علاوه، هر یک از تعاریف ارایه شده از فلاسفه غرب، دارای نارسایی ها و ضعف های دیگری است. از این رو، تعریف دیگری به عنوان تعریف مختار مولف ارایه شده است که به نظر می رسد هیچ یک از نارسایی های مذکور را ندارد. تعریف مختار اخص از تعریف اعم و اعم از تعریف خاص است، از این رو، مجموع تعاریف قضایای تحلیلی در چهار دسته اخص، خاص، عام و اعم قرار می گیرند.

مساله اختیار از مهم ترین مسایل مورد توجه لایب نیتس است. او از این مساله تحلیلی را ارایه داده است که در آن می خواهد نشان دهد انسان و خداوند به معنای مشابهی مختارند. او در راستای ارایه راه حل خود برای مساله اختیار نکات مهمی را مطرح کرده و مورد بحث قرار می دهد که از جمله آنها تمایز میان ضرورت شرطی و ضرورت مطلق و نظریه جهان های ممکن است. در این مقاله نشان داده می شود که تلاش لایب نیتس برای مساله اختیار خود دشواریهایی را به دنبال خواهد داشت و در نهایت به موجبیت افعال انسانی منجر خواهد شد.