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

منطق

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

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

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

کلید واژه ها: منطق موجهات نامگذاری موجهات تسهیل موجهات نقد موجهات

حوزه های تخصصی:
تعداد بازدید : ۳۰۰ تعداد دانلود : ۲۸۲
سهولت تعلیم، یکی از اصول آموزشی در علوم است. رعایت این اصل در مقام کشف، تعریف، توضیح، استدلال و تبیین نتایج، به تسریع یادگیری کمک می کند. منطق که داعیه دار سنجش و تصحیح فکر و اندیشه است، بیش از دیگر علوم به رعایت این اصل سزاوار است، اما به نظر می رسد، منطق سنتی در تسمیه موجهات کمتر به این قاعده پای بند مانده است. استفاده از لوازم بعید و الفاظ و اصطلاحات غریب برای نامگذاری موجهات در مراحل ابتدایی آموزش، رغبت و اشتیاق دانش آموز منطق را به ادامه بحث در موجهات کاهش داده و از این جهت به انزوای موجهات در حوزه های درسی منطق سنتی خواهد انجامید. بنابر این، مساله تحقیق این است که چه انتقادی بر شیوه منطق سنتی در نامگذاری موجهات وجود دارد و آیا می توان با تغییر مناسب در این نامگذاری به تسهیل آموزش موجهات کمک کرد؟ در این مقاله به روش تحلیلی به نقد و بررسی وضعیت موجود در نامگذاری موجهات بسیط پرداخته و نشان داده ایم که با توجه به تناسب معنایی موجود در قضایای موجهه می توان از اسامی همگون و مناسب در نامگذاری موجهات بسیط استفاده نموده و از این رهگذر غرابت موجود در نامگذاری موجهات را کاهش داد.
۵۰۲.

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

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

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

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

بررسی شرایط اعتبار سنجی قیاس اقترانی «منفصله-منفصله» نزد ابن سینا و منطق دانان مسلمان(مقاله علمی وزارت علوم)

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۹۶ تعداد دانلود : ۲۲۷
ابن سینا با ابتکار قیاسات اقترانی شرطی، نقطه عطفی در منطق اسلامی پدید آورد. انتاج قیاس شرطی متصله مورد تایید همگان است اما در قیاس منفصله با مشکلات و اختلاف آراء مواجه می شویم. وی در آثار کثیر خود شرایط متعدّد و متفاوتی درتعیین اعتبار قیاسات اقترانی منفصله–منفصله ارائه کرد و قیاس حقیقیه–حقیقیه را نا معتبر دانست. خواجه نصیرالدین طوسی به تبعیت از ابن سینا نه تنها قیاس حقیقیه–حقیقیه بلکه قیاس اقترانی متشکل از دو مانعه الجمع را نامعتبر دانست، در حالی که منطق دانان معاصر او مانند افضل الدین خونجی و سراج الدین ارموی ضمن پذیرش برخی شرایط عمومی این نوع قیاس، قیاس اقترانی شرطی دو حقیقیه و دو مانعه الجمع را با شرایطی منتج دانستند. به نظر می رسد راه حل مشترکی که گره گشای اختلاف نظر میان ابن سینا و منطق دانان بعد از او در این مسئله است بازگرداندن مقدمات قیاس به متصله و سپس تبعیت از قوانین دو متصله در نتیجه و در نهایت تبدیل نتیجه متصله به منفصله است.
۵۰۴.

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

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

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

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

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

نویسنده:
منبع: منطق پژوهی سال دوازدهم پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۴) 127-148

کلید واژه ها: سمنتیک زبان های طبیعی اسم های شمار اسم های ناشمار انضمامی پارشناسی نظریه ی جزء و کل نظریه ی مجموعه

