منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe

The Review of Laser Engineering Pub Date : 2021-08-23 DOI:10.30465/LSJ.2021.35927.1349

عامر آمیخته, سید احمد میرصانعی

{"title":"منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe","authors":"عامر آمیخته, سید احمد میرصانعی","doi":"10.30465/LSJ.2021.35927.1349","DOIUrl":null,"url":null,"abstract":"در این مقاله برای اصل‌بندی تمام ضرب‌های قیاس‌های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه‌ی نقض محمول سالبه‌ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده‌ی یک مقدمه‌ای و ضرب‌های Barbara و Datisi است. با افزودن نقض گزاره‌ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون استفاده از بسیاری از قواعد منطق کلاسیک (از جمله حذف نقض مضاعف) برقرار است. سپس نشان دادیم که منطق گزاره‌های زیرساختاری SLe برای قیاس‌های ارسطویی کافی است. همچنین بر پایه‌ی IFLe مربع تقابل، قواعد عکس و قواعد نقض در منطق مظفر به طور کامل ثابت می‌شوند. برای این منظور از منطق مرتبه اول یک موضعی دقیقا با همان دستگاه استنتاجی استاندارد سورها در منطق کلاسیک به علاوه اصول «بعضی الف الف است» و «بعضی غیرالف غیرالف است» بهره بردیم. در نهایت، برای نشان دادن عدم تعهد وجودی نسبت به نام‌های عام در منطق حملی با همان تعبیر وجودی از سورها و ترجمه‌ی استاندارد محصورات اربعه از منطق چهار-ارزشی ربط-کلاسیک قوی KR4‌ استفاده شد.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-08-23","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.35927.1349","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

در این مقاله برای اصل‌بندی تمام ضرب‌های قیاس‌های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه‌ی نقض محمول سالبه‌ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده‌ی یک مقدمه‌ای و ضرب‌های Barbara و Datisi است. با افزودن نقض گزاره‌ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون استفاده از بسیاری از قواعد منطق کلاسیک (از جمله حذف نقض مضاعف) برقرار است. سپس نشان دادیم که منطق گزاره‌های زیرساختاری SLe برای قیاس‌های ارسطویی کافی است. همچنین بر پایه‌ی IFLe مربع تقابل، قواعد عکس و قواعد نقض در منطق مظفر به طور کامل ثابت می‌شوند. برای این منظور از منطق مرتبه اول یک موضعی دقیقا با همان دستگاه استنتاجی استاندارد سورها در منطق کلاسیک به علاوه اصول «بعضی الف الف است» و «بعضی غیرالف غیرالف است» بهره بردیم. در نهایت، برای نشان دادن عدم تعهد وجودی نسبت به نام‌های عام در منطق حملی با همان تعبیر وجودی از سورها و ترجمه‌ی استاندارد محصورات اربعه از منطق چهار-ارزشی ربط-کلاسیک قوی KR4‌ استفاده شد.

查看原文本刊更多论文

求助全文

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

来源期刊

The Review of Laser Engineering

自引率

0.00%

发文量