首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   15篇
  免费   0篇
综合类   15篇
  2010年   1篇
  2009年   2篇
  2008年   2篇
  2007年   3篇
  2006年   1篇
  2004年   4篇
  2003年   1篇
  1997年   1篇
排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性。同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定。  相似文献   
2.
逻辑演算与形式化方法   总被引:3,自引:0,他引:3  
逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰  相似文献   
3.
塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。  相似文献   
4.
当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效式、可满足式给出严格的证明,从而提供一个逻辑分析实例。  相似文献   
5.
证伪主义是波普尔在批判归纳主义与证实原则的基础上建立起来的.证伪原则既是波普尔解决"分界问题"与"归纳问题"的关键,也是他的科学认识论与方法论的基础.波普尔的证伪主义为科学与哲学的发展提供了重要经验,但也面临许多困难.  相似文献   
6.
战术心理战中的进攻战术,是战场上使用最为广泛的一种心理战作战手段。随着信息化时代的到来,未来战场将出现新的变化,对战术心理战中的进攻战术也提出了新的挑战,这就要求必须根据战场环境、使命任务和敌人当时的心理状况,具体情况具体分析,采取威吓、欺骗、诱导、情感、离间等进攻战术,化敌之长处为短处,化敌之多数为少数,化敌之有用为无用,化敌之力量为我之力量,从而获取最大的战斗效益,达到预设的作战目的。  相似文献   
7.
创造性思维,是一个内涵和外延都不易界定的概念,在提倡素质教育的今天,它日益受到人们的重视。本文仅就创造性思维及其相关因素,作出以下分析.1、人们根据思维活动所依据的基本思维材料的不同,将思维分为两个基本类型或形式:抽象(逻辑)思维和形象(非逻辑)思维。创造性思维不是一种独立的思维形式,它不独立于抽象思维和形象思维,又不单独存在于其中一种,而是融贯、交织在这两种基本的思维形式中。无论是抽象思维还是形象思维,只要是创造出具有价值的新颖的东西,我们就称之为创造性思维。比如,新现象的发现,新假说的提出,…  相似文献   
8.
关系命题的语形和语义--一个逻辑分析的实例   总被引:1,自引:0,他引:1  
当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效式、可满足式给出严格的证明,从而提供一个逻辑分析实例。  相似文献   
9.
塔斯基将真理概念定义为:在对泉语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对泉序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。  相似文献   
10.
证伪主义是波普尔在批判归纳主义与证实原则的基础上建立起来的。证伪原则既是波普尔解决分界问题与归纳问题的关键,也是他的科学认识论与方法论的基础。波普尔的证伪主义为科学与哲学的发展提供了重要经验,但也面临许多困难。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号