重庆理工大学学报（社会科学版）
重慶理工大學學報（社會科學版）
중경리공대학학보（사회과학판）
JOURNAL OF CHONGQING INSTITUTE OF TECHNOLOGY
2012年
4期
16-24
,共9页
当代形式逻辑%传统形式逻辑%数理逻辑%n目组%n目组集%n元关系
噹代形式邏輯%傳統形式邏輯%數理邏輯%n目組%n目組集%n元關繫
당대형식라집%전통형식라집%수리라집%n목조%n목조집%n원관계
当代形式逻辑对客观世界n元关系的研究,其视野是传统形式逻辑和数理逻辑无法相比的.从主导思想上看,传统形式逻辑是真正的名副其实的逻辑科学,但它只研究1元关系,不研究多元关系和真正普遍有效的关系推理,因此,传统形式逻辑顶多只能算n分之1的逻辑.数理逻辑虽然把1元或多元关系作为自己的研究对象之一,但它没有从内涵的角度去区分关于同一外延的k个尽管相当然而并不相同的n元关系,从量上说至少是“挂1漏k-1”的,即只从外延的角度研究一种关系而漏掉(k-1)种关系,因此,纯外延的数理逻辑顶多只能算k分之1的逻辑.当代形式逻辑从研究论域上的n目组和n目组集入手,亦即通过确定论域上的个体的所有不同序列,对论域上n个个体(n≥1)之间的所有关系进行了逻辑科学应有的全方位研究.
噹代形式邏輯對客觀世界n元關繫的研究,其視野是傳統形式邏輯和數理邏輯無法相比的.從主導思想上看,傳統形式邏輯是真正的名副其實的邏輯科學,但它隻研究1元關繫,不研究多元關繫和真正普遍有效的關繫推理,因此,傳統形式邏輯頂多隻能算n分之1的邏輯.數理邏輯雖然把1元或多元關繫作為自己的研究對象之一,但它沒有從內涵的角度去區分關于同一外延的k箇儘管相噹然而併不相同的n元關繫,從量上說至少是“掛1漏k-1”的,即隻從外延的角度研究一種關繫而漏掉(k-1)種關繫,因此,純外延的數理邏輯頂多隻能算k分之1的邏輯.噹代形式邏輯從研究論域上的n目組和n目組集入手,亦即通過確定論域上的箇體的所有不同序列,對論域上n箇箇體(n≥1)之間的所有關繫進行瞭邏輯科學應有的全方位研究.
당대형식라집대객관세계n원관계적연구,기시야시전통형식라집화수리라집무법상비적.종주도사상상간,전통형식라집시진정적명부기실적라집과학,단타지연구1원관계,불연구다원관계화진정보편유효적관계추리,인차,전통형식라집정다지능산n분지1적라집.수리라집수연파1원혹다원관계작위자기적연구대상지일,단타몰유종내함적각도거구분관우동일외연적k개진관상당연이병불상동적n원관계,종량상설지소시“괘1루k-1”적,즉지종외연적각도연구일충관계이루도(k-1)충관계,인차,순외연적수리라집정다지능산k분지1적라집.당대형식라집종연구론역상적n목조화n목조집입수,역즉통과학정론역상적개체적소유불동서렬,대론역상n개개체(n≥1)지간적소유관계진행료라집과학응유적전방위연구.
