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

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

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 41
نظریه‌های عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
دامغان: دانشگاه دامغان,
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
مشخصات اثر
استدلال تقریبی معکوس و نقش عملگرهای استلزام
نویسنده:
خاطره آذرانداز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
کرمان: دانشگاه آزاد اسلامی واحد کرمان,
چکیده :
نظریه مجموعه‌های فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینه‌های مختلف پیدا کرده است . مجموعه‌های فازی نظریه‌ای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیم‌گیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس می‌پردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t هم‌نرمها و عملگرهای مربوط به مجموعه‌های فازی می‌پردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه می‌نماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح می‌شود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی می‌شود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی می‌کنند در فصل سوم مفصلا به آنها می‌پردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی می‌شوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست می‌آورند بررسی شده‌اند.
مشخصات اثر
فلسفه علم، فلسفه منطق و فلسفه رياضی در قرن بیستم
نویسنده:
استوارت.جی شنکر
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران: حکمت,
چکیده :
مجموعة «تاریخ فلسفة غرب»، مروری بر فلسفة غرب را به ترتیب زمانی، از سرآغاز آن در قرن ششم پیش از میلاد تا عصر حاضر، فراهم می‌آورد. این کتاب، همة جریان‌های بزرگ فلسفی را مورد بررسی قرار می‌دهد. این مجموعه که در ده جلد فراهم شده، اطّلاعات بنیادی و انتقادی دربارة همة فیلسوفان مهمّ گذشته و حال را در اختیار می‌گذارد و تصویر روشنی از آن‌ها در بستر فرهنگی و علمی روزگارشان ارائه می‌دهد.در کتاب تاریخ فلسفه‌ی راتلج - جلد نهم: فلسفه علم، منطق و ریاضیات در قرن بیستم به موضوعاتی چون فلسفه‌ی منطق و ریاضیات، فلسفه‌ی فیزیک، فلسفه‌ی علم، پوزیتیویسم منطقی و سایبرنتیک پرداخته شده و آرای فیلسوفانی چون فرگه و ویتگنشتاین توضیح داده می‌شود. شانکر در ابتدای این جلد یک گاه‌شماری از رویدادهای بزرگ علمی و فلسفی قرن بیستم آورده است که برای علاقه‌مندان به فلسفه‌ی علم، بسیار مفید خواهد بود. همچنین پس از مقاله‌ها، واژه‌نامه‌ای از اصطلاحات فنی استفاده‌شده در کتاب آمده است تا خوانندگانی که رشته‌شان با فلسفه و ریاضیات نیز مرتبط نیست، بتوانند مقاله‌ها را به‌راحتی مطالعه کنند.
مشخصات اثر
دُرّه التاج
نویسنده:
قطب‌الدین محمود بن مسعود مصلح کازرونی
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF فهرست
وضعیت نشر :
تهران: حکمت,
چکیده :
این کتاب، در حقیقت یک دوره حکمت عملی و نظری است دانشنامه گونه ای است که «قطب الدین» آن را برای «دباج بن فیلشاه بن رستم بن دباج»، از پادشاهان مازندران نوشته است.این کتاب ارزشمند یکی از قدیمی ترین دائره المعارف فارسی در ایران بوده و مشتمل بر منطق، فلسفه، ریاضی، حکمت عملی، و … است. مولف نخست در فضیلت دانش و دانش آموزی سخن گفته، سپس دوازده رشته ی علمی را نیز درآن گردآورده است. این اثر در واقع یک دوره حکمت عملی است که اهم علوم آن زمان از قبیل: کلام فقه و سیر و سلوک در آن تشریح شده اند. کتاب مذبور که یکی از مهمترین آثار قطب الدین بوده، مهمترین کتاب جامعی است که در فلسفه تالیف شده وپس از کتاب شفای ابن سینا ، مهمترین کتاب جامعی است که در فلسفه به نگارش درآمده است قطب‌الدین محمود بن مسعود مصلح کازرونی یکی از علمای ایرانی قرن هفتم و اوایل قرن هشتم هجری است که نقش مهمی در گسترش حکمت و فلسفه، علوم طبیعی، پزشکی و هنر خود داشته است.
مشخصات اثر
طبقه‌بندی علوم از نظر حکمای مسلمان
نویسنده:
عثمان بکار، جواد قاسمی
نوع منبع :
کتاب , ترجمه اثر , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF فهرست
وضعیت نشر :
مشهد: آستان قدس رضوی,
چکیده :
کتاب طبقه­ بندی علوم از نظر حکمای مسلمان، علاوه بر ارزش تاریخی و فلسفی­ اش، در مباحث کنونی مربوط به اسلامی کردن علم در سراسر جهان اسلام نیز حائز اهمیت است. نظر به اهمیت طبقه ­بندی علوم در اسلام باید گفت که این کتاب نخستین اثری است که به شیوه­ای محققانه و در عین حال به زبانی جدید به این موضوع می­پردازد. روش نویسنده در این کتاب استفاده از متون اصلی و ارجاع به منابع اولیه است؛ وی در این تحقیق بنیه علمی دقیقی را از سنت عقلی اسلام ارائه می­دهد. وی متعلق به عصری نوظهور از محققان مسلمان است که هم نگرش اسلامی سنتی دارند و هم با تفکر جدید غربی به خوبی آشنا هستند. اهمیت مطالعه این کتاب در این حقیقت نهفته است که مولف توانسته است در آن یکی از جنبه­ های مهم حیات عقلی اسلام را با زبانی قابل فهم برای کسانی که نمی­توانند مستقیماً از منابع کهن بهره ببرند و به وجهی معتبر که خود متعلق به سنت اصلی اسلام است، فراروی خواننده امروز قرار دهد. این اثر را باید منبع مهمی برای درک بهتر برخی از جنبه­ های تفکر اصیل و دیرینه اسلامی به شمار آورد که در زمینه فلسفه علم در اسلام نیز مهم است.
مشخصات اثر
الگوریتمى در معرفت و بصیرت ریاضى
نویسنده:
صادق رحیمى شعرباف
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF چکیده
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمینی (ره),
چکیده :
چون مطالعه ریاضیات، دستگاه ذهنى را توسعه مى دهد و به کار مى اندازد، مى توان ادعا کرد که درک عمیق مفاهیم ریاضى مى تواند در حقیقت یابى و درست فهمى پدیده ها مؤثر باشد؛ یعنى درک ریاضى مى تواند کمک کند که فرد، کارهایش را از روى دانایى و بینایى بهترى انجام دهد. به عبارت دیگر فرد مى تواند به توانایى در استنتاج حقایق با استفاده از مفاهیم ریاضى نایل شود. در این مقاله نخست جایگاه معرفتىِ ریاضى، با استناد به اقوال افلاطون و دکارت بیان و سپس نوعى از معرفت ریاضى که حاصل درک عمیق مفاهیم ریاضى است، به منزله معرفت و بصیرت ریاضى معرفى مى شود؛ سپس ضمن تعیین حوزه این نوع معرفت، با استفاده از مفهوم واژه الگوریتم، چگونگى مراحل دستیابى به آن، کانون بحث قرار مى گیرد. همچنین درباره جنبه معرفتى مفهوم تابع و ساختار گراف در نظریه گراف ها، مصادیقى ارائه مى شود.
صفحات :
از صفحه 121 تا 135
مشخصات اثر
با توجه به اینکه علم منطق برای آنست که خطاهای ذهن مشخص وجلوگیری شود,آیا کسیکه ریاضی و منطق ریاضی خوانده برای فهم فلسفه نیازی به خواندن منطق قدیم دارد؟
نوع منبع :
پرسش و پاسخ
پاسخ تفصیلی:
پاسخ به سوال مثبت است هم برای خواندن فلسفه و هم برای خواندن کلام،نیاز به خواندن منطق قدیم داریم زیرا مطالبی که در این دو علم (فلسفه و کلام) آمده، همه با زبان منطق قدیم مطرح شده اند یعنی نویسنده در ذهنش بوده است که مطلب را فردی که آشنا با منطق است بای بیشتر ...
منابع دیجیتالی :
نسخه PDF
مشخصات اثر
کانت [کتاب انگلیسی]
نویسنده:
استفان کورنر
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
Harmondsworth, Middlesex] Penguin Books],
مشخصات اثر
جهان به مثابه اراده و بازنمود - جلد 2 [کتاب انگلیسی]
نویسنده:
شوپنهاور؛ مترجم ای. اف. جی پاینه
نوع منبع :
کتاب , ترجمه اثر , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
New York: ,
چکیده :
جهان همچون اراده و تصور (به آلمانی: Die Welt als Wille und Vorstellung) مهم‌ترین اثر آرتور شوپنهاور فیلسوف آلمانی است. این کتاب اولین بار در سال ۱۸۱۸ در یک جلد به چاپ رسید. در ۱۸۴۴ ویراست دومی از این اثر در دو جلد منتشر شد که جلد اول آن در واقع چاپ مجدد ویراست نخست و جلد دوم حاوی پنجاه فصل مباحث تکمیلی دربارهٔ جلد اول بود. آرتور شوپنهاور در تابستان ۱۸۱۳ رساله دکترای خود را تحت عنوان «ریشه چهارگان اصل دلیل کافی» به ثبت رساند و مدرک دکترای خود را از دانشگاه ینا دریافت کرد. او سپس رساله دیگری با نام «در باب بینایی و رنگ‌ها» در ۱۸۱۶ منتشر کرد. پس از آن بود که شوپنهاور مشغول نوشتن اثر برجسته خود، جهان همچون اراده و تصور، شد. او معتقد بود که در این اثر تنها «یک اندیشه واحد» را از چشم‌اندازهای گوناگون مورد بررسی قرار می‌دهد. وی فلسفه‌اش را در چهار کتاب (محتویات جلد اول) در باب‌های معرفت‌شناسی، هستی‌شناسی، زیبایی‌شناسی و اخلاق پرورش داده و ضمیمه جلد اول را به نقد فلسفه کانتی اختصاص می‌دهد. فلسفه شوپنهاور، به عقیده شخصی خود او، «تداوم و مکمل طبیعی» فلسفه کانت است، چرا که وی ایدئالیتهٔ مکان و زمان و شی فی نفسه کانتی را به‌عنوان بنیان نظام فلسفی خود اتخاذ کرده و می‌گوید جهانی که انسان‌ها تجربه می‌کنند (جهان اشیا در فضا و زمان که از طریق علیت مرتبط می‌شوند) تنها یک تصویر ذهنی، یک «re-presentation» یا تصور، از داده‌هایی‌ست که حواس انسان جمع‌آوری کرده‌اند. این تصور در عین حال که با پندار صرف تخیل کلا متفاوت است، وابسته به سوژه شناسا بوده و نمی‌تواند به عنوان جهانی که فی نفسه وجود دارد شناخته شود. بر این اساس، دانش انسان از اشیا در واقع دانش او از پدیدههای صرف است، و نه اشیا فی نفسه. شوپنهاور شی فی نفسه (ماهیت درونی همه‌چیز) را به عنوان «اراده» می‌شناسد و می‌نویسد: «نزد من ارادهٔ بی‌شناختْ بنیان واقعیت امور است.» او اراده را «یک میل مفرط کور مقاومت‌ناپذیر» می‌خواند که هنگامی که در خودش بررسی شود عاری از شناخت بوده و به حیات و اندام‌یابی نیز گره نخورده‌است؛ «از این رو امر غیرآلی نیز دارای اراده‌ای است که مظاهرش تمام کیفیات اساسی آن‌اند.» به این ترتیب، جهان همچون تصور در حقیقت عینیت‌یابی اراده است. آرتور شوپنهاور پس از انتشار «جهان همچون اراده و تصور» در ۱۸۱۸، باقی‌مانده عمر خود را صرف پالایش و تفسیر اندیشه‌های منتشر شده در ویراست نخست همین کتاب کرد، اما هیچ‌گاه تغییری اساسی در فلسفه‌اش ایجاد نکرد. اثر برجسته شوپنهاور تا سال ۱۸۵۱ و تا زمان انتشار «متعلقات و ملحقات» مورد بی‌توجهی کامل قرار گرفته بود.
مشخصات اثر
لسان و الميزان أو التكوثر العقلي
نویسنده:
طه عبد الرحمن
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF فهرست
وضعیت نشر :
لبنان/ بیروت: المرکز الثقافی العربی,
مشخصات اثر
  • تعداد رکورد ها : 41