چند روشنگری در مورد منطق

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":null,"url":null,"abstract":"در ابتدا برخی موضوع‌های بحث‌ برانگیز در حوزۀ منطق ریاضی را بررسی می‌کنیم. این‌ها موضوع‌هایی هستند که معمولا غیرمتخصصان را به دردسر و‌ گاهی اشتباه می‌اندازند. موضوع‌های عمده‌ای که در این راستا به آن‌ها خواهیم پرداخت عبارتند از: تعریف صدق تارسکی، قضیۀ تعریف‌ناپذیری صدق تارسکی، قضیۀ تمامیت گودل و قضیه‌های ناتمامیت گودل، منطق مرتبۀ اول و ‌مرتبۀ دوم. در ادامه، به معرفی برخی منطق‌های غیرکلاسیک و جایگاه آن‌ها در منطق فلسفی و همچنین منطق در علوم کامپیوتر می‌پردازیم. افزون بر آن، برخی موضوع‌های فلسفی مرتبط به منطق را به بحث می‌گذاریم. از زمرۀ این موضوع‌ها، پرسش از چیستی منطق، تفاوت منطق و دستگاه منطقی و چالش یگانه‌گرایی در مقابل کثرت‌گرایی در انتخاب منطق است. با تفکیک منطق از دستگاه منطقی، از این دیدگاه دفاع خواهیم کرد که منطق ریاضی به عنوان بخشی از ریاضیات، تنها می‌بایست متعهد به رعایت استانداردهای خود ریاضیات باشد. در این راستا، هر یک از دستگاه‌های منطق غیرکلاسیک که این استانداردها را رعایت کند، مشروعیت خواهد داشت.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"120 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Review of Laser Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.30465/LSJ.2021.35823.1341","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

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

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

The Review of Laser Engineering

自引率

0.00%

发文量

期刊最新文献

Breda Ridderstraat 7 حمل شیء بر خود: حمل اولی، شایع یا اینهمانی منطق جدید نظریهٔ مدل محدود و برخی کاربردهای آن در حساب محدود استراوسون و نظریه انشائی صدق سمنتیک عبارتهای ناشمار انضمامی