گوتفرید لایبنیتس: تفاوت میان نسخه‌ها

سخن دربارهٔ فلسفه لایبنیتس را می‌توان از این‌جا آغازید، که در نگاه او هر گزاره‌ای یا صورتی [[موضوع|موضوعی]]-[[محمول|محمولی]] دارد یا می‌توان آن را به گزاره یا گزاره‌هایی تحلیل کرد، که صورت موضوعی-محمولی داشته باشد. نیز در نگاه او حقیقت گزاره‌ای صادق است، گزاره‌ای که مطابق با واقع است، چه این واقع محقق و بالفعل باشد، چه ممکن. از همین نکته تفاوت ''حقایق عقل'' و ''حقایق واقع'' آشکار می‌شود. حقایق عقل [[ضرورت این‌همانی|گزاره‌هایی ضروری]] اند، که یا به‌خودی‌خود [[بدیهیات|بدیهی]] اند یا می‌توان به گزاره‌های بدیهی فروکاست شان، اما حقایق واقع گزاره‌هایی نه ضروری، بلکه ممکن اند، زیرا می‌توان [[نقیض]] شان را هم تصور کرد، در حالی که تصور نقیض گزاره‌های ضروری به [[تناقض]] می‌انجامد. به دیگر سخن حقایق عقل به‌طور [[پسینی و پیشینی|پیشینی]] برای ما بدیهی اند یا دستِ‌کم با استنتاجی لِمی بدیهی می‌شوند و آدمی با تصور درست موضوع و محمول به‌تنهایی به درستی و صدق شان گواهی می‌دهد، اما حقایق واقع ضروری نیستند و به‌طور پسینی از آن‌ها آگاه ایم و از همین رو برای صدق نیازمند مرجح یا دلیل کافی اند.

 

 

==== ضرورت مطلق و مشروط ====