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

بسیاری از فیلسوفان مدعی هستند که معنا و محتوای سمانتیکی زبان، امری هنجاری است، یعنی معنای یک کلمه تعیین‌کنندة الگوی درست‌کاربرد بوده و این الگو را تجویز می‌کند. مهم‌ترین استدلال‌هایی که فیلسوفانی مانند کریپکی و بوقوسیان به نفع هنجاری‌بودن معنا ارائه داده‌اند بر مفاهیمی مانند «قواعد»، «کاربردهای صحیح»، و «امکان خطای سمانتیکی» استوار است. اما برخی فلاسفه، ادعای هنجاری‌بودن معنا را زیر سؤال برده و...

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

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

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

وجود پاسخ های متعدد به پرسش واحد انتخاب در زیست شناسی تکاملی، واقع گرایی علمی را در دوسطح با مشکل مواجه م یکند: سطح روش شناختی و سطح هستی شناختی. در این مقاله نشان دادهمی شود که راه حل الیزابت لوید، که مبتنی بر دیدگاه سمانتیکی در مورد نظریه های علمی است،می تواند مشکل روش شناختی را حل کند، اما مشکل هست یشناختی را باقی م یگذارد. در ادامه یمقاله، بر اساس واق عگرایی ساختاری هستی شناختی و با کنار گذ...

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

وجود پاسخ های متعدد به پرسش واحد انتخاب در زیست شناسی تکاملی، واقع گرایی علمی را در دوسطح با مشکل مواجه م یکند: سطح روش شناختی و سطح هستی شناختی. در این مقاله نشان دادهمی شود که راه حل الیزابت لوید، که مبتنی بر دیدگاه سمانتیکی در مورد نظریه های علمی است،می تواند مشکل روش شناختی را حل کند، اما مشکل هست یشناختی را باقی م یگذارد. در ادامه یمقاله، بر اساس واق عگرایی ساختاری هستی شناختی و با کنار گذ...