درآمدی بر منطق های گودل
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- نویسنده زهرا پارسا
- استاد راهنما سیدمحمد باقری
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1390
چکیده
در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بنداشت پذیر است اگر و تنها اگر یکی از سه حالت زیر رخ دهد: 1-v متناهی باشد. 2- v ناشمارا باشد و 0 نقطه ی تنهای آن باشد. 3- هر همسایگی 0 در v ناشمارا باشد. همچنین این پایان نامه به ارائه ی توضیح مختصری درباره مهمترین t- نرم های پیوسته و مانده ی وابسته به آنها می پردازد.
منابع مشابه
درآمدی بر فلسفۀ منطق ارسطو
فلسفۀ منطق علمی پسینی است و دربارۀ مبانی فلسفی منطق از سویی، و مسائل فلسفی ناشی از مباحث منطقی از سوی دیگر بررسی می‌کند. فلسفۀ منطق ارسطو تاکنون تدوین نشده است؛ اما برای تطبیق دو منطق قدیم و جدید لازم است مبانی فلسفی منطق ارسطو را استخراج کنیم، زیرا ممکن است با مشاهدۀ پاره‌ای اختلافات یا اشتراکات ظاهری به وجود وحدت یا تضاد میان آنها حکم کنیم. برای استخراج این مبانی فلسفی باید افزون بر آثار پیر...
متن کاملدرآمدی بر فلسفۀ منطق ارسطو
فلسفۀ منطق علمی پسینی است و دربارۀ مبانی فلسفی منطق از سویی، و مسائل فلسفی ناشی از مباحث منطقی از سوی دیگر بررسی می کند. فلسفۀ منطق ارسطو تاکنون تدوین نشده است؛ اما برای تطبیق دو منطق قدیم و جدید لازم است مبانی فلسفی منطق ارسطو را استخراج کنیم، زیرا ممکن است با مشاهدۀ پاره ای اختلافات یا اشتراکات ظاهری به وجود وحدت یا تضاد میان آنها حکم کنیم. برای استخراج این مبانی فلسفی باید افزون بر آثار پیرو...
متن کاملدرآمدی بر کاربرد منطق فازی در تبیین امور سیاسی
نظریه‌پردازان منطق فازی با وجود شاخصه‌هایی چون عدم قطعیت، نسبیت و کثرت متغیرها، و نیز با پیشرفتی که در سال‌های اخیر در حوزه‌های گوناگون علوم و معارف داشته‌اند، مدعی ارائه نوعی روش جدید در راستای تبیین و رسیدن به نتایج دقیق‌تر در تحقیق هستند. بر این مبنا، می‌توان دریافت که پدیده‌های سیاسی امور ارادی انسانی‌اند و از آنجا که عدم قطعیّت و دخیل بودن متغیّرهای فراوان در این‌گونه امور و پدیده‌ها نقش دار...
متن کاملدرآمدی تحلیلی بر منطق تدوین مبانی علوم انسانی اسلامی
هدف: این نوشتار در پی پاسخ به این پرسش محوری است که منطق دستیابی به مبانی علوم انسانی اسلامی چیست؟ از این رو، تبیین فرایند و چگونگی دستیابی به مبانی علوم انسانی اسلامی، هدف متن پیش روست. روش:در گردآوری اطلاعات از روش کتابخانه‌ای و در بررسی آن از روشهای فراتحلیل و نیز تحلیل فلسفی استفاده شده است. یافته‌ها: با توجه به مسئلۀ محوری و هدف این مقاله، نخست چگونگی و فرایند دستیابی به "مبانی علوم انسان...
متن کاملاستدلالِ هستی‌شناسیکِ گودل
کورت گودل در فوریة ۱۹۷۰ با دِینا اسکات دربارة استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به شرط پذیرش نظام منطقی، نتیجة گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می‌‌آی...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023