論邏輯后承與邏輯真.pdf

1、湘潭大學碩士學位論文論邏輯后承與邏輯真姓名：文紅峰申請學位級別：碩士專業(yè)：邏輯學指導教師：孫明湘20080508IIAbstractFromtheviewofphilosophyoflogic，logicisstudyingtherelationofconsequencevalidinference.Thecentreofvalidinferenceisthatacertainstatementisabletofollow(from)o

2、therstatementstatements.Inotherwdsifweacceptthatsomestatementstatementsis(are)truethenweassertthatotherstatementsaretruetoo.Thisrelationaboutthefollowingistakenasrelationofconsequence.Particularlyifthisrelationcanbeguara

3、nteedbythefmsinwhichthesestatementsareputbethelogicalnecessitythenwesaythattheconclusionisthelogicalconsequenceofthepremises.AsTReidsaysitisanimptantconceptinthelogicespeciallyinmodernlogic.onlywhenyoutotallyunderstmaste

4、rtheproblemoflogicalconsequenceitsrelatedquestionscanyoutrulylearnmodernlogicwell.Therefeitisimptanttostudyit.Thearticlebasedondevelopmentofhistyoflogicalconsequencesystemicallydiscussestheproblemoflogicalconsequenceothe

5、rproblemsrelatedbycomparativelyresearchingotherbasicconceptoflogiccloselyrelatedtologicalconsequence.Firstlyitreviewsthedifferentdefinitionsoflogicalconsequenceindetailsumsupallwaysinresearchinglogicalconsequencepointsou

6、tsomefalsityinallways.thenbyanalyzingtheextensionintensionoflogicalconsequenceitindicatesthefundamentalacteroflogicalconsequenceispreservingtruth.Basedonthisthisarticledeeplyanalyzesothertwologicalconceptcloselyrelatedto

7、logicalconsequence:logicalvalidityimplication.itpointsoutthatvariedunderstingoflogicalvalidityimplicationresultsindifferenttheiesoflogicalconsequence.thearticlediscusseslogicaltruthasaspecialexampleoflogicalconsequence.B

8、yhisticallystudyinglogicaltruthitsummarizessometheiesabout“true”pointsoutthatlogicaltruthisnecessaryrelative.Finallythisarticleillustratesthebasicacteroflogicalconsequenceinclassicallogicexpoundsthatsomelogicianscriticiz

9、etheclassicalviewoflogicalconsequencepointsoutthisdissatisfactionarisesfromlogicians’discussiontothetheyoflogicalconsequencemakesthemputfwardmanynewlogicalconsequencetheiespromotesthedevelopmentofthelogicalconsequencethe