检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:董英东[1,2]
机构地区:[1]贵州工程应用技术学院,贵州毕节551700 [2]西南大学,重庆400715
出 处:《唐山学院学报》2014年第5期9-12,84,共5页Journal of Tangshan University
基 金:国家社会科学基金重点项目(11BAZD057);贵州省优秀科技教育人才省长基金资助项目(201250);贵州省社科规划基金项目(14GZYB10);贵州省科技厅联合基金资助项目(LKB201224)
摘 要:逻辑主要研究语形和语义之间的二元关系,是特殊的形式化的推理系统。演绎推理并不必然要求论证是演绎有效的或者是无效的。演绎推理是不可废止的,但非演绎推理却是可废止的。从知识科学的角度看,逻辑的作用在于提供推理形式化的范式。现代逻辑和方法论以及科学哲学之间关系密切。演绎推理只是其中的一种,并且具有一定的局限性,而非演绎推理或可废止推理也可以用数学的方法进行刻画。The duality between syntax and semantics is central in logic,which is a particular rea-soning form.Deductive reasoning does not necessarily demand that argument is deductively valid or invalid.Deductive reasoning is irrevocable,but non deductive reasoning is defeasible.From the scientific point of view,the role of logic is to provide formal reasoning paradigm.There is a close relationship between modern logic,methodology and philosophy of science.Deduction is but one of the possible forms of reasoning and has some limitations,while deductive or defeasible reasoning can also be described by mathematical methods.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15