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

چکیده ندارد.

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

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

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

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

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

بررسي و شناخت جريانهاي اصلي نام‌گرايي و نقد و بررسي مباني شناختي و و جودي آن موضوع اصلي اين رساله است. پس از مقدمه، ابتدا فيلسوفان برجسته و اثر گذارِ نام‌گرا و سپس برخي مباحث مرتبط با نام-گرايي مورد بحث و بررسي قرار مي‌گيرد. قبل از فيلسوفان نام‌گرا، انديشه‌هاي افلاطون و ارسطو نيز که ربط مستقيمي با مباحث نام‌گرايي دارد و در حقيقت نام‌گرايي در تقابل با آراي آنان شکل گرفته است، مطرح مي‌شود. بجز آراء و انديشه‌هاي برخي از فيلسوفان قرون وسطي از جمله اکام، فيلسوفان تجربي انگليس از جمله هابز و هيوم و برخي از فلاسفه تحليلي و زباني، از جمله ويتگنشتاين و کارناپ و کواين نيز مورد بررسي قرار مي‌گيرند و در نهايت نظريات معاصر مربوط به نام‌گرايي و انواع نوميناليسم تبيين مي‌گردد. مسئله شباهت، رفتار-گرايي، مباحثي در باب ذهن و زبان، مثل افلاطوني، و کلي طبيعي، از جمله موضوعات مباحث پاياني رساله است. مبحث نام‌گرايي يک نحوه تفکر فلسفي کاملا متفاوت با روش تفکر عقل‌گراست. تجربه‌گرايي، نفي ذات و ذات‌گرايي، نفي ذهن مجرد و امور انتزاعي، و طرفداري از رفتار‌گرايي يا کارکردگرايي در تعليم و تعلم و در نتيجه طبيعت‌گرايي از جمله مؤلفه‌هاي اصلي اين طرز تفکر است. رسالت اين رساله برداشتن گامهاي اوليه در اين زمينه است. در خاتمه نيز ضمن بيان خلاصه‌اي از مهمترين مباحث و نتايج رساله، در نهايت عدم کفايت ادله و شواهد نام‌گرايان در اثبات ديدگاهشان به عنوان نتيجه نهايي مطرح شده است.

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

چکیده ندارد.

مکتب شهودگرایی اخلاقی یکی از مکاتب توصیفی و شناخت گرایانه در فلسفه اخلاق به شمار می آید. شهود گرایان اخلاقی مدعی اند که همه یا لااقل برخی از این مفاهیم و گزاره ها بدیهی بوده و از طریق شهود عقلانی قابل ادراک می باشندعمده فیلسوفان این مکتب از فلاسفه تحلیلی می باشند و به همین جهت ، مباحث اخلاقی ایشان نیز در پاره ای از موارد صبغ? تحلیلی به خود می گیرد که این مسأله در تألیفات مور بیشتر نمودار می گردد . فیلسوفانی چون جورج ادوارد مور ، دیوید راس و هارولد آرتور پریچارد از فیلسوفان شاخص این مکتب به شمار می آیند.