有效式相关论文
论证过程包括相互联系的两个方面:证明和反驳。证明是论证主体对所赞成的观点进行辩护的过程,反驳是论证主体对所反对的观点进行归谬......
论必要条件的二难推理和回溯推理高玉楼传统逻辑的二难推理,其结构形式被定为:大前提是两个充分条件假言判断,小前提是一个二肢选言判......
现行普通逻辑理论把二难推理的假言前提局限于充分条件假言判断和必要条件假言判断.而把充要条件假言判断排除在外,从而遗漏了一部......
张清宇同志对张金成同志的系统Z(见[2])以及我们对系统Z的评价(见[3])从三个方面提出意见。这些意见发表在文[1]中。针对文[1],我......
<正> 三段论(又称直言三段论)是亚里士多德首创的传统形式逻辑的主要内容。从现代逻辑的观点看,三段论的中心问题是它的有效式的......
逻辑斯谛中作为纯真值联结词的蕴涵和传统逻辑中表述充分条件关系的命题联结词“若,则”的语义全然不同,任一重言式都不是能据以进......
【正】所谓直言模态命题是指以传统的直言命题A、E、I、O为基础,加上模态词“必然”(□)或“可能”(◇)之后所形成的下面八种命题......
一、直言三段论的表述及其标准模式直言三段论的推理可表述为前提合取蕴涵结论式,也可以表述为二重蕴涵式,即:(M—P∧S—M)→S—P,......
在形式逻楫的逻揖推理部分,Euler图的运用十分有限。由于Euler图具有直观、明晰的特点,可以简化和理想地再现不同推理形式前提与......
性质判断的推理是形式逻辑理论体系中的一个重要组成部分,而目前我国出版的各种版本形式逻辑教材对这部分内容的论述却存在严重疏......
【正】 关于《墨经》中的“侔”式推论(以下简称“侔”)的讨论,近年来提出了不少有价值的见解,多数学者已经断定:《墨经》中的“侔......
在我国现有逻辑教科书中,对于一个三段论式是有效式还是无效式的判定,一般都是用规则判定法进行判定的.金岳霖先生指出:“三段论规......
<正> 已经老化了的传统逻辑如何充实改进,以便适应今日科学发展的需求?对此,我国逻辑学界议论纷纷。笔者在教学实践中运用符号逻......
【正】 波兰著名逻辑学家卢卡西维兹在《亚里士多德的三段论》(商务印书馆1981年版)中,从现代逻辑观点对亚氏直言三段论作了创造性......
【正】 一现行的形式逻辑理论认为在性质判断换位法直接推理过程中违反规则就不能必然地得出正确的结论,凡是违反规则的推理形式都......
研究直言三段论的形式就是要找出检验直言三段论有效形式的方法。形式逻辑教科书一般都采用传统的方法,即用三段论规则检验共是否有......
<正> 有人把文恩图解引入普通逻辑,但未能证明从两全称前提推出一特称结论的有效式。①有人通过设定主项存在的方法,来用文恩图解......
对普通逻辑的三段论格的特殊规则,流行的各种教材在理解或阐述上存在着一些分歧,学术界也有些讨论,本文认为,只有将三段论各格的特殊规......
<正> 我省自96年起在高中全部使用人教版现行《世界近代现代史》和《中国近代现代史》教材。教学中,一线教师使用时普遍感到最大的......
古人云,“熟读唐诗三百首,不会作诗也会吟”,“书读百遍,其义自见”,可见朗读在语文教学中占有举足轻重的地位,这在语文阅读教学中......
众所周知,有4种不同的方法可用来判定三段论所有正确形式的有效性:规则法、文恩图法、形式证明法和公理法。规则珐是传统逻辑的方法,......
三段论的“E、I”检验方法是一种全新的检验方法。它只需用类似算术加减法一样的运算,就能简捷、快速地检验三段论是否有效......
充分条件假言推理的否定前件式和肯定后件式与必要条件假言推理的肯定前件式和不定后件式不应被排除在有效式之外,真正的无效式是指......
命题推理是逻辑学的重要内容,也是物理教学中培养学生逻辑思维的重要载体。对直言命题变形推理的有效形式加以分析、讨论,对逻辑学......