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

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

انصراف

از :	{0}
پست الکترونیک :	{1}
تلفن :	{2}
دورنگار :	{3}
Aaddress :	{4}
متن :	{5}

فارسی | العربیه | English

در تلگرام به ما بپیوندید

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

صفحه اصلی کتابخانه

پورتال جامع الفبا

مرور منابع

مرور الفبایی منابع

مرور کل منابع

مرور نوع منبع

آثار پر استناد

متون مرجع

مرور موضوعی

مرور نمودار درختی موضوعات

فهرست گزیده موضوعات

کلام اسلامی

مسائل جدید کلامی

سایر موضوعات

دفاعیه، ردیه و پاسخ به شبهات

سیره ائمه اطهار علیهم السلام

شیعه-شناسی

عرفان

فلسفه اسلامی

مرور اشخاص

مرور پدیدآورندگان

مرور اعلام

مرور آثار مرتبط با شخصیت ها

فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی

مرور مجلات

گالری

چندرسانه ای

جستجو

جستجوی هوشمند در الفبا

جستجو در سایر پایگاهها

جستجو در کتابخانه دیجیتالی تبیان

جستجو در کتابخانه دیجیتالی قائمیه

جستجو در کنسرسیوم محتوای ملی

کتابخانه مجازی ادبیات

کتابخانه مجازی حکمت عرفانی

کتابخانه تخصصی تاریخ اسلام و ایران

کتابخانه تخصصی ادبیات

کتابخانه الکترونیکی شیعه

علم نت

کتابخانه شخصی

مدیریت علاقه مندیها

ارسال اثر

دانشنامه

راهنما

مرور > نمودار درختی موضوعات

4. اصطلاحنامه سایر موضوعات

اصطلاحنامه منطق

منطق جدید

منطق غیر کلاسیک (منطق های توسعه یافته) منطق کلاسیک

جستجو در برای عبارت

مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو

خروجی چاپ نتایج

انتخاب همه

10 11 12 13 14 15 16 17 18 19

تعداد رکورد ها : 190

عنوان :

محمول وجود در منطق فرگه‌ای

نویسنده:

مهدی محمدی؛ علی‌اکبر احمدی افرمجانی

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: منطق پژوهی,

زبان :

فارسی

کلیدواژه‌های اصلی :

محمول وجود , فلسفه تحلیل زبانی ( تحلیل زبان ) , فلسفه منطق , فلسفه زبان , فلسفه تحلیلی , منطق جدید , منطق کلاسیک , منطق محمولها , منطق فرگه ای

چکیده :

یکی از مقدماتی‌ترین مطالبی که در هر کتاب آموزشیِ منطقِ فرگه‌ای در بحث منطق محمولات به چشم می‌خورد، این است که «وجود داشتن» نمی‌تواند در هیچ گزاره‌ای محمول واقع شود؛ بلکه جایگاه «وجودْ» سور گزاره‌ی جزئی است. هدف من در این مقاله این است که نشان دهم بنیان‌گذاران منطق فرگه‌ای چه دیدی به ساختار گزاره داشتند و چرا وجود در این ساختار نمی‌تواند محمول واقع شود. سپس تبیین و راه‌حل این منطق‌دانان از گزاره‌های وجودی را بیان می‌کنم؛ و در پی آن، اشکالات و نارسایی‌های تحلیل ارائه‌شده را بررسی خواهم کرد. بسیاری از فیلسوفان تحلیلی، چون مور (Moore, 1936)، نیل (Kneale, 1936)، ویزدم (Wisdom, 1931)، اِیِر (Ayer, 1947) و دیگران، بیش‌تر در بحث‌های مربوط به برهان وجودی برای اثبات خدا، به محمول نبودن وجود اشاره کرده‌اند. اما من در این مقاله تنها به فرگه، راسل، و کواین خواهم پرداخت. آرای فیلسوفان نامبرده با اندکی مسامحه ذیل رای این سه می‌گنجد.

انتخاب :

صفحات :

از صفحه 109 تا 125

مشخصات اثر

ثبت نظر

عنوان :

