نتایج جستجو برای: زبان صوری
تعداد نتایج: 35892 فیلتر نتایج به سال:
ابن سینا برای اولین بار در تاریخ منطق کمیت و کیفیت گزاره های شرطی را به تفصیل بحث نموده است و در قالب زبان طبیعی به تبیین چگونگی اعتبار کلیت جزئیت و نیز تعیین جایگاه ایجاب و سلب در گزاره های شرطی پرداخته است هر چند وی در این تحلیلها به نکات و دقایق متعددی دست یافته است اما منطق معمول و موجه شرطی ها را در هم آمیخته که به دلیل برخی مواضع متضاد در آن سیستم صوری معینی درباره شرطی از آن قابل استخراج...
در این مقاله ساختار افعال دو مفعولی در زبان فارسی مورد بررسی قرار میگیرد. چنین بررسیای در چارچوب دستور ساختاری گلدبرگ (زیر چاپ)، نگاهی متفاوت (غیر خطی) به چنین افعالی دارد. یکی از اهداف این پژوهش، تبیین ویژگیهای درونی ساختارها و تعیین انواع ساختارهای افعال دو مفعولی در زبان فارسی است. در این مقاله درصددیم تا با نمایش تمایزات ساختاری افعال دو مفعولی در زبان فارسی، نقطة تلاقی نحو و کلام را نیز...
چامسکی و جرجانی در تعریف زبان بر لزوم اسناد و انطباق مجموعه واژگان بر قواعدنحوی تأکید می کنند. از سویی زبان در نظر هردو نه نظام صوری دستور زبان؛ بلکه قواعد تولید و درک گفتار در ذهن اهل زبان است؛ بنابراین توقع وجود رابطه میان خصوصیات ذاتی ذهن و مشخصه های زبانی بسیار طبیعی می نماید. این ارتباط در نظرات جرجانی به نحوه تولید و ادراک گفتار در ذهن محدود می شود؛ اما چامسکی به دنبال شناخت ماهیت ذهن به ...
چکیده ندارد.
در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...
در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...
پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با بهکارگیری منطق ریاضی به ویژه منطق محمولها در محدودة نمونههای کارآمد برای زبان فارسی انجام میدهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیشانگاری» است، معرفی میشود و سپس، بهوسیلۀ ابزارهای صوری منطقدانان و به ویژه منطق محمولها بر...
زبان های طبیعی نظام های پیچیده ای هستند و ایجاد دستورهای رایانه ای برای آن ها، هم به دانش زبان شناختی و هم به داشتن دانشی درباره زبان های برنامه نویسی نیاز دارد. هدف چارچوب دستوری (جی اف) آن است تا این فرایند را هموارتر نماید. جی اف یک زبان برنامه نویسی تابعی است که با استفاده از فنآوری نوین طراحی شده و در آن، مدل معنایی نظریه انواع با برنامه نویسی تابعی در می آمیزد تا سامانه ای را پدید آورد که...
دانش زبان شناسی، یکی از دانش هایی است که امروزه مورد توجه بسیاری از پژوهشگران علوم انسانی و حتی فلاسفه قرار گرفته است. شناخت این دانش از آن جهت اهمیت دارد که اغلب زبان ها، دارای وجوه مشترک بسیاری هستند و مطرح شدن یک نظریه بر اساس یک زبان خاص، توانایی تطبیق با سایر زبان ها را نیز دارد که البته برای تطبیق دقیق و علمی این گونه نظریه ها، شناخت زبان مقصد، از اهمیت بسیاری برخوردار است. مقصود از زبان ...
رابطه ی میان نمود، زمان دستوری و وجه در ساخت های فعلی در بسیاری موارد رابطه ای مستقیم نمی باشد و در واقع رابطه ی مستقیم میان صورت و نقش معنایی- منظوری آنها حاکم نیست. این عدم تطابق نه تنها در زبان فارسی بلکه در بسیاری زبان های دنیا قابل مشاهده است. گستره ی تحلیل حاضر بر ساخت های خودایستا در زبان فارسی استوار است. در تحلیل مقوله ی نمود از آن به عنوان مقوله ای صوری و معنایی یاد شده است و سپس تقاب...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید