نتایج جستجو برای: نظریهی سمانتیکی صدق تارسکی

تعداد نتایج: 2006  

ژورنال: اندیشه دینی 2018

امروزه نظریه­های بدیل مختلفی برای نظریه­ی دقیق حداقل‌گرایی و نیز نظریه‌ی مطابقت صدق مطرح‌اند که یکی از آن‌ها، نظریه‌ی انسجام صدق است. تقریر یانگ از نظریه‌ی انسجام صدق، مهم‌ترین تقریری است که در سال‌های اخیر از این نظریه ارائه و از آن دفاع شده است. وی با استدلالی جدید، به دفاع تمام­قد از این نظریه برخاسته­ است و برای اشکال تعیین که از اصلی­ترین نقدهای صورت‌گرفته بر نظریه‌ی انسجام صدق است، راه‌حل...

ژورنال: اندیشه دینی 2013

یکی از پرسش‌های اساسی که در حوزه‌ی زبان دین در خور طرح است پرسش از صدق زبان دین است. این مسأله از منظر متفکران دینی، حایز اهمیت است، چراکه اعتقادات و باورهای دینی مؤمنان برگرفته از آموزه‌ها و گزاره‌هایی است که در زبان دین بیان شده است و از منظر معرفت‌شناسی، حصول معرفت در پرتو احراز صدق باورها امکان‌پذیر است. علاوه بر این، از منظر ایمان دینی، وقوع گزاره‌های کاذب در زبان دین با علم مطلق و خیرخواه...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان 1380

پروفسور چانگ ‏‎(c.c.chang)‎‏ در سال 1958 برای اولین بار مفهوم ‏‎-mv‎‏ جبر را برای اثبات تمامیت منطق لوکاسیویچ و تارسکی بطریق جبری، مطرح کرد و به بررسی خواص آن پرداخت. بعد از وی ریاضیدانان زیادی به تحقیق در این زمینه پرداختند.در این نوشتار ما در چهار فصل با بیان نمایش بولی (ضعیف) و ‏‎-mv‎‏ جبرهای ابرنرمال به بررسی خواص ‏‎‏‎-mv‎‏ جبرهای توابع پیوسته حقیقی مقدار روی فضای توپولوژیک ‏‎x‎‏ می پردازیم.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده الهیات و معارف اسلامی 1392

کریولی از نقطه نظر فلسفه تحلیلی به ارسطو نزدیک می شود.رویکرد او با پرسش های همراه است که به تعبیر خود کریولی ارسطو آنها را در رویای خود نیز مجسم نکرده است یا حتی شاید فاقد اسباب مفهومی برای فهم یا پاسخ به آنها باشد. با این حال کریولی در این کتاب برآن است که دیدگاه های ارسطو راجع به صدق و کذب را بازسازی کند و تلاش خود را مصروف این عمل می نماید که با استمداد از آثار ارسطو نشان دهد او به چه طریق م...

ژورنال: :تأملات فلسفی 0

رورتی در تلاش است به عنوان یک فیلسوف تحلیلی، در بستر اندیشه ای پسامدرنی و با نگاهی پراگماتیکی که به واژگان و زبان دارد، به ساختار شکنی مسائل مختلف فلسفه مبادرت ورزد. بدین منظور، او تمام معرفت شناسی سنتی را با تمام مقولاتش (نظیر حقیقت، عینیت، عقل و غیره) زیر سوال می برد. دیدگاه او این است که فیلسوفان سنتی (مثل افلاطون، دکارت، و کانت ) همواره با باور به واقعیت های فراانسانی و فراتاریخی (نظیر حقیق...

ژورنال: :فلسفه علم 2015
زهره عبدخدایی قاسم پور حسن علی اکبر احمدی افرمجانی حسین کلباسی اشتری

در دهة 1970 میلادی میان رئالیست ها و پسارئالیست ها مناقشه ای حول محور دو پرسش مطرح بود؛ هدف معرفتی علم چیست و چگونه می توان پیشرفت یا توفیق علم را به بهترین نحو تبیین کرد؟ یکی از مهم ترین رویکردها نگرش رئالیسم متکی به صدق نظریه ها بود؛ پاسخ رئالیست ها بر مبنای رویکرد مطابقت با واقع تبیین می شد و تاریخ پیشرفت علم را دلیل این امر می دانستند. در مقابل، برخی نظیر لائودن دو مفهوم توفیق در علم و صدق ...

Journal: : 2023

سنت‌گرایان با دیدگاهی سلبی نسبت به معرفت‌شناسی مدرن پسادکارتی، صحبت از معرفتی کرده‌اند که دارای صبغه‌ای مابعدالطبیعی و ناظر مراتب مختلف وجود است. آنها حکم عدم کفایت تجربه استدلال محور پسارنسانس هستند، منبع اصلی معرفت دست‌یابی حقیقت را عقل شهودی می‌انگارند. شهودگرایی در سنت‌گرایی، حد روش باقی نمی‌ماند نظر می‌رسد نوعی تحول پارادایم مواجه‌ایم می‌کوشد انگاره‌های دیگر تغییر دهد. مسئلة این مقاله آن ا...

ژورنال: :ذهن 2000
عبدالحسین خسروپناه

ژورنال: :ذهن 2003
مرتضی فتحی زاده

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1379

گیریم میدان اعداد مختلط ساختنی (توسط پرگار و خطکش نامدرج) و حلقه اعداد صحیح جبری (مختلط) باشد. در این پایان نامه، تعریف پذیری در که توسط ویدلا (videla) در سال 1999 در proc. of ams به چاپ رسید مورد توصیف قرار می گیرد. انگیزه قضیه ویدلا ناشی از قضیه تارسکی (tarski) مبنی بر تصمیم پذیری (r, +, 0)، مثلا به دلیل تمامیت نظریه میدانهای بسته حقیقی، قضیه جولیا رابینسون (j. robinson) مبنی بر تصمیم ناپذیری...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید