The Review of Laser Engineering最新文献

筛选
英文 中文
واقعیت های منفی و مسئله صادق ساز گزاره های سالبه
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.26105.1270
امیر جلیلی قاضی زاده, سیدمحمدعلی حجتی, محمد سعیدی مهر
{"title":"واقعیت های منفی و مسئله صادق ساز گزاره های سالبه","authors":"امیر جلیلی قاضی زاده, سیدمحمدعلی حجتی, محمد سعیدی مهر","doi":"10.30465/LSJ.2021.26105.1270","DOIUrl":"https://doi.org/10.30465/LSJ.2021.26105.1270","url":null,"abstract":"براساس حداکثرگرایی در باب صادق ساز، هر گزاره ی صادقی صادق ساز دارد. یکی از مسائل پیش روی حداکثرگرایان این است که صادق سازهای گزاره های سالبه چه نوع اموری هستند؟ پاسخ های متعددی از سوی حداکثرگرایان به این مسئله داده شده است. یک رده از این پاسخ ها مبتنی بر امور منفی است. در این مقاله بعد از معرفی کوتاه مسئله، اشاره ای به بعضی پاسخهایی که مبتنی بر امور منفی هستند و برخی از اشکالاتی که دارند خواهیم داشت. این پاسخ ها به ترتیب مبتنی هستند بر وضعیت تام، قطبیت، غیاب و واقعیت های منفی بنیادین. براساس راه حل مبتنی بر وضعیت تام، علاوه بر واقعیت های مثبت، واقعیت های دیگری متشکل از تمامیت واقعیت های مثبت وجود دارند که صادق ساز گزاره های سالبه خواهند بود. براساس پاسخ نظریه قطبیت، اشیاء می توانند ویژگی ها را به دو نحو مثبت یا منفی تحقق بخشند و واقعیت های منفی که حاصل تحقق بخشی منفی ویژگی ها توسط اشیاء هستند، صادق ساز گزاره های سالبه هستند. براساس پاسخ نظریه غیاب، صادق ساز گزاره های سالبه غیاب صادق ساز گزاره ی ایجابی متناظرش است. براساس پاسخ نظریه واقعیت های منفی بنیادین، واقعیت های منفی همانند واقعیت های مثبت به نحو بنیادین متحققند و این واقعیت ها صادق ساز گزاره های سالبه هستند. در ادامه به ارائه ی راه حلی برای این مسئله مبتنی بر واقعیت های منفی و بر اساس تحقق اعدام مضاف پرداخته و نشان می دهیم که این راه حل بسیاری از اشکالات دیدگاه های مشابه را ندارد.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127447986","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
بازسازی منطق هگل در منطق جدید: فراسازگاری یا تریویالیسم؟
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.35739.1338
کسری فارسیان
{"title":"بازسازی منطق هگل در منطق جدید: فراسازگاری یا تریویالیسم؟","authors":"کسری فارسیان","doi":"10.30465/LSJ.2021.35739.1338","DOIUrl":"https://doi.org/10.30465/LSJ.2021.35739.1338","url":null,"abstract":"در این مقاله، له این امر استدلال خواهد شد که هگل متعهد به تریویالیسم است. در دهه‌های گذشته با توجه به رونق گرفتن بازخوانی فیلسوفان کلاسیک در محکمه‌ی منطق جدید، بازسازی هگل نیز از این جریان مستثنی نبوده است. گراهام پریست منطق‌دان و فیلسوف مطرح معاصر خوانشی فراسازگار از منطق هگل ارائه می‌دهد و سعی دارد نشان دهد فراسازگار دانستن نظام اندیشه‌ای هگل می‌تواند هم غنای اندیشه‌ی او را نشان دهد و هم می‌تواند منجر به دفاع موجهی از اندیشه‌های او در جامعه‌ی امروزه‌ی منطق شود. این خوانش پریست از هگل مخالفانی دارد که معتقدند خوانش فراسازگار از نظام منطقی هگل می‌تواند تردید آمیز باشد. در این مقاله من علاوه بر توضیح خوانش پریست و مطرح کردن نقدی به خوانش او از جانب مخالفانش، در انتها استدلال خواهم کرد که هگل را می‌توان یک تریویالیست دانست و نه فیلسوفی با درک فراسازگار از منطق‌. نیز به عنوان نکته‌ی نهایی مقاله استدلالی در دفاع از تریویالیزم را مطرح خواهیم کرد.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123278271","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
تبیین علل عدم موفقیت خوانش انتقادی دامت از فلسفه ویتگنشتاین
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.34638.1324
هومن محمد قربانیان, سارا قانع
{"title":"تبیین علل عدم موفقیت خوانش انتقادی دامت از فلسفه ویتگنشتاین","authors":"هومن محمد قربانیان, سارا قانع","doi":"10.30465/LSJ.2021.34638.1324","DOIUrl":"https://doi.org/10.30465/LSJ.2021.34638.1324","url":null,"abstract":"دامت در فلسفه خود متاثر از دو فیلسوف تحلیلی بزرگ است؛ او در روش از فرگه تبعیت می‌کند و قصد دارد منطق و نظریه معناداری را بنیانی برای متافیزیک قرار دهد، و در نظریه‌پردازی درباره معنا متاثر از ویتگنشتاین است و معنای واژگان را معادل با کاربرد آنها می‌داند. بر خلاف همه تاثیری که ویتگنشتاین بر دامت دارد، سایه شکاکیت قوی که در آراء ویتگنشتاین دوم وجود دارد و کریپکی به بهترین شکل به آن پرداخته است برای دامت خوش‌آیند نیست، زیرا گمان می‌کند در صورت درست بودن شکاکیت و قراردادگرایی افراطی ویتگنشتاین، محاورات و ارتباطات انسانی همیشه در لبه پرتگاه و در آستانه سقوط قرار دارد. او برای گریز از این امر، ایده دانش ضمنی برای دانش زبانی را به عنوان بنیادی محکم در نظریه خود قرار می‌دهد. در این مقاله نشان داده‌ایم که ایده دانش ضمنی سبب فاصله گرفتن نظریه معناداری دامت از آموزه‌های ویتگنشتاین و شکست پروژه او می‌شود. اگر نتوان نشان داد که زبان چگونه کار می‌کند، هرگز نمی-توان نظریه معناداری را بنیانی برای متافیزیک قرار داد.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116049569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
حمل اولی ذاتی و حمل شایع صناعی و کاربرد آن نزد میرداماد در مسئله وجود ذهنی
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.35773.1339
مهدی عسگری
{"title":"حمل اولی ذاتی و حمل شایع صناعی و کاربرد آن نزد میرداماد در مسئله وجود ذهنی","authors":"مهدی عسگری","doi":"10.30465/LSJ.2021.35773.1339","DOIUrl":"https://doi.org/10.30465/LSJ.2021.35773.1339","url":null,"abstract":"یکی از مسائل مهم در فلسفه اسلامی، بحث از وجود ذهنی و اشکال‌های مطرح به آن است. از میان اشکال‌هایی که به وجود ذهنی مطرح شده است، دو اشکال بنیادهای این مسئله را با تردید مواجه کرده است. اشکال اجتماع جوهر و عرض و اجتماع مقوله‌های عرضی تحت یکدیگر. مسئله اصلی این مقاله نشان‌دادن کاربرد تمایز میان حمل اولی و حمل شایع در اثبات و حل اشکال‌های وجود ذهنی نزد میرداماد است. روش بحث، روش کتابخانه‌ای و تاریخی خواهد بود. پاسخ اجمالی که این به مسئله اصلی این است که میرداماد را می‌توان یکی از طلایه‌داران بحث از حمل اولی ذاتی و حمل شایع صناعی دانست و وی توانسته همان جوابی را با تفکیک بین دو حمل به مسئله وجود ذهنی بدهد که بعدها به نام شاگردش ملاصدرا ثبت شده است. در ضمن میرداماد در بسط و گسترش نظریه حمل و تمایز حمل اولی و شایع تأثیر به سزایی داشته است.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126509981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
چند روشنگری در مورد منطق
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.35823.1341
مرتضی منیری
{"title":"چند روشنگری در مورد منطق","authors":"مرتضی منیری","doi":"10.30465/LSJ.2021.35823.1341","DOIUrl":"https://doi.org/10.30465/LSJ.2021.35823.1341","url":null,"abstract":"در ابتدا برخی موضوع‌های بحث‌ برانگیز در حوزۀ منطق ریاضی را بررسی می‌کنیم. این‌ها موضوع‌هایی هستند که معمولا غیرمتخصصان را به دردسر و‌ گاهی اشتباه می‌اندازند. موضوع‌های عمده‌ای که در این راستا به آن‌ها خواهیم پرداخت عبارتند از: تعریف صدق تارسکی، قضیۀ تعریف‌ناپذیری صدق تارسکی، قضیۀ تمامیت گودل و قضیه‌های ناتمامیت گودل، منطق مرتبۀ اول و ‌مرتبۀ دوم. در ادامه، به معرفی برخی منطق‌های غیرکلاسیک و جایگاه آن‌ها در منطق فلسفی و همچنین منطق در علوم کامپیوتر می‌پردازیم. افزون بر آن، برخی موضوع‌های فلسفی مرتبط به منطق را به بحث می‌گذاریم. از زمرۀ این موضوع‌ها، پرسش از چیستی منطق، تفاوت منطق و دستگاه منطقی و چالش یگانه‌گرایی در مقابل کثرت‌گرایی در انتخاب منطق است. با تفکیک منطق از دستگاه منطقی، از این دیدگاه دفاع خواهیم کرد که منطق ریاضی به عنوان بخشی از ریاضیات، تنها می‌بایست متعهد به رعایت استانداردهای خود ریاضیات باشد. در این راستا، هر یک از دستگاه‌های منطق غیرکلاسیک که این استانداردها را رعایت کند، مشروعیت خواهد داشت.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"120 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128487852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
خوداستعلایی هوسرل و تأثیر بنیانهای منطقی ذهن بر بیان
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.32449.1305
علی اصفر فرجی
{"title":"خوداستعلایی هوسرل و تأثیر بنیانهای منطقی ذهن بر بیان","authors":"علی اصفر فرجی","doi":"10.30465/LSJ.2021.32449.1305","DOIUrl":"https://doi.org/10.30465/LSJ.2021.32449.1305","url":null,"abstract":"«خود» یا «اگو» از جمله بنیان‌های تفکر فلسفی و روان‌شناختی است. غالبا فلاسفه و اندیش‌مندان شاغل در حوزه‌های گوناگون علوم انسانی، بر چگونگی وجود آن، بحث‌های بسیار صورت داده‌اند. ادموند هوسرل، پدیدارشناس شناخته شده معاصر، «خود» را به عنوان «مرکز» افعال شناختی در نظر گرفته است. یکی از بنیادی‌ترین افعالی که برای «خود» منظور می‌کند، کنش و فعل گفتاری و نحوه کسب شناخت توسط آن است. به عبارت دیگر، «خود» محور و مرکز شناسایی است و ابزار ارتباطی او با جهان پیرامون، یعنی این مسأله که زبان و تحلیل‌های ذهنی چگونه می‌تواند در مسیر تکامل فرایند شناخت جهان و ابژه‌های پیرامون به او یاری رساند. طرح پدیدارشناسی استعلایی هوسرل، مبتنی بر آن است که با اپوخه کردن نگرش‌های طبیعی و پوزیتیویستی، به جای‌گاه مناسب و شایسته «خود» دست پیدا کند. به همین دلیل، با تکیه بر ساختار منطقی ذهن و سوبژکتیویته «اگو» در یک چارچوب استعلایی که بر جنبه التفاتی آگاهی اگو استوار است، به تحلیل نسبت آن با جهان پیرامون و «خود»های دیگر می‌پردازد. از این‌رو، یکی از ابزارهای ارتباطی «خود» که بیان و گفتار است را با نگرش استعلایی مورد توجه قرار داده می دهد. در این پژوهش، تلاش می‌کنیم، با تحلیل مفهوم «خود استعلایی» نزد هوسرل، چگونگی ارتباط گفتاری منطقی میان سوبژکتیویته اگو را با جهان پیرامون آن بررسی نمائیم.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131232477","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
جستاری در روش تحلیل منطقی با تکیه بر نظریة وصفهای راسل جستاری در روش تحلیل منطقی با تکیه بر نظریة وصفهای راسل
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.35951.1350
سمانه میر
{"title":"جستاری در روش تحلیل منطقی با تکیه بر نظریة وصفهای راسل","authors":"سمانه میر","doi":"10.30465/LSJ.2021.35951.1350","DOIUrl":"https://doi.org/10.30465/LSJ.2021.35951.1350","url":null,"abstract":"هدف راسل تأسیس زبانی ایدئال برای حل کژتابی‌های فلسفی و دشواری‌های زبان طبیعی است. این زبان منطقا کامل، ساختار اندیشة ما و ساختار معرفت ما را آشکار می‌سازد. پروژة تأسیس زبان ایدئال چیزی جز حرکت درجهت تحلیل منطقی نیست. راسل، با تکیة بر تحلیل منطقی، با رسم تمایز میان نام و وصف به سه پرسش اساسی در باب این همانی، اصل طرد شق ثالث یا گزاره‌های سالبة جزئیه و گزاره‌هایی که موضوع آنها عدم است، یا به‌عبارتی به هیچ چیز اشاره نمی‌کند، پاسخ می‌دهد. در مقالة نیز حاضر برآنیم تا ضمن شرح دیدگاه راسل در باب تحلیل منطقی و تعریف آن، به نظریة وصف‌های او، در مقام موخرة و وجه مصداقی تحلیل منطقی، نظر کنیم. در بحث از «تحلیل منطقی» کوشیده‌ام نشان دهم، معنای «تحلیل منطقی کردن» چیست. برای بیان مقصود راسل در این باب، به توضیح پروژۀ راسل یعنی تأسیس زبان ایدئال نیز، پرداخته‌ایم. در قسمت دوم مقاله، نظریه وصف های راسل را به مثابه وجه مصداقی تحلیل منطقی ، با تکیه بر دو مقالة «دربارة اشاره» و «دربارة وصف ها» توضیح داده‌ام.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134151182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
تحلیل انتقادی پیوند تصور و تصدیق نزد ابن سینا، قطب الدین رازی و ملاصدرا
The Review of Laser Engineering Pub Date : 2020-09-22 DOI: 10.30465/LSJ.2021.35899.1345
زینب برخورداری, رمینا روحی
{"title":"تحلیل انتقادی پیوند تصور و تصدیق نزد ابن سینا، قطب الدین رازی و ملاصدرا","authors":"زینب برخورداری, رمینا روحی","doi":"10.30465/LSJ.2021.35899.1345","DOIUrl":"https://doi.org/10.30465/LSJ.2021.35899.1345","url":null,"abstract":"تصور و تصدیق به عنوان دو بخش مبنایی و نظام آفرین در منطق، همواره مورد توجه بوده است. زیربنای منطق دوبخشی، بحث تصور و تصدیق است؛ از این‌رو از زمان ابن‌سینا تا به امروز، و با توجه به منطق نوین غرب، در این‌باره مسائل مختلفی به میان آمده است. منطق دوبخشی بر اساس تقسیم علم حصولی به تصور و تصدیق پایه گذاری شده است. با توجه به ماهیت تقسیم و وجود اختلاف نوعی بین اقسام، مسألۀ نسبت بین تصور و تصدیق، از میان تمام این مسائل، اهمیت بیشتری دارد. چیستی این نسبت بر \"منطق تقسیم بندی\"، \"ابتناء یا عدم ابتناء این دو بر هم\"، \"امکان تحقق ذهنی هریک بدون دیگری\" و مسائل وابسته به این مسائل تاثیر مستقیم دارد. ابن سینا، قطب الدین رازی و ملاصدرا، (در اثری مستقل) از اندیشمندانی هستند که به این مساله پرداخته اند. مقاله حاضر گشودن گره‌های تحلیلی در تقسیم‌بندی علم حصولی به تصور و تصدیق در آثار سه اندیشمند را برای به دست آوردن نسبت بین تصور و تصدیق و نیز نقش هرکدام در حصول دیگری و در نهایت دستیابی به نظری جامع از آرای ایشان دربارۀ ماهیت تصور و تصدیق، مدنظر قرارداده است. در این پژوهش، از طریق تفکیک مقام زبان (لفظ) از مقام ماهوی، علم حصولی تبیین و تحلیل شده است: در مقام ماهوی فقط تصدیق و از طریق مقام زبان و ارتباط بین زبان و اندیشه، تصور به دست می‌آید. چنان که علم حصولی تک‌هسته‌ای باشد، علم منطق در واقع تک‌بخشی خواهدبود.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124225908","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
صدق تارسکی به عنوان یک محمول فرازبانی موضعی
The Review of Laser Engineering Pub Date : 2020-03-20 DOI: 10.30465/LSJ.2021.33183.1311
محمد ابراهیم مقصودی
{"title":"صدق تارسکی به عنوان یک محمول فرازبانی موضعی","authors":"محمد ابراهیم مقصودی","doi":"10.30465/LSJ.2021.33183.1311","DOIUrl":"https://doi.org/10.30465/LSJ.2021.33183.1311","url":null,"abstract":"استدلال خواهم کرد که نه تنها پارادوکس های سمانتیکی پیچیده تر از پارادوکس دروغگو اشکالی برای راه حل تارسکی برای آن، یعنی تعهد به سلسله مراتب زبان، ایجاد نخواهند کرد، بلکه می توان از آنها برای یافتن ساختار درست فرازبان بهره گرفت: پارادوکس ها زمانی بروز می کنند که برای زبان یک ساختار طبقاتی سرتاسری را پیشفرض بگیریم. این کاوش ما را به تصویر غنی تری از فرازبان رهنمون خواهد شد: فرازبان را نیز نباید به منزلۀ طبقۀ فوقانی زبان موضوعی تلقی کرد، در عوض باید آن را به منزلۀ یک توپولوژی تعریف شده بر زبان موضوعی دانست، که تنوعی از ساختارهای سلسله مراتبی میان مراتب زبان را مجاز می دارد. بحث خواهم کرد که در این تصویر توسعه یافته از مراتب زبان، صدق تارسکی را باید محمولی موضعی در نظر گرفت. نهایتا بحث خواهم کرد که این رویکرد حاوی پیشنهاداتی برای تحلیل بهتر پارادوکس ها، و به طور خاص پارادوکس یابلو، است: با در نظر گرفتن یک توپولوژی دایره ای می توان مدلی بدون خودارجاعی و غیرپارادوکسیکال برای انتساب صدق و کذب به عبارات یابلو بدست داد.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132807947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
معرفی معناشناسیهای مختلف برای منطق شهودی
The Review of Laser Engineering Pub Date : 2020-03-20 DOI: 10.30465/LSJ.2021.33406.1314
فاطمه شیرمحمدزاده ملکی
{"title":"معرفی معناشناسیهای مختلف برای منطق شهودی","authors":"فاطمه شیرمحمدزاده ملکی","doi":"10.30465/LSJ.2021.33406.1314","DOIUrl":"https://doi.org/10.30465/LSJ.2021.33406.1314","url":null,"abstract":"منطق شهودی گزاره‌ای منطقی غیرکلاسیک است که از حذف اصل طرد شق ثالث از منطق کلاسیک حاصل می‌شود. چند معناشناسی مختلف، مانند معناشناسی کریپکی، توپولوژیکی و همسایگی برای منطق شهودی گزاره‌ای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است‎.‎ در این ‎مقاله ابتدا برخی از این معناشناسی‌ها رابررسی می‌کنیم، سپس دو معناشناسی همسایگی جدیدی را که یکی از این معناشناسی‌ها تا حدی پیچیده‌تر از معناشناسی‌های همسایگی شناخته شده قبلی می‌باشد را برای منطق گزاره‌ای شهودی (IPC) معرفی می‌کنیم. در نهایت قضایای درستی و تمامیت را با روشهای متفاوتی نسبت به این دو معناشناسی‎‎‎‎ همسایگی جدید اثبات می‌کنیم‎‎‎‎. برای اثبات تمامیت یکی از این معناشناسی‌ها که NB-همسایگی می‌نامیم، ابتدا نیاز داریم تا دستگاه زیرشهودی WF را که ضعیف‌تر از دستگاههای زیر شهودی شناخته شده قبلی مانند F می‌باشد را معرفی ‌کنیم. سپس با استفاده از قصیه تمامیت منطق WF نسبت به معناشناسی NB-همسایگی، نشان خواهیم داد که منطق شهودی IPC نسبت به این معناشناسی با افزودن برخی ویژگی‌های خاص درست و تمام است.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"60 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133292977","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信