报告提纲及介绍弗协调逻辑的资料.pdfVIP

报告提纲及介绍弗协调逻辑的资料 报告提纲： 1. 介绍科斯塔的弗协调逻辑Cn 系统 1) 语形 2) 语义 3) 元理论 2. 基于Cn 的弗协调认知逻辑的想法 1) 弗协调认知 2) 弗协调认知与认知逻辑 3) 弗协调认知逻辑 介绍弗协调逻辑的资料： Paraconsistent logic From Wikipedia, the free encyclopedia A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or inconsistency-tolerant) systems of logic. Inconsistency-tolerant logics have been around since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term paraconsistent (beyond the consistent) was not coined until 1976, by the Peruvian philosopher Francisco Miró Quesada.[1] Contents 1 Definition 2 Paraconsistent logics are typically weaker than classical logic 3 Motivation 4 Tradeoff 5 A simple paraconsistent logic 6 Relation to other logics 7 Applications 8 Criticism 9 Alternatives 10 Notable figures 11 Notes 12 Resources 1 / 7 Definition In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything. This curious feature, known as the principle of explosion or ex contradictione sequitur quodlibet (from a contradiction, anything follows), can be expressed formally as A , ﹁A ├B where ├represents logical consequence. Thus if a theory contains a single inconsistency, it is trivial—that is, it has every sentence as a theorem. The characteristic or defining feature of a paraconsistent logic is that it rejects the principle of explosion. As a result, paraconsistent logics, unlike classical and other logics, can be used to