مرور درختی موضوعات | کتابخانه مجازی الفبا

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

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

- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.

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

خونجی در تقسیم‌بندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزاره‌ی موجبه‌ی کلیه بر اساس تقسیم‌بندی خونجی، صورت‌بندی شده است. در این پایان‌نامه 72 گزاره‌ی جزئیه نزد خونجی صورت‌بندی شده‌اند. خونجی 12 گزاره را از مجموع 72 گزاره‌ی جزئیه، همیشه‌صادق دانسته است. از این 12 گزاره، 6 گزاره موجبه‌ی جزئیه و 6 گزاره‌ی دیگر سالبه‌ی جزئیه‌اند. در فصل دوم با بررسی این گزاره‌ها نشان دادیم که اگر چه این گزاره‌ها در منطق جدید، همیشه‌صادق نیستند اما در منطق خونجی همیشه‌صادق‌اند. خونجی، همچنین 5 گزاره‌ی موجهه را همیشه‌صادق دانسته است. در این پایان‌نامه، پس از صورت‌بندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزاره‌های موجهه‌ی همیشه‌صادقِ خونجی در منطق موجهات جدید همیشه‌صادق نیستند اما در منطق موجهات خونجی همیشه‌صادق‌اند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزاره‌های همیشه‌صادق پرداخته‌ایم.

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

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

شیو منطق جدید در تحلیل گزاره ها شیوه تابع ارزش است در حالی که منطق سنتی گزاره ها را با رویکردی مفهومی و ربطی تحلیل می کند.شیوه نخست ناشی از رویکردی ریاضیاتی به منطق است در حالی که شیوه دوم ناشی از رویکردی فلسفی است.از نتایج رویکرد ریاضیاتی به منطق پرداختن به بحث های فرامنطقی و منطق کلان است

در این پایان‌نامه قواعد پذیرفتنی منطق‌های میانی را مطالعه کرده و نتایج کلی برای توسیع‌های مدل‌ها و مجموعه‌ی فرمول‌ها را ارائه می‌کنیم. این نتایج کلی برای بدست آوردن پایه‌ای برای قواعد پذیرفتنی منطق‌های گبی-دیانگ و نشان دادن اینکه این منطق‎ها تایپ یکسان‌سازی متناهی دارند بکار برده می‌شود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه می‌کنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزاره‌ای را بررسی نماید