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

یکى از موضوعاتى که به لحاظ قرآن‌شناختى از اهمیت ویژه‌ای برخوردار است و مى‏توان گفت در زمان ما به‌صورت مسأله‌ای کلامى یا شبه‌کلامى مطرح شده است، موضوع «وحیانى بودن الفاظ و عبارات قرآن» است. این ادعا که تمامى الفاظ قرآن کریم اعم از حروف و کلمات عیناً وحى الهى است، مى‏بایست در قالبى علمى و استدلالى مطرح گردد. مقاله‌ی حاضر ضمن یادآورى گفته‏هاى تعدادى از متکلمین و حکماى اسلامى و دیگ...

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

بنا بر نظریه هنجارینگی باور، مُقَوّمِ مفهومِ گرایش گزاره‌ای باور فهم این مطلب است که رابطه‌ای هنجارین میان عملِ ذهنی باور کردن و محتوای باور وجود دارد. مبحث نحوۀ صورت‌بندی رابطۀ هنجارینِ مذکور- که به طور خلاصه می‌توان آن را مبحث صورت‌بندی هنجارِ باور نیز نامید- بحثی است که به وفور در ادبیات فلسفی مربوطه بررسی شده است. در ادبیات فلسفیِ دو سه سال اخیر دو نحوه صورت‌بندی از هنجارِ باور مطرح شده است. نخست این...

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

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

نفثه ­المصدور یکی از متون برجستة تاریخی- ادبی دورة مغول است که هدف اصلی نویسندة آن، نه صرفاً ثبت وقایع تاریخی بلکه حسب حال و بثّ­الشکوی و شرح مصائب خویش بوده است. از این رو، نویسنده برای گزارش احساسات و تمایلات عاطفی خود در چهارچوبِ بلاغت کلام و متکلّم و اثرگذاری بر مخاطب، از مؤلّفه­های گوناگونی بهره می­گیرد که یکی از مهم­ترین آنها کاربرد فراوان گزاره­های انشایی است. مقصود از گزارة انشایی، بیانی است...

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

اغلب حکمای مسلمان در هر دو حوزه تصورات و تصدیقات، معتقد به قرائت خاصی از مبناگرایی هستند. در مبناگرایی اسلامی در باب گزاره ها، معارف تصدیقی به بدیهی و نظری تقسیم می شوند. بدیهیات بی نیاز از دیگر معلومات هستند؛ اما نظریات در ماده و صورت مبتنی بر بدیهیات بوده و سرانجام باید به آنها منتهی شوند. ابتنای نظریات بر بدیهیات در تصدیقات تنها از راه برهان شکل می گیرد. مبناگرایی در حوزه گزاره ها به خصوص در...

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