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

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

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

در مقاله ی حاضر، پس از مرور انواع کانونی سازی روایی و ابزارهای کلامیِ آن از نظر روایت پژوهان سنتی، با رده-شناسی تازه ای از اقسام کانونی سازی تحت عنوان «کانونی سازی فرضی» نیز آشنا خواهیم شد. منظور از کانونی سازی فرضی، امکان دریافت تجربه ای ادراکی مفهومی است از موضعی که کانونی ساز هرگز در آن حضور نداشته است. توصیف (و سپس تبیین) این نوع کانونی سازی نیازمند بهره گیری از دیدگاه های زبان شناختی و فلسف...

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

Subject: Questionnaires are one of the most important instruments for screening the people with disability. خoccupational low back pain is one of the causes of disability. Initially, questionnaires should be created and adapted with the cultural conditions of the target group in order to generalize the results and to compare with other countries. The aim of the current study was translation, c...

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

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