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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور پدیدآورندگان
>
نبوی , لطف اله (استاد گروه فلسفه و حکمت و منطق دانشکده علوم انسانی دانشگاه تربیت مدرس تهران)
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 107
بررسی نحوی و معنایی منطق درجه دوم
نویسنده:
علیرضا دارابی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
منطق درجه دوم بخشی از منطق کلاسیک است که واژگان آن با اضافه کردن متغیر معمولی به واژگان منطق درجه اول شکل می گیرند به تبع این تغییر واژگان قواعد ساخت اصول موضوعه و قواعد استنتاجی آن نیز بر مبنای منطق درجه اول شکل می گیرد اصول موضوعه این منطق متشکل از قالب های اصل موضوعی منطق درجه اول چند قالب اصلی موضوعی که شباهت زیادی به اصلو منطق درجه اول دارند و همچنین قالب های اصل موضوعی فراگیری رابطه ای و فراگیری تابعی است. در این منطق می توان اصل موضوع اینهمانی را بر پایه تعریف لایب نیتسی از اینهمانی به دست آورد. برای منطق درجه دوم دو معناشناسی مختلف ارایه شده است. معناشناسی استاندارد که مدل های آن شباهت زیادی به مدلهای معمول در منطق درجه اول دارد معناشناسی هنکین که تفاوت اساسی آن با مدل های استاندارد در توانایی محدود نمودن توابع و مجموعه است. هر فرمول معتبر در معناشناسی هنکین در معناشناسی استاندارد نیز معتبر است اما عکس آن صادق نیست. هر فرمول صدق پذیر در معناشناسی استاندارد در معناشناسی هنکین نیز صدق پذیر است اما عکس آن صادق نیست اصول موضوعه فراگیری رابطه ای و فراگیری تابعی و در معناشناسی هنکین معتبر نیستند. بهنجاری و سازگاری منطق درجه دوم هم براساس معناشناسی مدل استاندارد و هم معناشناسی مدل هنکین قابل اثبات است. اما به کمک قضیه ناتمامیت حساب گودل می توان اثبات کرد که منطق درجه دوم بر پایه معناشناسی استاندارد ناتمام است. همچنین بر پایه این معناشناسی فراقضیه نافشردگی برای منطق درجه دوم قابل اثبات است. اما بر پایه معناشناسی هنکین تمامیت و فشردگی منطق درجه دوم اثبات می شود. درابه منطق درجه دوم بحث های فلسفی مختلفی صورت گرفته است. از مهم ترین این مباحث ایرادات کواین به منطق درجه دوم است که براساس نظریاتش در وجود شناسی و همچنین درباره رابطه نظریه مجموعه ها و منطق منطق درجه دوم را قابل قبول نمی داند. اما می توان به ایرادات کواین پاسخ داد و از منطق درجه دوم دفاع کرد.
مشخصات اثر
بررسی معنایی فلسفی مدل‌های نرمال در منطق موجهات گزاره‌ای
نویسنده:
مهدیه تاجیک نشاطیه
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
در این پایان نامه سعی شده است مدل های نرمال منطق موجهات به لحاظ صوری، معنایی و فلسفی با روش تحلیلی بررسی شوند. هدف اصلی طرح، بررسی تفصیلی سیستم های نرمال بر اساسِ سیستم هایِ نرمالِ معرفی شده در کتاب درآمدی جدید به منطق موجهات اثر کرسول و هیوز بوده است. برای نیل به این هدف در فصل دوم پس از مروری مختصر بر مبانی منطق موجهات چهل و دو سیستم از آن سیستم ها ارائه شده است.نمایش مدل ها بر اساس دیاگرام های معنایی در حوزه معناشناسی کریپکی امکان تمییز دادن اصل هر سیستم از سیستم دیگر را مقدور می نماید و می توان تمایز معنایی هر یک از مدل ها را بر اساس اصولش نشان داد. از اینرو در فصل سوم به مبحث معناشناسی و دلالت شناسی جهان های ممکن پرداخته و در ادامه، ویژگی ها و روابط بین سیستم ها را شرح داده و مدل معناییِ تک تک سیستم های طرح شده در فصل دو را نشان داده ایم. در پایان این فصل سعی شده است پاره ای ملاحظات فلسفی سیستم ها نیز دنبال شود. حداقل دستاورد این اثر میتواند دسترسی سهل وسریع به جزئیات چهل و دو سیستم نرمال بررسی شده باشد.بنابراین فصل چهار به جمع بندی و نتیجه گیری طرح ارائه شده اختصاص یافته است.
مشخصات اثر
مبانی منطق احتمال
نویسنده:
محمود مروارید
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
چکیده ندارد.
مشخصات اثر
پارادوکس های استلزام مادی و تبیین آنها در منطق موجهات و ربط
نویسنده:
غلامرضا ذکیانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
استلزام مادی عبارت است از نسبت خاصی که بین مولفه های گزاره شرطی برقرار است یعنی گزاره شرطی تنها در صورتی کاذب است که دارای مقدم صادق وتالی کاذب باشد درغیراینصورت صادق است بنابراین هرگزاره شرطی با مقدم کاذب یا تالی صادق، صادق است و لازم نیست پیوندی بین مولفه های آن برقرار باشد . پارادوکس های استلزام مادی مولود این نگرش-تابع ارزشی است . استلزام اکید نیز که برای حل پارادوکس های مذکورپایه ریزی شده بود دچار پارادوکس های مشابهی شد زیرا دراین نگرش نیز گزاره شرطی نه براساس پیوند مقدم و تالی بلکه براساس صدق و کذب مولفه های آن تحلیل شد. در استلزام ربطی علاوه برصدق وکذب مولفه های شرطی پیوند آنها نیز لحاظ شده و سیستمهای مختلفی از جمله ‏‎Rو E‎‏ پایه ریزی شده است ولی ازآنجا که صورتبندی عنصر ربط خالی از دشواری نیست لذا سیستم های ربطی در مقام نحو و دلالت شناسی بسیار پیچیده تر از سیستم های کلاسیک گشته اند .
مشخصات اثر
تشریح و نقد استدلال‌های الهیاتی حامی طبیعت‌گرایی روش‌شناختی
نویسنده:
زهرا زرگر , ابراهیم آزادگان , لطف الله نبوی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
چکیده :
ناسازگاری طبیعت‌گرایی روش‌شناختی با باورهای دینی همواره دستاویزی برای مخالفت دین‌داران با این تز روش‌شناختی بوده ‌است. با این حال برخی فلاسفه معتقدند اتفاقاً این باورهای دینی هستند که ما را به سمت طبیعت‌گرایی روش‌شناختی هدایت می‌کنند. ایشان از موضعی دین‌باورانه به دفاع از طبیعت‌گرایی روش‌شناختی برخاسته‌اند و با انگیزه‌های الهیاتی، به نفع طبیعت‌گرایی روش‌شناختی استدلال کرده‌اند. در مقالۀ حاضر دو دسته شاخص از این استدلال‌ها را تشریح و نقد می‌کنیم. دستۀ اول استدلال‌های است که بر اشکالات مرتبط با مسئله فعل مستقیم الهی متمرکز شده‌اند و کنار گذاشتن طبیعت‌گرایی روش‌شناختی را منتهی به الهیات خدای رخنه‌پوش می‌دانند که به لحاظ دینی موضعی قابل قبول نیست. هدف دستۀ دیگر استدلال‌ها آن است که نشان دهند محدودیت‌های روش علمی مانعی برای توصیف هویات فراطبیعی در علم است، زیرا این هویات، متعالی‌تر از قوانین طبیعی هستند. پس از تشریح استدلال‌های الهیاتی مدافع طبیعت‌گرایی روش‌شناختی، با آشکارکردن نقاط ضعف استدلال‌ها ناکارآمدی آن­ها نشان داده می‌شود.
صفحات :
از صفحه 83 تا 110
مشخصات اثر
ترجمه وبررسی کتاب نگاهی جدید به منطق موجهات
نویسنده:
اسدالله فلاحی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
موسسه پژوهشی حکمت و فلسفه ایران: ,
کلیدواژه‌های اصلی :
منطق جدید
مشخصات اثر
اصل آنتروپیک و نقش آن در برهان تنظیمِ ظریفِ کیهانی بررسی و نقد دیدگاه‎ها
نویسنده:
حامد صفایی‎پور، سید محمد علی حجتی، ابراهیم آزادگان، لطف الله نبوی
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات)
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: پژوهشگاه علوم انسانی و مطالعات فرهنگی,
چکیده :
موضوع پژوهش حاضر بررسی نقادانه چالش استاندارد درباره صورت‎بندی نوینی از برهان نظم است؛ چالشی معرفت‎شناسانه که با تلقی فلسفی خاصی از اصل آنتروپیک (/ اصل)، به برهان تنظیمِ ظریفِ کیهانی (/ برهان) وارد شده‎ است. بر مبنای این چالش، ابراز شگفتی ما از مشاهده جهانی پذیرای حیات، که احتمال پیشینی آن بی‎اندازه ناچیز است، بی‎مورد است، چراکه انسان نمی‎تواند خود را در جهانی که با شرایط حضورش وفق ندارد، ببیند. بنابراین، برهان متهم به استنتاج نتایجی است که صرفاً «معلول مشاهده گزینشی» است و ارزش دیگری ندارد (چالش آنتروپیک). در مقام دفاع از برهان، دو خطا را مدعی می‎شویم: 1. خطای معرفت‎شناختی: نخست، نشان ‎می‎دهیم این چالش در بُن‎مایه‎های انتقادهای هیوم به برهان تمثیلی نظم وجود دارد و آن این است که منشأ انتزاع نظم، وهمی (و نه واقعی) است. آنگاه، از برهان در برابر این چالش دفاع می‎کنیم. نشان ‎می‎دهیم اصل امری نه صرفاً نظری، بدیهی و همان‎گویانه، بلکه تحقیق‎پذیر، ناظر به ‌واقع، وابسته به استش (/ وضعیت) جهان است. استدلال به سود نظم را بر اساس این مقدمات شکل می‎دهیم؛ 2. خطای روش‎شناختی: جست‎زدن از استدلال بر مبنای نظم به استدلال به سود نظم را خطای روش‎شناختی می‎نامیم و آن را درباره ردیه معرفت‎شناختی سوبر (Sober) در چالش آنتروپیک وارد می‎دانیم. در نهایت، از معقولیت برهان در برابر چالش استاندارد دفاع می‎کنیم.
صفحات :
از صفحه 77 تا 109
مشخصات اثر
نظریه آراء محموده و مبانی و پیامدهای آن در اندیشه ابن سینا
نویسنده:
فرزانه ذوالحسنی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ابن سینا: ابوعلی سینا
چکیده :
ابن سینا نظریه آراء محموده خویش را بر پایه تقسیم مبادی اقیسه و دقت در تداخل بین آنها، شناخت قوای انسان با تأکید بر عقل عملی و ارتباط‌های سه گانه آن با عقل نظری، بدن و نفوس اجرام سماوی و بررسی نقش آن در تولید مشهورات، و نیز روش شناسی در صناعت جدل به ویژه در مقایسه با برهان و توجه به جایگاه شهرت در فن جدل استوار ساخته است. آراء محموده از نظر ابن‌سینا مشهورات مطلقه‌ای هستند مانند «عدل خوب است» که عامه مردم با تکیه بر اذعان همگانی و متأثر از اسباب شهرت، آنها را بدیهی می‌انگارند و بدان‌ها جزمی در حد یقین دارند. این جایگاه، کارکرد مهمی درجهت مصالح اجتماعی به این قسم قضایا بخشیده است. از نظر ابن سینا تنها با آزمون فطرت عقل می‌توان خود را از اسباب شهرت فارغ انگاشت و آنگاه شک در آراء محموده و اولیات باب برهان را به عقل نظری عرضه داشت. در این شرایط عقل می‌یابد که قادر به تشکیک در آراء محموده هست ولی نمی‌تواند در اولیات عقلی شک کند و اینچنین جزم به آراء محموده از جزم به اولیات متمایز می‌گردد. البته ابن سینا صدق پذیری این قضایا را پذیرفته و بررسی آنها در باب برهان و حصول یقین نظری بدانها را میسر می‌داند. حاصل این دو نگاه شکل‌گیری دو سطح در اخلاق است. اخلاقی در سطح عامه مردم که از کلیات عقلی ناتوان هستند ولی به آراء محموده مانند اولیات یقین دارند. و اخلاقی شامل قضایای کلی یقینی معطوف به عمل در قلمرو عقل نظری که حکمت عملی ثابت و جاودانه را در سطح حکما رقم می‌زند.
مشخصات اثر
نظریه «اصالت وجود» در ساختار فلسفی ملاصدرا و علامه طباطبایی و نتایج فلسفی آن در مسأله «حمل»
نویسنده:
سیاوش اسدی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
ایرانداک,
چکیده :
در این رساله ابتدا واژگان به کار رفته در نظریه اصالت وجود از لحاظ معنا و مدلول و بر اساس نظریه دلالت غیر مستقیم مورد بررسی قرار گرفته اند. سپس نظریه اصالت وجود در دو ساختار فلسفی ملاصدراو علامه طباطبایی بیان و تحلیل شده است و مشخص شده است که این نظریه در ساختار فلسفی علامه متفاوت از ملاصدراست. آنگاه تأثیر این تفاوت در مسأله حمل بررسی شده است و مشخص شده که نظریه علامه در مسأله حمل و همچنین نظریه صدق نیز متفاوت از ملاصدراست.
مشخصات اثر
بررسی نظریه‌های تصوری معنا با تأکید بر پدیدارشناسی هوسرل
نویسنده:
مازیار چیت‌ساز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
در این رساله، بررسی نظریه‌ی تصوری معنا و ترکیب آن با مفاهیم پدیدارشناختی انجام گرفته است. هدف ایجاد یک نظریه‌ی معنای تصوری-پدیدارشناختی بوده است که اساس نظریه‌ی تصوری را داشته و با استفاده از روش‌ها و مفاهیم پدیدارشناختی تکمیل شده باشد. به این منظور ابتدا نظریه‌ی تصوری معنا که مدافع اصلی آن لاک محسوب می‌شود، بررسی و تحلیل گردیده است. معنا/دلالت‌شناسی این نظریه بررسی شده و اشکال‌‌های وارد شده به آن توضیح داده شده است. پس از آن پدیدارشناسی هوسرل، مفاهیم اصلی فلسفه‌ی او و معنا/دلالت‌شناسی نظریه‌ی معنای او تشریح شده است. همچنین اشکال‌های وارد شده به این نظریه‌ی معنا نیز بررسی گردیده است. سپس تشابه‌ها و تفاوت‌های این دو نظریه تشریح شده و توضیح داده شده که معنا/دلالت‌شناسی این نظریه‌ها با هم ناسازگار نیست. آنگاه با استفاده از زبان مدل‌سازی یکپارچه، معنا/دلالت‌شناسی یک نظریه‌ی تصوری-پدیدارشناختی ارائه شده است. گفته خواهد شد که این نظریه‌ی ترکیبی، در عین حالی که اساس هر دو نظریه را حفظ کرده است، می‌تواند به اشکال‌های آنها پاسخ دهد.
مشخصات اثر
  • تعداد رکورد ها : 107