آثار مرتبط با شخصیت ها | کتابخانه مجازی الفبا

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

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

سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلال‌ها و قضایای منطق را ثابت می‌کند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی می‌نامند. این سیستم‌ که تقریرهای مختلف و متعددی دارد به خاطر مشکلاتی که سیستم‌های اصل موضوعی(که در اوخر قرن نوزدهم و اوایل قرن بیستم توسط فرگه و راسل وایتهد ابداع شده بود) در امر آموزش و یادگیری داشتند، توسط یاکوفسکی و گنتزن طراحی شد. یاکوفسکی و گنتزن در سال 1934 به طور همزمان و مستقل از یکدیگر مقالاتی را منتشر کردند که در آن به تبیین این روش پرداخته بودند. یاکوفسکی دو روش، یکی گرافیکی و دیگری دفترداری را ابداع کرد، و گنتزن نیز یک روش را ارایه داد که استدلال‌ها و قضایای منطق را در یک ساختار درختی اثبات می‌کرد. این روش‌ بعدها مخصوصاً در دهه‌های پنجاه و شصت میلادی توسط منطقدانانی نظیر کواین، کپی، فیچ، مونتاگیو، سوپیس، میتس، لمون و دیگران که از این روش برای متن‌های آموزشی استفاده کرده بودند توسعه و تکمیل گردید و هر کدام تقریری از این سیستم ارایه دادند. در این تحقیق علاوه بر ارایه تقریرهای مزبور به مقایسه و بررسی آنها پرداخته می‌شود، و همچنین تقریرها از نظر نماد گذاری‌ها و تعداد قواعد استنتاجی و همچنین مزایا و معایب هر کدام بررسی می‌شود. در اینجا همچنین ضمن بیان اشتراکات و تفاوت‌های تقریرها با یکدیگر از لحاظ معنایی نیز قواعد معرفی و حذف سور در آنها بررسی می‌شود. از طرفی نتیجه می‌گیرد، روش گرافیکی یاکوفسکی که توسط کپی تکمیل و ادامه پیدا کرد، در بین منطقدانان مورد اقبال بیشتری واقع شده است.

در استدلال‌های علمی و حتی در استدلال‌های روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلال‌هايي سر و کار داريم که تقريبی‌اند و تا يک درجه خاصی درست هستند. در اين پايان‌نامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزاره‌ای و غيرکلاسيک منطق‌هايي ساخته می‌شوند که استدلال آن‌ها هم فازی است و هم ربطی، و منطق‌های فازی ربطی نام دارند. منطق‌های فازی ربطی FB، NB را با راهکار فازی‌سازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطق‌های پايه هستند. منطق‌هاي فازی ربطی قوی‌تر، گسترش اين منطق‌ها هستند.

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

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

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

منطق معرفت یک منطق توسعه یافته نسبت به منطق کلاسیک محسوب می شود. مهم ترین و مشهور ترین منطق توسعه یافته، منطق موجهات است که عمده منطق های توسعه یافته دیگر، از جمله منطق معرفت بر الگوی آن سامان یافته اند. دو شاخه اصلی منطق معرفت عبارتند از منطق دانایی و منطق باور. در منطق دانایی و باور به جای عملگرهای موجهه ضرورت و امکان، از عملگرهای معرفتی دانایی و امکان دانایی، و باور و امکان باور استفاده می شود. این منطق نظام منطقی، به عنوان شاخه مستقلی از منطق اولین بار در کتاب «دانش و باور» اثر یاکو هینتیکا در سال 1962 عرضه شد. این پژوهش در صدد معرفی منطق معرفت گزاره ای است. منطق معرفت گزاره ای مانند همه نظام های منطقی، دارای مباحث نحوی، معنا شناختی و فرا منطقی است. در ساختار نحوی از الگوی منطق موجهات استفاده شده و سیستم های K، T، D، S4، S5، به کار گرفته شده است. در مباحث معنا شناختی، تعبیری معرفتی از معنا شناسی استاندارد کریپکی ارائه می شود. از آنجا که معنا شناسی استاندارد کریپکی، ساختاری دقیق و صوری است و به خوبی توسعه و تنقیح یافته است از همه ظرفیت آن برای تهیه یک معنا شناسی صوری و دقیق برای منطق معرفت می توان بهره گرفت. در مباحث فرا منطقی، فرا قضیه های بهنجاری و تمامیت برای منطق دانایی و منطق باور اثبات می شود. اگر چه از عمر منطق معرفت چندان نمی گذرد اما دیدگاه های متنوعی درباره آن عرضه شده است که از آن میان به نظرات رشر، هینتیکا و لنتزن اشاره خواهد شد. نکاتی در باب تعریف دانایی و مسئله همه چیز دانی منطقی برخی از چالش های فلسفی پیرامون معرفت را نشان می دهد. در نهایت، برخی مباحث جدید و در حال توسعه در حوزه منطق معرفت معرفی می گردند.

چکیده ندارد.