جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
>
منطق جدید
>
منطق کلاسیک
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
2
3
4
5
6
7
8
9
10
تعداد رکورد ها : 114
عنوان :
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
استقرا و قیاس
,
اصطلاحنامه منطق
,
منطق ریاضی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق پیوسته
,
پیمانه پیوستگی یکنواخت
,
پیوستگی یکنواخت
,
استنتاج صوری
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پژوهشی نقادانه در باب تبیین گرایس از تابع ارزش بودن شرطیها در زبان طبیعی بر اساسِ مفهومِ اظهارپذیری
نویسنده:
سید علی کلانتری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
زبان طبیعی (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه منطق
,
فلسفه زبان
,
تابع ارزش
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
شرطیها
,
اظهارپذیری
چکیده :
داتِ منطقی در منطقِ کلاسیکِ گزارهها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نمودهاند. برخی استدلال کردهاند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلالهایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نمودهاند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطیها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهۀ اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطیها در زبانِ طبیعی است.
انتخاب :
صفحات :
از صفحه 123 تا 152
مشخصات اثر
ثبت نظر
عنوان :
ساختار صوری و معنایی منطق شرطی در دو نظام منطقی قدیم و جدید
نویسنده:
مرتضی حاجحسینی گورتانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شرطی
,
ساختار نحوی
,
ساختار معنایی
,
استلزام معنایی (منطق)
,
اصطلاحنامه منطق
,
برهان (قسیم جدل و مغالطه)
,
تابع ارزش
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
چکیده :
مگاریون و رواقیون در شناسائی ترکیب شرطی تابع ارزشی و شروط صدق آن و قاعدههای مربوط به آن نقش بنیادین و اساسی داشتند و از این جهت درآمدی به منطق جدید محسوب میشوند ولی هیچ تاثیری بر منطق اسلامی نداشتهاند. منطقیان قدیم، گزاره شرطی متصله، را به اتفاقیه عامه و لزومیه تقسیم نموده و شروط صدق هر یک را مورد بحث قرار دادهاند. اتفاقیه عامه بر هیچ یک از انواع شرطی در منطق جدید قابل تطبیق نیست . و مثالهای لزومیه نیز بیشتر از نوع استلزام معنائی، شرطی علی و شرطی خلاف واقع است . یعنی منطقیان قدیم به استلزام مادی و استلزام اکید که از نوع استلزام منطقی است نپرداختهاند و در تبیین شروط صدق اتفاقیه عامه و لزومیه بر اساس مقتضیات جهان کنونی داوری کردهاند نه میزانهای منطقی محض . آنان همچنین به دلیل استفاده از زبان طبیعی به جایگاه منطقی سلب ، زمان یا حالت و نیز سورهای متعدد در گزارههای مرکب ، نپرداخته و در بیان صورت برهانها از نظام واحدی پیروی نکردهاند. لذا نظریه آنها در هر یک از نظامهای متعدد که از متون منطق قدیم استخراج میشود به صورت برهانهای ادرست انجامیده است . اینگونه صورت برهانها در متن رساله با علامت *ن مشخص شدهاند. منطقیان قدیم با برقراری تناظر بین منطق حملی و منطق شرطی، نظریه قیاسهای اقترانی شرطی را بر نظریه قیاسهای اقترانی حملی استوار نمودهاند. لذا گرچه در قالب زبان طبیعی، چنین به نظر میرسد که میتوان درستی صورت برهانهای شرطی معتبر و نیز درستی قیاسهای اقترانی شرطی معتبر را بر اساس قواعد قیاسهای اقترانی حملی توضیح داد، اما حقیقت این است که نطریه قیاسهای اقترانی شرطی منطق قدیم قادر نیست درستی تمام این صورت برهانها را توضیح دهد. و خلاصه اینکه الگوهای صوری ارائه شده برای شرطیها در منطق جدید در تبعیت از میزانهای منطقی محض از توفیق بیشتری برخوردار است و از میان آنها، الگوی صوری شرطی تابع ارزشی در استدلالهای دقیق و پیچیده ریاضی نتایج رضایتبخشی داده است .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق جهتمند و معرفتشناسی گزارههای آن
نویسنده:
مجتبی امیرخانلو
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
متافیزیک
,
شناخت شناسی
,
مسایل جدید معرفت شناسی
,
اصطلاحنامه فلسفه
,
اصطلاحنامه منطق
,
منطق ریاضی
,
فراسازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
برای آنکه نگرهای تازه درباب گزاره یا وضعیت ارایه کنیم یا حتی یک نگرهی موجود را ارزیابی نماییم نخست باید انتظار خود را از یک چنین نگرهای مشخص کنیم. ما در این رساله، پس از تعیین حداقل انتظارهای خود از یک نگرهی گزاره و یک نگرهی وضعیت، به سراغ چند نگرهی موجود درباب گزاره و وضعیت رفته، براساس انتظار تعریف شده حداقلی خود، آنها را ارزیابی کردیم. سپس براساس آرای جان پالک به بازسازی یک نگرهی گزاره و یک نگرهی وضعیت پرداخته، نگرهی مختار خود را ارایه کردیم. در این نگرهی بازسازیشده، گزارهها و وضعیتها، هویتهای ضروری مستقل از ذهنی هستند که معنای عملگرهایمنطقی، معنای مفهومها و معنای دلالتگرها میتوانند اجزای آنها باشند. میان گزاره و وضعیت تفاوت هستشناختیای وجود ندارد و تنها تفاوت آنها درشکل منطقی آنهاست. سپس، توانایی نگرهی خود را در برآوردن حداقلهای لازم برای یک نگرهی گزاره یا وضعیت سنجیدیم. در ادامه دو مفهوم فراساختنیبودگی و انگارپذیربودگی را واکاوی کردیم. پس از ارایه گزارشی از چهار تعریف از تعریفهای عمده فراسازی، یعنی تعریفهای شامل فهمیدن، تعریفهای شامل باور، تعریفهای شامل انگارش یک موقعیت و تعریفهای شامل احراز در جهانهای ممکن سازگار و منسجم، آنها را به نقد نشستیم. آنگاه نگرهی خودمان از مفهومهای فراساختنیبودگی و انگارپذیربودگی را مطرح کردیم و معیاری برای فراساختنی بودن یا انگارپذیر بودن یک وضعیت مفروض ارایه نمودیم. تبیین امکانمعرفتی و امکانمتافیزیکی ذیل دو رویکرد اصلی عامگرایی جهتمند و خاصگرایی جهتمند بخش دیگری از رساله را تشکیل میدهد. ما از طریق نقد قرایت عامگرایی و برخی از قرایتهای خاصگرایی، قرایت جدیدی از خاصگرایی ارایه کردیم و با استفاده از مفهوم فراسازی، نحوه تبیین این دو نوع امکان را در این رویکرد جدید از خاصگرایی، بیان نمودیم. در انتهای رساله، سعی کردیم منبعهای اصلی معرفت جهتمند یعنی فراسازی، واقعیبودگی و شهود را شناسایی کنیم و نشان دهیم که فراسازی و واقعیبودگی، در مقایسه با شهود، میتواند بهعنوان یک منبع مطمئن برای تامین سند و شاهد برای معرفت جهتمند بهکار روند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
صدق گزارههای تحلیلی از نظر فرگه
نویسنده:
سارا عیدیزاده
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
عینیت
,
مفهوم
,
گزاره های تحلیلی
,
منطق گرایی
,
صدق قضایای تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
صدق گزاره های تحلیلی
چکیده :
یکی از اساسیترین پرسشهای فیلسوف- ریاضیدانان «چیستی عدد» است، و شاید با اهمیت-ترین پرسش فیلسوف تحلیلی زبان پرسش «صدق» و «صادق بودن گزاره ها». فرگه هم به عنوان فیلسوف-ریاضیدان، و هم در مقام فیلسوف تحلیلی زبان هر دو پرسش را مهم و اساسی میداند و در کتاب خود مبانی علم حساب به تفصیل به آنها میپردازد. به پرسش اول، یعنی چیستی عدد گاهی در حوزه معرفت شناسی، گاهی در حوزه زبانی، منطقی و فلسفه تحلیلی زبان می پردازند، و گاهی هم این پرسش را به حوزۀ ریاضیات صرف میبرند و آنجا بدان پاسخ میدهند. فرگه فهم چگونگی صدق گزارههایی که عدد در آنها بکار رفته را در گرو فهم ماهیت عدد و چیستی آن میداند. به نظر او عدد و تعریف آن مربوط به حوزه تحلیل زبانی و منطقی است، و پرسش راهبر ما به ماهیت عدد عبارت است از اینکه «عدد به چه چیزی نسبت داده می شود؟». به ادعای فرگه عدد به یک «مفهوم» نسبت داده می-شود، اما نه مفهوم به مثابه واژهای انتزاعی. در خصوص صدق نیز، نظر فرگه این است که صدق امری است مربوط به قلمرو «عینیت»، یعنی آنجا که صدق نه فیزیکی است و نه روانشناختی و ذهنی، عینیت قلمرو سومی است که جایگاه صدق در آن قلمرو است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق گودل
,
قاب های کریپکی
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق شناختی سوردار برای بررسی آگاهی در سیستمهای چند عاملی
نویسنده:
حمید احمدی میرقائد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
اصطلاحنامه معرفت شناسی(اسلامی)
,
سیستم چندعاملی
,
منطق شناخت
,
سیستم های حالات سراسری
,
سیستم های چند عاملی
,
عبارت مسور
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
چکیده :
در این پایان نامه نقش اگاهی در سیستم های چند عاملی بر پایه منطق مرتبه اول مورد بررسی قرار می گیرد.این کار در گذشته بر پایه منطق گزاره ای انجام شده است.در این پایان نامه سیستم های حالات سراسری معرفی می گردند.سپس تناظر یک به یک بین این سیستم ها و ساختارهای کریپکی معرفی می گردند. در ادامه با ارائه یک دستگاه مناسب سلامت و تمامیت آن با این سیستم ها مورد بررسی قرار گرفته و در آخر مثالی ارائه می گردد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
جنبههایی از منطق تلفیقی اثباتها و اثباتپذیری
نویسنده:
مقداد قاری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شناخت
,
اثبات قضیه
,
منطق توجیه
,
منطق و مبانی ریاضی
,
منطق جدید
,
منطق شناختی
,
منطق کلاسیک
,
منطق موجهات
,
منطق تلفیقی
چکیده :
در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات میپردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: JB (صورت صریح منطق موجه براوری KB)، JGL (صورت صریح منطق اثباتپذیری گودل لوب GL) و JLD (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبات قضیه تحقق برای KB با استفاده از نگاشت نشاندن، اثبات قضیه تحقق برای GL به صورت نحوی، و اثبات قضیه تحقق برای JLD به صورت معنایی. ارایه دستگاههای اثبات گنتسنی برای منطقهای توجیه و اثبات قضیه حذف برش برای آنها، از جمله: دستگاههای گنتسنی LPG وLPLG برای منطق اثباتها، دستگاههای گنتسنی S4LPG و S4LPLG برای منطق شناختی با توجیه S4LP ، دستگاه ابر رشتهای S4LPNLH برای منطق شناختی با توجیه S4LPN و دستگاههای رشتهای برچسبدار برای منطقهای توجیه و منطقهای شناختی با توجیه.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دیدگاه فرگه درباره ی این همانی با التفات به کتاب «مفهوم نگاشت» و رساله ی «در باب معنا و دلالت»
نویسنده:
طالب جابری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
دلالت(منطق)
,
معنا
,
این همانی (منطق)
,
محتوا
,
منطق فلسفی
,
منطق جدید
,
منطق کلاسیک
,
منطق فرگه ای
,
کتاب مفهومنگاشت، فرگه
,
رساله ی در باب معنا و دلالت، فرگه
چکیده :
«اینهمانی» یکی از مهمترین و در عین حال بحثبرانگیزترین مسائل مطرح شده در آثار فرگه است. در این مقاله به بررسی دیدگاه او در باب این موضوع و شرح و نقد تفسیرهای مختلف از آن خواهیم پرداخت. پرسش اصلی ما این است که اینهمانی بین چه عناصری برقرار میشود. ابتدا دیدگاه فرگه را نسبت به اینهمانی در «مفهومنگاشت» توضیح میدهیم. از آنجا که تأملات نهایی فرگه راجع به اینهمانی در دیگر اثر شناختهشدهاش یعنی «معنا و دلالت» مطرح میشوند، در بخش بعدی مفهوم اینهمانی را در این مقاله شرح میدهیم. در نوشتهی کنونی هدف نقد نظر فرگه نیست، بلکه پیش از آن مقصود ما فهم نظر فرگه است، زیرا تنها در این صورت میتوان مسائل مهمی همچون ماهیت عدد در «مبانی علم حساب» و تناقضنماهای مطرح شده از سوی راسل در نسبت با اصل موضوعهی پنجم فرگه در «قوانین علم حساب» را دریافت.
انتخاب :
صفحات :
از صفحه 95 تا 112
مشخصات اثر
ثبت نظر
عنوان :
گزارههای همیشه صادق نزد خونجی
نویسنده:
ابوذر قاعدیفرد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
زنجان: دانشگاه زنجان,
زبان :
فارسی
کلیدواژههای اصلی :
تاریخ منطق
,
اصطلاحنامه منطق
,
عکس نقیض ( قضیه )
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق موجهات
,
گزارههای همیشهصادق
چکیده :
خونجی در تقسیمبندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزارهی موجبهی کلیه بر اساس تقسیمبندی خونجی، صورتبندی شده است. در این پایاننامه 72 گزارهی جزئیه نزد خونجی صورتبندی شدهاند. خونجی 12 گزاره را از مجموع 72 گزارهی جزئیه، همیشهصادق دانسته است. از این 12 گزاره، 6 گزاره موجبهی جزئیه و 6 گزارهی دیگر سالبهی جزئیهاند. در فصل دوم با بررسی این گزارهها نشان دادیم که اگر چه این گزارهها در منطق جدید، همیشهصادق نیستند اما در منطق خونجی همیشهصادقاند. خونجی، همچنین 5 گزارهی موجهه را همیشهصادق دانسته است. در این پایاننامه، پس از صورتبندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزارههای موجههی همیشهصادقِ خونجی در منطق موجهات جدید همیشهصادق نیستند اما در منطق موجهات خونجی همیشهصادقاند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزارههای همیشهصادق پرداختهایم.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
9
10
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید