در گفتمان فلسفی نوصدرایی، در سه زمینة صوری، روشی، و محتوایی، دگرگونی روی داده است. در فلسفۀ ملا هادی سبزواری نیز در این زمینه‌ها دگرگونی و تجدّدی روی داده که بر این اساس، او را آغازگر جنبش فلسفی نوصدرایی معرفی می‌کنیم. سیر اندیشة او در مسیر حکمت صدرایی بوده و در مواردی با ملاصدرا اختلاف نظر داشته؛ اما ابداعاتی نیز در اندیشۀ او وجود دارد. در ساختار صوری و روشی، استفادۀ او از منطق و سبک نگارش شرح ...

میان منطق‌دانان مسلمان، نزاعی دربارة گسترة مصادیق موضوع در قضایای حقیقیه درگرفته است و آن اینکه آیا موضوع در این دسته از قضایا شامل همة مصادیق موجود و ممکن الوجود است یا مصادیق ممتنع الوجود را نیز در بر می‌گیرد. از ابن‌سینا تا افضل­الدین خونَجی، تصریحاتی به دیدگاه دوم وجود دارد اما منطق‌دانان بعدی، در ابتدا اثیر الدین ابهری به دیدگاه نخست گرایش پیدا کردند. در این مقاله، تلاش می‌کنیم دیدگاه ابن‌س...

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

کتاب تاریخ فلسفه تحلیلی: از بولتسانو تا ویتگنشتاین،  متضمن بحث تحلیلی در باب مهمترین عناصر اندیشه فیلسوفان تحلیلی در نیمه نخست قرن بیستم است. در این کتاب نویسنده کوشیده است اندیشه­های فیلسوفان تحلیلی را در قالب یک سنت فلسفی بررسی و تحلیل کند چنانکه پیوند میان اندیشه­های ایشان قابل ردگیری باشد.  وی پس از بحث در باب زمینه­های پیدایش فلسفه تحلیلی، به ترتیب آراء بولتسانو، فرگه، راسل، ویتگن...

بحث روش در منطق مساله مهمی است که مضمون، هدف و ماهیت منطق را روشن می کند . منطق  مانند دیگر علوم مبتنی بر روش است و باید مشخص شود در منطق چه روشی بکار گرفته می شود ؛ مثلا درمنطق ارسطوئی روش معهود روش قیاسی است یعنی استنتاج ِعقلی نتیجه از مقدمات قضایای  حملی یا شرطی . منطق تجربی بیکن مبتنی بر روش تجربی و استقرائی بود . روش منطق استعلائی کانت با روش قیاسی و تجربی کاملا متفاوت است. روش کانت تعیین ش...

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

در این پایان نامه نیازمندی های یک مکانیزم ابطال گواهی کلی را بیان می کنیم. در واقع این نیازمندی ها به صورت مجرد بیان می شود تا بتوان از آنها در درسیت یابی مکانیزم های مختلف موجود و یا پیشنهاد راه حل های جدید استفاده نمود.سپس این نیازمندیها را با استفاده از منطق زمانی به شکل صوری بیان می کنیم. همچنین نشان می دهیم که نیازمندیهای ما در یافتن برخی مشکلات ناشناخته راه حل های موجود مفید است. به علاوه...

هانری لوفور با بسط مفهوم فضا و ماتریالیسم دیالکتیکی، بحث درباره ساختار دیالکتیک سه‌گانه را پیش می‌کشد. لوفور با انتقاد از دیالکتیک هگلی و مارکسی، تلاش آنها را در رفع تقابل‌های دوتایی ناکام می‌داند. پس می‌کوشد شکل تقابل‌های دوتایی را به ترکیبی سه‌تایی تغییر دهد؛ به عبارتی بهتر تقابل‌های دوتایی را محدود ‌کند. او با بسط محتوا نشان می‌دهد معرفت ما از طریق محدودسازی محتوا و شکل اجتماعی محدود شده است...

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