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

منطق

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

صوری سازی مراتب حجیت شرعی با استفاده از شرطی های غیر کلاسیک(مقاله علمی وزارت علوم)

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

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

حوزه های تخصصی:
تعداد بازدید : ۳۰ تعداد دانلود : ۳۰
در فرایند نمادین سازی استدلال های فقهی با ادله ای مواجهیم که به لحاظ حجیت و اعتبار در مراتب گوناگونی قرار دارند. دو دسته مهم از این دلایل امارات و اصول عملیه هستند، که در نهاد شریعت حجت به شمار می روند و دارای اعتبارند. این دو دسته دلیل، هرچند هر دو دلیل شرعی به شمار می روند و می توانند مقدمه استنباط احکام توصیفی و یا تکلیفی درون شریعت باشند (می توانند لوازم شرعی را نتیجه دهند)، اما از حیث قابلیت استنتاج لوازم عقلی با یکدیگر متمایزند. به عبارت دیگر، اگر یک دلیل از دسته امارات را معتبر بدانیم، تمام نتایج علی و منطقی آن نیز برای ما معتبر خواهد بود، اما اگر در شرایطی، یک اصل عملی برای ما دارای حجیت و اعتبار باشد، لزوماً نتایج علی و منطقی آن معتبر نخواهند بود.در این مقاله با استفاده از منطق های Count As(منطق های مربوط به نهادها) و بر اساس منطق های غیریکنوا و همچنین با بهره جستن از زبان منطق توجیه، یک دست گاه اصل موضوعی منطقی برای امارات و اصول عملیه ارائه می شود که می تواند مهم ترین ویژگی های منطقیِ آن ها را بازنمایی کند، از جمله این که بین لوازم عقلی و لوازم شرعی تفکیک قائل بشود و به عبارت اصولِ فقهی، مثبتات اصول عملیه را فاقد حجیت بداند، در عین این که مثبتات امارات را حجت بداند.
۲.

آیا رمزی سازی واقع گرایی ساختاری را بی معنی می کند؟(مقاله علمی وزارت علوم)

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

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

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

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۱۴۸ تعداد دانلود : ۸۷
در این مقاله، ابتدا معناشناسی کریپکی برای منطق وجهی نرمال با یک عملگر دو موضعی را تعریف کرده و سیستمی به نام K^2 را که نسبت به این معناشناسی درست و تمام است را معرفی خواهیم کرد. سپس دو نوع ترجمه ارائه خواهیم کرد و با استفاده از این ترجمه ها نشان خواهیم داد که منطق وجهی نرمال دو موضعی (K^2) و منطق وجهی نرمال استاندارد (K) بسیار به هم مرتبط هستند. یک ترجمه را تعبیر-پایدار می نامیم، در صورتی که اثبات پذیری در هر دو جهت حفظ شود. طبق این تعریف، ثابت خواهیم کرد که هر دو ترجمه ی معرفی شده، تعبیر-پایدار از K به K^2 و بالعکس هستند. یک توسیع از منطق K، یک مجموعه از فرمول ها است که شامل K است و تحت قواعد آن و جانشینی یکنواخت بسته است. توسیعی از منطق K^2 را نیز به همین صورت تعریف خواهیم کرد. در نهایت ثابت خواهیم کرد که یک تناظر یک-به-یک بین توسیع هایی از منطق K و منطق K^2 وجود دارد.
۴.

نظام غیر تابع ارزشی حاج حسینی(مقاله علمی وزارت علوم)

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

کلید واژه ها: منطق کلاسیک منطق ربط نظام تابع ارزشی نظام غیرتابع ارزشی

حوزه های تخصصی:
تعداد بازدید : ۱۴۰ تعداد دانلود : ۹۷
مرتضی حاج حسینی در ویراست دوم کتاب خویش «طرحی نو از اصول و مبانی منطق» چهار منطق ناکلاسیک معرفی کرده است: 1. نظام تابع ارزشی، 2. نظام غیرتابع ارزشی، 3 و 4. ترکیب هایی از دو نظام نخست که طبیعتا گسترش هایی از آن دو به شمار می آیند. در مقاله دیگری، نظام تابع ارزشی حاج حسینی را بررسی کرده ام و در این مقاله به نظام غیرتابع ارزشی و گسترشی از آن خواهم پرداخت که در کتاب مطرح شده اند. در این مقاله، صرفا به نقدهای صوری-ریاضی می پردازم و نقدهای فلسفی و غیرصوری و نیز مطالب تاریخی مرتبط را به مقاله دیگری خواهم سپرد. افزون بر برخی نقدهای مشترک میان نظام های تابع ارزشی و غیرتابع ارزشی حاج حسینی مانند دور در تعریف نظام استنتاج طبیعی، فقدان نظیر برای شرط «نرمال بودن برهان ها» در سمانتیک، عدم تمامیت، و نادرستی فراقضایا، نقدهای دیگری در نظام غیرتابع ارزشی وجود دارد. نخستین نقد اختصاصی این است که بسیاری از قاعده های اصلی در این نظام به کمک دیگر قواعد اصلی قابل اثبات و در نتیجه زائد هستند و این هرچند با کتاب های «آموزشی» مناسبت دارد، اما مناسب کتاب های «پژوهشی» نیست. نقد اختصاصی دوم نظام غیرتابع ارزشی این است که قاعده ای دارد به نام «قاعده حاج حسینی» که سبب می شود تا هر متغیر گزاره ای در این نظام قضیه باشد و کل نظام بدیهی (trivial) گردد. نقد سوم اینکه با صرف نظر از قاعده حاج حسینی، برخی صور قاعده پخش پذیری در گسترش نظام غیرتابع ارزشی این کتاب، کل نظام را به منطق کلاسیک فرگه و راسل فرومی کاهد.
۵.

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

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

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

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

ارسطو و دوگانه کلّی- جزئی(مقاله علمی وزارت علوم)

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

کلید واژه ها: کلی جزئی کلّی تهی حمل پذیر حمل شدن به شیوه یکنام حمل شدن چنان که بر موضوع

حوزه های تخصصی:
تعداد بازدید : ۲۸ تعداد دانلود : ۲۶
ارسطو از «کلّی» تعریفی به دست می دهد که یان لوکاشویچ آن را، به دلیلِ در بر نگرفتنِ کلّی های تهی، غیر جامع می داند. افزون بر این، تعریفی که ارسطو از جزئی به دست می دهد به دو شیوه قابل فهم است: (1) جزئی تنها بر یک چیز حمل پذیر است، (2) جزئی حمل ناپذیر است. این برداشتِ دوگانه، که در سخنان شارحان ارسطو نیز با بسامد زیادی تکرار می شوند، از یک سو، تلقی رابرت کونس و تیموتی اچ. پیکاوَنس که معتقدند جزئی از نظر ارسطو حمل ناپذیر است را زیر سؤال می برد؛ و از دیگر سو، خودْ تعارضی ست که باید حلّ شود. در این جستار نمایان خواهد شد که اوّلاً اِشکال لوکاشویچ وارد نیست و تعریف ارسطو شامل کلّی های تهی هم می شود؛ و ثانیاً تعارضی که ظاهراً از تعریف جزئی برمی آید با تفکیک دو گونه حمل، یعنی «به شیوه یکنام» و «نه به شیوه یکنام»، قابل حلّ است.
۷.

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

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

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

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

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۱۲۵ تعداد دانلود : ۹۱
صدق عرفی، T(x)، محمولی است که در خود زبان بر تمام جمله های زبان حمل می شود و در ضمن برای هر جمله ی مانند A در زبان T(˹A˺)↔A نتیجه می شود. تارسکی برای اجتناب از پارادوکس دروغگو و تریویال شدن زبان (نظریه) مجبور شد از مفهوم عرفی صدق دست بکشد و صدق هر زبان را در یک فرازبان تعریف کند. طرفداران منطق های فراسازگار ادعا دارند با پذیرش منطق های فراسازگار می توان محمول صدق عرفی را حفظ کرد. منطق های فراسازگار به منطق هایی گفته می شود که در آن ها از تناقض هر چیزی نتیجه گرفته نمی شود. اما پارادوکس دیگری به نام کری وجود دارد که مربوط به ادات شرطی است و بدون استفاده از قاعده ی انفجار می تواند نظریه های صدق عرفی را تریویال کند. در این مقاله استدلال خواهیم کرد با وجود این که اگر به منطق های فراسازگار اصول حساب و محمول صدق عرفی را اضافه کنیم نظریه ای غیرتریویال خواهیم داشت اما این نظریه ها به دلیل قدرت استنتاجی پایین، از دست رفتن برخی خواص مورد انتظار از محمول صدق عرفی و همچنین نشت ناسازگاری به قسمت های خالص حسابی موجه نخواهند بود.
۹.

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

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

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

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

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۸ تعداد دانلود : ۲۶
از آن جا که مبانی منطق فلسفی، نوشته ی دکتر لطف الله نبوی، نخستین کتاب فارسی در زمینه ی دشوار منطق فلسفی است، علی القاعده بی اشکال نیست. از این رو در این مقاله کوشیده ایم تا به نقد دیدگاه های خاص خود نگارنده در این کتاب بپردازیم. برای نمونه، او در فصل منطق زمان – با کوتاهی کردن در تفکیک ضرورت ازلی و ذاتی و تقسیم ضرورت ذاتی به زمانی و غیرزمانی – به نادرستی دوام را نزد ابن سینا و پیروان او لزوماً اعم از ضرورت می داند. در منطق معرفت اصل درون نگری منفی را به نادرستی به سقراط نسبت می دهد و از خلاف شهود و متسلسل بودن اصل درون نگری مثبت غفلت می کند. در منطق آزاد نیز به نادرستی وجود محمولی را با قاعده های منطقی ارسطوییان ناسازگار می داند و به کاربردن آن را در قیاس مشکل آفرین به شمار می آورد. افزون بر این، مشکل هایی هم چون تکرار، تناقض، قاعده ی «نقض محمول»، و دو جزئی بودن گزاره نیز در وجود محمولی قابل دفع است. برخی از پاسخ ها و راه حل های خود نگارنده نیز مشکل سازند: مشکل عدم جامعیت؛ مشکل وحدت معنایی «موجود» و «واقعی»؛ و این مشکل که تبدیل قضیه ای چون «هیچ ممتنع بالذاتی/بالغیری موجود نیست» به «هیچ ممتنعی بالذات/بالغیر نیست» صدق نگه دار نیست. در منطق ربط نیز بسیاری از تعبیرهای نویسنده در توضیح این که فراسازگاری به تناقض باوری نمی انجامد مناقشه برانگیز است.
۱۱.

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

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

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

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

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

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

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

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

بررسی انتقادی یک نقد درباره نظام غیرتابع ارزشی منطق پایه گزاره ها؛ آیا تز ارسطو و تز بوئتیوس اثبات می شود؟(مقاله علمی وزارت علوم)

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

کلید واژه ها: تز ارسطو تز بوئتیوس روابط علی و معنایی و صوری(منطقی)

حوزه های تخصصی:
تعداد بازدید : ۳۰ تعداد دانلود : ۲۶
در منطق کلاسیک گزاره ها از جمله «اگر P آنگاه Q» نمی توان نتیجه گرفت که «چنین نیست که اگر P آنگاه ∼Q». این استدلال که شرطی وابسته آن به تز بوئتیوس معروف است، شواهد موافق فراوانی در حوزه روابط علّی، معنایی و صوری (منطقی) دارد. عبارت «چنین نیست که اگرP آنگاه ∼P» هم که به تز ارسطو معروف است و شواهد موافق فراوانی در حوزه روابط علّی، معنایی و صوری دارد، در این منطق قضیه نیست. به علاوه، در منطق کلاسیک از عبارت «چنین نیست که اگرP آنگاه ∼Q»، هر یک از دو جمله P« » و « Q» به دست می آید که شواهد مخالف زیادی در حوزه روابط علّی، معنایی و صوری دارد. نظام غیرتابع ارزشی منطق پایه گزاره ها پاسخی است به این اشکال ها که در آن روابط علّی، معنایی و صوری بی هیچ استثنایی وفق شهود طبیعی، تحلیل، صورت بندی و ارزیابی می شوند. اسدالله فلاحی در مقاله «نظام غیرتابع ارزشی حاج حسینی» سه نقد اختصاصی به این نظام وارد دانسته است: «تعداد قاعده های استنتاج کاهش پذیر است»، «هر متغیر گزاره ای، قضیه است و این نظام و گسترش آن trivial است» و «گسترش نظام غیرتابع ارزشی به منطق کلاسیک فرومی کاهد». در این مقاله نشان می دهیم که نقد اول بر پایه برخی اثبات های نادرست استوار است، نقد دوم از تعریف نادرست برخی ترکیب های غیرتابع ارزشی یا اثبات نادرست برخی استدلال ها ناشی شده است و نقد سوم با کاهش قاعده های پخش پذیری به دو قاعده برطرف می شود. پاسخ نقدهای تکراری را به مقاله «بررسی انتقادی یک نقد در باره نظریه نظام تابع ارزشی؛ آیا راه های اثبات اصول EFQ وEQT مسدود می شود؟» ارجاع می دهیم.
۱۴.

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

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

کلید واژه ها: علامه طباطبایی حمل ذاتیات بر ذات حمل اولی ذاتی حمل شایع صناعی

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

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

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

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

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

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۱۳۸ تعداد دانلود : ۸۶
منطق های توجیه خانواده ای از منطق ها هستند که در زبان آن ها می توان اثبات های ریاضی یا توجیه های معرفتی را بیان کرد. این منطق ها را می توان منطق های معرفتی در نظر گرفت که در آنها توجیه (دلیل یا شاهد) دانش یا باور به یک گزاره را می توان در زبان منطق بیان کرد. در این مقاله قصد داریم تأثیر افزودن عمل ها و کُنش ها به منطق های توجیه را بررسی کنیم. به ویژه به مطالعه منطق اثبات ها، که توسط آرتموف معرفی شده است، می پردازیم و زبان این منطق را توسط عمل ها گسترش می دهیم. برای این کار از منطق پویای گزاره ای استفاده می کنیم و عمل های منظم موجود در این منطق را (به جز عملگر تکرار) به زبان منطق اثبات ها اضافه می کنیم. این زبان گسترش یافته به ما امکان می دهد تا در مورد معرفت موجه و عمل ها هم زمان صحبت کنیم. پس از معرفی یک دستگاه اصل موضوعی و یک معناشناسی براساس مدل های کریپکی- فیتینگ برای این منطق ترکیبی، قضیه تمامیت را با استفاده از مدل های کانونی اثبات می کنیم. همچنین برای این منطق ترکیبی خاصیت درونی سازی را نیز ثابت می کنیم.
۱۷.

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

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

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

حوزه های تخصصی:
تعداد بازدید : ۲۸ تعداد دانلود : ۲۶
علم منطق با پیشینه ای به عمر تفکر بشریت، بوسیله اندیشمند یونانی ارسطو (322-384 ق.م) تدوین شد و شارحان اولیه او آن را در نه بخش و تحت عنوان «ارگانون» درآوردند. این اثر در صدر اسلام توسط مسحیان سریانی به تدریج به زبان عربی ترجمه شد. کندی، فارابی و بویژه ابن سینا منطق نه بخشی ارسطویی را با دلیل منطقی به دو بخش تبدیل نموده، با تغییر جایگاه ابواب و مطالب منطق بر اساس دلایل علمی، افزایش و تحولات مباحث مربوط به بخش مقولات، قضایا، نقیض و عکس قضایا، و دهها مورد دیگر تحولی بنیادی در منطق ایجاد نمودند. غزالی در تدوین منطق خود به دو بخشی از پیروان ابن سینا است، اما او در اصل یک متکلم و یک فقیه اسلامی است و با این نگرش به منطق روی می آورد. او در تعامل بین منطق ارسطویی و فقه و اصول اسلامی، منطقی با الفاظ، مفاهیم، و مثال های کاربردی علوم اسلامی واصول فقهی با استدلالی کردن اصول فقهی بویژه قیاس فقهی ارائه می کند. آثار منطقی و اصولی غرالی متفاوت با ّثار گذشتگان است، زیرا علاوه بر استفاده از واژه های مطرح در علوم اسلامی که مفاهیم منطقی را تغییر می دهد، قیاس و استدلال را اساس منطق می داند و به استخراج قیاس از قرآن پرداخته و استدلال را به عنوان تنها وسیله فهم قرآن معرفی می کند. این مقاله درصدد است تا با روش توصیفی-تحلیلی به تشریح این تعامل بپردازد.
۱۸.

نقدی بر مقاله «پارادوکس امتناع تناقض: گزارش و گشایش»(مقاله علمی وزارت علوم)

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

کلید واژه ها: امتناع تناقض موضوع پارادوکس گزاره وجود ذهنی

حوزه های تخصصی:
تعداد بازدید : ۲۶ تعداد دانلود : ۲۴
در مقاله ای با عنوان «پارادوکس امتناع تناقض: گزارش و گشایش»، مهدی عظیمی کلامی از ملاصدرا در پاسخ به پارادوکس امتناع تناقض ذکر می کند و بیان می کند که ملاصدرا با فرض اینکه «اجتماع نقیضان» موضوع و «ممتنع» محمول است، اجتماع نقیضان موجود را به حمل اولی و اجتماع نقیضانِ ممتنع را به حمل شایع اخذ کرده و به این نحو پارادوکس را پاسخ می دهد. عظیمی پارادوکس را زاییده ی فهم نادرست ساختار آن می داند و ساختار ~(A&~A) □ را برای «اجتماع نقیضان ممتنع است» پیشنهاد می کند که در آن دیگر نیازی به موضوع نیست تا پارادوکس پیش آید. اما اولاً او بدون هیچ دلیلی ساختار موضوع-محمولی را برای «اجتماع نقیضان ممتنع است» نفی می کند؛ ثانیاً ساختار پیشنهادی را نیز فیلسوفان مسلمان در کنار ساختار قبلی برای اصل امتناع تناقض متذکر می شوند ولی در ظاهر پارادوکسی بر آن وارد نیست تا راه حلّ طلب کند؛ ثالثاً با نگاهی دقیقتر پارادوکس بر ساختار پیشنهادی نیز وارد است؛ و رابعاً ~(A&~A) □ ترجمه کاملی از اصل امتناع تناقض نیست.
۱۹.

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

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

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

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

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

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

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

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

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

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

درجه علمی

مجله

سال

زبان