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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور اعلام
>
تارسکی, آلفرد( Alfred Tarski، ریاضیدان و منطقدان برجستهٔ لهستانی-آمریکایی،نظریهٔ وی دربارهٔ صدق در زبان صوری، نزد منطقدانان مشهور و منشأ بحثهای فراوانی بوده‌است.) , 1902 1983م
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 19
آیا الحاد مستلزم تناقض است؟ [مقاله انگلیسی]
نویسنده:
JOSHUA RASMUSSEN
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
چکیده :
ترجمه ماشینی: من به این فکر می کنم که آیا می توان از این گزاره که خدا وجود ندارد، تناقضی استنتاج کرد؟ اول، من یک مثال متقابل نامزد را در معرض یک فرض کلیدی در استدلال سوینبرن علیه استنتاج پذیری یک تناقض از عدم وجود خدا قرار می دهم. دوم، من دو استراتژی جدید ارائه می کنم که می توان از آنها برای استنباط تناقض استفاده کرد. هر دو راهبرد از طرحواره T تارسکی همراه با تحولات در دیگر استدلال های خداباورانه استفاده می کنند. یک استدلال یک استدلال مفهوم گرا از حقیقت ضروری برای یک ذهن ضروری است، و دیگری یک استدلال احتمالی دو مرحله ای برای همان نتیجه. هدف این مقاله دفاع قاطعانه از این استدلال ها نیست، بلکه افشای قلمرو جدید مربوط به بررسی ماهیت ضرورت خداوند (در صورت وجود خدا) است.
مشخصات اثر
Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German ... Epistemology, and the Unity of Science)
نویسنده:
Gruber, Monika; Tarski, Alfred
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer International Publishing : Imprint : Springer,
چکیده :
ترجمه ماشینی: این کتاب شرح مفصلی بر تک نگاری کلاسیک آلفرد تارسکی ارائه می دهد و با استفاده از متن اصلی لهستانی و ترجمه انگلیسی و آلمانی، تفسیر و ترجمه مجدد اثر را ارائه می دهد. در اثر اصلی، تارسکی روشی را برای ساختن تعاریف حقیقت برای زبان‌های رسمی کلاسیک و کمی ارائه می‌کند. علاوه بر این، با استفاده از مفهوم تعریف شده صدق، او نشان می دهد که می توان به طور شهودی تعاریف مناسبی از مفاهیم معنایی تعریف پذیری و دلالت ارائه کرد و این مفهوم در یک ساختار را می توان به گونه ای تعریف کرد که مشابه آن چیزی است که برای تعریف حقیقت استفاده می شود. . اثر تارسکی به عنوان یکی از کمک های عمده به منطق، معناشناسی و معرفت شناسی در قرن بیستم در نظر گرفته می شود. با این حال، نویسنده خاطرنشان می کند که هنگام ترجمه آن به آلمانی در سال 1935، برخی از اشتباهات وارد متن شده است. از آنجایی که نسخه انگلیسی 1956 اثر از متن آلمانی ترجمه شده است، این اختلافات علاوه بر اشتباهات جدید به همراه داشت. نویسنده به دقت این سه متن را به صورت جمله به جمله با هم مقایسه کرده است، ترجمه های نادرست را برجسته می کند، توضیحاتی در مورد چگونگی پیدایش آنها ارائه می دهد و در مورد چگونگی تأثیر آنها بر محتوا اظهار نظر می کند و تفسیر صحیحی از برخی از قطعات را پیشنهاد می کند. علاوه بر این، نویسنده مقاله تارسکی را به طور کامل بررسی می کند و تفسیرها و نظراتی را در مورد این اثر ارائه می دهد.
مشخصات اثر
کارنپ، تارسکی و کواین در هاروارد: مکالمات در مورد منطق، ریاضیات و علم [کتاب انگلیسی]
نویسنده:
Greg Frost-Arnold
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Open Court,
چکیده :
ترجمه ماشینی : در طول سال تحصیلی 1940-1941، چندین غول فلسفه تحلیلی در هاروارد گرد هم آمدند و جلسات خصوصی منظمی را با کارنپ، تارسکی و کواین برگزار کردند. کارنپ، تارسکی و کواین در هاروارد به خواننده این امکان را می‌دهد که به عنوان مگس روی دیوار برای مکالمات خود عمل کند. کارنپ در طول سال تحصیلی خود در دانشگاه هاروارد یادداشت های دقیقی را بر عهده گرفت. این کتاب شامل رونویسی آلمانی این یادداشت‌های مختصر و ترجمه انگلیسی در بخش پیوست است. یادداشت‌های کارنپ طیف گسترده‌ای از موضوعات را پوشش می‌دهند، اما با کمال تعجب، برجسته‌ترین سؤال این است: اگر تعداد اقلام فیزیکی در جهان محدود است، گفتمان علمی باید چه شکلی داشته باشد؟ این پرسش با یک مسئله فلسفی پایدار مرتبط است: رابطه بین قلمرو منطقی-ریاضی و قلمرو مادی چیست؟ تلاش‌های کارنپ، تارسکی و کواین برای پاسخ به این سؤال شامل موضوعاتی است که امروزه در فلسفه وجود دارد. این کتاب بر سه موضوع از این قبیل تمرکز دارد: اسم‌گرایی، وحدت علم و تحلیل. به طور خلاصه، این کتاب خطوط استدلال ارائه شده در این بحث‌های هاروارد را بازسازی می‌کند، اهمیت تاریخی آنها را مورد بحث قرار می‌دهد (مخصوصاً جدایی کواین از کارنپ)، و در صورت امکان آنها را به درمان‌های معاصر این موضوعات مرتبط می‌کند.
مشخصات اثر
Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German Translation
نویسنده:
Monika Gruber (auth.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer International Publishing,
چکیده :
ترجمه ماشینی: این کتاب شرح مفصلی بر تک نگاری کلاسیک آلفرد تارسکی ارائه می دهد و با استفاده از متن اصلی لهستانی و ترجمه انگلیسی و آلمانی، تفسیر و ترجمه مجدد اثر را ارائه می دهد. در اثر اصلی، تارسکی روشی را برای ساختن تعاریف حقیقت برای زبان‌های رسمی کلاسیک و کمی ارائه می‌کند. علاوه بر این، با استفاده از مفهوم تعریف شده از صدق، او نشان می دهد که می توان به طور شهودی تعاریف مناسبی از مفاهیم معنایی تعریف پذیری و دلالت ارائه کرد و این مفهوم در یک ساختار را می توان به گونه ای تعریف کرد که مشابه آن چیزی است که برای تعریف حقیقت استفاده می شود. . اثر تارسکی به عنوان یکی از کمک های عمده به منطق، معناشناسی و معرفت شناسی در قرن بیستم در نظر گرفته می شود. با این حال، نویسنده خاطرنشان می کند که هنگام ترجمه آن به آلمانی در سال 1935، برخی از اشتباهات وارد متن شده است. از آنجایی که نسخه انگلیسی 1956 این اثر از متن آلمانی ترجمه شده است، این اختلافات علاوه بر اشتباهات جدید منتقل شده است. نویسنده با دقت این سه متن را به صورت جمله به جمله مقایسه کرده است، ترجمه های نادرست را برجسته می کند، توضیحاتی در مورد چگونگی پیدایش آنها ارائه می دهد و در مورد چگونگی تأثیر آنها بر محتوا اظهار نظر می کند و تفسیر صحیحی از برخی قسمت ها را پیشنهاد می کند. علاوه بر این، نویسنده مقاله تارسکی را به طور کامل بررسی می کند و تفسیرها و نظراتی را در مورد این اثر ارائه می دهد.
مشخصات اثر
تاریخ منطق فلسفی و صوری: از ارسطو تا تارسکی [کتاب انگلیسی]
نویسنده:
Alex Malpass, Marianna Antonutti Marfori
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Bloomsbury Academic,
چکیده :
ترجمه ماشینی: تاریخچه منطق فلسفی و صوری ایده ها و متفکرانی را معرفی می کند که محور توسعه منطق فلسفی و رسمی هستند. منطق از خاستگاه ارسطویی تا استدلال های امروزی به چهار دوره زمانی اصلی تقسیم می شود: دوران باستان و قرون وسطی (ارسطو و رواقیون) دوره مدرن اولیه (بولزانو، بول) دوره مدرن بالا (فرگه، پیانو و راسل و هیلبرت) اوایل قرن بیستم (گودل و تارسکی) هر بازه زمانی جدید با یک مرور کلی مقدماتی شروع می شود که موضوعات و نکات مهم را برجسته می کند. فصل‌ها اهمیت و استقبال از آثار تأثیرگذار را مورد بحث قرار می‌دهند و به بحث‌های تاریخی در چارچوب بحث‌های معاصر نگاه می‌کنند. برای حمایت از مطالعه مستقل، فهرست های جامع خواندن ابتدایی و متوسطه در انتهای فصل ها به همراه تمرین ها و سوالات بحث گنجانده شده است. تاریخچه منطق فلسفی و رسمی با ارائه و توضیح واضح تغییرات منطق در طول تاریخ فلسفه، روایتی آسان برای پیگیری می سازد. این یک نقطه شروع ایده آل برای دانش آموزانی است که به دنبال درک پیشرفت تاریخی منطق هستند.
مشخصات اثر
آلفرد تارسکی و حلقه وین: پیوندهای اتریش-لهستانی در تجربه‌گرایی منطقی [کتاب انگلیسی]
نویسنده:
Jan Woleński (auth.), Jan Woleński, Eckehart Köhler (eds.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer Netherlands,
چکیده :
ترجمه ماشینی: بخش بزرگ‌تر سالنامه 6 حلقه وین مؤسسه، مجموعه مقالات سمپوزیومی درباره آلفرد تارسکی و تأثیر او بر حلقه وین و تبادل نظر با آن‌ها، به‌ویژه سمپوزیوم‌های رودلف کارنپ و کورت گودل است. اولین بار است که به این مقوله در این مقیاس و عمق پرداخته می شود. توجه عمدتاً به منشأ، توسعه و نقش بعدی تعریف تارسکی از حقیقت معطوف است. برخی از مشارکت‌ها عمدتاً تاریخی هستند، برخی دیگر جنبه‌های منطقی مفهوم حقیقت را تحلیل می‌کنند. مشارکت کنندگان عبارتند از آنیتا و ساول ففرمن، یان ولنسکی، یان تارسکی و هانس اسلوگا. چندین منطق‌دان لهستانی مشارکت داشتند: گزگورکزیک، وویچیکی، موراوسکی و روژچاک. این جلد مطالب زندگی‌نامه‌ای کاملاً جدیدی را در مورد تارسکی، هم از دوره لهستانی‌اش و هم در مورد حرفه تأثیرگذار او در ایالات متحده ارائه می‌کند: در هاروارد، پرینستون، هانتر، و دانشگاه کالیفرنیا در برکلی. نقطه اوج تحلیل شامل تأثیر تارسکی بر تکامل کارنپ از دیدگاه نحوی محدود زبان، به دیدگاه معنایی پیچیده‌تر اما بحث‌انگیزتر از لحاظ هستی‌شناختی است. نکته برجسته دیگر شامل تبادل بین تارسکی و گودل در ارتباط بین حقیقت و برهان و ماهیت فرازبانها است. بخش پایانی سالنامه 6 شامل مستندات، بررسی کتاب ها و خلاصه ای از فعالیت های جاری موسسه حلقه وین است. یان تارسکی نامه های نوشته شده توسط پدرش را به گودل معرفی می کند. پائولو پارینی از نفوذ حلقه وین در ایتالیا گزارش می دهد. چندین بررسی شامل کتاب‌های اخیر در مورد تجربه‌گرایی منطقی، درباره گودل، کیهان‌شناسی، رویکردهای کل‌نگر در آلمان، و درباره Mauthner است.
مشخصات اثر
نقد راتیکاینِن بر کتاب «فلسفۀ تحلیلی چیست؟»: فلسفۀ تحلیلی چه بود؟
نویسنده:
پانو راتیکاینِن؛ ترجمۀ: علیرضا کاظمی
نوع منبع :
مقاله , نقد و بررسی کتاب
منابع دیجیتالی :
متن
وضعیت نشر :
ترجمان علوم انسانی,
چکیده :
نگاه‌های متفاوتی وجود دارد دربارۀ ماهیت فلسفۀ تحلیلی و این که دقیقاً چه کسی یک فیلسوف تحلیلیِ واقعی به شمار می‌آید. اگر دقیق‌تر نگاه کنیم، دوگانۀ تحلیلی-قاره‌ای مسلماً مشکل‌ساز است. همان‌طور که برنارد ویلیامز اشاره کرده‌است، تقسیم فلسفه به تحلیلی و قاره‌ای یک دسته‌بندی عجیب و بدون معیار واحد است. فلسفۀ تحلیلی را سنتی می‌دانند که از یک طرف از فرگه و از طرف دیگر از مور و راسل شروع شده ‌است و در کشورهای انگلیسی‌زبان رواج و غلبه دارد. پارادایم فلسفۀ تحلیلی از یک طرف پوزیتیویسم منطقی حلقۀ وین و به طور عام‌تر تجربه‌گرایی منطقی است که از دل آن برخاسته‌ است و از طرف دیگر فلسفۀ تحلیل زبانی که در کمبریج و آکسفورد رایج بوده و خویشاوند آن است.
مشخصات اثر
آلفرد تارسکی (Alfred Tarski)
نوع منبع :
مقاله
منابع دیجیتالی :
متن
مشخصات اثر
مروری بر ایده های تارسکی درباب مفهوم صدق
نوع منبع :
مقاله
منابع دیجیتالی :
متن
مشخصات اثر
نقد و بررسى تحلیل معرفت از منظر کیث لرر
نویسنده:
مهدى عبدالهى، محمد حسین‏‌زاده یزدى
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات) , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF چکیده
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمینی (ره),
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
محمدتقی مصباح یزدی
چکیده :
کیث لرر که سرشناس ترین مدافع کنونى انسجام گروى در توجیه است، با اشاره به معانى سه گانه شناخت در زبان انگلیسى و تعیین معناى سوم، یعنى تصدیق برخى اطلاعات به منزله معرفت موردنظر در معرفت شناسى، این تحلیل لغوى را بسنده نمى داند؛ ازاین رو به تحلیل فلسفى حقیقت شناخت پرداخته، برخلاف دیدگاه رایج در معرفت شناسى مغرب زمین، افزون بر سه عنصرِ باور، صدق و توجیه، عنصر چهارمى را با عنوان الغاناپذیرى در کار مى آورد. وى حقیقت صدق را علامت زدایى دانسته، به جاى شرط باور نیز شرط پذیرش به هدف احراز حقیقت و اجتناب از خطا را قرار مى دهد. سپس مقصود از توجیه را داشتن دلیل و شواهد کافى براى پذیرش اعلام مى کند و سرانجام براى فرار از اشکال مشهور گتیه، شرط الغاناپذیرى را به مؤلفه هاى سه گانه شناخت مى افزاید. به اعتقاد نگارنده، عناصر چهارگانه تحلیل لرر اشکالاتى دارند، از جمله اینکه تفسیر صدق به علامت زدایى ناتمام است. در شرط پذیرش نیز میان تصدیق قلبى و تصدیق ذهنى خلط شده است. در شرط توجیه نیز ابهاماتى در کلام لرر مى توان یافت.
صفحات :
از صفحه 31 تا 54
مشخصات اثر
  • تعداد رکورد ها : 19