جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
11
12
تعداد رکورد ها : 114
عنوان :
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق های وجهی-چند ارزشی
,
منطق دامت-گودل
,
معناشناسی کریپکی فازی
,
تمامیت قوی
چکیده :
در این پایاننامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدلهای کریپکی پایهگذاری شده است اثبات میکنیم که در آن گزارهها در هر جهان و رابطهی دسترسپذیری بین جهانها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارنهایی که بین منطقهای □ و◊ وجود دارد میپردازیم: در منطق نخست (□) مفهوم درستی به قابهایی که رابطهی دسترسپذیری آنها دو مقداری است، فرو میکاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قابهایی است که رابطهی دسترسپذیری آنها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستمهای وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر میگیریم. همچنین قضیههای تمامیت به زبانهایی که به یک مجموعهی خوشترتیب گسسته از ارزشهای درستی نیز مجهز باشد گسترش داده خواهند شد. بازبرد اصلی این پایاننامه [۶] میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
صدق گزارههای تحلیلی از نظر فرگه
نویسنده:
سارا عیدیزاده
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
عینیت
,
مفهوم
,
گزاره های تحلیلی
,
منطق گرایی
,
صدق قضایای تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
صدق گزاره های تحلیلی
چکیده :
یکی از اساسیترین پرسشهای فیلسوف- ریاضیدانان «چیستی عدد» است، و شاید با اهمیت-ترین پرسش فیلسوف تحلیلی زبان پرسش «صدق» و «صادق بودن گزاره ها». فرگه هم به عنوان فیلسوف-ریاضیدان، و هم در مقام فیلسوف تحلیلی زبان هر دو پرسش را مهم و اساسی میداند و در کتاب خود مبانی علم حساب به تفصیل به آنها میپردازد. به پرسش اول، یعنی چیستی عدد گاهی در حوزه معرفت شناسی، گاهی در حوزه زبانی، منطقی و فلسفه تحلیلی زبان می پردازند، و گاهی هم این پرسش را به حوزۀ ریاضیات صرف میبرند و آنجا بدان پاسخ میدهند. فرگه فهم چگونگی صدق گزارههایی که عدد در آنها بکار رفته را در گرو فهم ماهیت عدد و چیستی آن میداند. به نظر او عدد و تعریف آن مربوط به حوزه تحلیل زبانی و منطقی است، و پرسش راهبر ما به ماهیت عدد عبارت است از اینکه «عدد به چه چیزی نسبت داده می شود؟». به ادعای فرگه عدد به یک «مفهوم» نسبت داده می-شود، اما نه مفهوم به مثابه واژهای انتزاعی. در خصوص صدق نیز، نظر فرگه این است که صدق امری است مربوط به قلمرو «عینیت»، یعنی آنجا که صدق نه فیزیکی است و نه روانشناختی و ذهنی، عینیت قلمرو سومی است که جایگاه صدق در آن قلمرو است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پاتنم، برونگرایی معنایی و استدلال مدلتئورتیک
نویسنده:
حامد قدیری؛ محمد سعیدی مهر
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
رئالیسم متافیزیکی (منطق)
,
رئالیسم درونی (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
برونگرایی معنایی
,
استدلال مدلتئورتیک
,
عدمتعین ارجاع
چکیده :
هیلاری پاتنم (۱۹۲۶-۲۰۱۶)، فیلسوف برجستهی تحلیلی، بخش مهمی از دوران طولانی تفلسفش را به این سوال میپردازد که «ذهن و زبان چگونه به جهان خارج چنگ میزنند؟» در مقام پاسخ به این سوال، در حوزهی سمنتیک، برونگرایی معنایی را طرح میکند و در حوزهی متافیزیک و انتولوژی، علیه رئالسیم متافیزیکی به پا میخیزد و دو استدلال ارائه میکند که یکی از آنها استدلال مدلتئورتیک است. در این مقاله نشان خواهم داد که استدلال پاتنم به سود برونگرایی معنایی و استدلال مدلتئورتیکِ او علیه رئالیسم متافیزیکی، هرچند به لحاظ ظاهری دارای ساختار و صورتبندی متفاوتی هستند، اما درواقع اندیشهی واحدی از هر دوی آنها پشتیبانی میکند. در این راستا، پس از گزارش هریک از این استدلالها، صورتبندی تازهای از آنها ارائه میشود. سپس بر پایهی وجوه اشتراک این دو استدلال، اندیشهی پشتیبان آن دو معرفی خواهد شد. طبق این اندیشهی پشتیبان، انفکاک قاطع میان ذهن و جهان خارج منجر به نامتعین شدن رابطهای ارجاعی میان آنها میشود اما بنا به درک متعارف، این رابطه متعین است؛ پس ذهن و جهان خارج منفک از یکدیگر نیستند؛ به عبارت دیگر، درهمتنیدهاند.
انتخاب :
صفحات :
از صفحه 113 تا 136
مشخصات اثر
ثبت نظر
عنوان :
بررسی و نقد استدلال مبتنی بر نظریه مدل پاتنم علیه رئالیسم متافیزیکی
نویسنده:
سلمان پناهی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
رئالیسم متافیزیکی (منطق)
,
واقعگرایی متافیزیکی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
نقد متافیزیک
,
معناشناسی (منطق)
,
برهان واقعیت
,
منطق جدید
,
منطق کلاسیک
,
مدل پاتنام
,
برهان جایگشتی
چکیده :
با پیشرفت منطق از اواخر قرن نوزدهم میلادی ،کاربرد های متفاوتی برای آن پیدا شده و می شود . یکی از این کار برد ها که از دیر باز نیز مد نظر بوده ،کاربرد منطق در فلسفه است .بر خلاف نظری که در ابتدای قرق بیستم در مورد منطق وجود داشت ،مبنی بر اینکه منطق به مجادله های فلسفی پایان می دهد ، منطق صرفا به دقت مباحث فلسفی افزوده است و تبدیل به ابزاری شده تا ادعا های فلسفی دقیقتر بیان شوند و نتیجه های مترتب بر آنها بهتر بررسی شوند. تحقیق حاضر سعی در توضیح یکی از این کاربرد ها دارد .فیلسوف و ریاضیدان معروف امریکایی هیلاری پاتنم برای نقد یک دیدگاه در حوزه متافیزیک که آن را رئالیسم متافیزیکی می نامد ،از مفهوم های بنیادین نظریه مدل کمک می گیرد .نظریه مدل بخشی از منطق و منطق ریاضی است که به بررسی روابط میان یک زبان و تعبیر های آن می پردازد . پاتنم سه باور به کسانی که رئالیست متافیزیکی می نامد نسبت می دهد :نخست اینکه جهان از اشیاء کاملا غیر وابسته به ذهن انسان تشکیل شده ،دوم اینکه صدق عبارت است از نوعی مطابقت میان کلمه های زبان و جهان خارج از آن و مفهومی مطلق و غیر وابسته به نظریه دارد و سوم اینکه در نهایت تنها یک نظریه درست در مورد چگونگی بودن عالم وجود دارد .از نظر پاتنم این سه باور مستلزم قابلیت تثبیت مصداق کلمه های زبان(اسامی و محمول ها) هستند اما بنا به قضیه های بنیادین نظریه مدل مثل قضیه لوونهایم –اسکولم ،اساسا سیستم سمانتیکی ما قادر به تثبیت مصداق کلمه های زبان نیست (مگر با پیش فرض گرفتن یک مدل بخصوص که از نظر پاتنم این کار مصادره به مطلوب است) .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دلالت شناسی ضمایر اشاره ای مرکب مسائل و رویکردها
نویسنده:
محمد یزدانی ؛ علیرضا دست افشان
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
دلالت شناسی
,
منطق جدید
,
منطق کلاسیک
,
ضمایر اشاره ای مرکب
,
تئوری دلالت مستقیم
,
دیدگاه تسویری (منطق)
,
محتوا و مدلول
چکیده :
ضمایر اشارهای مرکب عباراتی پرکاربرد به شکل «آن ب» و حاصل ترکیب یک ضمیر اشارهای و یک عبارت اسمی ساده یا مرکب هستند. در مورد رفتار سمانتیکی این عبارات دو تئوری غالب وجود دارد: یکی دیدگاه دلالت مستقیمی و دیگری دیدگاه تسویری. مبتنیبر اولی، ضمیر اشارهای مرکب یک حد مفرد است و محتوای آن در کاربرد اشارهای یک فرد است و گرچه عبارت اسمی مندرج در آن در تعیین مدلول ضمیر سهیم است اما در محتوای جمله سهمی ندارد. امّا دومی، با آنها رفتاری مشابه سورها میکند، و مبتنیبر آن ضمایر اشارهای مرکب یک نسبت دو موضعی میان صفات را در گزارهی بیان شده توسط جمله حاوی ضمیر به اشتراک میگذارند. این تئوری مدعی توجیه همۀ اقسام کاربردهای این ضمایر از جمله، اشارهای، NDNS، QI، متغیر-پایبند و آنافورا میباشد. لذا حامیان این تئوری، انتقاداتی به واسطۀ این کاربردها به تئوری دلالت مستقیم وارد میکنند. اما قائلان تئوری دلالت مستقیم علاوه بر پاسخ به انتقادات، مسائلی را با استفاده از کاربردهای مزبور در متون وجهی و دیگر متون برعلیه دیدگاه تسویری طرح میکنند که میتواند این دیدگاه را دچار مشکلاتی اساسی کند. رویهمرفته، به نظر میرسد تئوری دلالت مستقیم در مواجهه با ضمایر اشارهای مرکب تبیین شهودیتر و منسجمتری ارائه میدهد.
انتخاب :
صفحات :
از صفحه 99 تا 131
مشخصات اثر
ثبت نظر
عنوان :
استدلال تقریبی معکوس و نقش عملگرهای استلزام
نویسنده:
خاطره آذرانداز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
کرمان: دانشگاه آزاد اسلامی واحد کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
استلزام منطقی
,
مجموعه های فازی
,
علم ریاضی
,
منطق ریاضی
,
نظریه مجموعه های فازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
استدلال تقریبی معکوس
چکیده :
نظریه مجموعههای فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینههای مختلف پیدا کرده است . مجموعههای فازی نظریهای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیمگیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس میپردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t همنرمها و عملگرهای مربوط به مجموعههای فازی میپردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه مینماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح میشود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی میشود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی میکنند در فصل سوم مفصلا به آنها میپردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی میشوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست میآورند بررسی شدهاند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فرانظریه و فراقضایا در سیستم اصل موضوعی منطق گزارهها
نویسنده:
زهرا موسوی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
فرانظریه
,
علوم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
سیستم اصل موضوعی
,
فرا قضیه
چکیده :
مطابق دانش پیشرفته امروز، هر علمی که منظمتر و با ترتیب منطقی خاصی ارائه شود، کاربرد آن آسان و نتیجهبخش خواهد بود. علم منطق جدید در اوان رشد خود راهمپای ریاضیات دانست و بر آن شد تا دستاوردی که در علوم ریاضی حل شده است به ساختار درونی خود منتقل کند. از این رهگذر به روشهایی دست یافت که آثار و برکات آن تا قرن اتم ادامه دارد. شیوهای که در قرن نوزدهم و با الهام از تراوشات اندیشه ریاضیدانان یونان در منطق پدید آمد، روشی نوین جهت دستیابی به اطلاعات نظاموار بود و بر آن بود تا دانستههای پربهای خود را به گونهای مرتب سازد تا نتایجی از آن حاصل شود و به دانشهای جدید دست یازد. از جمله این روشها میتوان از قیاسی کردن یا لژیستیک کردن سیستمهای منطقی نام برد. نخستین محققی که بدین شیوه کتاب نکاشت ریاضیدان و منطقدان آلمانی به نام فرگه بود که در سال 1879 کتابی تحت عنوان "مفهوم نگاری" منتشر نمود. آنچه که این کتاب را شهره آفاق نمود، استفاده از روش اصل موضوعی در سیستمها بویژه گزارهها بود. وی در این کتاب سیستمی را با شش اصل موضوع و دو قاعده وضع مقدم و جانشینی ارائه میدهد و نظامی نوین در منطق جدید پدید میآورد. در اهمیت کار وی همین بس که ریاضیدانان و منطقدانان پس از وی نظیر راسل - وایتهد، لوکاسیهویچ، هیلبرت آکرمان و ... به نوآوری و خلاقیت وی نظر کردند و در توسعه این سیستم راهکارهای جدیدی را ارائه دادند. در این پایاننامه ضمن رویکردی تاریخی به علم منطق جدید و بررسی اوصاف و ویژگیهای سیستمهای قیاسی و نیز کنکاشی در سیستمهای اصل موضوعی منطق گزارهها به بسط و تفصیل پیرامون سیستم اصل موضوعی فرگه و راسل-وایتبد در حساب گزارهها پرداخته شده است . از جمله مباحثی که به نحو برون سیستمی مورد بحث قرار گرفته فرانظریه و فراقضایای سازگاری، تمامیت و استقلال در این دو سیستم خاص میباشد. فرانظریه علم مطالعه برخی ار اوصاف و ویژگیهای آن سیستم است و آنچه که دستاورد این بحث و بررسی است ، فراقضیه نامیده میشود. فراقضیه سازگاری در یک سیستم قیاسی که بیشتر از بعد معناشناختی مطرح است ، حاکی از آن است که اگر چیزی به لحاظ معنایی منطقا متناقض نباشد یک قضیه خواهد بود و به عبارت دیگر هیچ دو قضیهای وجود ندارد که یکی نقیض دیگری باشد. مفهوم فراقضیه تمامیت نیز همانند فراقضیه سازگاری از بعدی معناشناختی برخوردار است . مفهوم تمامیت در یک سیستم منطقی تقریبا بدین معناست که سیستم تمامی قضایای درست مربوط به تئوری دارا باشد. و چنانچه اصول موضوعه یک سیستم به گونهای باشند که از یکدیگر قابل استنتاج نباشند - که در غیر اینصورت حکم قضیه را به خود خواهند گرفت - دارای استقلال خواهند بود. تمامی این فراقضایا به نحو برون سیستمی بر سیستمهای منطقی نظارت خواهند داشت .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معمای معرفتبخشی
نویسنده:
محسن کاشی ؛ سید محمد علی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
مدلول
,
معنی
,
ارزش شناختی (منطق)
,
موصوف
,
منطق جدید
,
منطق کلاسیک
,
منطق فرگه ای
,
نظریه معنی و مدلول فرگه
,
تجربی
,
کشف منطقی
چکیده :
پرسش محوری فرگه در مقاله در باب معنی و مدلول آن است که چگونه می توان تفاوت معرفتزایی جمله هایی به فرم a=a را از a=b توجیه کرد.a=a تحلیلی و پیشین است در حالی که a=b پسین است و ارزش شناختی متفاوتی دارد. نظریه معنی (sense) و مدلول فرگه برای پاسخ به همین پرسش طرح می شود.سنس نحوه رسیدن به یک مدلول است و تفاوت راههای رسیدن به یک مدلول توجیه گر چگونگی معرفتزایی اینهمانیهای تجربی است.در سنت تحلیلی توجیه معرفتزایی نقطه قوت نظریه فرگه محسوب می شود.ما بر آنیم استدلال کنیم که اگر ساختار منطقی پیشنهادی فرگه برای اینهمانیهای تجربی را مفروض گرفته و نظریه معنی و مدلول او را بپذیریم، آنگاه اساسا جایی برای کشف تجربی باقی نمی ماند.کشف تجربی در حالتی معنی پیدا می کند که ساختار منطقی متفاوتی به جمله های مورد بحث فرگه نسبت دهیم و در این صورت دیگر نیازی به نظریه معنی و مدلول نخواهیم داشت.
انتخاب :
صفحات :
از صفحه 63 تا 81
مشخصات اثر
ثبت نظر
عنوان :
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
استقرا و قیاس
,
اصطلاحنامه منطق
,
منطق ریاضی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق پیوسته
,
پیمانه پیوستگی یکنواخت
,
پیوستگی یکنواخت
,
استنتاج صوری
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مفهوم بازنمایی در نظریۀ «زیستمعنایی» میلیکان
نویسنده:
حامد باستین؛ سید محمدعلی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
بازنمایی
,
ساختکار
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
منطق فلسفی
,
منطق جدید
,
منطق کلاسیک
,
زیستمعنایی
چکیده :
میلیکان در پاسخ به مسئلۀ پاتنم دربارۀ عدم تعین مصداقی واژههای زبانی این موضوع را مطرح میکند که اگر تعریف جدیدی از بازنمایی مبتنی بر شواهد زیستی و بهویژه اصل انتخاب طبیعی ارائه کنیم، آیا مسئلۀ پاتنم همچنان موضوعیت خواهد داشت. پاسخ میلیکان به این سؤال منفی است. او معتقد است که سؤال باید اینگونه مطرح شود که چه چیزی رابطهای خاص را از میان بیشمار رابطۀ ممکن بین واژگان و اشیا به رابطۀ بازنمایی ـ بازنما تبدیل میکند؟ پاسخ او به این سؤال بر فرضیهای مبتنی است که در زیستشناسی نیز محل اختلاف و مباحثات بسیار بوده است و طرفداران و مخالفان خود را دارد. میلیکان در زمرۀ گروهی است که نگاهی تاریخی به کارکرد دارند و معتقدند که کارکرد هر شیء باید براساس نقشی تعریف شود که قرار بوده است در سیر تاریخی پیدایشش ایفا کند. او به چنین کارکردی صفت «مطلوب» را اطلاق میکند. فرضیۀ بدیل معتقد است که کارکرد باید براساس کاری تعریف شود که در حال حاضر و در تعادل با وضعیت موجود بااستفادهاز شیء انجام میشود. نکتة کلیدی در ارائة مفهوم کارکرد مطلوب ارائة تعریفی جدید از «بازنمایی» است. در این مقاله قصد داریم با معرفی تعریف میلیکان از بازنمایی نشان دهیم که این تعریف بر مفهوم «ساختکار» (functure) مبتنی است و برخلاف دیدگاه رایج در فلسفه که بازنمایی را امری ذهنی میداند، کاملاً عینی است.
انتخاب :
صفحات :
از صفحه 1 تا 28
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید