نتایج جستجو برای: منطق کلاسیک
تعداد نتایج: 14613 فیلتر نتایج به سال:
مفاهیم اجتماعی بر معانی فهمیدهشدهای دلالت دارند که میتوان آنها را در "مصادیق"[1] مشخص و مطالعه کرد. بنابراین، مفاهیم اجتماعی از دوپارة ذهنی[2] و عینی[3] تشکیل شدهاند. بهعبارت دیگر، وجود رابطة دیالکتیکی بین ذهن و عین است که مفهوم اجتماعی را میسازد. گاه چگالی تأثیر پارة ذهنی بالاتر است و گاه پارة عینی، اما در هردو صورت، درجهای از چگالی تأثیر پارة دیگر نیز در مفهوم وجود دارد. بنابراین، دربا...
نگاه ما دراین مقاله به ابهام ها و پیچیدگی های تصمیم گیری در عمل معطوف گشته است نظام تصمیم گیری جمهوری فرانسه که از دور چهره ای خرد محور را نمودار می کند هر آیینه از نزدیک به کاوش سپرده شود محیطی رابه ترسیم می کشد که درآن هئیت های بزرگ دولتی حلقه های تصمیم و کابینه های وزراتی سامانی از روابط قدرت را به نمایش می گذارند که از سنت ها و کیش دولت و استثنای فرانسوی برآمده است روابطی که منطق آن را با م...
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...
اقتباس دراماتیک از متون کهن فارسی از دغدغه های درام-نویسان بوده است. منطق الطیر عطار از جمله منابع ادبی مورد علاقه نمایشنامه نویسان ایرانی است. ضعف مشترک چنین اقتباس هایی فقدان شخصیت پردازی و کنش دراماتیک است. این ضعف به دلیل عدم انطباق متون کهن ایرانی با اسلوب های داستان گویی غربی است.نظریه ادبی گرماس، نظریه پرداز ادبی درباره شخصیت به سبب بررسی کنش براساس سه فعل خواستن، دانستن و توانستن این تو...
یکی از رویکردهای مورد مطالعه در نظریه مدل بررسی ساختار های آنالیزی با کمک ابزارهای نظریه مدلی است. در این راستا انواع گوناگونی از منطق ها و نظریه مدل های مرتبط با آنها پدید آمده اند که از آن جمله می توان به نظریه مدل فضاهای باناخ، منطق پیوسته و نظریه مدل برای ساختارهای متریک و نیز منطق انتگرال اشاره نمود. منطق پیوسته برای اولین بار توسط چانگ و کیسلر معرفی گردید. بعدها مطالعات نظریه مدلی در این ...
در پایان نامه حاضر قصد داریم به بررسی و تشریح برهان جبری برای یکی از قضایای مهم منطق ریاضی به نام قضیه حذف برش بپردازیم. این قضیه که یکی از مهمترین نتایج در نظریه برهان بر پایه حساب رشته هاست، اولین بار توسط گرهارد گنتسن ، در سال 1934 برای منطق های کلاسیک و شهودگرایی اثبات شده است. از اوایل قرن نوزدهم زمینه های مشترکی بین منطق ریاضی و جبر بوجود امد که موجب گسترش تحقیقات در منطق بوسیله تکنیک ها...
منطق پیو سته به بررسی ویژگی های فضاهای پیوسته در چهار چوب منطق ریاضی می پردازد. امروزه برای مدل تئوریست ها منطق پیوسته در واقع همان مدل تئوری ساختار های متریک است. این منطق را معمولا مشابه منطق لوکاسویچ رائه می دهند. ولی می توان فضای ارزش ها را تغییر داد و متناسب با آن رابط های دیگری در نظر گرفت. یکی از طبیعی ترین انتخاب ها در نظر گرفتن محور اعداد حقیقی به عنوان فضای ارزش، با عملگر های جمع و ...
درام تعاملی (برهم کنشی)، به مثابة نوع تازه ای از مناسبات مجازی درام، محصول تعامل رایانه و قواعد نمایشی است. تعامل مزبور حاصل مناسبات جدید میان مخاطب و درام نویس است؛ کاربر یک نرم افزار داستانی با اعمال سلیقه و خواست خود در روند شکل گیری روایت، جایگاه خود را به عنوان عاملی نوظهور در فرآیند نمایشی تثبیت می کند. درام تعاملی از دو سو نشانگر مناسباتی پویا و قابل تأمل است: نخست از منظر زیبایی شناسی م...
نگاه ما دراین مقاله به ابهام ها و پیچیدگی های تصمیم گیری در عمل معطوف گشته است نظام تصمیم گیری جمهوری فرانسه که از دور چهره ای خرد محور را نمودار می کند هر آیینه از نزدیک به کاوش سپرده شود محیطی رابه ترسیم می کشد که درآن هئیت های بزرگ دولتی حلقه های تصمیم و کابینه های وزراتی سامانی از روابط قدرت را به نمایش می گذارند که از سنت ها و کیش دولت و استثنای فرانسوی برآمده است روابطی که منطق آن را با م...
ارائه نظریه امکانگرایی در برابر هدفگرایی توسط سارازواتی آغاز تحولاتی بنیادین در زمینه درک منطق تصمیمگیری کارآفرینان است. این نظریه با ارائه پنج اصل نشان میدهد که کارآفرینان متفاوت از مدیران کلاسیک و بهخصوص مدیران شرکتهای بزرگ تصمیمگیری میکنند. این مقاله رویکردی کیفی دارد و دادهها از طریق مصاحبه با کارآفرینان ایرانی که شرکتهای کارآفرینانه موفقی را در صنایع مختلف تأسیس کردهاند، جمعآ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید