چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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

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

هدف از این پژوهش، برآورد ضریب کیفیت با استفاده از فاز ال جی کدا برای نیمه شمالی ایران محصور به عرض جغرافیایی °32-°40 درجه شمالی و طول جغرافیایی°44-°62 درجه شرقی است و از نظر تقسیم­بندی ایالت­های لرزه­زمین ساختی شامل ایالت لرزه­زمین ساختی البرز- آذربایجان، کپه داغ، بخشی از ایران مرکزی ، بخشی از زاگرس و همچنین بلوک دریای خزر است. ضریب کیفیت در بسامد یک هرتز (q0) و وابستگی بسامدی آن (η) با استفاده...

منطقه موردمطالعه بخشی ازاستان سمنان است که درشمال وشمال غرب دامغان واقع است .غرب گسل دامغان درپایانه دامنه جنوبی کوه البرز به صورت یک خطواره نسبتاًطویل درشمال شهرستان دامغان رخنمون دارد ..مختصات منطقه عرض شمالیّ15 ?36تا ?09 ?36 وطول شرقی َ20 ?54تا 55َ ?53, وطول تقریبی26کیلومتر می باشد،که ازمناطق فعال زمین ساختی بوده ودرعهدحاضرحرکات زمین ساختی ولرزه ای درآن رخ داده است.به منظور تهیه نقشه های پهنه بن...

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

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

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

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