حوزه های تخصصی:
تعداد بازدید : ۲۹۵ تعداد دانلود : ۸۹
در اکثر زبان های طبیعی اسم های عام به دو رده ی شمار و ناشمار تقسیم می شوند. میان این دو رده از اسم ها هم تمایز نحوی برقرار است و هم تمایز سمنتیکی. در این میان اما یک تمایز نحوی بارزتر از دیگران است: اسم های شمار می توانند با معرّف های عددی همراه شوند. برای مثال، در زبان فارسی می توان از «دو دلفین» یا «سه درخت» سخن گفت، اما واژه هایی همچون «برنز» یا «آب» را نمی توان بدین سان شمرد. در سویه ی سمنتیکی، بنابر تفسیر شیئی، یک شیء متفرد—یعنی یک دلفین—می تواند جمله ی «x دلفین است» را صادق گرداند. اما—دست کم در اغلب موارد—جمله ی «x آب است» را یک شیء متفرد صادق نمی کند، بلکه «جمعی» از ذرّه ها، قطره ها، مولکول ها و به مانند آن است که چنین نقشی را برعهده دارند. پرسش محوری این است که سرشت این «جمع» چیست: آیا این «جمع» یک مجموعه ی انتزاعی است یا یک کل انضمامی متشکل از اجزاء؟ براین اساس، دو رویکرد مبتنی بر نظریه ی مجموعه و پارشناسی (نظریه ی جزء و کل) وجود خواهد داشت. در نوشتار کنونی نخست دشواری های پیش روی هر دو رویکرد را بررسی کرده ایم و سپس نشان داده ایم که رویکرد مبتنی بر پارشناسی با قدری جرح و تعدیل می تواند از پس چالش های پیش رو برآید.
۵۰۶.

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

نویسنده:
منبع: منطق پژوهی سال دوازدهم پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۴) 235-250

کلید واژه ها: منطق انتگرال بیکران قضیه فراضرب قضیه فشردگی فضاهای Lp

حوزه های تخصصی:
تعداد بازدید : ۲۹۰ تعداد دانلود : ۷۴
تعامل منطق با نظریه های اندازه و احتمال همواره از رویکردهای مهم مطالعات در علم منطق و نظریه مدلها بوده است. در این راستا بسترهای منطقی متعددی برای تلفیق این شاخه ها بوجود آمده اند. منطق انتگرال نمونه ای مهم از آنهاست که در ابتدا توسط کیسلر و هوور معرفی و بررسی گردید و سپس در مقالات مختلف از جمله مقاله باقری-پورمهدیان مطالعه اش تکمیلتر و تبدیل به بستری منطقی مناسب کار با ساختارهایی که انتگرالگیری روی اندازه ها در آنها حائز اهمیت اند شد. همچنین توسط مفیدی-باقری بستری کلی تر برای کار با اپراتورهای گسترده تر از صرفا انتگرال به عنوان سور فراهم گردید. ضمنا در کاری موخرتر در ارتباط اندازه و منطق، در سال 2018 جنبه های مختلفی از رویکردهای سیستمهای دینامیکی به اندازه ها در نظریه مدل توسط مفیدی به چاپ رسید. یکی از ویژگیهای بستر منطقی باقری-پورمهدیان کرانداری آن است بدین معنا که همواره فرض می شود تعبیر روابط منطقی همگی توابعی کراندار اند. این ویژگی در کنار مزایایی از قبیل راحت شدن کار با روابط و اثبات قضایای فراضرب و فشردگی، محدودیتهای مهمی را در قدرت بیان، اصل بندی ساختارها و تعامل با ساختارهای متنوع ریاضیاتی ایجاد می کند. در این مقاله قصد داریم این محدودیت را رفع کرده، ورژنی تعمیم یافته و تقویت شده از قالب منطق انتگرال معرفی کنیم که تعبیر روابط بتوانند توابعی (نه-لزوما-کراندار) در فضاهایL^p باشند و نیز قضایای بنیادی فراضرب و فشردگی نیز با فرمی قویتر (و البته اثباتهایی با تکنیکهای جدید) برقرار باشند. با این تعمیم امکان تعامل بیشتر با فضاهایL^p و نیز متغیرهای تصادفی نه-لزوما-کراندار (در احتمال) که بخشهای مهمی از آنالیز و احتمالات هستند فراهم می گردد.
۵۰۷.

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

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

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

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

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۷۰ تعداد دانلود : ۲۴۴
منطقدانان قرون وسطی برای ضرب های منتج قیاس اقترانی حملی اسامی اختصاری انتخاب کرده بودند. این اسامی به نحوی انتخاب شده بود که نوع قضیه محصوره به کاررفته در صغری و کبری و نتیجه قیاس را مشخص کرده و نشان می داد که ضرب های منتج اشکال دوم تا چهارم از چه طریق، به ضرب های شکل اول بازمی گردند و نیز روش رد و تبدیل ضرب های منتج آن اشکال به شکل اول چگونه است. به عنوان مثال نام ضرب اول قیاس، باربارا (Barbara) است. حروف صدادار به کار رفته در این اسم، بیانگر نوع قضیه محصوره در مقدمات و نتیجه این ضرب از قیاس است. در این مختصر این اسامی اختصاری و نکات مرتبط با آنها توضیح داده شده است. همچنین علت متفاوت بودن این اسامی در مورد شکل چهارم بیان شده و به تاریخچه تغییرات این اسامی در مورد شکل چهارم اشاره شده است. در پایان مقایسه ای میان این روش و روش استفاده از قواعد کلی انتاج توسط منطقدانان مسلمان صورت گرفت و مزایا و معایب هر یک از این دو روش بیان گردید.
۵۰۹.

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۶۵ تعداد دانلود : ۲۲۴
از ابتدای پیدایش منطق جدید، پیوندهای بنیادی بین منطق و شاخه های مختلف ریاضیات ایجاد شده است که منجر به حل مسایلی در ریاضیات و بلعکس حل مسائل بنیانی در خود منطق گردیده است. یکی از چالش های روش منطقی در مطالعه ساختارهای ریاضی عدم امکان مطالعه بعضی از ساختارهای مهم ریاضیات، از جمله ساختارهای موجود در آنالیز، در قالب زبان و منطق مرتبه اول می باشد. هدف اصلی این مقاله معرفی منطقی مناسب برای مطالعه این ساختارها و سپس حل مسائلی در آنالیز با استفاده از ابزارهای منطقی است. در ابتدای این مقاله مروری کوتاه بر منطق های مناسب برای مطالعه ساختارهای موجود در آنالیز ریاضی خواهیم داشت و برخی از مهمترین کاربردهای منطق در آنالیز را بیان خواهیم کرد. سپس یکی از دستاوردهای اخیر که کاربردی مهم از منطق در آنالیز میباشد را ارائه و اثبات می کنیم. به ویژه، مفهوم تعریف پذیری در منطق و پیوند آن با آنالیز ریاضی را مورد مطالعه قرار می دهیم.
۵۱۰.

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۳۶ تعداد دانلود : ۲۰۳
منطق شهودی گزاره ای منطقی غیرکلاسیک است که از حذف اصل طرد شق ثالث از منطق کلاسیک حاصل می شود. چند معناشناسی مختلف، مانند معناشناسی کریپکی، توپولوژیکی و همسایگی برای منطق شهودی گزاره ای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است . در این مقاله ابتدا برخی از این معناشناسی ها رابررسی می کنیم، سپس دو معناشناسی همسایگی جدیدی را که یکی از این معناشناسی ها تا حدی پیچیده تر از معناشناسی های همسایگی شناخته شده قبلی می باشد را برای منطق گزاره ای شهودی (IPC) معرفی می کنیم. در نهایت قضایای درستی و تمامیت را با روشهای متفاوتی نسبت به این دو معناشناسی همسایگی جدید اثبات می کنیم . برای اثبات تمامیت یکی از این معناشناسی ها که NB-همسایگی می نامیم، ابتدا نیاز داریم تا دستگاه زیرشهودی WF را که ضعیف تر از دستگاههای زیر شهودی شناخته شده قبلی مانند F می باشد را معرفی کنیم. سپس با استفاده از قصیه تمامیت منطق WF نسبت به معناشناسی NB-همسایگی، نشان خواهیم داد که منطق شهودی IPC نسبت به این معناشناسی با افزودن برخی ویژگی های خاص درست و تمام است.
۵۱۱.

تأملی در ابعاد متافیزیکی تقسیم «حمل» به تقریر علامه طباطبایی(مقاله علمی وزارت علوم)

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

کلید واژه ها: حمل مسئله ویژگی ها مرجع مصداق

حوزه های تخصصی:
تعداد بازدید : ۲۲۸ تعداد دانلود : ۲۸۴
علامه طباطبایی، حمل را به یک اتحاد وجودی میان موضوع و محمول تعریف می کند. سپس در تقسیم حمل، حمل را به حمل اولی ذاتی، حمل شایع صناعی و حمل حقیقت و رقیقت تقسیم کرده است. در حمل اولی یک «ذات بر خودش» حمل میگردد، در حمل شایع یک «عرض بر معروض» حمل میگردد و در حمل حقیقت و رقیقت یک «معلول بر علت خود» حمل می شود. با تاملی در مبحث ویژگی ها در متافیزیک تحلیلی و ارتباط آن با مبانی فلسفی علامه طباطبایی، یک تعارض جدی(P3)میان متافیزیکِ حمل شایع و متافزیکِ حمل حقیقت و رقیقت مستقر می گردد. با ارائه راهحلی( S1) مبتنی بر عمل کردن حمل شایع در بستر نومینالیزم، تعارض (P3) حل می شود، لکن تعارض دیگری (P4) پدید می آید. در نهایت برای حل تعارض دوم (P4)، با استفاده از راه حل دیگری (S3) باید تعریف حمل تغییر کند. با ضمیمه شدن این دو راه حل به تعریف علامه طباطبایی از حمل، می توان از فروپاشی تقسیم ایشان از حمل جلوگیری کرد. در این مقاله برای حفظ ساختار تقسیم علامه طباطبایی از حمل، تعریف آن را تغییر داده ام. تعریف ایشان از حمل عبارت است از «اتحاد وجودی میان موضوع و محمول به طوری که موضوعْ یک «وجود فی نفسه» و محمولْ یک «وجود فی نفسه لغیره» است». طبق تعریف ایشان اقسام حمل در دو بستر متافیزیکی متفاوت و ناسازگار عمل می-کنند. در نتیجه برای حفظ ساختار تقسیم ایشان باید قید «فی نفسه» از وجود محمول در تعریف حمل حذف گردد، تا تمام اقسام حمل در بستر متافیزیکی واحدی (نومینالیزم) عمل کنند.
۵۱۲.

منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe(مقاله علمی وزارت علوم)

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

کلید واژه ها: منطق حملی قیاس ارسطویی منطق غیرکلاسیک منطق زیرساختاری روش اصل موضوعی

حوزه های تخصصی:
تعداد بازدید : ۲۲۸ تعداد دانلود : ۱۹۷
در این مقاله برای اصل بندی تمام ضرب های قیاس های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه ی نقض محمول سالبه ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده ی یک مقدمه ای و ضرب های Barbara و Datisi است. با افزودن نقض گزاره ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون استفاده از بسیاری از قواعد منطق کلاسیک (از جمله حذف نقض مضاعف) برقرار است. سپس نشان دادیم که منطق گزاره های زیرساختاری SLe برای قیاس های ارسطویی کافی است. همچنین بر پایه ی IFLe مربع تقابل، قواعد عکس و قواعد نقض در منطق مظفر به طور کامل ثابت می شوند. برای این منظور از منطق مرتبه اول یک موضعی دقیقاً با همان دستگاه استنتاجی استاندارد سورها در منطق کلاسیک به علاوه اصول «بعضی الف الف است» و «بعضی غیرالف غیرالف است» بهره بردیم. در نهایت، برای نشان دادن عدم تعهد وجودی نسبت به نام های عام در منطق حملی با همان تعبیر وجودی از سورها و ترجمه ی استاندارد محصورات اربعه از منطق چهار-ارزشی ربط-کلاسیک قوی KR4 استفاده شد.
۵۱۳.

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

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

کلید واژه ها: دامت فرگه ویتگنشاین نظریه معناداری قراردادگرایی قوی دانش ضمنی

حوزه های تخصصی:
تعداد بازدید : ۲۰۹ تعداد دانلود : ۲۸۸
دامت در فلسفه خود متاثر از دو فیلسوف تحلیلی بزرگ است؛ او در روش از فرگه تبعیت می کند و قصد دارد منطق و نظریه معناداری را بنیانی برای متافیزیک قرار دهد، و در نظریه پردازی درباره معنا متاثر از ویتگنشتاین است و معنای واژگان را معادل با کاربرد آنها می داند. بر خلاف همه تاثیری که ویتگنشتاین بر دامت دارد، سایه شکاکیت قوی که در آراء ویتگنشتاین دوم وجود دارد و کریپکی به بهترین شکل به آن پرداخته است برای دامت خوش آیند نیست، زیرا گمان می کند در صورت درست بودن شکاکیت و قراردادگرایی افراطی ویتگنشتاین، محاورات و ارتباطات انسانی همیشه در لبه پرتگاه و در آستانه سقوط قرار دارد. او برای گریز از این امر، ایده دانش ضمنی برای دانش زبانی را به عنوان بنیادی محکم در نظریه خود قرار می دهد. در این مقاله نشان داده ایم که ایده دانش ضمنی سبب فاصله گرفتن نظریه معناداری دامت از آموزه های ویتگنشتاین و شکست پروژه او می شود. اگر نتوان نشان داد که زبان چگونه کار می کند، هرگز نمی-توان نظریه معناداری را بنیانی برای متافیزیک قرار داد.
۵۱۴.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 87-118

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

حوزه های تخصصی:
تعداد بازدید : ۲۰۷ تعداد دانلود : ۱۵۸
در این پژوهش در ابتدا به بازسازی قیاس حملی ارسطویی توسط مفهوم اندراج می پردازیم. سپس درستی معادله «قیاس ارسطویی= خواص اندراج + برهان خلف + پیش فرض وجودی» را اثبات خواهیم کرد. از آنجایی که پیش فرض وجودی صرفا یک پیش فرض مورد قبول در میان منطق دانان قدیم است و برهان خلف اصل منطقی کلی است. اثبات معادله ذکر شده توسط بازسازی قیاس ارسطویی تنها با استفاده از خواص اندراجی، برهان خلف و پیش فرض وجودی شکل خواهد گرفت؛ می توان نتیجه گرفت که اندراج (و خواص آن) عنصر اصلی و مهم قیاس حملی ارسطویی است. در انتها پس از معرفی مفهوم پیچیدگی قیاس براساس خواص اندراج، به تبیین مفهوم بداهت و مبناپذیری و نسبت آنها در قیاس حملی ارسطویی می پردازیم و نشان می دهیم که نسبت بدیهی بودن و مبناپذیر بودن عموم و خصوص مطلق است؛ به عبارت دیگر مفاهیم بدیهی بودن و مبناپذیر بودن نسبت تساوی ندارند.
۵۱۵.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 193-216

کلید واژه ها: تناقض وحدت ویتگنشتاین متأخر وحدت زبان بازی های زبانی

حوزه های تخصصی:
تعداد بازدید : ۲۰۴ تعداد دانلود : ۱۴۱
اصل تناقض در سه حوزه معرفت شناسی، فلسفه و منطق از اهمیت بی بدیلی برخوردار است، و بررسی شرایط تحقق آن، به منظور شناخت موارد جریان آن ضروری است. از جمله شرایط تناقض، وحدت هایی است که در دو گزاره متناقض باید حفظ شود. در تفصیل شرایط و تعداد شروط وحدت همواره میان منطق دانان اختلاف بوده است. نظر مشهور، اشتراط هشت وحدت در تناقض است، ولی همواره اندیشمندانی سعی در تصحیح این نظر داشته اند، به این صورت که یا شروطی بر آن افزوده و یا شرایط مشهور را به موارد کمتری تقلیل داده اند. تحقیق حاضر با روش تحلیل مفهومی، گزاره ای و سیستمی، به بررسی شروط مذکور در کتب منطقی پرداخته و نتیجه می گیرد که همه این شرایط به دو شرط «وحدت موضوع» و «وحدت محمول» تنزّل می یابد. در بخش دوم، با توجه به فلسفه متأخّر ویتگنشتاین، اثبات می شود که در وحدت های تناقض، شرط دیگری لازم است که در هیچ یک از کتب پیشینیان ذکر نشده و از سوی دیگر مصداق هیچ یک از شروط پیش گفته نیست، و آن عبارت است از «وحدت زبان».
۵۱۶.

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۰۱ تعداد دانلود : ۱۹۷
در ابتدا برخی موضوع های بحث برانگیز در حوزه منطق ریاضی را بررسی می کنیم. این ها موضوع هایی هستند که معمولاً غیرمتخصصان را به دردسر و گاهی اشتباه می اندازند. موضوع های عمده ای که در این راستا به آن ها خواهیم پرداخت عبارتند از: تعریف صدق تارسکی، قضیه تعریف ناپذیری صدق تارسکی، قضیه تمامیت گودل و قضیه های ناتمامیت گودل، منطق مرتبه اول و مرتبه دوم. در ادامه، به معرفی برخی منطق های غیرکلاسیک و جایگاه آن ها در منطق فلسفی و همچنین منطق در علوم کامپیوتر می پردازیم. افزون بر آن، برخی موضوع های فلسفی مرتبط به منطق را به بحث می گذاریم. از زمره این موضوع ها، پرسش از چیستی منطق، تفاوت منطق و دستگاه منطقی و چالش یگانه گرایی در مقابل کثرت گرایی در انتخاب منطق است. با تفکیک منطق از دستگاه منطقی، از این دیدگاه دفاع خواهیم کرد که منطق ریاضی به عنوان بخشی از ریاضیات، تنها می بایست متعهد به رعایت استانداردهای خود ریاضیات باشد. در این راستا، هر یک از دستگاه های منطق غیرکلاسیک که این استانداردها را رعایت کند، مشروعیت خواهد داشت.
۵۱۷.

