جستجوي پيشرفته | کتابخانه مجازی الفبا

هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانه­ی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانه­ی منتج منطق حملی ارسطو دارای خاصیت مبناپذیری هستند. ارسطو چهار ضرب شکل اول قیاس را مبناپذیر می­داند زیرا وی اشکال دیگر قیاس را به وسیله­ی شکل اول اثبات می­کند. از آنجایی که اثبات مبناپذیری چهار ضرب ارسطو تعمیم داده شده است به پانزده ضرب می­توان نشان داد که منظور ارسطو از بدیهی بودن شکل اول قیاس مبناپذیری صرف چهار ضرب اول شکل اول نیست. این نتیجه­ی مهم منطقی در سیستم ارسطو تنها از رهیافت معرفی مفهوم مبناپذیری ضروب قیاس ممکن گردیده است؛ به عبارت دیگر نشان خواهیم داد که برخلاف دیدگاه رایج در سنت ارسطویی به هیچ وجه مبناپذیری ضروب شکل اول نمی بایست خاستگاهی برای تببین بدیهی بودن ضروب شکل اول قیاس باشد. صرف نظر از اینکه راز بداهت شکل اول قیاس در چه چیزی نهفته است، این مقاله به وجه سلبی، یکی از گزینه های ممکن یعنی مبناپذیری ضروب منتج شکل اول قیاس را به شکلی منطقی در پاسخ به راز بداهت ضروب منتج شکل اول قیاس حذف خواهد کرد.

در مقاله‌ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده می‌شود که عوامل اجتماعی در پیدایش و ضروری‌انگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله می‌توان به موارد زیر اشاره کرد: اختلاف ریاضی‌دان‌ها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بی‌نهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، دوری بودن توجیه قواعد منطقی از طریق جداول ارزش، استدلال پرایور در مقابل صورت‌گرایان، عدم ترجیح توجیهات روان‌شناختی بر توجیهات جامعه‌شناختی، پارادوکس‌های استلزام مادی، توسل به شهود به جای استدلال، نقد استدلال دوری، قراردادی بودن اصول منطقی، پارادوکس خرمن و ... ما نیز در ارزیابی این شواهد ضمن تعیین و تحلیل اصول بدیهی حداقلی چون اصل تناقض، قاعده وضع مقدم و برهان خلف، به تحلیل موارد زیر پرداخته‌ایم: بی‌نهایت‌ها، دیدگاه ویتگنشتاین، جداول ارزش، استدلال پرایور، قرارداد، عدم لزوم بداهت تصورات در تصدیق‌های بدیهی، مفاهیم نامعین و ...؛ و در نهایت نشان داده‌ایم که علوم بنیادینی چون ریاضی و منطق، ضرورت خود را مدیون عوامل اجتماعی نیستند.

نظریه­ی اطلاق (Supposition Theory) یکی از نظریه­های مهم منطقی-دلالت­شناسی است که در تألیفات و تفاسیر منطق­دانان قرون وسطایی در ذیل بحث «ویژگی­های حدود» مطرح گردیده است. از آنجایی که این نظریه دارای پیامدهای منطقی، فلسفی و الاهیاتی مهمی است در این پژوهش به بررسی ریشه­ی مفهومی و تاریخی آن می پردازیم. مدعای اصلی این پژوهش وجود پیوندی معنادار به لحاظ تاریخی و مفهومی بین نظریه­ی قرون وسطایی اطلاق و نظریه­ی مغالطات ارسطو است که در رساله­ی «در پیرامون ابطال­های سوفیستی» وی مطرح شده است. بررسی مورد به مورد مغالطات مطرح شده توسط ارسطو در مقایسه و تطبیق با تحلیل­های منطق­دانان قرون وسطایی این فرضیه را تقویت می کند که نظریه­ی اطلاق همان دلالت­شناسیِ پنهان در نظریه­ی مغالطات ارسطو است که توسط منطق­دانان قرون وسطایی ماهیتی آشکار و مستقل پیدا کرده است و در دوران قرون وسطایی متأخر در برخورد با مشکلات دلالت­شناسی مختلف در ابعاد گسترده­تری نیز توسعه یافته است.

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

موضوع این پایان‌نامه عبارت است از بررسی دیدگاه فلسفی فیلسوفان پیش از سقراط (شامل سه مکتب فیثاغورسیان، سوفیست‌ها و اتمیان) به منظور شناسایی آرای منطقی آنها و تعیین اثرگذاری احتمالی این آرا بر منطق ارسطو. مهمترین منبع‌های مورد استفاده درز این پایان‌نامه عبارتند از مجموعه آثار ارسطو، کتاب متفکران یونانی، تاریخ فلسفه یونان و کتاب Die Fragmente der Vorsokratiker. چهارچوب نظری این پژوهش عبارت است از توصیف و تحلیل دیدگاه‌های فلسفی و منطقی فیلسوفان پیش‌سقراطی (سه مکتب مورد بحث در این پایان‌نامه که در بالا اشاره شد) با بهره‎‌گیری از منبع‌های موجود و بررسی ارتباط احتمالی این دیدگاه‌ها با دیدگاه‌های منطقی ارسطو در مرحله پس از آن. پرسش اصلی این پژوهش این است که آیا فیثاغورسیان، سوفیست‌ها و اتمیان (لئوکیپوس و دموکریتوس) دارای دیدگاه‌های منطقی بوده‌اند؛ و پرسش فرعی عبارت از این است که آیا این دیدگاه‌ها تأثیر مشخصی بر منطق ارسطو گذارده‌اند یا تقابل مشخصی با آن داشته‌اند. فرضیه‌های این پژوهش نیز عبارت هستند از این‌که به نظر می‌رسد در موردهایی مانند «کلّیات»، «مقوله‌بندی»، «ساختن گزاره»، «تعیین معیار صدق و کذب»، «گونه‌ای از منطق استقرایی یا تمثیلی» و «تعریف‌های منطقی»، بحث‌های با اهمیتی نزد فیثاغورسیان، سوفیست‌ها و اتمیان جریان داشته که مورد توجه ارسطو بوده‌اند. این پژوهش به روش کتابخانه‌ای صورت گرفته است. عمدة مفاهیم تخصصی این پژوهش را می‌توانیم با تعریف‌های ارائه‌شده در زیر ببینیم: - آرای منطقی: ارائة بحثهای مقدماتی و غیر‌نظام‌مند دربارة موضوع‌هایی مانند مقوله‌بندی، اثبات هندسی، صدق و کذب باورها و گفتارها، وجود‌داشتن یا نداشتن مفاهیم، ساختار جمله‌ها و چگونگی استدلال. - منطق: یعنی روش استدلال درست. - دیالکتیک یا جدل: استنتاجی است که از مقدمه‌هایی که به طور کلی پذیرفته‌شده‌اند، به متناقض یک تز داده‌شده، استدلال می‌کنند. - جوهر: آنچه در زیر همه هستیهای دیگر است وتحلیل به آن پایان‌می‌پذیرد. - مفهوم: ایده‌ای (کلی) است که از امور جزئی انتزاع شده‌است. - معیار یا پیمانة صدق وکذب: آنچه صادق بودن یا کاذب بودن یک گفتار، باور یا شناخت با آن مشخص می‌شود. - حد: آن‌‌چه مقدمه‌های قیاس ارسطو به آن تحلیل می‌شوند. - مقوله‌بندی منطقی: دسته‌بندی گفتار‌های غیر‌مرکبی که هستی را بیان‌می‌کنند و با ترکیب آنها، گزاره‌های صادق یا کاذبی دربارة هستی شکل می‌گیرد. - اصول اعداد فیثاغورسی: جفت‌های متضاد در مکتبهای فیثاغورسی که آنها را اصول اعداد می‌دانستند. - اثبات هندسی: اثبات یک قضیة هندسی با شروع از اصول موضوع و به‌کارگیری استدلالهای منطقی. - تقدم منطقی: مقدم بدون مؤخر قابل تصور است، اما مؤخر را نمی‌توان بدون مقدم تصور‌کرد. - تقدم در وجود : اگر مقدم وجود‌نداشته‌باشد، مؤخر وجود‌نخواهد‌داشت. در زمینة نقش جوهری اصول دهگانة اعداد و خود عددها (نزد فیثاغورسیان)، قرار‌دادن انسان به‌عنوان معیار تعیین صدق و کذب گفتارها و باورها و نفی واقعیت بیرون از او و نیز انکار امکان تناقض‌گویی (نزد پروتاگوراس و گرگیاس)، بهره‌گیری از دیالکتیک (نزد گرگیاس)، انکار عینیت‌داشتن مفهوم‌ها و نفی وجود جوهری زمان (نزد آنتیفون)، ارائة استدلالهایی دربارة نامتناهی‌بودن شمار شکل‌های اتمها و بخش‌ناپذیری آنها (نزد لئوکیپوس)، به-کارگیری استدلالهایی- که امروزه مشخص‌نیستند- بر‌پایة گواهی حواس برای اثبات اتمها (نزد اتمیان) و توجه به مفهوم‌ها و ارائة تعریف از چیزها (نزد پروتاگوراس، گرگیاس و دموکریتوس)دیدگاه‌های منطقی ارائه‌شده‌است و نیز فیثاغورسیان به ارائة استدلال برهانی در هندسه نزدیک‌شده‌بودند. ‌شاهدی نشان‌دهنده این که ارسطو در دیدگاه‌های منطقی خود، از فیثاغورسیان و اتمیان تأثیر‌پذیرفته یا تقابل ویژه‌ای با آنها داشته‌است وجود ندارد، اما دیدگاه او در قرار‌دادن واقعیت بیرونی به عنوان معیار صدق و کذب جمله‌ها، در تقابل آشکار با دیدگاه پروتاگوراس و گرگیاس است. پیشنهاد می‌شود در‌بارة اثبات قضیه‌های هندسی که بنابر سندها توسط فیثاغورسیان انجام‌شده‌است، مطالعة بیشتری برای بررسی سیر تکاملی هندسه صورت‌گیرد. به تأثیر‌گذاری فیثاغورسیان بر افلاطون توجه‌شود. در مورد سوفیستها ضرورت‌دارد که برای فراهم‌آوردن پژوهشی کاملتر، به اندیشه‌های هراکلتیوس و پارمیندس و مکتب وی، پرداخته‌شود تا اثری که بر سوفیستها داشتند، آشکار‌گردد. بزرگترین مشکلی که در راه فراهم‌آوردن این پژوهش قرار‌داشت، زمان کم در‌نظر‌گرفته‌شده برای انجام آن بود؛ که باعث‌شد تا این پژوهش از رشد بیشتر باز‌ماند. از این رو نیاز‌است تا برای از میان برداشتن این مشکل، اقدام لازم صورت‌گیرد

ایده جهانهای ممکن حدود نیم قرن است که مورد توجه قرار گرفته است. کاربرد اصلی و اولیه این ایده، توسط منطقدانان و به منظور طراحی دلالت‏شناسی صوری برای منطق گزاره‏های ضروری و ممکن، با استفاده از مفاهیم و ساختارهای موجود در نظریه مجموعه‏ها، بوده است. این ایده سپس، در شاخه‏های دیگر منطق، مانند منطق تکلیف و منطق شرطی نیز به کار گرفته شد و سودمند واقع شد. «جهانهای ممکن»، به سرعت، در رشته‏های دیگر مانند فلسفه زبان و هنر و حتی هوش مصنوعی، نیز مورد توجه قرار گرفت و پژوهشگران این رشته‏ها ...

یکی از تفسیرهای رایج در معرفت شناسی صدرایی دیدگاهی است که علیرغم پایبندی به نگاه وجودیِ صدرا در تبیین حقیقت علم، فاصله معناداری در دیگر فروع و احکام بحث، از قبیل نسبت میان علم و وجود ذهنی، تعیین مصداق معلوم بالذات در علم حصولی و دیگر مسائلی از این دست، با مواضع صریح مرحوم آخوند دارد. کلید اصلی این اختلافات، قول به تفکیک و مغایرت وجودی میان علم و وجود ذهنی است و نتایجی که از این تفکیک حاصل می شود ظلیّت وجود ذهنی نسبت به علم، معلوم بالذات دانستن وجودِ علم و معلوم بالعرض دانستن وجود ذهنی است. لیکن، ما در این بررسی نشان خواهیم داد که تفکیک مذکور در نزد صدرا صرفاً جنبۀ اعتباری داشته و علم و وجود ذهنی از نظرگاه او اتحاد وجودی دارند و برخلاف تفسیر فوق الذکر، این وجود ذهنی است که در علم حصولی معلوم بالذات است و ظلیت آن نسبت به موجودات خارجی است نه وجودِ علم.

استلزام مادی عبارت است از نسبت خاصی که بین مولفه های گزاره شرطی برقرار است یعنی گزاره شرطی تنها در صورتی کاذب است که دارای مقدم صادق وتالی کاذب باشد درغیراینصورت صادق است بنابراین هرگزاره شرطی با مقدم کاذب یا تالی صادق، صادق است و لازم نیست پیوندی بین مولفه های آن برقرار باشد . پارادوکس های استلزام مادی مولود این نگرش-تابع ارزشی است . استلزام اکید نیز که برای حل پارادوکس های مذکورپایه ریزی شده بود دچار پارادوکس های مشابهی شد زیرا دراین نگرش نیز گزاره شرطی نه براساس پیوند مقدم و تالی بلکه براساس صدق و کذب مولفه های آن تحلیل شد. در استلزام ربطی علاوه برصدق وکذب مولفه های شرطی پیوند آنها نیز لحاظ شده و سیستمهای مختلفی از جمله ‏‎Rو E‎‏ پایه ریزی شده است ولی ازآنجا که صورتبندی عنصر ربط خالی از دشواری نیست لذا سیستم های ربطی در مقام نحو و دلالت شناسی بسیار پیچیده تر از سیستم های کلاسیک گشته اند .

صدرالمتألهين در جاي‌جاي آثار خود در کنار استفاده از عقل نظري و روش بحثي، از راه وجدان سخن به ميان مي‌آورد. از منظر او وجدان، شهودي است بر پايه علم حضوري؛ بنابراين مي‌تواند راه‌گشاي بسياري از مسائل دشوار مبدأ و معاد باشد. در مقابل ميرزامهدي اصفهاني مباني اعتقادي خود را تنها بر اساس ادراک وجداني استوار ساخته است. در اين ادراک، حقايق خارجي بدون هيچ‌گونه اتصال وجودي، همان‎گونه که هستند کشف مي‌گردند. هدف از اين نوشتار بررسي رابطه متقابل عقل و وجدان از منظر اين دو متفکر است. روشن خواهد شد که اگرچه صدرالمتألهين کارکردهاي متقابل مهمي را براي عقل و وجدان قائل است؛ اما اين دو مسير معرفتي را در کنار هم مي‌داند؛ در مقابل، ميرزاي اصفهاني اساساً اين دو مسير را جدا نمي‌داند، بلکه از نظر او معقولات بخشي از متعلقات وجدان هستند و به تعبير دقيق‌تر، بخشي از وجدانيات ما در مشهد عقل حاصل مي‌گردد.

"منطق غيرصوري" يكي از زمينه‌هاي پژوهشي علم منطق است. منطق‌دانان غيرصوري که اغلب مشي پراگماتيک دارند، با رهيافتي غيرصوري و خلاف جريان عمده و رايج پژوهش‌هاي منطقي معاصر به مطالعه منطق مي‌پردازند. هدف منطق غيرصوري، تدوين استانداردها، معيارهاو فرآيندهايي براي تحليل، تفسير، سنجش، نقدو ايجاداستدلال‌ها در زبان است. پايان‌نامه حاضر مشتمل بر چهار فصل است. فصل اول به معرفي منطق غيرصوري و تاريخ اجمالي شکل‌گيري آن اختصاص دارد. فصل‌هاي دوم و سوم به ترتيب ديدگاه‌هايرالف جانسون و داگلاس والتون درباره منطق غيرصوري و استدلال به‌عنوان موضوع اين شاخه را معرفيو بررسي مي‌کنند.اين دو تنشناخته‌شده‌ترين فيلسوفان و منطق‌دانان غيرصوري و از بانيان دو جريان عمده مطالعاتي در اين حوزه هستند.فصل دوم با محوريت ديدگاه جانسون درباره استدلال به بحث درباره فرانظريه و نظريه استدلال وي و نقد او به قياس و استقرا پرداخته است. فصل سوم به ديدگاه والتون درباره منطق غيرصوري، استدلال، بررسي پراگماتيک استدلال و شاکله‌هاي استدلال‌ورزي اختصاص دارد.فصل چهارم به جمع‌بندي مطالب ارايه‌شده و نسبت ميان نظرگاه جانسون و والتون و در نهايت، انتقادات نگارنده بر منظر ايشان اختصاص يافته است.