جستجوي پيشرفته | کتابخانه مجازی الفبا

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

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

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

ترجمه ماشینی: روش‌های منطق برای درک فلسفه ضروری هستند و در مطالعه ریاضیات، محاسبات، زبان‌شناسی و بسیاری موضوعات دیگر حیاتی هستند. این کتاب معتبر با معرفی مفاهیم و تکنیک های اصلی درگیر در مطالعه منطق، هم منطق صوری و هم منطق فلسفی و راه هایی را که از طریق آن می توانیم به استدلال خوب دست یابیم را بررسی می کند. فصول جداگانه شامل: * گزاره ها و استدلال ها * جداول حقیقت * درختان * شرطی بودن * استنتاج طبیعی * محمول ها، نام ها و کمیت ها * توصیفات قطعی. این مقدمه فوق العاده واضح برای این موضوع برای دانش آموزانی که دوره های مقدماتی منطق را می گذرانند، مناسب است.

سهروردی ادّعا می‌کند که قیاس تک‌مقدمه‌ای نمی‌تواند وجود داشته باشد، و بر این مدّعا دلیلی اقامه می‌کند. مسئلۀ جستار کنونی تبارشناسی تاریخی آن مدّعا، و ارزیابی منطقیِ این دلیل است. فرضیۀ ما این است که از نظر تاریخی، نزاع بر سر امکان یا امتناع استدلال تک‌مقدمه‌ای به رواقیان بازمی‌گردد: خروسیپوس رهبر مخالفان بود؛ و آنتی‌پاتر تراسوسی پیشوای موافقان. این نزاع رواقی به دست اسکندر افرودیسی وارد منطق مشائی گردید و با نظریۀ قیاس ارسطو درآمیخت و، در نتیجه، مسئلۀ رواقیِ «استدلال تک‌مقدمه‌ای» با مسئلۀ ارسطوییِ «قیاس تک‌مقدمه‌ای» خلط شد. ابن‌سینا واسطۀ انتقال این مسئله از اسکندر به سهروردی است. دلیل سهروردی، اگر ناظر به امتناع استدلال تک‌مقدمه‌ای باشد، بی‌شک، نادرست است؛ ولی اگر ناظر به امتناع قیاس تک‌مقدمه‌ای باشد، می‌تواند بهره‌ای از صحت داشته باشد.

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته‌است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت‌شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت‌شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله‌ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله‌ی وی آمده‌است

میلیکان در پاسخ به مسئلۀ پاتنم دربارۀ عدم تعین مصداقی واژه‌های زبانی این موضوع را مطرح می‌کند که اگر تعریف جدیدی از بازنمایی مبتنی بر شواهد زیستی و به‌ویژه اصل انتخاب طبیعی ارائه کنیم، آیا مسئلۀ پاتنم هم‌چنان موضوعیت خواهد داشت. پاسخ میلیکان به این سؤال منفی است. او معتقد است که سؤال باید این‌گونه مطرح شود که چه چیزی رابطه‌ای خاص را از میان بی‌شمار رابطۀ ممکن بین واژگان و اشیا به رابطۀ بازنمایی ـ بازنما تبدیل می‌کند؟ پاسخ او به این سؤال بر فرضیه‌ای مبتنی است که در زیست‌شناسی نیز محل اختلاف و مباحثات بسیار بوده است و طرف‌داران و مخالفان خود را دارد. میلیکان در زمرۀ گروهی است که نگاهی تاریخی به کارکرد دارند و معتقدند که کارکرد هر شیء باید براساس نقشی تعریف شود که قرار بوده است در سیر تاریخی پیدایشش ایفا کند. او به چنین کارکردی صفت «مطلوب» را اطلاق می‌کند. فرضیۀ بدیل معتقد است که کارکرد باید براساس کاری تعریف شود که در حال حاضر و در تعادل با وضعیت موجود بااستفاده‌از شیء انجام می‌شود. نکتة کلیدی در ارائة مفهوم کارکرد مطلوب ارائة تعریفی جدید از «بازنمایی» است. در این مقاله قصد داریم با معرفی تعریف میلیکان از بازنمایی نشان دهیم که این تعریف بر مفهوم «ساختکار» (functure) مبتنی است و برخلاف دیدگاه رایج در فلسفه که بازنمایی را امری ذهنی می‌داند، کاملاً عینی است.

بیشتر تعاریف ارائه شده برای مادی و مجرد به گونه­ای هستند که ابتدا امر مادی تعریف می­گردد سپس امر مجرد به گونه سلبی (سلب ماده، خواص ماده یا وابستگی به ماده) تعریف می شود: مجرد آن چیزی است که مادی نیست. ایراد وارد به اینگونه تعاریف سلبی این است که دیگر نمی­توان بین شی اول و سلب آن شی، حدواسط و شی سومی تعریف کرد. لذا بر اساس این گونه تعاریف نمی­توان بین ماده صرف و مجرد تام دسته دیگری از امور (مثلا مجرد برزخی) تعریف کرد. در این مقاله سعی شده ابتدا تعاریف موجود در خصوص مادی و مجرد بررسی گردد، سپس نشان داده شود که با توجه به نظر صدرالمتالهین در خصوص حرکت جوهری اشتدادی نفس ناطقه، لازم است بین مادی صرف و مجرد تام طیفی از امور داشته باشیم، طیفی شامل مادی محض، اندک تجرد نفس نباتی، تجرد مثالی، تجرد عقلی و فوق تجرد و همچنین مراتبی باید بین این مراتب ذکر شده وجود داشته باشد. آنگاه نشان می­دهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمی­باشد. نهایتاً بیان می­کنیم که نمی­شود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان ­می­کنیم که باید به‌گونه‌ای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه می‌دهیم.

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

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