共查询到20条相似文献，搜索用时 125 毫秒
1.
存在图是继欧拉图、文恩图和皮尔士一文恩图之后的又一种逻辑图。逻辑图是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的缺陷以及现代数理逻辑的成功,长期以来存在图并未引起人们的关注。直到近来计算机表示的图示推理发展起来以后人们才认识到它的重要性,并把它作为一种图式逻辑纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性三个问题,随着这三个问题的解决,人们逐渐认可了存在图的逻辑地位。 相似文献
2.
《科学技术哲学研究》2015,(5)
科学哲学界一直有一种倾向,那就是将皮尔士的溯因看作是科学发现的逻辑和最佳解释的推理,那么皮尔士的溯因是否就是科学发现的逻辑?皮尔士的溯因是否就是最佳解释的推理?皮尔士的溯因能被看作是科学发现的逻辑,但皮尔士的溯因要作为科学发现的逻辑,在逻辑形式上就要捕捉到新假设的搜寻和好假设的选择这两个特质,而在科学实践中则要考虑溯因的搜寻策略与程序问题。皮尔士的溯因不仅仅是最佳解释的推理,它超越了最佳解释的推理所运用的范围,认识到这一点很重要,因为最佳解释的推理仅仅告诉了我们选择最佳解释的标准,其规则仅仅是认识的,而无任何实践信息,而皮尔士的溯因则恰恰相反。 相似文献
3.
溯因推理作为发现与解释的最佳方法,被著名哲学家皮尔士纳入与演绎推理、归纳推理并列的推理范畴。皮尔士及其后的科学哲学家较多地讨论溯因在科学发现与解释中的哲学角色问题,忽视了溯因运行的内在逻辑机制问题。近几年随着人工智能与计算机技术的发展,人们对溯因体现出极大兴趣,并将其着力点转向逻辑进路上。溯因有其显著的逻辑特征:非单调性与动态性,以及影响其非单调性与动态性的逻辑参数,根据其逻辑特征与逻辑参数,选择不同的逻辑处理办法,建构不同的逻辑规则、语言以及模型。 相似文献
4.
颜中军 《科学技术哲学研究》2014,(3):22-26
著名的实用主义哲学家兼逻辑学家蒯因、普特南和哈克基于各自的认识论与形而上学立场都曾明确主张逻辑可修正。蒯因的逻辑可修正论根植于他的整体主义知识观,而普特南的逻辑可修正论与其实在论立场密不可分。哈克在批判地吸收蒯因、普特南逻辑实用主义的基础上,进一步发挥了以皮尔士为代表的古典实用主义,主张更加彻底的知识可错论和激进的逻辑可修正论。尽管蒯因、普特南以及哈克的逻辑可修正论均存在这样或那样的不足,但逻辑可修正性仍然是一个严肃的哲学问题,值得深入思考。 相似文献
5.
皮尔士与量词 总被引：3，自引：0，他引：3
张留华 《华东师范大学学报(哲学社会科学版)》2002,34(4):37-42
量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性，不少人认为是弗雷格首次给出了量词的现代逻辑意义，但事实上皮尔士对于量词有着更为清晰、深刻的理解和表述。他提出了代数和图表的两种表现形式、而且还给出了量词的深刻的指号学语境。 相似文献
6.
张留华 《昆明师范高等专科学校学报》2004,26(3):22-26,30
皮尔士是一位在国际学界越来越受到重视的著名哲学家、逻辑学家和科学家。长期以来，皮尔士本人及其思想一直处于国内主流学者视野之外。《皮尔士》一书较为系统地呈现出了其哲学思想的方方面面。皮尔士将哲学建立于牢固的科学基础之上，将科学主要理解为一种探究者共同体的社会性活动。而作为“一位系统哲学家”，皮尔士各种思想主题之间的有着紧密联系和内在统一。《皮尔士》一书也有缺憾，比如，书的内容上并没有突出皮尔士的思想中心——逻辑学。 相似文献
7.
高等职业技术教育系统的构建是不可回避的现实问题。这个系统也应该具有自己必须的程序、逻辑和结构,它决定了这个系统的形态、结构、运行轨迹和系统的独特性。该系统应该以人才培养目标为总纲,以课程体系、培养模式、师资结构为基本框架,以校园专业文化为整体表现而组成。各要素间相互依存,前一个存在是后一个存在的基础,后一个存在又是次后一个存在的前提,环环相扣而彼此牵制,具有因果关系,部分构成系统的整体,整体支持部分的存在,相互因彼此的存在而存在,五个部分不可或缺,否则意味着整个系统的塌陷或高等职业技术教育理念的模糊。 相似文献
8.
(1)溯因推理的性质、历史渊源;(2)从逻辑哲学观点看,溯因推理如何突破经典演绎逻辑的眼界;(3)溯因推理与归纳的不同;(4)实用主义:后期皮尔士对溯因的新认识。 相似文献
9.
徐冬海 《淮阴师范学院学报(哲学社会科学版)》1990,(2)
归纳的研究具有悠久的历史。在不同的研究者那里,“归纳”一词的使用常常存在着概念上的差异。归纳一开始就不是一个调子,一种声音,一个模式。而是有着差异,有着分歧,有着对立,且同样应受到尊重的各种观点。查理·皮尔士曾说,逻辑的定义不下一百个。这话如果用来形容归纳,同样不过分。 相似文献
10.
曾冬梅 《邵阳学院学报(社会科学版)》2005,4(6):128-129
美国哲学家皮尔士全面提出了符号学概念和研究范围.符号学的发展为翻译研究提供了一个全新的视角.雅克布森是第一个吸收皮尔士符号理论的语言学家.文章试图从皮尔士符号学角度分析雅克布森的翻译理论,提出跨学科研究是翻译研究发展的一条必由之路. 相似文献
11.
12.
13.
根据有向图的概念和基本定理,将计算机处理过程中的程序流程图抽象为有向图,用于判别流程图的逻辑性及是否存在死锁现象,并用实例进行了判别及仿真验证． 相似文献
14.
Graph transformation systems have become a general formal modeling language to describe many models in software development process. Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development. But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements. In this paper, we present a new solution to verify graph transformation systems using the Bogor model checker. The attributed graph grammars （AGG）-like graph transformation systems are translated to Bandera intermediate representation （BIR）, the input language of Bogor, and Bogor verifies the model against some interesting properties defined by combining linear temporal logic （LTL） and special-purpose graph rules. Experimental results are encouraging, showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness. 相似文献
15.
图的深度优先遍历的C语言实现 总被引：2，自引：0，他引：2
图的深度优先遍历，是对图中的每个顶点进行访同且不能重复访同，而我们要遍历图。不是在它的逻辑结构上来实现，而是要在内存中来实现，在这里我们可以先把图采用邻接表方式将图存储起来。然后进行深度优先遍历。 相似文献
16.
17.
为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论,设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性. 相似文献
18.
平静水 《淮南师范学院学报》2010,12(3):4-6
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3）,首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式（tautology）与IPC（inmitionistic propositional calculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。 相似文献
19.
于鸿丽 《西安文理学院学报》2010,13(2):16-19
将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识. 相似文献
20.
数字逻辑电路实验系统设计与开发 总被引：5，自引：2，他引：3
王勇 《实验室研究与探索》2008,27(12)
论文着重介绍了数字逻辑电路实验系统设计思路和主要内容,对数字逻辑电路实验系统的三个主要部分:门电路和触发器基本应用实验、基于FPGA的数字系统综合设计实验、基于通用型中小规模数字器件的综合设计实验分别进行了改进和设计开发,实践结果证明该实验系统取得了较好的教学效果。 相似文献