نتایج جستجو برای: صوری سازی منطقی

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

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

این حقیقت که قضیه مشهور ناتمامیت گودل و الگوی اصلی تمامی پارادوکس های منطقی از جمله پارادوکس دروغگو، به صورت نزدیکی با هم ارتباط دارند، نه تنها شناخته شده است بلکه وجه مشترکی از دانسته های منطق دانان محسوب می شود. در واقع، تقریباً تمام بحث های صوری این قضیه [ناتمامیت گودل] کمابیش پلی بر این ارتباط می سازند. در این پایاننامه سعی بر نشان دادن این ارتباط خواهیم داشت.

ژورنال: :منطق پژوهی 0
زینت آیت اللهی دانشجوی دکتری منطق تربیت مدرس

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

کتاب تاریخ فلسفه تحلیلی: از بولتسانو تا ویتگنشتاین،  متضمن بحث تحلیلی در باب مهمترین عناصر اندیشه فیلسوفان تحلیلی در نیمه نخست قرن بیستم است. در این کتاب نویسنده کوشیده است اندیشه­های فیلسوفان تحلیلی را در قالب یک سنت فلسفی بررسی و تحلیل کند چنانکه پیوند میان اندیشه­های ایشان قابل ردگیری باشد.  وی پس از بحث در باب زمینه­های پیدایش فلسفه تحلیلی، به ترتیب آراء بولتسانو، فرگه، راسل، ویتگن...

ژورنال: :پژوهش های زبان شناسی 0
علی ایزانلو شهلا شریفی

در خصوص رابطه­ی میان صورت و معنی نشانه­ها، بر اساس دیدگاه غالب و پذیرفته شده در محافل زبان­شناسی، این رابطه عموماً قراردادی و اختیاری است. در پژوهش حاضر، با استفاده از ابزارهای انگیختگی، نشانه­های یک زبان اشاره­ی خانگی مورد بررسی قرار گرفته است. داده­های تحقیق در طول دو سال از طریق مصاحبه­ با فرد اشاره­گر گردآوری شده است. پس از گردآوری مجموعه نشانه­های اشاره­ای، تک­تک نشانه­ها مورد بررسی قرار گر...

ژورنال: مدیریت شهری 2016
حبیب, فرح, صالحی, سعید, نقی زاده, محمد,

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

ژورنال: فلسفه 2012

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

ژورنال: :فلسفه 2012
عبدالرضا صفری حلاوی

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

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

در طول تاریخ قرآن ترجمه های انگلیسی متفاوتی را به خود دیده است. تمام این ترجمه ها مورد تآیید مراجع رده بالای دین اسلام (روحانیت) قرار گرفته اند. با این وجود در حالیکه تمام آنها مورد تآیید قرار گرفته اند مجموعه واژگانی که در این ترجمه ها به کار رفته کاملا فرق می کند. وجود این تفاوت ممکن است در اثر چیزی که ضیاحسنی (1994) آن را درجات سختی (degrees of difficulties) می نامد رخ دهد. روشی که مترجم برا...

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

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

در خصوص رابطه­ی میان صورت و معنی نشانه­ها، بر اساس دیدگاه غالب و پذیرفته شده در محافل زبان­شناسی، این رابطه عموماً قراردادی و اختیاری است. در پژوهش حاضر، با استفاده از ابزارهای انگیختگی، نشانه­های یک زبان اشاره­ی خانگی مورد بررسی قرار گرفته است. داده­های تحقیق در طول دو سال از طریق مصاحبه­ با فرد اشاره­گر گردآوری شده است. پس از گردآوری مجموعه نشانه­های اشاره­ای، تک­تک نشانه­ها مورد بررسی قرار گر...

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

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