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

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

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

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

هدف اصلی این مقاله بررسی و تحلیل استدلال‌های هاریچ در مقالة «معنا، کاربرد، و صدق» است که در سال 1995 در مجلة Mind منتشر شده است. وی در این مقاله از ایدة ویتگنشتاین، یعنی نظریة کاربردی معنا (use theory)، در‌مقابل استدلال‌هایی که علیه این رویکرد ارائه ‌شده‌اند دفاع می‌کند. تمرکز هاریچ به‌ویژه بر انتقادهای کریپکی است. کریپکی در کتاب مشهور خود با عنوان دیدگاه ویتگنشتاین دربارة قواعد و زبان خصوصی سعی دارد نشان دهد کاربرد نمی‌تواند ارائه‌دهندة معنا باشد. مفهومی که کریپکی آن را نقد می‌کند تمایل‌گرایی (dispositionalism) است. او معتقد است معنای یک واژه نمی‌تواند معادل با تمایلات یا قابلیت‌های انسان برای کاربرد آن واژه باشد. هاریچ استدلال کریپکی را نادرست می‌داند. برای این منظور، ابتدا دو تفسیر قوی و ضعیف از مقدمات استدلال کریپکی ارائه می‌دهد و سپس هر دو را نقد می‌کند. ازنظر او، لازمة استدلال کریپکی در تفسیر قوی پذیرش رویکرد انبساطی به صدق است و چنین رویکردی باطل است. در تفسیر ضعیف نیز مثال کریپکی نادرست است. پس از بررسی انتقادهای هاریچ بر کریپکی انتقادهای او را ارزیابی می‌کنیم.

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

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

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

در این پایان‌نامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدل‌های کریپکی پایه‌گذاری شده است اثبات می‌کنیم که ‎در آن گزاره‌ها در هر جهان و رابطه‌ی دسترس‌پذیری بین جهان‌ها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارن‌هایی که بین منطق‌های □ و◊ وجود دارد می‌پردازیم: در منطق نخست (□) مفهوم درستی به قاب‌هایی که رابطه‌ی دسترس‌پذیری آن‌ها دو مقداری است‏، فرو می‌کاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قاب‌هایی است که رابطه‌ی دسترس‌پذیری‌ آن‌ها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستم‌های وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر می‌گیریم. همچنین قضیه‌های تمامیت به زبان‌هایی که به یک مجموعه‌ی خوش‌ترتیب گسسته از ارزش‌های درستی نیز مجهز باشد گسترش داده خواهند‎ شد. ‏بازبرد اصلی این ‎‎‏پایان‌نامه [۶] می‌باشد.

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