نتایج جستجو برای: زبان و منطق
تعداد نتایج: 761738 فیلتر نتایج به سال:
ورود منظومه های داستانی و حکایات تمثیلی (از زبان پرندگان و حیوانات) به کشورهای اروپایی، انگیزه ای شد که شاعران غربی همانند شعرای مشرق زمین این گونه داستان ها و حکایت ها را به شکل تمثیل درآوردند و برای اهداف آموزشی خود به کار برند. در میان این منظومه ها، منطق الطیر عطار با درون مایه رمزی و تمثیلی، افق های تازه ای از فرهنگ و ادب و عرفان را به روی علاقه مندان گشود و سبب شد که بسیاری از خاورشناسان ...
سابقه و هدف: هزینه مبادله که برخاسته از اقتصاد نهادگرا است، با مفهوم کارایی مرتبط است. یکی وظایف برنامهریزان، افزایش فرایند برنامهریزی به همین دلیل شناسایی عوامل مؤثر بر همچون هزینههای جستوجوی اطلاعات، مذاکره، ایجاد اعمال سازوکارهای نظارتی حائز اهمیت زیرا این طریق است برنامهریزان میتوانند تکیه طراحی نهادی ساختارهای حکمرانی، را کاهش دهند. طرح تفصیلی در نظام ایران، برنامهای بازیگران متعد...
امقدمه رساله دربرگیرنده شرحی است از زندگی ابن کمونه و هم عصرانش ، تعدد واجب الوجود با شبهه ابن کمونه ، آراء ویژه و آثار ابن کمونه ، تلویحات و اهمیت آن در میان سایر آثار و معرفی نسخ مورد استفاده در تصحیح . فن اول کتاب تلویحات در منطق است و فن دوم در طبیعیات و فن سوم در الهیات مقدمه رساله همچون خود کتاب به زبان عربی نگاشته شده است.
مقاله حاضر به بررسی و داوری نظرات منطق دانان سینوی درباره شرایط انتاج قیاس استثنائی (با تأکید بر شرطی متصل) اختصاص دارد. پس از بررسی متون متعدد منطق سینوی، مجموعه نظرات در شش دسته تقسیم بندی شده است. در دسته اول، شرطی در قیاس استثنائی به صورت مهمله استفاده می شود که با مبانی منطق سینوی در شرطیات هماهنگ نیست. با کنار گذاشتن این نظر درمی یابیم همه منطق دانان سینوی درباره ضرورت لزومی بودن شرطی در ...
We present COBS — a model of a concurrent object-based computational system with handshakes as elementary actions of inter-process communication. Processes are considered to be partial views of the system. Their communication by asynchronous message passing and variable sharing is modeled by elementary processes on the same abstraction level. The same acts of computation and communication can b...
قواعد قیاس حملی، که معمولاً تحت عنوان “the rules of the categorical syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می شود، روش مفیدی است که جهت تشخیص اعتبار قیاس های حملی، به منطق آموزان، در کتاب های عمومی آموزش منطق، ارائه می شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرا...
منطق گفتگویی از جمله نظریه هایی است که در آن به زبان و سخن به عنوان پدیده هایی اجتماعی نگریسته می شود. این نظریه که تأثیر چشمگیری بر منتقدان و نظریه پردازان بعدی گذاشت، در قالب دو گزاره اصلی چندصدایی و تک صدایی، ظرفیت و افق تازه ای برای خوانش متون گوناگون به دست داد. این مقاله درصدد است تا با بازخوانی منطق الطیر عطار براساس منطق گفتگویی میخاییل باختین، میزان همخوانی این تئوری را با روایت عطار ا...
زبان ریاضی می تواند رفتار یک سیستم فیزیکی را در قالب نظریه هایی مانند مکانیک نیوتن یا مکانیک کوانتوم توصیف کند، عبارات ریاضی مربوط به نظریه، گزاره هایی حامل اطلاعاتی راجع به ماهیات و سیستمهای مرتبط با آن نظریه هستند. این عبارات ساختاری جبریرا نشان می دهند و متناظر با روابط جبری بین عبارات ریاضی، روابط منطقی بین گزاره ها وجود دارد، یعنی بین گزاره هایی که با توجه به نظریه، سیستمی را توصیف م...
مطابق قاعده ای در منطق ابن سینا، میان هر دو قضیه شرطی لزومی که کمیت یکسان، کیفیت متفاوت، مقدم یکسان و تالی نقیض هم دارند، تلازم برقرار است. این قاعده توسط ابن سینا معرفی و برای آن استدلال شده است. پس از وی، این قاعده مورد نقد منطق دانان سینوی قرار گرفت. خونجی با مثال هایی از زبان طبیعی، پیش فرض های اثبات ابن سینا را زیر سؤال برده است. پس از خونجی، بعضی از منطق دانان سینوی مانند نصیر الدین طوسی،...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید