به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این م...

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه‌‌ شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می‌دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه‌ای برساخته از روندهای ساخت‌ هویات و براهین ریاضی می‌داند. در مقاله‌‌ حاضر، به تبیین مبانی نظری م...

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

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

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

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

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

در این پایان نامه برای بررسی رفتار بر هم کنش های درونی ،فشار درونی پنج مایع یونی محاسبه شده است.این مایعات یونی شا مل کاتیون 1-آلکیل 3-متیل ایمیدازولیوم به طوری که گروه آلکیل (متیل –بوتیل –هگزیل –هپتیل ودکیل )بوده است ودر تمام این ترکیبات آنیون بیس تری فلوئورو سولفونیل ایمید می باشد. با افزایش طول زنجیر آلکیلی از 2به 6 تغییرات فشار درونی به یک صورت است. برای1-آلکیل 3-متیل ایمیدازولیوم زمانی بی...

این تحقیق با هدف بررسی رابطه بازارگرایی درونی با کیفیت زندگی کارکنان و کیفیت خدمات (مطالعه موردی شرکت حمل و نقل جهاد نصر کرمان) انجام شده است. روش تحقیق بصورت توصیفی – همبستگی بوده، جامعه آماری تحقیق شامل کلیه کارکنان شرکت حمل و نقل جهاد نصر کرمان در سال 1394 به تعداد 185 نفر می باشد