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

منطق

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

کلیدواژه‌ها: نمودار ون قیاس مطلق حد نامحصل بازنمایی نموداری نمودار کمانی

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

کلیدواژه‌ها: پارادوکس مور اصل ایوانز اصل حسن ظن تفسیر ناقص باور موجه باور خودآگاهانه

حوزه‌های تخصصی:
تعداد بازدید : ۲۴۴ تعداد دانلود : ۲۲۰
پارادوکس مور یک ترکیب عطفی در باب باور است که اگر اظهار نشود، می تواند صادق باشد، امّا اگر اظهار شود، پارادوکس تولید می کند. این پارادوکس در دو قالب حذفی و ارتکابی مطرح شده است و از وقتی که مور آن را مطرح کرد، مقالات بسیاری درباره آن نوشته شده اند که در میان آنها سهم جان ویلیامز بیش از دیگران بوده است و تقابل نظر او با حمید وحید بر سرِ این مسأله بازتاب مناسبی از محلّ نزاع و نظرهای متفاوت در باب آن است. ویلیامز قائل به دو رویکرد معرفتی و باور خودآگاهانه است. بر حسب رویکرد اوّل، اظهار گزاره موری چون ناموجّه است، مستلزم نقصان معرفتی است و بر حسب رویکرد دوم، وقتی که آن گزاره خودآگاهانه اظهار شود، پارادوکس تولید می شود. حمیدِ وحید قائل به رویکرد تفسیر ناقص است که، بر اساس آن، اظهار گزاره موری موجب نقض اصل حسنِ ظنّ می شود؛ اصلی که می گوید که همواره باید سخنِ سخنگو را صادق تلقّی کرد مگر آنکه بینّه ای علیه آن وجود داشته باشد. در این مقاله مناقده این دو فیلسوف معاصر در باب پارادوکس مور، تحلیل و بررسی می شود.
۵۳۳.

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

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

کلیدواژه‌ها: قضایای شرطیه اجزای قضایای شرطیه صدق و کذب ابن سینا

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

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

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

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

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

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

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

کلیدواژه‌ها: سمانتیک معناشناسی دلالت شناسی صورت گرایی شهودگرایانه رویکرد نظریه برهانی

حوزه‌های تخصصی:
تعداد بازدید : ۲۲۹ تعداد دانلود : ۲۰۹
آلفرد تارسکی از بنیانگذاران اصلی سمانتیک به مثابه ی دلالت شناسی است. وی دلالت شناسی را در دهه ی 30 پی افکند و این تلقی امروزه تلقی غالب در سمانتیک منطقی به شمار می رود. اما اگر به آثار دهه ی 20 وی بازگردیم در نگاه اول به نظر می رسد که هیچ گونه نگرش سمانتیکی در کارهای وی وجود ندارد. تفسیر رایج در مورد کارهای تارسکی در دهه ی 20 آن است که او در این دوران منطق را با رویکرد سینتکسی و نظریه برهانی می نگریست. اما یکی از مفسران تارسکی به نام داگلاس پترسون به تفصیل نشان داده است که در آثار دهه ی 20 تارسکی نوعی سمانتیک از سنخ معناشناسی دیده می شود که وی این نگرش را به تبعیت از استادش لسینیفسکی صورت-گرایی شهودگرایانه می نامید. در این مقاله بنای ما بر آن است که با توجه به تفسیر پترسون به چیستی تلقی معناشناختی تارسکی از سمانتیک بپردازیم و می کوشیم دو ادعا را اثبات کنیم: (الف) صورت گرایی شهودگرایانه به روایت تارسکی نگرشی درباره ی کارکرد زبان است نه یک نظریه ی ساخته و پرداخته ی سمانتیکی که در آن مفاهیم کانونی معناشناسی تعریف و تحلیل می شوند (ب) صورت گرایی شهودگرایانه منافاتی با نگرش ارجاعی به زبان ندارد و حتی سال ها پس از تأسیس دلالت شناسی از سوی تارسکی در پس زمینه ی آثارش حضور دارد.
۵۳۶.

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

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

کلیدواژه‌ها: نظریه ی معنا بیان معنی مدلول نوئما افلاطونگرایی

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

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

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

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

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

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

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

کلیدواژه‌ها: اعتبار منطقی هنجارمندی منطق استدلال منطقی استدلال لغوی ثوابت منطقی صوری بودن منطق

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

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

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

کلیدواژه‌ها: خارجیه حقیقیه ذهنیه اخص اعم شمس الدین سمرقندی

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

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

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

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

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

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

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

درجه علمی

مجله

سال

زبان