منطق پذیری گزاره های اخلاقی در مکتب توصیه گرایی آر. اِم. هِر(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 119-140

کلید واژه ها: توصیه گرایی جملات امری جملات خبری بخش حکایی (توصیف گر)

حوزه های تخصصی:
تعداد بازدید : ۲۰۱ تعداد دانلود : ۱۳۸
آر. اِم. هِر، بنیان گذار مکتب توصیه گرایی اخلاقی در قرن بیستم است. شالوده آراء این مکتب، پیوند وثیقی با فعلِ فاعل های اخلاقی دارد. از این حیث گزاره های اخلاقی در قالب جملات امری بیان می شوند. از نظر هِر همانطور که جملات خبری، صورتی مدلل و منطقی دارند، بر همین سیاق، جملات امری نیز با تمسک بر بخش حکایی (توصیف گر)، منطق پذیر می شوند. بدین ترتیب می توان از اصل سازواری (عدم تناقض)، اَدات منطقی، و استنتاج جملات درآنها سراغ گرفت. با این اوصاف، هِر با امری کردن گزاره های اخلاقی، نقصان سویه عملی در اخلاق را که از نظریه طبیعت گرایان و شهود گرایان استخراج می شد، برطرف نموده و از سوی دیگر با منطق پذیر کردن جملات امری، از آراء نامدلل احساس گرایان فاصله می گیرد. . . . . . . .. . .. . . . . . . . .. . .. . . .. . .. . . . .
۵۱۸.

چرا تبیین توانایی استدلال مطابق قواعد منطقی به عنوان استعدادهای مفهومی ناکافی است؟(مقاله علمی وزارت علوم)

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

کلید واژه ها: لوئیس کرول دانش استعدادی دانش گزاره ای استنتاج پیشینی زبان اندیشه

حوزه های تخصصی:
تعداد بازدید : ۱۸۹ تعداد دانلود : ۴۶۳
لوئیس کرول در مقاله "لاکپشت به آشیل چه گفت؟" نشان داد اضافه کردن قواعد منطق به صورت گزاره سبب ایجاد تسلسلی در استنتاج قیاسی می شود که حصول نتیجه را غیرممکن می سازد. یکی از راه حلهایی که برای این معما پیشنهاد شده استعدادی دانستن دانش منطق است؛ استعدادهای منطقی، توانایی هایی هستند که در صورت بروز شرایط مناسب، عمل مشخصی را در پی دارند. در این دیدگاه، فردی که منطق می داند، در هنگام مواجه با یک استدلال، دست به عمل می زند و استعداد خود را ظاهر می سازد و نتیجه گیری می کند. برای دفاع از این دیدگاه، گاهی منطق به مثابه بخشی از زبان جهانی، یا به مانند زبان اندیشه معرفی می شود و همانطور که زبان مجموعه ای از توانایی ها و استعدادها برای صحبت کردن است، منطق نیز توانایی برای استنتاج معرفی می شود. اما در این مقاله نشان می دهیم منطق بخشی از زبان جهانی نیست، زیرا منطق های متعدد و بیشماری وجود دارند، در حالیکه گرامر جهانی یکتا است. بعلاوه دیدگاه استعدادی به منطق، اگرچه می تواند از تسلسل کرول جلوگیری کند، اما از توضیح برخی از ویژگی های ابتدایی منطق، مانند پیشینی بودن، ناتوان است. استعدادهای ذهنی نه پیشینی هستند و نه پسینی؛ در حالیکه منطق نمونه اعلی برای دانش پیشینی است. همچنین می توانیم عمل به منطق را نه به کمک استعدادها، بلکه به واسطه دلیل و انگیزه ای که منطق برای عمل در اختیار ما قرار می دهد توجیه کنیم. بنابراین به دلیل نقصهای برطرف نشده و مهم دیدگاه استعدادی، بعلاوه وجود راه حلهای بهتر برای معمای کرول، دیدگاه استعدادی ناکافی به نظر می رسد.
۵۱۹.

علیه پریست؛ در ماینونگ گراییِ وجهی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 185-209

کلید واژه ها: پریست اصل سرشتار ماینونگ گرایی وجهی پارادکس کلارک بی مایگی

حوزه های تخصصی:
تعداد بازدید : ۱۸۸ تعداد دانلود : ۱۴۴
بنا به ماینونگ گراییِ وجهیِ پریست، متناظر با مطلقاً هر شرطِ قابل بیان که روی خاصیت ها گذاشته شود، می توان شیئی سرِشت که آن شرط را، حال در جهانِ واقع یا در جهانی دیگر، برآورده کند. تعهد به چنین نسخه ی نامقیدی از اصل سرشتار (اصل فراگیر)، ماینونگ گرایانِ رقیب را به پارادکس کلارک مبتلا می کند. نشان می دهیم که نشتِ میان جهانیِ اطلاعات در نظام پریست می تواند مشکلات مشابهی بیافریند. سپس با کاربست ظرفیت های معناشناختیِ هیچ گرا، راهکاری برای حصول نشتِ میان جهانیِ اطلاعات پیش می نهیم که فراتر از تناقض، به بی مایگی منجر می شود. پریست ناگزیر است اصل سرشتار را مقید کند. بنا به ماینونگ گراییِ وجهیِ پریست، متناظر با مطلقاً هر شرطِ قابل بیان که روی خاصیت ها گذاشته شود، می توان شیئی سرِشت که آن شرط را، حال در جهانِ واقع یا در جهانی دیگر، برآورده کند. تعهد به چنین نسخه ی نامقیدی از اصل سرشتار (اصل فراگیر)، ماینونگ گرایانِ رقیب را به پارادکس کلارک مبتلا می کند. نشان می دهیم که نشتِ میان جهانیِ اطلاعات در نظام پریست می تواند مشکلات مشابهی بیافریند. سپس با کاربست ظرفیت های معناشناختیِ هیچ گرا، راهکاری برای حصول نشتِ میان جهانیِ اطلاعات پیش می نهیم که فراتر از تناقض، به بی مایگی منجر می شود. پریست ناگزیر است اصل سرشتار را مقید کند.
۵۲۰.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 23-46

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

حوزه های تخصصی:
تعداد بازدید : ۱۸۵ تعداد دانلود : ۱۳۱
جایگاه برهان در منطق بر اساس ابتناء آن بر علیت چکیده تعریف برهان یعنی "قیاس مؤتلف یقینی" بیانگر این امر مهم است که راز رفعت و عظمت این صناعت در دانش منطق را باید از سویی در رابطه غرض آن با غرض تدوین منطق و از سوی دیگر در راز صدق وصول به غرض صناعت برهان در صورت رعایت قوانین مندرج در آن جستجو کرد. در این نوشتار با روش تحلیلی-استدلالی این نتیجه به دست می آید که اولاً دانش "منطق" با غرض تجمیع قواعد عاصم ذهن از خطا در تفکر تدوین شد و صناعت "برهان" با غرض تجمیع قواعد روش کسب علم ممتنع الخطأ در این دانش جای گرفت، و ثانیاً از آنجا که کسب "یقین" در گرو دو اصل "تفکر بر مدار واقع" و "استعمال عنصر ضرورت در تفکر" است و قانون علیت تنها قانون تأمین کننده این دو اصل است، بلندمرتبگی "برهان" به ابتناء آن بر قانون "علیت" باز می گردد.

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

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

درجه علمی

مجله

سال

زبان