فضای مجازی رخنه‌ای در تئوری صدق تارسکی

صدق در فلسفه علم پوپر و مفهوم سمانتیکی صدق تارسکی

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

مباحثی در تعریف ناپذیری صدق تارسکی

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

تئوری های صدق

تقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی

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

فضای مجازی و هویت

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

چالش‌های تعامل اجتماعی زنان ایرانی در فضای مجازی (از دید زنان فعال در فضای مجازی)

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