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

منطق

حوزه‌های تخصصی
ادبیات اقتصاد تاریخ تربیت بدنی جغرافیا حقوق روانشناسی زبان شناسی علم اطلاعات و دانش‌شناسی علوم اجتماعی علوم اسلامی علوم انسانی علوم تربیتی علوم سیاسی فلسفه و منطق مدیریت مطالعات زنان هنر و معماری
توضیحی درباره چارت حکمت و فلسفه شرق فلسفه غرب گروه های ویژه منطق
صوری غیر صوری فرامنطق فلسفه منطق گروه های ویژه
ترتیب بر اساس: جدیدترینپربازدید‌ترین
فیلتر های جستجو: فیلتری انتخاب نشده است.
نمایش ۸۱ تا ۱۰۰ مورد از کل ۵۴۶ مورد.
۸۱.

درباب واقعیت های منطقی: واقع گرایی درباره رابطه نتیجه منطقی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 63-87

کلید واژه ها: واقع گرایی منطقی نتیجه منطقی صدق منطقی واقعیت های منطقی رابطه

حوزه های تخصصی:
تعداد بازدید : 727 تعداد دانلود : 587
به یک تعبیر، واقع گرایی درباب منطق واقع گرایی درباب موضوع منطق است.اما، منطق واقعاً درباره چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطه نتیجه منطقی تلقی می شود؛ رابطه ای که میان مقدمه های یک استدلال و نتیجه آن استدلال برقرار است. در تاریخِ منطق همواره این چنین نبوده است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی کردنِ منطق به عنوان مجموعه ای از صدق های منطقی در جامعه علمی حاکم بود. در این مقاله ابتدا دلایلی ارائه خواهیم کرد که نشان دهد که بهتر است که موضوع علم منطق را رابطه نتیجه منطقی بدانیم و نه صدق منطقی. آنگاه دلایلی ارائه می کنیم تا نشان دهیم که چرا بحث درباره متافیزیک منطق اهمیت دارد. در متافیزیک منطق، نظریات واقع گرا عموماً فرض کرده اند که موضوع علم منطق صدق منطقی است.در تقابل با این رویکرد غالب، الگوهایی ارائه کرده ایم که با فرض اینکه موضوع منطق رابطه نتیجه منطقی باشد، چگونه می توان درباب منطق واقع گرا بود. این الگوها الهام گرفته از راه حل هایی هستند که در ذیل مسئله متافیزیک رابطه ها در تاریخ متافیزیک مطرح شده اند
۸۲.

راه حلی بر اساس منطق خطی به نفع دیدگاه واقع گرایی علمی در مساله تمایز هستومند های مشاهده پذیر و مشاهده ناپذیر(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 157-178

کلید واژه ها: واقع گرایی علمی منطق خطی ناسازنمای ابهام تمایز هستومند های مشاهده پذیر و مشاهده ناپذیر

حوزه های تخصصی:
تعداد بازدید : 179 تعداد دانلود : 497
توانایی کشیدن خط تمایز دقیق بین هستومند های مشاهده پذیر و مشاهده ناپذیر در نظریه های علمی به عنوان موضوعی مورد مناقشه در بین دو دیدگاه مخالف واقع گرایی علمی و پادواقع گرایی هنوز یکی از موضوعات باز در فلسفه علم می باشد. یکی از استدلال هایی که به نفع واقع گرایان ارائه شده است مدعی است که نمی توان علی الاصول خط تمایزی بین این هستومند ها کشید. از طرف دیگر پذیرش انسجام دیدگاه پادواقع گرایی به نوعی مستلزم پذیرش تمایز بین هستومند های مشاهده پذیر و نامشاهده پذیر می باشد. اگر به هر وسیله ای این تمایز به صورت اصولی رد شود نتیجه آن عدم انسجام دیدگاه پادواقع گرایی خواهد بود. پادواقع گرایان برای دفاع از انسجام دیدگاه خود مبهم بودن مفاهیم مشاهده پذیر و مشاهده ناپذیر را مطرح می کنند. در این نوشتار تلاش خواهیم کرد تعبیری از منطق خطی را معرفی نماییم که با به کار بردن آن می توان وضوح بیشتری به محل نزاع بین واقع گرایان با پادواقع گرایان در مورد ناسازنمای ابهام بخشید. نشان خواهیم داد که اگر تعبیر مورد نظر در ناسازنمای ابهام به کار گرفته شود به صورت منسجم تری می توان ادعا کرد که بر خلاف نظر پادواقع گرایان مبهم بودن مفاهیم مشاهده پذیر و مشاهده ناپذیر به نفع دیدگاه آنها نخواهد بود.
۸۳.

منطق علیه هستی شناسی در تراکتاتوس(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 157-177

کلید واژه ها: ویتگنشتاین ابژه امور واقع تراکتاتوس جهان منطق وضع امور هستی شناسی

حوزه های تخصصی:
تعداد بازدید : 922 تعداد دانلود : 980
در این مقاله به بررسی امکان سخن گفتن از هستی شناسی نزد ویتگنشتاین متقدم در تراکتاتوس (رساله ی فلسفی- منطقی) می پردازیم. در گام اول، خوانش های مختلف مفسران از بخش اول این کتاب، معروف به بخش جهان بررسی می شود و آراء موافق و مخالف با فرض وجود نگاه هستی شناختی در آن، بیان می شود. در گام بعدی، تلاش می شود با کنار هم قرار دادن گزاره های بخش اول کتاب و تحلیل آنها، فهم دقیق تری از مفهوم جهان و دیگر مقولات هستی شناختی در آن حاصل شود. با بررسی دو مفهوم اصلی کتاب یعنی امور واقع و ابژه ها، این مقاله به این نتیجه می رسد که برداشت های هستی شناختی و رئالیستی از تراکتاتوس به خطا رفته اند و آنچه به عنوان هستی شناسی در بخش اول این کتاب شناخته می شود، در حقیقت بحثی در منطق است. بنابراین آنچه به عنوان جهان در تراکتاتوس از آن سخن گفته می شود فضای منطقی و قلمرو اندیشه است و برخلاف برداشت اولیه جهان بالفعل و انضمامی مورد بحث ویتگنشتاین نیست.
۸۴.

اَپاگوگه ارسطو(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 179-216

کلید واژه ها: اپاگوگه قیاس محتمل فرضیه ربایی استنتاج بهترین تبیین پیرس

حوزه های تخصصی:
تعداد بازدید : 70 تعداد دانلود : 407
ارسطو در آناکاویک نخست، دفتر 2، فصل 25، گونه ای از استدلال، به نام اَپاگوگه، را پیش می نهد که ارسطوشناسان درباره چیستی اش بسی اختلاف دارند. راس بر آن است که اَپاگوگه قیاس اکتشافیِ نیمه برهانی نیمه جدلی، در قالب شکل اوّل، با نتیجه ای محتمل است که از ترکیب صغرایی محتمل تر با کبرایی یقینی به دست می آید. پِرس معتقد است که اَپاگوگه همان فرضیه ربایی یا به تعبیر جدیدتر استنتاج بهترین تبیین است. فارابی، امّا، بی آن که آشکارا درباره اَپاگوگه بحث کند، برگردان عربیِ اِپاگوگه، یعنی «الاستقراء»، را جایگزین اَپاگوگه می کند، که الهام بخش این فرضیه است که اَپاگوگه تصحیف اِپاگوگه است. تحلیل ما نشان می دهد که تفسیرهای پِرس و فارابی، خود، فرضیه ربایی هایی هستند که با پذیرش مسئله زا بودنِ وضعیت فصل 25، فرضیه هایی برای تبیین آن پیش می نهند، مخالف با اصول اقتصاد و سازگاری. راس، اما، مسئله زا بودنِ وضعیت فصل 25 را، از بُن، نمی پذیرد و کار خود را ساده می کند. نظریه پِرس، در باب ریشه ارسطوییِ فرضیه ربایی، با مشکلات و دست کم دو رقیبی که دارد، به جدّ محلّ تردید خواهد بود؛ و این برای تاریخ منطق، تاریخ علم، و تاریخ فلسفه علم، می تواند مهم باشد.
۸۵.

منطق فازی تک نرم گزاره ای با ادات صدق(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 37-63

کلید واژه ها: منطق فازی منطق تک نرم ادات صدق منطق موجهات نیمه خطی تمامیت استاندارد

حوزه های تخصصی:
تعداد بازدید : 703 تعداد دانلود : 198
منطق تک نرم UL یک منطق فازی، زیرساختاری و نیمه ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرمال نیمه خطی است. یعنی نسبت به یک جبر مرتب خطی به طور قوی صحیح و تمام است. ULΔ با قضیه ی (p→q)∨Δ(q→p) از دیگر سیستم های استاندارد منطق موجهات متمایز می گردد. Δφ شهوداً تعبیر می شود که «صادق است که φ» یا به عبارت دقیق تر «به طور کلاسیک صادق است که φ». در این مقاله منطق نیمه کلاسیک ULΔ را با چهار رویکرد اصل موضوعی، حساب ابررشته ها، معناشناسی جبری و معناشناسی استاندارد معرفی می کنیم. فراقضیه هایی که بررسی می کنیم عبارت اند از: استنتاج دلتا، صحت قوی، تمامیت استاندارد قوی و تعریف پذیری منطق کلاسیک.
۸۶.

نظریه حمل سید صدرالدین دشتکی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 113-135

کلید واژه ها: نظریه حمل جهت عقد الوضع قاعده فرعیه بساطت و ترکب مشتق سید صدرالدین دشتکی

حوزه های تخصصی:
تعداد بازدید : 972 تعداد دانلود : 708
دشتکی در ارائه نظریه حمل خود، از دو نظریه بدیل یاد می کند؛ «ثبوت امر لامر» و «تغایر مفهومی موضوع و محمول و اتحاد در ذات». دشتکی با نقد این دو دیدگاه، «تغایر اعتباری و اتحاد در وجود» را به عنوان نظریه حمل استاندارد معرفی می نماید. تحلیل ویژه دشتکی از مشتقات نقش مهمی در این نظریه دارد. انکار نسبت از دیگر عناصر تشکیل دهنده نظریه دشتکی است و با کمک آن می تواند حمل را به هوهویت و عینیت موضوع و محمول تحلیل کند. دشتکی در می یابد که هر یک از بساطت یا ترکب مشتق با نظریه حملی که او به دنبال آن می باشد، در تنافی اند و لذا تحلیل ویژه ای از مشتقات عرضه می کند. تحلیل او از مشتقات، راه را برای تفکیک دوگانه «ثبوت مبدا برای موضوع» و «اتحاد محمول و موضوع» هموار می سازد و او را در تحلیل قاعده فرعیه و جهت در عقدالوضع یاری می کند. همه این عناصر به یاری دشتکی می آیند تا بتواند قضایای لابتیه، هلیه بسیطه و معدوله را تحلیل کند و نظریه حمل منتخب خود را در مورد آن ها به کار گیرد.
۸۷.

رویکردی منطقی-ریاضی به اصول فقه(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 249-277

کلید واژه ها: منطق گزاره ها منطق موجهات مدل کریپکی اصول فقه ساختار نحوی ساختارمعنایی

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

جایگاه استقراء در قرآن(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 137-156

کلید واژه ها: قرآن استقراء استدلال عبرت سیروا انظروا

حوزه های تخصصی:
تعداد بازدید : 615 تعداد دانلود : 550
در علم منطق یکی از اقسام استدلال، استقراء است که به رغم تنزل اعتبار آن نسبت به قیاس برهانی، از اهمیت و رواج قابل توجهی برخوردار است. یکی از بهترین راهها برای ایجاد انگیزه، عبرت آموزی، تقویت باورها و نیز هدایت عموم انسان ها، طریقه استقراء است. قرآن کریم گرچه از طرق مختلف استدلال در موارد خاص، برای امر هدایت استفاده کرده است، اما در این میان، شیوه استقراء، فراوانی قابل توجهی دارد. روش های دیگر استدلال، از جمله برهان عقلی در قرآن در مقایسه با استقراء کمتر دیده می شود. توصیه خداوند به بررسی و نگریستن در سرنوشت گذشتگان و بیان نمونه-های زیادی از اقوامی که وضعیت مشابهی داشتند، از جمله شواهد این ادعاست. یکی از استدلالهای قرآن کریم در برخی از آیات به این شکل است که شما مردم اگر رفتار و برخوردی همانند اقوام پیشین داشته باشید، سرنوشتی مشابه آنان خواهید داشت. به نظر می رسد یکی از اهداف خداوند از بیان سرنوشت اقوام گذشته، هشدار به مخاطبین خود و عبرت آموزی می-باشد تا از این طریق مسیر هدایت را برای آنان هموار سازد و حجت را بر آنان تمام کند. با توجه به حجم بالا و تعدد موضوعات در روش استقرایی قرآن، این نوشتار تنها به تحقیق مواردی می پردازد که با تعبیر «سیروا» و «انظروا» و مشتقات آنها بیان شده است. نتیجه این بررسی نشان می دهد که استقراء کاربرد بیشتری نسبت به سایر اقسام استدلال دارد و تاثیرگذاری آن نیز غیر قابل انکار است.
۸۹.

ملاحظاتی بر نظریه ارجاع بدیهیات تصدیقی به علم حضوری(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 93-112

کلید واژه ها: بدیهی علم حضوری وجدانیات اولیات خطاناپذیری

حوزه های تخصصی:
تعداد بازدید : 799 تعداد دانلود : 917
بدیهیات به عنوان زیرساخت معرفت فلسفی و بلکه همه معارف بشری از گذشته دارای ارزش بسزایی بوده است و لیکن به دلایل مختلفی به چرایی آن جز در مطاوی کلمات فلاسفه پرداخته نشده است. در تبیین و توجیه اعتبار و خطاناپذیری بدیهیات مبانی مختلفی مطرح شده است. یکی از این مبانی ارجاع بدیهیات به علوم حضوری و استفاده از خاصیت خطاناپذیری این علم برای تضمین صحت بدیهیات می باشد. آیت الله مصباح را می توان مبدع و یا نخستین مقرر این نظریه دانست. ایشان از شش بدیهی رایج تنها وجدانیات و اولیات را واجد شرایط بداهت می دانند و به دلیل اینکه علم حصولی و حس را مناشیء وقوع خطا می دانند، تلاش می کنند تا ارتباط وجدانیات و اولیات را با آنها قطع نمایند تا راه ورود خطا به بدیهیات مسدود شود و آن گاه برای تضمین صدق و بداهت بدیهیات آنها را با علم حضوری که سرچشمه ضمانت صحت است، پیوند می دهند. اما این نظریه به نظر می رسد با مشکلاتی روبرو است. نوشتار مذکور درصدد است تا با تبیین نظر ایشان و برشمردن ویژگی های علم حضوری ملاحظات وارد بر این نظریه را بررسی کند.
۹۰.

مفهوم «جهان غیرمنطقی» از نظر ویتگنشتاین متقدم و رایل(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 239-257

کلید واژه ها: ویتگنشتاین رایل هارمن جهان غیرمنطقی منطق عقلانیت

حوزه های تخصصی:
تعداد بازدید : 528 تعداد دانلود : 581
ویتگنشتاین در رساله منطقی-فلسفی در شمار ه های ۳.۰۳۱-۳.۰۲ می گوید که جهانی غیرمنطقی تصورناپذیر است و درباره اش نمی توان سخن گفت. رایل (1946) مدعی شده است که اصولاً چیزی به نام معمای تصورناپذیری جهان غیرمنطقی و ناممکنی سخن در مورد چنین جهانی وجود ندارد. به زعم وی چنین معمایی وجود ندارد و بحث بر سر معناداری سخن در باب جهانی غیرمنطقی محصول خطای مقولهای است. رایل با نظر به معانی مختلف مفهوم «کاربست منطق» کوشیده است مفهوم «جهان (غیر)منطقی» را توضیح دهد. به باور او مفهوم «(غیر)منطقی» را تنها و تنها می توان بر اجراکنندگان قواعد منطق یا متخطیان از آن به کار بست، چرا که جهان و واقعیات سازنده آن به هیچ روی اجراکننده قواعد منطق یا متخطی از آنها نیستند. تنها زمانی می توان چیزی را (غیر)منطقی دانست که آن چیز توانا به پیروی یا تخطی از قواعد منطق باشد. جهان و واقعیات آن فاقد چنین توانی هستند. این بدان معنا است که اندیشناکی در مورد حمل مفهوم «(غیر)منطقی» بر جهان یکسر بیوجه و عبث است. حمل مفهوم «(غیر)منطقی» بر جهان مصداقی از خطای مقولهای است. در این مقاله خواهم کوشید با استفاده از تمایز هارمن میان منطق (استلزام) و عقلانیت (استنتاج) نشان دهم استدلال رایل علیه ویتگنشتاین برهانی ناکام است. استدلال خواهم کرد که دلیل رایل بر امتناع اسناد مفهوم «(غیر)منطقی» بر جهان ریشه در نادیده گرفتن تمایز مهمی است که هارمن بدان اشاره کرده است.
۹۱.

انگیزه ها و استدلال های پریست در دفاع از دوحقیقت باوری(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 217-238

کلید واژه ها: دوحقیقت باوری گراهام پریست اصل امتناع تناقض منطق فراسازگار

حوزه های تخصصی:
تعداد بازدید : 656 تعداد دانلود : 711
دوحقیقت باوری(dialetheism) دیدگاهی است که می گوید برخی از تناقض های صادق وجود دارند. ازآنجایی که در منطق سنتی(ارسطوئی-کلاسیک) اصل امتناع تناقض(LNC) معتبر و برقرار است، این دیدگاه چالش برانگیز است. در این مقاله سعی می شود که مسئله ی اساسیِ دوحقیقت باوری توضیح داده شود، و استدلال ها و انگیزه های گراهام پریست را در عدم پذیرش اصل امتناع تناقض و روی آوردن به منطق های فراسازگار بررسی شود. بنابر این، در بخش های پی در پی، سعی می کنیم وجودِ دوصدقه ها یا تناقض های صادق را در نظام های حقوقی، زبان طبیعی و زبان فرمال و جهان خارج نشان دهیم و دلایل پریست برای پذیرفتنِ آن ها و نقدِ وی از دیدگاه های رقیب را بیان کنیم. با انجام این کارها به نظر می رسد برای مان مشخص می شود به شرط آنکه نقضی بر استدلال های پریست وارد نباشد، دیدگاه پریست در پذیرشِ تناقض های صادق، می تواند پذیرفتنی یاشد. واژگان کلیدی: دوحقیقت باوری، گراهام پریست، اصل امتناع تناقض، منطق فراسازگار
۹۲.

منطق سنتی موجهات ، اختلال در ساختار قضیه و انحصارگرایی در جهات(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 259-274

کلید واژه ها: منطق موجهات فلسفه منطق منطق ماده منطق صوری مناقشه در موجهات

حوزه های تخصصی:
تعداد بازدید : 49 تعداد دانلود : 267
تمایز ساحت شناخت از افق واقع و تفکیک احکام حاکی از محکی، از مهم ترین و حساسترین مباحث معرفت شناسی است. قواعد منطق عهده دار تحلیل و تبین قوانین کشف مجهول تصوری و تصدیقی است. در منطق سنتی قضیه به عنوان موضوع منطق تصدیقات، معقول ثانی منطقی است و حقیقتی صوری و حکایی دارد. منطق صورت عهده دار تامین ابزار صحت تالیف و ترکیب و استنتاج از قضایاست. محتوای قضیه، نوع پیوند آن با خارج و میزان استقامت معنایی آن از این حوزه بیرون است، به نظر می رسد طرح مباحث موجهات در منطق سنتی، در برخی موارد اسباب تداخل ماده و صورت و اشراب برخی احکام عینی به قضیه ذهنی را فراهم کرده است. ورود فعلیت و دوام و استعداد به موطن قضیه، امری فراتر از حیث صوری در قضیه و مربوط به فرایند تحقق عینی اوصاف و اتصاف موضوع به محمول در عالم خارج است. افزودن این قیود به ساختار قضیه، موجبات اختلال، پیچیدگی، اختلاف، ابهام موجهات در منطق سنتی را فراهم آورده است. در این مقاله، به روش تحلیلی نشان داده ایم، که فضای رایج در منطق سنتی هم در افزودن قیود به ساختار قضیه و هم در اکتفا به جهات محدود محل تامل و مناقشه است.
۹۳.

ملاحظاتی در نظر ویلیامسن درباره تنش میان منطق غیرکلاسیک و کاربردپذیری ریاضیات(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 15-36

کلید واژه ها: مسئله ابهام منطق غیرکلاسیک کاربردپذیری ریاضیات ویلیامسن پارادکس

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

سهروردی و قیاس تک مقدمه ای(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 179-193

کلید واژه ها: استدلال تک مقدمه ای استدلال مباشر قیاس تک مقدمه ای خروسیپوس آنتی پاتر سهروردی

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

بررسی روش های مختلف معرفی فورسینگ(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم پاییز و زمستان ۱۳۹۸ شماره ۲ (پیاپی ۲۰) 1-13

کلید واژه ها: فورسینگ مدل های بولی-مقدار فیلتر ژنریک رسته

حوزه های تخصصی:
تعداد بازدید : 626 تعداد دانلود : 339
روش فورسینگ کوهن یکی ازمهمترین ابزارهای نظریه مجموعه ها برای ساختن مدل های از ZFC می باشد. در این مقاله روش های مختلف معرفی فورسینگ را بررسی کرده و نشان می-دهیم همه آنها با هم معادل هستند. . ابتدا روش فورسینگ را به کمک مجموعه های جزئاً مرتب بیان می کنیم و بعضی از خواص اساسی آن را ذکر می کنیم. سپس روش مدل های جبر بولی-مقدار را می آوریم و نشان می دهیم که این رویکرد به فورسینگ با روش اول معادل است. این کار با نشان دادن اینکه هر مفهوم فورسینگ را می توان به طور چگال در یک جبر بولی کامل نشاند صورت می پذیرد. سپس به معرفی فورسینگ از دیدگاه توپولوژی می پردازیم و ارتباط آن را با روش مجموعه های جزئاً مرتب می آوریم. نشان خواهیم داد رابطه فورسینگ که از دیدگاه توپولوژیکی معرفی می شود با رابطه فورسینگ که از دیدگاه مجموعه های جزئاً مرتب تعریف شده یکی است و بنابراین این دو روش اساسا یکی هستند. سرانجام به معرفی فورسینگ از دیدگاه نظریه رسته ها پرداخته و ارتباط آن را با روش مدل-های جبر بولی-مقدار می آوریم. نشان می دهیم که برای یک جبر بولی کامل رسته شیف های روی آن را می توان با جهان بولی مقدار ساخته شده توسط آن جبر بولی یکی گرفت.
۹۶.

بررسی انتقادی کثرت گرایی غایت محور در مورد منطق(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 195-211

کلید واژه ها: منطق کثرت گرایی غایت محور بلک ترنر و راسل استدلال فروپاشی هنجارمندی بیل و رستال

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

صورت های زمانی پارادوکس مور(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 1-32

کلید واژه ها: پارادوکس مور جملات موری پوچی منطق باور منطق زمانی منطق زمانی پیوندی

حوزه های تخصصی:
تعداد بازدید : 196 تعداد دانلود : 589
جملات موری جملاتی مانند "p اما من باور ندارم که p" یا "p اما من باور دارم که چنین نیست که p" هستند، که علی رغم ممکن الصدق بودن محتوای آنها اظهار یا باور به آنها با نوعی پوچی همراه است. ادعا می شود این جملات تنها در صورتی که در قالب زمان حال اظهار یا باور شوند پوچ خواهند بود و در صورتی که آن ها در قالب زمان گذشته یا آینده اظهار شوند اظهارشان پوچ نخواهد بود. ما در این مقاله می کوشیم به تحلیل صورت های زمانی مختلف جملات موری در زمان های گذشته، حال و آینده بپردازیم. برای این منظور از منطقی استفاده می کنیم که ترکیبی از منطق های زمان و باور است. سپس با صورت بندی جملات موری در زمان های مختلف نشان می دهیم که بر خلاف ادعای مرسوم صورت های گذشته و آینده این جملات لزوما پوچ نخواهند بود. در نهایت به معرفی شرایط لازم و کافی پوچی جملات موری در زمان های گذشته، حال و آینده می پردازیم.
۹۸.

جنبه های توپولوژیک از منطق مرتبه اول کلاسیک(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 121-135

کلید واژه ها: منطق مرتبه اول کلاسیک تعریف پذیری پایداری خاصیت وابستگی هم ارث

حوزه های تخصصی:
تعداد بازدید : 745
منطق مرتبه اول کلاسیک رایج ترین منطق در کاربردهای ریاضیات و همچنین در مطالعه بنیادهای منطقی می باشد. از دیر باز تنها ارتباط بین منطق و توپولوژی ریاضی محدود به مفهوم فضاهای تایپ بوده و پیوندهای دیگری بین این دو حوزه متصور نبوده است. اخیرا پیوندهای اساسی بین این دو شاخه (یعنی منطق و توپولوژی) ایجاد شده است که کاربردهای زیادی در هر دو حوزه منطق و همچنین در توپولوژی را موجب شده اند. در این مقاله به مطالعه برخی از مهمترین پیوندهای این دو شاخه از ریاضیات و همچنین کاربردهای آنها خواهیم پرداخت. یکی از مفاهیم کلیدی در منطق ریاضی و نظریه مدل ها مفهوم پایداری می باشد که بیانی کاملا ترکیبیاتی دارد. در این مقاله نشان می دهیم که این مفهوم معادل یک مفهوم توپولوژیک برای مجموعه مشخصی از توابع می باشد و با استفاده از آن قضیه ای بنیادین در نظریه پایداری شلاح را ثابت می کنیم. همچنین ارتباط بین مفهوم وابستگی و یک خاصیت توپولوژیک از مجموعه ای از توابع را بیان می کنیم و اثباتی توپولوژیک از برخی از دستاوردهای مهم نظریه مدل ها را ارائه خواهیم داد. برخی از نتایج ارائه شده در این مقاله در هر دو حوزه منطق و توپولوژی کاملا جدید هستند و احتمال کاربردهای بیشتر از آنها در مطالعات آتی متصور می باشد.
۹۹.

منطق پیوسته(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 89-120

کلید واژه ها: منطق ریاضی منطق چندمقداری منطق فازی منطق پیوسته

حوزه های تخصصی:
تعداد بازدید : 156 تعداد دانلود : 827
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از روی منطق ِ چندمقداریِ لوکاسیویچ. سپس بعضی از مهمترین خواص اولیه منطق پیوسته را بیان می کنیم. در انتها با توجه به تحلیلی که از مفهوم پیوستگی در منطق پیوسته با توجه به مجموعه مقادیر درستی داریم، نوعی از منطق پیوسته که مبتنی بر نرم های مثلثی پیوسته است را معرفی خواهیم کرد. این موضوع به معرفی منطق های پیوسته مبتنی بر منطق هایی مثل منطق گودل و حاصل ضربی می انجامد. در انتها به بررسی بعضی از خواص این منطق ها از جمله خاصیت فشردگی خواهیم پرداخت
۱۰۰.

آیا لزومی جزئی و شرطی اتفاقی متمایزند؟(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 213-248

کلید واژه ها: حملی شرطی لزومی اتفاقی کلی جزئی ضروری ممکن

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

پالایش نتایج جستجو

تعداد نتایج در یک صفحه:

درجه علمی

مجله

سال

زبان