قواعد پذیرفتنی در منطق گبی-دیانگ

نویسنده:

آمنه پیرمرادی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق ریاضی , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق شهودگرا Intuitionistic Logic , منطق میانی , خاصیت تفکیک پذیری , قوانین پذیرفتنی , منطق گبی-دیانگ

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

پارادوکس یابلو در منطق مرتبه دوم

نویسنده:

محمد امین طریقی

نوع منبع :

رساله تحصیلی

وضعیت نشر :

تبریز: دان‍ش‍گ‍اه‌ ت‍ب‍ری‍ز,

زبان :

فارسی

کلیدواژه‌های اصلی :

سازگاری , پارادوکس , منطق ریاضی , منطق جدید , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق مرتبه دوم , منطق غیر صوری informal logic

چکیده :

استفان یابلو‎‎ در سال 1993 پارادوکسی غیرعادی شامل لیستی نامتناهی از جملات ‏در زبان غیر‌صوری ارایه کرد. بعد از معرفی دو حالت شناخته‌شده در بررسی تناقض در مجموعه‌ای از عبارات‏، ناسازگاری لیست جملات یابلو در زبان‌های مرتبه دوم بررسی‌ شده‌است. ‏در حالی ‌که حالت اول لیست متناقض نیست‏، نسخه‌ی مرتبه دوم لیست متناقض می‌باشد. از‏‌این‌رو نتیجه می‌گیریم ‏که لیست یابلو متناقض است و استدلال غیر‌صوری یابلو معتبر می‌باشد.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

ساختار نحوی و سمانتیکی منطق ربط

نویسنده:

سکینه تولمی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

تهران: دانشگاه علامه طباطبائی,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق ربط , منطق ریاضی , قیاس , معناشناسی (منطق) , منطق جدید , منطق کلاسیک , منطق استنتاج

چکیده :

منطق ربط شاخه‌ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می‌کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می‌شود. در این پایان‌نامه با معرفی این روشِ ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال‌های ربطی و غیر ربطی را نشان داده‌ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سال 1992 پریست و سیلوان (روتلی) آن سمانتیک را ساده‌تر ساختند. در این پایان نامه به شرح سمانتیک پریست و سیلوان پرداخته‌ایم؛ این سمانتیک دو ویژگی برجسته دارد: نخست اینکه ساختارهای این سمانتیک تنها یک جهان نرمال دارند (سمانتیک کاهشی)؛ دوم اینکه این سمانتیک به جای رابطه ( ≤ ) از رابطه ( = ) استفاده می‌کند (سمانتیک ساده شده). سمانتیک پریست و سیلوان با اینکه بسیار ساده شده است همچنان پیچیدگی‌های فراوانی دارد که پاره‌ای از این پیچیدگی‌ها را در قالب مثال‌های گوناگون نشان داده‌ایم. در پایان دو ادات مهم تلفیق و تفریق را به روش اصل موضوعی و استنتاج طبیعی معرفی کرده‌، اعتبار چند استدلال مربوط به این دو ادات را در سمانتیک پریست و سیلوان نشان داده‌ایم.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

معرفی منطق های ربط

نویسنده:

مریم امیر ماهانی

نوع منبع :

رساله تحصیلی

وضعیت نشر :

کرمان: دانشگاه شهید باهنر,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق ربط , منطق ریاضی , معناشناسی (منطق) , منطق جدید , منطق کلاسیک , منطق موجهات , منطق استنتاج

چکیده :

در این پایان نامه، به بررسی منطق های ربط می پردازیم این پایان نامه، شامل سه فصل است. در فصل اول تعاریف و قضایایی را که از منطق کلاسیک و منطق موجهات ‏نابهنجار مورد نیاز است، بیان می کنیم.‏ مفهوم منطق ربط، الفبا، معناشناسی و هم چنین توسیع های این منطق را در فصل دوم ارائه می دهیم در فصل سوم به معرفی یکی از کاربردهای این منطق که در واقع در مدل سازی پیش بینی ترافیک است، می ‏پردازیم

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

منطق فازی ربطی: رویکردی گزاره‌ای

نویسنده:

سیداحمد میرصانعی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

تهران: دانشگاه تربیت مدرس,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق ربط , فراسازگاری (منطق) , منطق ریاضی , منطق نمادی , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق گزاره ها , منطق فازی , قوانین دمورگان

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

گنجینه خرد

نویسنده:

مهدی هادوی تهرانی

نوع منبع :

کتاب

منابع دیجیتالی :

نسخه PDF فهرست

وضعیت نشر :

قم: ال‍زه‍راآ,

زبان :

فارسی

کلیدواژه‌های اصلی :

اصطلاحنامه منطق , الفاظ , ت. فلسفه و منطق (آثار پر استناد) , شرح منظومه: سبزواری , کتب منطق , شفاء: ابن سینا , اشارات و تنبیهات: ابن سینا , شرح اشارات: خواجه نصیر الدین طوسی , 1. ارگانون - المنطق - الأورغانون- الأورجانون - the organon (ارسطو) , منطق جدید , منطق قدیم , نهایة الحکمة: علامه طباطبایی , بدایة الحکمة: علامه طباطبایی , أعیان الشیعة (محسن امین)

کلیدواژه‌های فرعی :

دلالات , دلالت طبعی , دلالت وضعی , دلالت لفظی , دلالت عقلی غیر لفظی , لفظ مرکب , لفظ مفرد , مرکب ناقص , لفظ مرکب تام خبری , صدق و کذب (منطق)‬ ,

چکیده :

گنجینه خرد / مهدی هادوی، از هنگامی که دانش منطق به سرزمین های اسلامی وارد شد اندیشمندان مسلمان با شرح و تفسیر، تطبیق قواعد منطقی با متون اسلامی و نقد و نو آوری به بالندگی آن مدد رساندند، ولی جویندگان این علم کهن مدت زمانی است که شیوه علمای سلف را مغفول نهاده، تنها به ذکر نظریات و آثار حکمای پیشین اکتفا می کنند، بدون آنکه اندیشه های آنها را تحلیل و بررسی نموده و راه های تازه به سوی معارف عقلی به میان آورند. «گنجینه خرد» با عنایت به پر سازی خلاء پیش گفته به سامان رسیده است. استاد مهدی هادوی در این اثر کوشیده است که از افکار منطقیان پیشین، منطقی نوین بسازد. تا کنون دو جلد از هفت جلد این مجموعه، منتشر شده است. جلد اول تحت عنوان «مبادی منطق» رئوس ثمانیه (سمت مؤلف، غرض،منفعت،مرتبه،جنس،موضوع و ابواب) معیار ]علم[ را تحلیل و بررسی کرده و جلد دوم تحت عنوان «مباحث الفاظ» تنها به پاره ای از مباحث تصورات یعنی مجاری مباحث الفاظ، دلالت و اقسام آن و مفرد و مرکب پرداخته است. بیان نظریات و سخنان بزرگان، شرح شیوای آراء اندیشمندان، تفسیر گویا، مفهوم و روان؛ ورود و خروج روشمند و علمی در مسائل منطقی و توجه به مسایل فراموش شده از مهم ترین ویژگی های این نوشتار است.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

منطق تکلیف و کاربرد آن در دستگاه‌های هنجاری

نویسنده:

ابوتراب پورحقانی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,

زبان :

فارسی

کلیدواژه‌های اصلی :

اصول ریاضیات , منطق ریاضی , علوم کامپیوتر , منطق جدید , منطق کلاسیک , منطق موجهات , منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری ) , منطق هنجاری , دستگاه هنجاری , منطق خروجی و ورودی

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

طراحی ساختار نحوی و معنایی منطق شرطی لزومی سینوی در چارچوب نظام های منطق جدید

نویسنده:

علیرضا دارابی

نوع منبع :

رساله تحصیلی

وضعیت نشر :

تهران: دانشگاه تربیت مدرس,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق ربط , منطق شرطی , منطق سینوی , ساختار نحوی , اصطلاحنامه منطق , منطق جدید , منطق قدیم , منطق کلاسیک , منطق مرتبه دوم

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر