برای گروه آبلی توپولوژیک g، مجموعة تمام همومورفیسم های پیوسته از g بتوی گروه دایره ای t همراه با توپولوژی فشرده- باز و عمل ضرب نقطه ای توابع که یک گروه آبلی توپولوژیک هاسدورف است بعنوان دوگان pontryagin این گروه شناخته می شود. فضای دوگان یک گروه آبلی توپولوژیک از لحاظ جبری ایزومورف با فضای دوگان هر زیرگروه چگال خود می باشد.“l. außenhofer” و “ m. j. chesco” مستقل از هم نشان دادند که فضای دوگان ی...

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

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

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

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