نتایج جستجو برای: نظریهی سمانتیکی صدق تارسکی
تعداد نتایج: 2006 فیلتر نتایج به سال:
امروزه نظریههای بدیل مختلفی برای نظریهی دقیق حداقلگرایی و نیز نظریهی مطابقت صدق مطرحاند که یکی از آنها، نظریهی انسجام صدق است. تقریر یانگ از نظریهی انسجام صدق، مهمترین تقریری است که در سالهای اخیر از این نظریه ارائه و از آن دفاع شده است. وی با استدلالی جدید، به دفاع تمامقد از این نظریه برخاسته است و برای اشکال تعیین که از اصلیترین نقدهای صورتگرفته بر نظریهی انسجام صدق است، راهحل...
یکی از پرسشهای اساسی که در حوزهی زبان دین در خور طرح است پرسش از صدق زبان دین است. این مسأله از منظر متفکران دینی، حایز اهمیت است، چراکه اعتقادات و باورهای دینی مؤمنان برگرفته از آموزهها و گزارههایی است که در زبان دین بیان شده است و از منظر معرفتشناسی، حصول معرفت در پرتو احراز صدق باورها امکانپذیر است. علاوه بر این، از منظر ایمان دینی، وقوع گزارههای کاذب در زبان دین با علم مطلق و خیرخواه...
پروفسور چانگ (c.c.chang) در سال 1958 برای اولین بار مفهوم -mv جبر را برای اثبات تمامیت منطق لوکاسیویچ و تارسکی بطریق جبری، مطرح کرد و به بررسی خواص آن پرداخت. بعد از وی ریاضیدانان زیادی به تحقیق در این زمینه پرداختند.در این نوشتار ما در چهار فصل با بیان نمایش بولی (ضعیف) و -mv جبرهای ابرنرمال به بررسی خواص -mv جبرهای توابع پیوسته حقیقی مقدار روی فضای توپولوژیک x می پردازیم.
کریولی از نقطه نظر فلسفه تحلیلی به ارسطو نزدیک می شود.رویکرد او با پرسش های همراه است که به تعبیر خود کریولی ارسطو آنها را در رویای خود نیز مجسم نکرده است یا حتی شاید فاقد اسباب مفهومی برای فهم یا پاسخ به آنها باشد. با این حال کریولی در این کتاب برآن است که دیدگاه های ارسطو راجع به صدق و کذب را بازسازی کند و تلاش خود را مصروف این عمل می نماید که با استمداد از آثار ارسطو نشان دهد او به چه طریق م...
رورتی در تلاش است به عنوان یک فیلسوف تحلیلی، در بستر اندیشه ای پسامدرنی و با نگاهی پراگماتیکی که به واژگان و زبان دارد، به ساختار شکنی مسائل مختلف فلسفه مبادرت ورزد. بدین منظور، او تمام معرفت شناسی سنتی را با تمام مقولاتش (نظیر حقیقت، عینیت، عقل و غیره) زیر سوال می برد. دیدگاه او این است که فیلسوفان سنتی (مثل افلاطون، دکارت، و کانت ) همواره با باور به واقعیت های فراانسانی و فراتاریخی (نظیر حقیق...
تحلیل رئالیسم معرفتی از دیدگاه لری لائودن آیا رئالیسم معرفتی تبیین صحیحی از پیشرفت علم ارائه می دهد؟
در دهة 1970 میلادی میان رئالیست ها و پسارئالیست ها مناقشه ای حول محور دو پرسش مطرح بود؛ هدف معرفتی علم چیست و چگونه می توان پیشرفت یا توفیق علم را به بهترین نحو تبیین کرد؟ یکی از مهم ترین رویکردها نگرش رئالیسم متکی به صدق نظریه ها بود؛ پاسخ رئالیست ها بر مبنای رویکرد مطابقت با واقع تبیین می شد و تاریخ پیشرفت علم را دلیل این امر می دانستند. در مقابل، برخی نظیر لائودن دو مفهوم توفیق در علم و صدق ...
سنتگرایان با دیدگاهی سلبی نسبت به معرفتشناسی مدرن پسادکارتی، صحبت از معرفتی کردهاند که دارای صبغهای مابعدالطبیعی و ناظر مراتب مختلف وجود است. آنها حکم عدم کفایت تجربه استدلال محور پسارنسانس هستند، منبع اصلی معرفت دستیابی حقیقت را عقل شهودی میانگارند. شهودگرایی در سنتگرایی، حد روش باقی نمیماند نظر میرسد نوعی تحول پارادایم مواجهایم میکوشد انگارههای دیگر تغییر دهد. مسئلة این مقاله آن ا...
گیریم میدان اعداد مختلط ساختنی (توسط پرگار و خطکش نامدرج) و حلقه اعداد صحیح جبری (مختلط) باشد. در این پایان نامه، تعریف پذیری در که توسط ویدلا (videla) در سال 1999 در proc. of ams به چاپ رسید مورد توصیف قرار می گیرد. انگیزه قضیه ویدلا ناشی از قضیه تارسکی (tarski) مبنی بر تصمیم پذیری (r, +, 0)، مثلا به دلیل تمامیت نظریه میدانهای بسته حقیقی، قضیه جولیا رابینسون (j. robinson) مبنی بر تصمیم ناپذیری...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید