فایل word مقاله صوري‌سازي قواعد قياس حملي ارسطويي
(همراه با نقد و بررسي قواعد قياس حملي، در برخي از آثار آموزشي منطق) | WORD
ارائه روشی تحلیلی جهت صوری‌سازی این قواعد است که منجر به ایجاد روش‌های مکانیکی و الگوریتمی شود؛ و در گام بعد، بتوان از رهیافت صوری‌سازی و محاسبه‌پذیر شدن این قواعد، با استفاده از یک الگوریتم قابل پیاده‌سازی توسط ماشین، به بررسی دقیق قواعد قیاس، در برخی از منابع آموزشی منطق پرداخت. در این مقاله، علاوه بر دسته‌بندی قواعد قیاس حملی، تقریر جدیدی از قواعد آن، با استفاده از مفهوم انبساط، ارائه می‌شود.
فایل word مقاله ريشه‌يابي شبهة معدوم مطلق در فلسفة يونان | WORD
ندان برجسته مسلمان معمولاً تا الهیات شفای ابن‌سینا ریشه‌یابی می‌شود و نه قبل‌تر ـ چه‌‌رسد به ریشه یونانی بحث؛ چراکه در جهان اسلام تاریخ فلسفه و منطق پیش از ابن‌سینا با ابهامات زیادی رو‌به‌رو است. این پژوهش در پی آن است که شبهه معدوم مطلق را در «فلسفه یونان» ریشه‌یابی کند و نشان دهد ریشه تاریخی این پارادوکس به‌نوعی به فلسفه یونان می‌رسد و به دیدگاه‌های پارمنیدس و افلاطون درباره عدم ناشناختنی بپردازد.
فایل word مقاله شاه‌برهان؛ پشتوانة موجهات دئودوروس | WORD
زی است که هست یا خواهد بود به عبارت دیگر هیچ ممکنی نیست که هرگز محقق نشود. این تعریف با درک شهودی از امکان هم‌خوانی ندارد لذا او برای پشتیبانی از مفهوم موردنظر خود از امکان، استدلالی ارائه کرده است معروف به شاه‌برهان. در دوران معاصر برخی تلاش کرده‌اند با استفاده از منطق جدید این برهان را بازسازی کنند. در این‌جا درصدد ارائه بیانی روشن از این استدلال و بررسی دو مورد از مشهورترین این بازسازی‌ها (پرایور و رشر) هستیم.
فایل word مقاله نقد و بررسي تلازم شرطيات متصل در آثار منطقدانان مسلمان | WORD
ند هریک به تعدادی از تلازمها اشاره کرده‌اند و قضایای متلازم نیز با معیارها و ملاکهای متفاوتی دسته‌بندی شده‌اند. در این مقاله، ابتدا تلازمهای قضایای متصل را که در مهم‌ترین آثار منطقی آمده است برمیشماریم و چگونگی تبیین و اثبات آن‌ها را در این آثار بیان خواهیم کرد. سپس با بررسی و نقد این مباحث و با بهرهگیری از نمادها دسته‌بندی دیگری از تلازم قضایای شرطی را ارائه میکنیم.
فایل word مقاله فراساختني‌بودگي و انگارپذيربودگي | WORD
انگارش» طرح میکنیم، با واکاوی آن دو راهبرد تعریف‌های ایجابی از مفهوم‌های nx ارائه خواهیم کرد، سعی میکنیم با برشمردن محدودیت‌های فراساختنی‌بودگی، دو رویکرد «وسیع» و «باریک» به آن را بررسی، و تعریفی سلبی از nx ارائه کنیم. درنهایت ماحصل دو تعریف ایجابی و سلبی را در یک تعریف خلاصه میکنیم. مقاله را با بررسی میزان تأمین حداقل‌های لازم برای یک تعریف از فراساختنی‌بودگی توسط نگره ما به پایان می‌بریم.
فایل word مقاله بررسي و نقد چند تعريف از مفهوم فراساختني‌بودگي | WORD
اختنی‌بودگی (conceivability) را بررسی، تحلیل، و نقد کنیم. در این بررسی نسبتاً تاریخی، جایگاه خاصی را برای دکارت، به‌عنوان نماینده اصلی تعریف‌های شامل فهمیدن، قائل شده‌ایم. سپس، به تعریف‌های شامل باور پرداخته و با مطرح‌کردن و نقد یکایک آن‌ها، به تعریف‌های شامل اَنگارش (imagining) یک موقعیت (situation) پرداخته‌ایم و در انتها، تعریف‌های شامل احراز (verification) در جهان‌های ممکن سازگار و منسجم را بیان کرده‌ایم.
فایل word مقاله دفاع از رويکرد مبتني بر نظرية معنا در تعيين مصداقِ ثوابت منطقي | WORD
وند؛ بنابراین، این اصول موضوع نمی‌توانند مشخص کننده مصداق ثوابت منطقی باشند. برای پاسخ به انتقاد اونز از مفهوم نقض شهود اساسی زبانی استفاده می‌کنم که دیویدسون در پاسخ به فاستر آن را به کار برده است. به این منظور نشان می‌دهم که انتقادهای فاستر و اونز علی‌رغم ظاهر متفاوتشان، دارای هسته‌ای مشترک‌اند. در بخش نتیجه، به عدم امکان فروکاستن ویژگی‌های معنایی زبان به ویژگی‌های نحوی آن اشاره خواهم کرد.
فایل word مقاله مفهوم بازنمايي در نظري? «زيست‌معنايي» ميليکان | WORD
د. فرضی بدیل معتقد است که کارکرد باید براساس کاری تعریف شود که در حال حاضر و در تعادل با وضعیت موجود بااستفاده‌از شیء انجام می‌شود. نکته کلیدی در ارائه مفهوم کارکرد مطلوب ارائه تعریفی جدید از «بازنمایی» است. در این مقاله قصد داریم با معرفی تعریف میلیکان از بازنمایی نشان دهیم که این تعریف بر مفهوم «ساختکار» (functure) مبتنی است و برخلاف دیدگاه رایج در فلسفه که بازنمایی را امری ذهنی می‌داند، کاملاً عینی است.
فایل word مقاله نقش عوامل اجتماعي در معرفت رياضي و منطقي، بر‌مبناي ديدگاه‌هاي مکتب ادينبرا | WORD
آنان را دربار نقش ابعاد جامعه‌شناسانه در منطق و ریاضیات به‌اختصار ذکر میکنیم. در بخش‌های بعدی مقاله مهم‌ترین یا بدیع‌ترین مطالعات موردی عرضه‌شده را بررسی و آن‌ها را درباب برهان خلف، تصمیم‌گیری و چانه‌زنی در ریاضیات، اثبات گزارههای ریاضی، و اعتبار استدلال‌های منطقی نقد و ارزیابی میکنیم و در‌انتها نیز نکاتی درباره رویکرد نظری آنان و نتایجی که به‌نظر می‌رسد می‌توان از این بحث گرفت مطرح خواهیم کرد.
فایل word مقاله نفي کارآمدي برهان لم در فلسف? اولي؛ مطالعة تطبيقي ميان رويکرد ملاصدرا و علامه طباطبايي | WORD
خست ملاصدرا و سپس علامه با آن مواجه شدند در اعماقش از ناکارآمدی منطق اصالت ماهوی در قلمرو فلسفه وجودی خبر میدهد. در این مقاله، رویکرد علامه طباطبایی مبنی‌بر نفی ناکارآمدی براهین مذکور نقد می‌شود. اما مدعای ایشان مبنی‌براین‌‌که برهان از‌طریق تلازم در فلسفه کارآمد است و با سایر براهین تفاوت ماهوی دارد کشفی ارزش‌مند تلقی می‌شود که می‌‌کوشد تا رکود منطق را درمقایسه‌با وجودشناسی در حکمت نوصدرایی جبران کند.
فایل word مقاله برهان جايگشت عليه رئاليسم متافيزيکي | WORD
کند؛ وی در این راه از استدلال‌های مبتنی‌بر نظریه مدل نیز بهره می‌گیرد. نظریه مدل بخشی از علم ریاضیات است که روابط میان زبان و تعبیرهای زبان را بررسی میکند. متن حاضر سعی در توضیح، تحلیل، و نقد کم‌تر فنی و بیش‌تر شهودی «استدلال جایگشت» دارد که پاتنم علیه رئالیسم طرح کرده است. آنچه پاتنم در این استدلال سعی در نشان‌دادن آن دارد این است که مدلول یا مصداق عبارات زبان در نگاه رئالیستی قابل تثبیت‌شدن نیستند.
فایل word مقاله نقدي بر مقالة «پارادوکس اخبار از مجهول مطلق: تحليل مفهوم «خبر»» | WORD
م مطلق به «هستی‌شناختی» و «معرفت‌شناختی»، رابطه مجهول مطلق و معدوم مطلق و راه‌حل آن‌ها، غفلت از قاعده فرعیه و تعریف قوی قدما از معدوم مطلق، راه‌حل‌های مقاله و تناقض‌گویی‌های مکرر آن؛ عدم موفقیت مقاله در نشان‌دادن خدشهپذیربودن راه‌حل پیشینان، خدشهپذیربودن تحلیل مقاله از «خبر» و احتمالاً از «سخن» و بدفهمی مقصود قدما، و غفلت از تعریف مجهول مطلق و دلیل خبرناپذیری و سخن‌ناپذیری آن.
فایل word مقاله انسان، مجهول مطلق، و خبر؛ در پاسخ به يک نقد | WORD
ش کردیم تا راه‌حل تازه‌ای برای پارادوکس اخبار از مجهول مطلق بیابیم. مقاله‌ای تحت عنوان «نقدی بر مقاله «پارادوکس اخبار از مجهول مطلق تحلیل مفهوم خبر»» (اسدی: 1392) تلاش کرده است با طرح انتقادهایی، موضع ما در این مقاله را به چالش بکشد. در این مقاله مهم‌ترین و اصلی‌ترین انتقادهای وی را به بحث خواهیم گذاشت و ارزیابی خواهیم کرد. چنان‌که خواهیم دید این انتقادات نمی‌توانند برای موضع ما مسئله‌ای ایجاد کنند.
فایل word مقاله مسئلة «هست و بايد» و پارادوکس پرايور | WORD
کس مواجه میکند. در این مقاله ابتدا پارادوکس پرایور و برخی پاسخ‌های فلسفی به آن را بیان میکنیم، سپس به تشریح منطق چند‌ارزشی بیل که برای حل این پارادوکس پیشنهاد شده می‌پردازیم و خواهیم دید این پارادوکس در چهارچوب منطق ربط نیز حل خواهد شد. با این حال پرایور علاوه بر این پارادوکس، براهین دیگری نیز ارائه میکند. ما نشان خواهیم داد هر‌چند این دو منطق پارادوکس پرایور را حل می‌کنند، هر یک از حل برهانی دیگر عاجز است.
فایل word مقاله رواداري در نظريه ي ST | WORD
. در این مقاله استدلال خواهد شد که اولا، تحدید ایشان از اصل رواداری از آنچه در ادبیات مربوط به ابهام مورد توافق است فاصله می گیرد. و ثانیا، نظریه ایشان جمله ای قوی تر از رواداری را معتبر می انگارد؛ که این جمله مثال های نقض روشن دارد. و ثالثا، نظریه ایشان تنها می تواند رواداری را به معنای ضعیفی معتبر بداند. این نتیجه پایانی نظریه ایشان را به نظریه های غالب در باب ابهام که رواداری را درست قلمداد نمی کنند شبیه خواهد کرد.
فایل word مقاله جهان‌هاي ناممکن و متون التفاتي از نگاه پريست | WORD
ن‌های ناممکن متوسل می‌شود. پس از مطالعه رویکردهای متعدد به جهان‌های ناممکن و کاربردهای گوناگون جهان‌های ناممکن در منطق موجهات، پاسخ پریست به مسئل همه‌چیزدانیِ منطقی و سه مسئل دیگر منطق معرفت را بررسی خواهیم کرد. دلالت‌شناسی‌ای که او برای متون التفاتی عرضه میکند، کاملاً مبتنی بر جهان‌های ناممکن است. در پیِ مباحثی که مطرح می‌شود، جنبه‌های متعددی از این جهان‌های نامتعارف را خواهیم دید.
فایل word مقاله نزاع فرگه و هيلبرت: روش صحيح پرداختن به فراقضيه‌ها در دستگاه‌هاي اصل موضوعي | WORD
ندیشه‌ها و علایق خود، برداشت‌های متفاوتی از مفاهیمی مانند سازگاری و استقلال در دستگاه‌های اصل موضوعی داشته‌اند، جایی که فرگه به دنبال «سازگاری اندیشه‌ای» است هیلبرت صرفاً «سازگاری نحوی» را اثبات میکند. برداشت سخت‌گیرانه فرگه از مفهوم سازگاری و استقلال دامنه پژوهش‌های بعدی را به‌شدت محدود می‌ساخت، حال آن‌که برداشت هیلبرتی امکانات وسیع و جذابی برای انجام بحث‌های فرانظریه‌ای فراهم می‌آورد.
فایل word مقاله سوژه و صورت منطقي در تراکتاتوس | WORD
ن‌های ترکیبیِ خاص هر شیء می انگارد. در نظر او، ساختار منطقی زبان برآمده از چهارچوبِ عالم است و زبان فقط درصورتی معنادار است که تصویرگر این عالم باشد. ویتگنشتاین، بدون آن‌که از مفاهمه حرفی به‌میان بیاورد، خودِ چگونگیِ ممکن‌بودنِ زبان را بررسی میکند و در پاسخ، صورت منطقی را مطرح میکند. در طراحی او از زبان، سوژه جایگاه معنابخشی خود را از دست میدهد و اشیای عالم و امکان‌های ترکیبی آن‌ها عهده‌دار معنا می‌شوند.
فایل word مقاله «نظرية انبساط» از ديدگاه «جان بوريدان» | WORD
ط به آن را بیان کرده‌اند، نه آن‌که خود مبدع این قواعد باشند. بر این اساس نظریه پیتر گیچ را، که آشکارا نظریه انبساط را متفاوت از نظریه اطلاق می‌داند، به‌شکلی منطقی و تاریخی نقد میکنیم و نشان میدهیم که نظریه قابل دفاعی نیست. در پایان تعاریف بدیعی از حدود «منبسط» و «غیرمنبسط» را با توجه به چهارچوب فلسفی ـ منطقی بوریدان ارائه میکنیم که به مفاهیم و اصطلاحات منطقی وی بسیار وفادار است.
فایل word مقاله بازتعريف مادي و مجرد با استفاده از منطق فازي | WORD
باشد. آنگاه نشان میدهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمیباشد. نهایتاً بیان میکنیم که نمیشود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان میکنیم که باید به‌گونه‌ای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه میدهیم.
فایل word مقاله طراحي نظرية معناداري نزد ملاصدراي شيرازي | WORD
و نیز تفکیک‌های سه‌گانه میان زبان طبیعی و زبان منطقی، تعیین کوچک‌ترین واحد معناداری، و نقش فاعل شناسا در معناداری به نظریه معناداری نزد صدرالمتألهین نزدیک شود. از جمله نتایج جستار حاضر می‌توان به ترجیح زبان منطقی بر زبان طبیعی مبتنی بر عقل منطقی و برهانی، تعیین واژه و جمله به‌منزله کوچک‌ترین واحد‌های معناداری مبنی بر نظریه لحاظ‌ها و عدم دخالت فاعل شناسا مبتنی بر نقش اعدادی و نظریه صدور و جعل ثانی اشاره کرد.
فایل word مقاله راه‌حلي به پارادوکس معدوم مطلق | WORD
اندیشمندان نیز بوده است نشان خواهیم داد راه‌حل این عده قلیل، به دلیل توجه نکردن به تعریف دقیق و قوی معدوم مطلق شناخت‌ناپذیر و خبرناپذیر رایج، همگی خدشه‌پذیر هستند. اما خود، با جمع‌بندی و تلفیق قوی‌ترین تعریف معدوم مطلق رایج در فلسفه اسلامی در طی تاریخ، در دیدگاه برگزیده به چهار طریق شناخت‌پذیری معدوم مطلق را نشان خواهیم داد؛ از طریق: الف) اصل تناقض؛ ب) عدم بماهو عدم؛ ج) سالبه به انتفای موضوع؛ د) برهان خلف.
فایل word مقاله نقيض موجهات مرکب جزئيه نزد خونجي | WORD
ی تناقض موجهات بسیط و گزارههای مرکب کلیه نزد خونجی، به چگونگی تناقض موجهات مرکب جزئیه نزد این منطق‌‌دان خواهیم پرداخت و نشان خواهیم داد که خونجی مبدع شیوه اول استنتاج نقیض این گزاره، و اولین منطق‌‌دانی است که گزاره مردده‌‌المحمول را کشف کرده است. همچنین نشان خواهیم داد که خونجی شیوه دوم استنتاج نقیض گزاره موجهه مرکب جزئیه را وام‌دار کشّی بوده است و دومین منطق‌‌دانی است که از چنین روشی استفاده کرده است.
فایل word مقاله مواضع جدلي در منطق ابن‌سينا: از اصول مناظره تا مغالطات تعريف | WORD
laquo;تبدیل مواضع جدلی به مغالطات تعریف» را در کنار این دیدگاه ارسطویی بگذاریم که «ابطال‌های سوفیستی (سفسطه‌ها) همگی مغالطات قیاسی‌اند»، آنگاه به موازات نظریه تعریف و نظریه استدلال، مغالطات هم تقسیم می‌شوند به مغالطات تعریف و مغالطات استدلال. این نوآوری ابن‌سینا هم‌گام با رشد دو ایده «منطق دوبخشی» و «هدف‌گرایی»، به‌تدریج در الشفاء، النجاه، الحدود، منطق المشرقیین، و الاشارات رشد میکند.
فایل word مقاله منطق گزاره‌هاي داستاني | WORD
میت است و نمی‌توان از این مسئله چشم‌پوشی کرد که در زبان طبیعی، به هویات داستانی ارجاع داده می‌شود و گزارههای راجع به این هویّات، تصدیق یا تکذیب می‌شوند. در این مقاله سعی داریم با استفاده از چارچوب مفهومی جهان‌های ممکن، توضیحی برای چگونگی ارجاع و ارزش صدق این گزاره‌ها بیابیم و برخی مسائل منطقی مرتبط با متون داستانی را مورد بررسی قرار دهیم. همچنین نظامی برای منطق گزارههای داستانی، معرفی نماییم.
فایل word مقاله بنيادهاي مابعدالطبيعي منطق لايب‌نيتس از نظر هيدگر | WORD
دو در گزاره یا همان حکم و همچنین تعریف صدق در تفکر لایب‌نیتس تا چه حد متأثر از آموزه‌های مابعدالطبیعی‌اند؛ حال آن‌که یکی از اصلی‌ترین دغدغه‌های لایب‌نیتس، استقلال منطق از مابعدالطبیعه و بنیان نهادن مابعدالطبیعه خویش بر پایه چنان منطقی است. در این مقاله کوشیده‌ام نشان دهم که چگونه هیدگر نظریه حکم لایب‌نیتس را مورد مطالعه قرار میدهد و درهم‌تنیدگی منطق و مابعدالطبیعه را در تفکر او اجتناب‌ناپذیر می‌داند.
فایل word مقاله تمايز حملين نزد ملاصدرا از منظر تحولات معنايي «حمل | WORD
» نیز به سطح فراتر ذهن و یا ذهن دیگر عزیمت کند؛ 3. دوره‌ای که در آن ما به الاتحاد و ما به التغایر، علاوه‌بر منظر و ناظر، می‌توانند به‌ترتیب در ناظر و منظر قرار گیرند. بدون تفکیک این دوره‌ها نمی‌توان به‌درستی به بازخوانی نظریه تمایز حملین در آثار ملاصدرا پرداخت. در این مقاله ما به الاتحاد و ما به التغایر در سیری تاریخی تحلیل می‌شوند تا از این طریق، گوشه‌ای از ابهامات نظریه تمایز حملین زدوده شود.
فایل word مقاله «مفهوم‌نمايي» محالات ذاتي | WORD
ی‌رسد مبحث منطقی «عدم و ملکه»، مبنای خوبی برای تشخیص بی‌معنایی جملات و مرکبات به دست میدهد. بر این اساس و توضیحاتی که در متن آمده است، محالات ذاتی را باید الفاظ مرکبی دانست که از طریق بازی با الفاظ ایجاد شده‌اند و هیچ مفهومی را به ذهن نمی‌آورند، بلکه صرفاً ذهن را به توهم معنایابی می‌اندازند؛ محالات ذاتی «مفهوم‌نما» هستند. پیامدهای مهم این نظریه در این نوشتار به اجمال مورد اشاره قرار گرفته‌‌‌اند.
فایل word مقاله مفاهيم موجهه از نظر دئودوروس، فيلون، و خروسيپوس | WORD
امکان، امتناع، و رابطه و نسبت این‌ها با هم از مباحث جالب تاریخ منطق است که به روشن‌شدن برخی از مواضع منطقی منطقدانان دیگر در این زمینه هم کمک میکند. از میان این سه تن، نظرات دئودوروس بیش از همه مورد بحث بوده و هست. این توجه عموماً به این علت است که تعاریف دئودوروس از این مفاهیم همراه نگاهی دترمینیستی به عالم است. تعاریف فیلون و خروسیپوس گرچه با درک عرفی سازگارتر هستند، با موضع دترمینیستی آنان هم‌خوانی ندارد.
فایل word مقاله منطق فازي در قرآن: خلط مستنبط و منصوص | WORD
ی از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.