مطالب مرتبط با کلیدواژه
۱.
۲.
۳.
۴.
۵.
صدق منطقی
حوزه های تخصصی:
رودلف کارنپ منکر هرگونه علم تألیفی پیشین است. دلیل عمدة او بر نفی هرگونه شناخت (علم) تألیفی پیشین، تعریف معناداری بر طبق اصل تحقیق پذیری تجربی و یا تأیید پذیری تجربی است. بر طبق این تئوری، جمله ای که قابلیت آزمون و تأیید تجربی را نداشته باشد، شبه قضیّه، مهمل و فاقد معناست. این گونه از جمله ها، هر چند به نظر می آید که مسأله ای را مطرح می کند اما در واقع مسأله نماست که بر اثر سوء استعمال زبان و ابهام زبان طبیعی پدید می آید. لذا با کاربرد تحلیل منطقی زبان در مورد این گونه از جمله ها معلوم می شود که اساساً مسأله ای در کار نبوده است و وجه مغالطی بودن این گونه از قضایا روشن می شود. کارنپ با اینکه برای احکام ریاضی ضرورت صدق قائل است، و به همین دلیل، این گونه از احکام را نوعی تعمیم احکام تجربی نمی شمارد، مع ذلک آنها را ناقض تجربه گرایی نمی داند. چون به نظر او این گونه از احکام از نوع تحلیلی است و صدق و کذب آنها تنها با معلوم ساختن معانی واژه های آنها معلوم می گردد. حقایق بنیادین منطق که محک و معیار تحلیلیت است مبتنی بر تعریف ضمنی کلماتی است که در آنها به کار می رود. نظریة کارنپ در نفی قضیّه تألیفی پیشین، مبتنی بر اصل تحقیق پذیری تجربی، و تمایز تحلیلی و تألیفی است. اصل تحقیق پذیری و یا تأیید پذیری تجربی شدیداً مورد نقض و ایراد است و لذا جز نامی از آن در تاریخ فلسفه باقی نمانده است. کارنپ با تحلیل منطقی زبان، نتوانسته است وجه مغالطی بودن دست کم بسیاری از نظامهای مابعدالطبیعی مطرح را نشان دهد. مثالهایی که از مابعدالطبیعه می آورد و به تحلیل آنها می پردازد عمدتاً بر گرفته از آثار هگل و هایدگر است و لذا می توان نقدهای او را ناظر به فلسفة ایده آلیسم آلمان دانست.
صدق های منطقی غیرضروری از منظر زالتا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
رأی سنتی درباره صدق های منطقی، آن ها را ضروری می داند اما به ضروری بودن این صدق ها از منظرهای مختلف انتقادهایی وارد شده است. دیوید کاپلان و ادوارد زالتا با معرفی عملگرهایی منطقی مدعی اند که می توان جملاتی ساخت که بنا بر تعریفِ متعارف صدق منطقی باشند، با این حال در همه جهان ها صادق نباشند. ویلیام هانسن مثال های زالتا را مبتنی بر پیش فرض هایی ناموجه می داند و به ویژه مفهوم اعتبار جهان بالفعل را تلقی درستی از اعتبار در صدق های منطقی نمی داند اما زالتا و نلسن در مقاله ای به انتقادهای او پاسخ می دهند و آن انتقادات را مبتنی بر آرائی دفاع ناپذیر می دانند. در این مقاله ابتدا صدق منطقی و تبیین تارسکی از آن را معرفی می کنیم سپس به ارائه مثال های کاپلان و زالتا می پردازیم. آنگاه انتقادات هانسن و پاسخ هایی را که به آن ها داده شده ذکر می کنیم و در انتها می کوشیم ریشه این اختلاف را در مبانی ما بعد الطبیعی طرفین بحث نشان دهیم.
صدق؛ حقیقت، گستره و چگونگی مطابقت (با تمرکز بر دیدگاه برگزیده)(مقاله علمی وزارت علوم)
حوزه های تخصصی:
افزون بر معیار صدق، تبیین و تحلیل حقیقت آن نیز در عصر حاضر در سطحی گسترده در معرفت شناسی، کانون توجه قرار گرفته و نظریه های گوناگونی درباره آن ارائه شده است. در این مقاله با تمرکز بر دیدگاه برگزیده درباره نظریه مطابقی صدق و به منظور شرح آن، از میان انبوه مباحث، ابتدا صدق خبری (کلامی) و صدق مُخبری را بررسی می کنیم. در ادامه به قلمرو یا گستره صدق می پردازیم و درباره اختصاص صدق یا کذب به قضایا و اتصاف ناپذیری علوم حضوری و عدم اتصاف تصورات یا مفاهیم به آنها بحث می کنیم. در پایان، پس از بیان ارکان سه گانه صدق در نظریه مطابقی صدق، چگونگی تحقق نسبت مطابقت را از نگاه خود تبیین می کنیم.
درباب واقعیت های منطقی: واقع گرایی درباره رابطه نتیجه منطقی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
به یک تعبیر، واقع گرایی درباب منطق واقع گرایی درباب موضوع منطق است.اما، منطق واقعاً درباره چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطه نتیجه منطقی تلقی می شود؛ رابطه ای که میان مقدمه های یک استدلال و نتیجه آن استدلال برقرار است. در تاریخِ منطق همواره این چنین نبوده است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی کردنِ منطق به عنوان مجموعه ای از صدق های منطقی در جامعه علمی حاکم بود. در این مقاله ابتدا دلایلی ارائه خواهیم کرد که نشان دهد که بهتر است که موضوع علم منطق را رابطه نتیجه منطقی بدانیم و نه صدق منطقی. آنگاه دلایلی ارائه می کنیم تا نشان دهیم که چرا بحث درباره متافیزیک منطق اهمیت دارد. در متافیزیک منطق، نظریات واقع گرا عموماً فرض کرده اند که موضوع علم منطق صدق منطقی است.در تقابل با این رویکرد غالب، الگوهایی ارائه کرده ایم که با فرض اینکه موضوع منطق رابطه نتیجه منطقی باشد، چگونه می توان درباب منطق واقع گرا بود. این الگوها الهام گرفته از راه حل هایی هستند که در ذیل مسئله متافیزیک رابطه ها در تاریخ متافیزیک مطرح شده اند
نقش قیاس منطق صوری در استدلال قضایی(مقاله علمی وزارت علوم)
منبع:
حقوق اسلامی سال بیستم زمستان ۱۴۰۲ شماره ۷۹
103 - 126
حوزه های تخصصی:
آخرین مرحله از فرایند رسیدگی قضایی، تشکیل استدلالی از جنس قیاس منطق صوری مشتمل بر مقدمات و نتیجه است. در این فرایند، قیاس از نگاه علم منطق عبارت است از قولی مرکب از قضایا که اگر قطعی و مسلم فرض گردند، ذاتا قضیه ای دیگر از آن پدیدی می آید. اما نکته آنکه بکارگیری این نوع از استدلال به عنوان اصلی-ترین روش استدلالی در فرایند صدور احکام قضایی ، همواره نقدهای فراوانی را به دنبال داشته است که ازجمله آن ها، امتناع تحقق وصف قطعیت مقدمات و به تبع آن، عدم صدور نتیجه ای غیر قابل تخلف از آن ها به دلیل دخالت عوامل انسانی ممزوج با عواطف و احساسات و همچنین، عدم امکان کشف حقایق یقینی پرونده است که با ویژگی های شناخته شده ی این نوع از استدلال (از جمله قطعیت صدور نتیجه) در تعارض می نماید. در پاسخ به طورکلی باید چنین گفت که اولاً، آنچه از مقدمات یقینی برای تشکیل یک استدلال برهانی در علم حقوق مورد انتظار است، همان علم حصولی است که برای اقناع نفس قاضی در قوانین مدون مورد پذیرش قرار دارد؛ نه یقین و قطع منطقی یا فلسفی. ثانیاً، قیاس منطق صوری در مبادی چهارده گانه خود، به دو عنوان کاربردی برهان و جدل قابل تقسیم است که در برهان، ماده «حدسیات» را که از یقینیات بوده و در ساخت صغرا به کار خواهد آمد، به عنوان مبدأ علم قاضی؛ و در جدل نیز، مواد «مشهورات و مسلمات» را با شرایط خاص و قابل توجهی، به عنوان مبنای علم دادرس معرفی می نماید که موجبات رفع ایرادات مزبور را به طرق مذکور در این نوشتار فراهم می دارد