① 三值逻辑关系的与经典逻辑的关系
在经典的二值方案中，真和假是确定性的值: 命题要么是真要么是假(互斥的)，并且如果命题没有其中一个值，则根据定义它必定有另一个值。这个理由就是排中律: P ∨ ¬P —也就是说，命题或它否定总有一个成立。
逻辑是跨越各种变换而保持某些命题的特性的系统。在经典逻辑中，这个特性是“真实性”: 在有效的论证中，推导出来的命题的真实性由应用保持这个特性的有效步骤来保证。但是，这个特性不是必须是“真实性”特性；它也可以是其他某种特性。
例如，保持的特性可以是“证实性”(justification)，这是直觉逻辑的基本概念。所以，命题不是真或假；转而，它是证实的或未证实的。证实性和真实性之间的关键区别，在这个场合下，是排中律不成立: “非”未证实的命题不必然的是证实的；转而，它只是没有被证明是未证实的。关键区别是保持的特性的确定性: 你可以证明 P 是证实的，P 是非证实的，或者不能证明任何一个。有效的论证保持跨越变换的证实性，所以从证实的命题推导出来的命题仍是证实的。但是，有些经典逻辑中的证明依赖于排中律；因为在这种方案中不能使用排中律，有些命题就不能用这种方式来证明了。
② 求经典逻辑故事`
经典逻辑故事1.一九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人与她来 往。直到一九六三年的一天，她莫明其妙地爱上了一个流浪汉，情况才变得好起来。可是好景不长，不幸事件一个接一个的发生。首先，当她发现自己怀上了流浪汉 的小孩时，流浪汉却突然失踪了。其次，她在医院生小孩时，医生发现她是双性人，也就是说她同时具有男女xx官。为了挽救她的生命，医院给她做了变性手术， 她变成了他。最不幸的是，她刚刚生下的小女孩又被一个神秘的人给绑走了。这一连串的打击使他从此一蹶不振，最后流落到街头变成了一个无家可归的流 浪汉。直到一九七八年的一天，他醉熏熏地走进了一个小酒吧，把他一身不幸的遭遇告诉了一个比他年长的酒吧伙计。酒吧伙计很同情他，主动提出帮他找到那个使 ‘他’怀孕而又失踪的流浪汉。唯一的条件是他必须参加伙计他们的‘时间旅行特种部队’。他们一起进了‘时间飞车’。飞车回到六三年时，伙计把流浪汉放了出 去。流浪汉莫明其妙地爱上了一个孤儿院长大的姑娘，并使她怀了孕。伙计又乘‘时间飞车’前行九个多月，到医院抢走了刚刚出生的小女婴，并用‘时间飞车’把 女婴带回到一九四五年，悄悄地把她放在克力富兰的一个孤儿院里。然后再把稀里糊
涂的流浪汉向前带到了一九八五年，并且让他加入了他们的‘时间旅行 特种部队’。流浪汉有了正式工作以后，生活走上了正轨。并逐渐地在特种部队里混到了相当不错的地位。有一次，为了完成一个特殊任务，上级派他飞回一九七零 年，化装成酒吧伙计去拉一个流浪汉加入他们的特种部队。
③ 逻辑是什么
这本原文只有88页的小册子却有着长长的副标题，一种模仿算术语言构造的纯思维的形式语言。 弗雷格是德国着名的数学家、哲学家和逻辑学家，他是现代数理逻辑的创始人，也是语言哲学和分析哲学的创始人。《概念文字》是弗雷格在逻辑学领域写的第一本书，1967年，它在数理逻辑原始资料选《从弗雷格到哥德尔》中首发出场，作为编选者的逻辑史家范·海耶努特认为它也许是逻辑学中迄今为止最重要的着作，这本书出版的1879年也被当做了现代逻辑的诞生之年。 《概念文字》的构造过程中有许多杰出的思想，其中极其重要又具有深远意义的是把命题分析成函数和自变元以取代传统上的主词-谓词分析，从而建立起命题演算、量词理论，以及推理完全根据表达式的形式来进行的逻辑系统的建立。 从弗雷格的书名可以看出，逻辑是一种纯思维的形式语言。这种与我们通常使用的自然语言不同的人工语言实现了莱布尼茨提出建立一种普遍语言的理想。我们今天所说的经典逻辑指的就是弗雷格这本书中建立起来的这两个演算，命题演算（也称命题逻辑）和谓词演算（也称一阶逻辑）。每一个语言都有自己的基本词汇。命题逻辑的基本词汇是五个基本联结词以及命题变元；这些逻辑联结词分别是蕴涵词如果那么、合取词并且、析取词或者、等值词当且仅当和否定词并非。 一个命题表达了一种关系整体，其中一些词总是可以由另外一些词替代的，因此一个命题表达式可以分解为两部分：一部分是表达整体关系的部分，另一部分是可由其他的词或者符号替代的部分；前者叫做函数，后者叫做它的自变元（在命题逻辑中即称为命题变元，它们的值有两个，真和假）。如果弗雷格是德国人，那么雪是白的这个命题中，两个命题变元都取值为真，对它们应用二元函数如果那么之后得到的该命题的值仍为真；只有把弗雷格是德国人、雪是黑的分别替代之后该命题形式的值才为假；其余两种情况下这种命题形式的值则都为真。 涅尔夫妇在《逻辑学的发展》中开宗明义地说，逻辑是研究有效推理的规则的。命题如果弗雷格是德国人，那么雪是白的与另外一个命题弗雷格是德国人就可以合乎逻辑地推出一个结论雪是白的；这类有效推理的规则就是着名的分离规则，弗雷格是德国人从如果弗雷格是德国人，那么雪是白的中分离出去，只剩下雪是白的。由并非构成的否定命题则有其明显的解释：命题并非雪是白的的值为假，因为命题雪是白的的值为真。这些逻辑联结词也叫真值函数、真值联结词，它们是逻辑这门科学中的概念，称为逻辑常项。 逻辑常项首先由伯特兰·罗素在1903年的《数学原理》中提到：所有数学常项都是逻辑常项且所有的数学前提都与这些常项有关，我相信，这个事实为哲学家在断言数学乃先验之科学时想表达的意思给出了精确表述。《概念文字》中的命题演算使用了蕴涵词和否定词作为初始联结词，用这两个联结词可以定义出其他所有真值联结词；这一内容由函数完备性定理来刻画。经典命题逻辑的函数完备性定理是说，每一个真值函数都可以用经典命题逻辑中标准的逻辑常项（如析取、合取、蕴涵和否定）来定义。正是有了函数完备性定理，我们可以说，古典命题逻辑无非就是真值函数的逻辑。那么，一阶逻辑呢？ 《概念文字》最为重要的贡献就在于量词理论的建立。命题从量的方面来讲分为全称命题和特称命题，明显的标志是分别出现量词所有（每一个）或存在（有的）。按照弗雷格的观点，所有本地人都填写本表可以分析为：对于每一个x而言，如果x是本地人那么x填写本表。x是本地人、x填写本表依然是函数表达式，用一阶逻辑语言可以写成Rx、Fx，其中x是（个体）变元，将被解释为某个论域中的个体。既然逻辑研究推理，那么，根据前面这个命题，不是本地人的张三需要填写本表吗？正确的回答是我们不知道。如果规定的是只有本地人才填写本表，那么张三才可以不填，但这时轮到本地人说不知道了。命题逻辑是一阶逻辑的实验室，作为现代逻辑的主要研究对象的是一阶逻辑。一阶逻辑的逻辑常项除了联结词外还有前述两个量词。那么，它们根据什么标准而列在一起呢？这就是一阶逻辑的函数完备性问题。函数完备性问题直接与逻辑常项问题相关。那么，什么是逻辑常项问题？为了理解这个问题，我们需要先了解逻辑中的推理概念。 逻辑推理的定义以语义方式和句法方式最为着名。按照塔尔斯基论逻辑后承概念中的语义定义，一个命题可以从一个命题集合推出，是说每一个使得该集合中所有命题都为真的模型也使得该命题为真。这个定义依赖于逻辑常项与非逻辑常项之间的划分。从语义学角度来说，非逻辑常项的解释对于不同的模型可以自由变化，而逻辑常项需要在每一个模型中保持自己的解释。如果对这一区分没有概念上的兴趣，逻辑推理的形式定义就会无法解释清楚有效推理这个直观概念，对逻辑推理的各种研究都在解释逻辑常项的特殊之处；在语义方向中，这个问题就是寻找逻辑常项的语义解释的特殊之处。 塔尔斯基在其名着《逻辑和演绎科学方法论导论》中认为，逻辑被正当地认为是一切其他科学的基础，我们只要举出一个理由：在每一个论证中我们都应用取自逻辑范围的概念，每一个正确的推论都要遵守逻辑的定律来进行。逻辑是最具一般性的科学，它的基础作用在于每一门其他科学都要预设它。既然逻辑是最具一般性的科学，那么逻辑常项表达的就是最具一般性的概念，逻辑定律则因为只考虑这些概念而成为最具一般性的科学定律。为使这一思想更为精确，需要衡量一个特殊理论所使用概念的一般性程度，逻辑概念将与这种标准上的最大一般性紧密相关。从历史的角度来看，1900年前后，逻辑被设想为句子、集合和关系的理论；一战后至1930年间，现代逻辑的范本是一个高阶系统，即简单类型论，只有到了1940-1950年的时候，逻辑学家的共同体作为一个整体才开始一致认为一阶逻辑是作为范例的逻辑系统。 1999年，斯坦福大学教授、《哥德尔文集》的主编所罗门·费弗曼说，经典一阶谓词逻辑在我们的思想中具有一种享有特权的作用，因此我们需要寻找各种论证来支持或者挑战这个立场。■ （作者系中国社会科学院哲学研究所副研究员）录入编辑：任凭
④ 什么是经典逻辑和非经典逻辑
经典逻辑
经典逻辑标识已经被最深入的研究和最广泛的使用的一类形式逻辑。它们被特征化为一些性质；非经典逻辑缺乏一个或多个这种特性，它们是:
1:排中律;
2:无矛盾律;
3:蕴涵的单调性和蕴涵的幂等性;
4:合取的交换性;
De Morgan 对偶性: 所有逻辑算子都对偶于另一个。
经典逻辑的例子
亚里士多德的工具论介入了他的三段论理论，它是带有严格形式的判断(judgement)的逻辑: 断言采用四种形式，“所有 Ps 都是 Q”，“有些 Ps 是 Q”，“没有 Ps 是 Q”，“有些 Ps 不是 Q”。这些断定是两对对偶的算子，并且每个算子都是另一个的否定，亚里士多德用他的对立四边形总结了它们之间的联系。亚里士多德明确的公式化表达了排中律和无矛盾律，尽管这些定律不能在三段论框架内作为断定来表达。
乔治·布尔的代数的重新逻辑形式化为布尔逻辑;
Gottlob Frege 的概念文字。
Clarence Irving Lewis 的真势模态逻辑的系统 S1-S5。
非经典逻辑
直觉逻辑拒绝排中律和 De Morgan 律；
次协调逻辑(比如双面真理论和相干逻辑)拒绝无矛盾律；
相干逻辑、线性逻辑和非单调逻辑拒绝蕴涵的单调性；
线性逻辑拒绝蕴涵的幂等性；
可计算性逻辑是可计算性的语义构造的形式理论，相对于是真值的形式理论的经典逻辑；它整和并扩展了经典、线性和直觉逻辑;
模态逻辑向经典逻辑扩展了非真值泛函("模态")算子
⑤ 对逻辑学的认识
逻辑学概述
智慧密钥
2018年08月11日 · 中国诗歌学会会员
一、逻辑学渊源和定义
逻辑学的三大源头：古希腊的形式逻辑、中国先秦时期的“名学”以及印度佛教中的“因明”。
逻辑学是研究思维的形式和规律的科学。旧称名学、辨学、论理学。
逻辑一词主要有三个应用领域，它们之间有着潜在的概念上的统一性。首先是语言和语言的领域，包括发言、演说、描述、陈述、（用语言表达的）论证等等；其次是思想和思维过程的领域，包括思考、推理、解释、说明等等；第三是世界，即我们所言说、所思想的对象，包括构造原理、公式、自然法则等等。
二、逻辑分支
逻辑是一个十分庞大的学科群，其分支主要包括如下：
传统逻辑：亚里士多德的三段论。
经典逻辑：二值的命题演算与谓项演算。
扩展的逻辑：模态逻辑、时态逻辑、道义逻辑、认识论逻辑、优选逻辑、命令句逻辑、问题逻辑。
异常的逻辑：多值逻辑、直觉主义逻辑、量子逻辑、自由逻辑。
归纳逻辑。
思辨逻辑。
三、逻辑学的演变
1.“同中辩异”的认识方法，就是指认识一类事物的共性到认识一类事物之间的差异性或者个别特殊性的推理方法，是一种演绎推理的思维形式。
2.“善譬”实际上是由已知者向未知者论证的一种演绎推理方法，已知者对甲乙两种事物的共性是已知的，而未知者则只知甲不知乙，因而已知者才有可能用已知的甲来喻未知的乙，使未知者也知道乙。这是我国古代学者在论证中常用的一种推理证明形式。
3.“二难推论”，是辩论中经常出现的一种方法，特点是把二难推理的各种形式作为确立己见、反驳他人主张的工具。
4.“杀盗非杀人”。盗贼也是人，杀死盗贼怎么不是杀人呢？推理形式，“或、假、效、辟、侔、援、推”等。侔式推理的五种情况，即“是而然”、“是而不然”、“不是而然”、“一周一不周”、“一是一非”，并对这五种情况分别作了分析。“杀盗非杀人”就属于“是而不然”。
5.“矛盾之说”主要是针对具有反对关系的两个命题，具有反对关系的两个命题不能同真，而不是在说具有矛盾关系的两个命题只能一真一假。
6.“说谎者悖论”是厄匹门尼德说“克里特岛人都是说谎者。”但是，厄匹门尼德本人正是一个克里特岛人，因此这句话的真假就成了一个问题。因为如果按照形式逻辑的法则来判定的话，就会得出同时自相矛盾的结论，最后不知道这句话到底是真话还是谎话，因为如果说这句话是真话，那么这句话恰好是一句谎话，如果说这句话是谎话，则这句话又成了真话。所以，形式逻辑是无法判定这句话的真假的，在这里，同一律、矛盾律和排中律都失效了。“说谎者悖论”以最简单而又最典型、最突出的形式暴露了人类思维、语言的自我矛盾，对这一矛盾，不能用形式逻辑而只能靠辩证思维（辩证逻辑）加以解决。
7.“跑步冠军追不上乌龟”是“阿基里斯是传说中的古希腊神行太保，非常能跑。但他永远追不上同他赛跑的乌龟。因为阿基里斯在追上乌龟之前，必须首先到达乌龟的出发点。当追赶者到达这一点时，乌龟已经向前爬了一段距离。纵使乌龟爬得很慢，它总还是向前爬了一点，因为它不是停在那里。由此证明，阿基里斯始终追不上乌龟。”运动在时间和空间上的非连续性和无限可分性本来就是同连续性和不可分性不能分离的，是以它为前提的。运动就是连续性和非连续性的矛盾统一体，就是有限性和无限性的矛盾统一体。
8.“半费之讼”是普罗塔哥拉为了显示自己收费合理，就采用两次收款的方法，他自信自己教出来的学生学成后一定能当上律师，第一次出庭一定胜诉。违反同一律则必然会产生概念及命题混乱、是非标准不统一的毛病，从而导致诡辩。
9.“精神助产术”是要表达思想，就必须尊重逻辑。“什么是道德”、“什么是善”、“什么是美”。概念中包含着真理，真理的精华在概念中。
10.麦加拉学派的三个重要的贡献：悖论的研究，命题逻辑的研究和模态逻辑的研究。
四、逻辑的基本原理
1.同一律
任何一个概念或命题都有其确定的内容，在思维和论辩过程中，必须保持概念或命题的确定与同一。偷换概念就是偷换一些看似一样的概念，实际上概念的适用范围、所指具体对象、修饰语、具体内涵等已被改变。偷换论题就是指在讨论问题的时候将问题的中心向其他方面挪动，从而使讨论问题的过程不在同一个平台上。偷换命题是指对一个命题进行扭曲、篡改、曲解。在讨论中自觉或不自觉地以一个不同（或表面相同而实则不同）的论题、概念、命题去替换在前边已经使用过的论题、概念、命题，都是违反同一律的表现。
2.矛盾律
矛盾律是指两个互相矛盾的思想不能同时都是真的。在任何思维和论辩过程中，思维必须前后一贯，不能自相矛盾。矛盾律仅仅要求不能有“逻辑矛盾”，也就是不能有自相矛盾的思想；辩证法承认的矛盾，指的是承认客观事物内部的矛盾性，它超出了逻辑所讨论的范围。“某村子里有个理发师，他规定，我只给那些不给自己刮胡子的人刮胡子。请问：这个理发师给不给自己刮胡子？”这就是“罗素悖论”。悖论是一种不能用普通的逻辑方法加以消除的逻辑矛盾。
3.排中律
排中律是指两个互相矛盾的命题不能同时都是对的，因此，在思维过程中，对于两个互相矛盾的命题，就必须承认其中有一个是真的，给予明确的肯定，不能对两者同时都加以否定。违反排中律的逻辑错误主要表现在两个相互矛盾的命题间“骑墙”、含混、“绕道走”、不表态。
4.充足理由律
充足理由律是指在思维和论证过程中，任何一个真论断总是有其充足理由的。充足理由律的基本逻辑要求是：（1）作为理由的命题（可以是一个，也可以是一组）必须是真实的；（2）理由与推断之间必须有逻辑的推论关系。违反第一条要求的错误，称为“虚假理由”（理由是假的）或“预期理由”（理由的真实性还未得到证明）的错误；违反第二条要求的错误，称为“推不出”的错误。充足理由律认为任何一个合乎真理性的论断都应当是有充分根据，提出任何一个正确的论断都必须有根据，而且这个根据和论断有必然的联系，是论断成立的充足条件。
五、逻辑的基本方法
1.定义
定义是用确定的言词、符号、结构来明确被定义对象究竟是什么。下定义，就是给被定义的对象做出一个明确的定义。定义由三个部分组成：被定义项、定义项和关联词。被定义项可以是关于事物本身的概念，也可以是反映事物的性质或者关系的概念，也可以是表达事物、性质、关系的语词或符号。定义项是表达事物、性质、关系的词语或符号，也可以是一个语句。关联词表示定义项与被定义项之间的定义关系，它起到一种指示作用，指明它所在的句子是一个定义，其左方是被定义项，右方是定义项。用定义来明确交谈中使用的概念、词语的意义或所指；用定义方法来建立和巩固新的概念和术语。内涵定义是揭示概念内涵的定义。概念是思维的一种形态，反映了事物的本质或特征，是人的思维的一种组合。概念有两个方面：内涵和外延。概念的内涵是概念的内容，是对对象的反映。概念的外延是概念所指称的对象，可以是具体事物，也可以是事物的性质或关系。明确概念、给概念下定义，揭示概念内涵，这样的定义称为内涵定义。外延定义是从外延方面来明确概念的定义方法，通过将被定义项所指的对象分为若干小类来明确定义项的外延。归纳定义也称递归定义，常用于具有某种构造性要求的学科之中。如在数学和逻辑学中就常用这种方法定义一些方法、规则、结构、集合等。定义的另一个作用是明确对概念的表述，为了在表述交流中避免歧义，需要明确各个语词的含义，明确它们究竟表达的是哪个概念，这种定义就是语词定义。有两种类型：说明的语词定义和规定的语词定义。说明的语词定义是明确给出一个词已有的、并得到社会承认的含义，如词典中对词的解释基本上就是说明的语词定义；规定的语词定义是人们通过约定而规定某些词的含义，这种定义大部分用来缩简语言表达，用一些简练的语词表达另外一些比较繁琐的词语，如，逻辑界中常用“四论”来指称数理逻辑中的公理集合论、递归论、证明论和模型论这四个分支。
2.划分
划分是以事物一定的属性作为标准，把一个属概念的外延分成若干个种概念，用来明确概念的外延的逻辑方法。划分由三部分组成，母项、子项和根据。例如，“人”根据国籍的不同，可以分为“中国人和外国人”。“人”就是母项，“中国人”、“外国人”就是子项，“国籍”就是根据。划分要遵守的规则：第一，子项外延的总和必须与母项外延相等；第二，每次划分的根据必须同一；第三，划分后各子项的外延必须互相排斥。分类以划分为基础，但和划分相比，在根据上要求更高。凡能够区别事物的一般属性都可以作为划分的根据，而分类则要求用事物的本质属性或显着特征作为根据。划分是由人们的实践需要决定的，起作用的时间可长可短；分类多用于每门科学之中，在科学发展的相当长时期中都起作用。
3.论证
论证是指从一些命题（论据）出发，经过一系列推理，而最终得到另一个命题（论题或论点）的一种逻辑方法。论证中所使用的“一系列推理”，叫做论证过程。这些推理可以是演绎推理，也可以是归纳推理。在实践中，论证的运用是相当的广泛，如，演讲、讲课、作报告、写文章等。论证是某个(些)人作出来的，论证是作给人看（或听）的。证明是利用已知真实性的判断，通过说理来说明某一判断的真实性的思维过程。证明是对某一判断之所以真实而提出充足理由的过程。证明是由论题、论据、论证三个部分组成:论题是真实性需要加以说明的判断；论据是说明论题真实性所根据的判断，已知的事实，已掌握的定理、公理、定律、定义以及一些道理等具有真理性的知识可以作为论据；论证是利用论据说明论题真实性的推理过程，是一个或一串较长的推理，前提是证明的根据，最后的结论是被证明的论题。证明又分为直接证明和间接证明:直接证明就是从正面直接证明论题的真实性；间接证明是通过弄清同论题的真与假相制约的其他论题是假的，从而证明这个
⑥ 逻辑学就真的逻辑吗
逻辑学说的逻辑和日常生活中说的逻辑是两回事。比如平时你认为一个人的观点有问题，可能就会说“你这什么逻辑”、“神逻辑”、“你的逻辑有问题”，但是逻辑学中的逻辑是和你的立场、观点无关的，举例如下：甲认为A是正确的，而在A正确的前提下可以推出B，于是甲认为B。此时你觉得A根本是一派胡言，但你不应该说甲的“逻辑”有问题，而应该去论证A的正确性。因为你只是反对A这个前提，而非反对“若A则B”的逻辑链条。乙认为C是正确的，并且在D时C肯定正确，于是乙认为D。这时不管C是否正确，你都可以说乙的逻辑有问题，因为C是D的必要条件而非充分条件，无法由C推出B。你而到了日常生活中，往往会是：你只是指出别人的逻辑链条有问题，却被他认为反对他的观点，致使他 angry ；或是别人反对你的前提条件，却一直说你“逻辑有问题”而把你批判一番；或是两方中的一方开始无休止的诡辩，却不愿在双方公认的前提下开始正常的讨论，只拿别人支持不支持来做文章。这些现象都是很单纯、很幼稚的表现，我们大家都要时刻注意不要犯这些错误，实在不行可以闷声，就一句话也不说，是最好的。逻辑学各分支领域的论文只能分散地发表在不同学科的专业刊物上，这不仅不利于不同学科领域的逻辑学家之间表达观点、传递动态和进行学术合作，而且非常不适应以合作研究为特点，以认知、决策和智能模拟为研究热点的新世纪逻辑学发展现状。
⑦ 什么是概念 什么是逻辑 可以直白一点解释么
独特的概念或逻辑，对于建筑设计究竟有多重要？
最近在做一个课程作业，主题是空间，老师非常强调概念，似乎要概念够抓人才能是好设计，否则就是平庸之作水水就过了。
但以我目前所看过的案例来说，一个抓人的概念往往会在后期的具体设计中遇到各种各样的问题，与各方面的需求不协调，不易贯彻下去。反而有些平常而简单的思路，在推进过程中的困难比较少，使用起来也比较灵活，反而能实现更多的可能性，比如更加丰富灵活的空间。
是不是说是因为我们这些学生水平不够，所以概念操作不透彻，又或者说概念之于建筑并不是那么一个不可撼动的存在？
命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。一般的，在数学中我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。
定义是对概念的内涵或语词的意义所做的简要而准确的描述 。
定理是经过受逻辑限制的证明为真的叙述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。
定律是为实践和事实所证明，反映事物在一定条件下发展变化的客观规律的论断。定律是一种理论模型，它用以描述特定情况、特定尺度下的现实世界，在其它尺度下可能会失效或者不准确。没有任何一种理论可以描述宇宙当中的所有情况，也没有任何一种理论可能完全正确。
模态逻辑，或者叫(不很常见)内涵逻辑，是处理用模态如“可能”、“或许”、“可以”、“一定”、“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征:
复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化: “乔治·布什是美国总统”和“2 + 2 =
4”是真的，但是“乔治·布什必然是美国总统”是假的，而“2 + 2 = 4 是必然的”是真的。
形式模态逻辑使用模态判决算子表示模态。基本的模态算子是 和
。(有时分别使用“L”和“M”)。它们的意义依赖于特定的模态逻辑，但它们总是以相互定义的方式来定义。
研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支模态逻辑所研究的命题"必然 A"和"可能
A"与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时，"必然A"既可以是真也可以是假；当A假时，"可能A"既可以是真也可以是假。
模态逻辑
模态命题演算是现代模态逻辑的基本内容之一。
逻辑基本知识简介概念1 定义概念是思维的基本形式之一，反映客观事物的一般的、本质的特征。一个概念可有其内涵和外延。内涵是指概念所反映的事物的本质属隆的总和，也是概念的内容。外延是指一个概念所确指的对象及范围
2 概念之间的关系
根据两个概念的外延有无重合或重合部分的多少，概念间的关系可分为以下几种：
A 全同关系两个概念的外延完全重合，反映的是同一类事物，但内涵却不完全相同。例如：银川市和宁夏回族自治区的首府这两个概念就是全同关系
B 种属关系：一个概念的外延包含在另一个概念之中，例如中学生与学生, 语文教材和教材这两组概念是种属关系。
C 交叉关系两个概念的外延部分重合。例如：学生和共青团员, 教师与先进工作者这两组概念就是交叉关系。
D 矛盾关系：两个概念有一个共同的属概念，两个概念的外延是排斥的，它们的外延加起来等于属概念的外延。例如，壮会主义国家和非社会主义国家这两个概念就是矛盾关系的概念。
E 反对关系：两个概念有一个共同的属概念，两个概念的外延是排斥的它们的外延加起来小于属概念的外延。例如，社会主义国家和‘资本主义国家这两个概念就是反对关系的概念。
命题1 定义是运用概念进行判断的语言形式是断定或陈述事物清况的思维单位
2 命题与判断
命题不是指判断本身。当相异判断具有相同语义的时候，它们表达相同的命题。在同一种语言中两个相异判断也可能表达相同的命题。例如，雪是白的这个命题也可以说成冰的小结晶是白的，之所以是相同命题，取决于冰的小结晶可视为雪的有效定义.
3 命题与语句
逻辑中的命题和语言中的语句并不是一一对应的。并非所有的语句都表达命题，而且同一个命题可以用不同的语句来表达。在语文学习和实际生活中，可能会经常发现，一句话在字面意义之外，还可能有类似于戏剧中潜台词的言外之意，逻辑学上叫预设义或隐含义。在阅读文章或听别人说话的时候，还要注意各种言外之意推理1 定义是由已知命题得出新的命题的思维过程.往往要通过复句的语言形式来体现2 语言形式：推理的语言形式为表示因果关系的复句或具有因果关系的句群。常用因为所以～一由于因而因此～由此可见之所以是因为等作为推理的关联词3 种类：按推理过程的思维方向划分，可分为如下几类A 演绎推理由普遍性的前提推出特殊性的结论和推理。演绎推理有三段论、假言推理和选言推理等形式。三段演绎法是由一个共同概念联系着的两个性质判断作前提，推出另一个性质判断作结论的推理方法B 归纳推理由特殊的前提推出普遍性结论的推理。归纳推理有以下几种类型：完全归纳法、求同法、求异法等。综合归纳法是以大量个别知识为前提概括出一个一般性结论的推理方法。一C 类比推理
从特殊性前提推出特殊性结论的一种推理，也就是从一个对象的属性推出另一对象也可能具有这种属性。
够多吗？因为概念和逻辑的意思有很多的，你有没有具体问哪一种概念和逻辑，所以唯有这样啦！希望你采纳1O(∩_∩)O谢谢！
2.如果概念最直白来说就是“大概的念头”，逻辑最直白来说的是“思维顺序”。
⑧ 什么是逻辑如何用逻辑的思维去分析事物
逻辑学是研究纯粹理念的科学，所谓纯粹理念就是思维的最抽象的要素所形成的理念。由亚里士多德创立。
〔说明〕在这部分初步论逻辑学的概念里，所包含对于逻辑学以及其他概念的规定，也同样适用于哲学上许多基本概念。这些规定都是由于并对于全体有了综观而据以创立出来的。
我们可以说逻辑学是研究思维、思维的规定和规律的科学。但是只有思维本身才构成使得理念成为逻辑的理念的普遍规定性或要素。理念并不是形式的思维，而是思维的特有规定和规律自身发展而成的全体，这些规定和规律，乃是思维自身给予的，决不是已经存在于外面的现成的事物。
在某种意义下，逻辑学可以说是最难的科学，因为它所处理的题材，不是直观，也不象几何学的题材，是抽象的感觉表象，而是纯粹抽象的东西，而且需要一种特殊的能力和技巧，才能够回溯到纯粹思想，紧紧抓住纯粹思想，并活动于纯粹思想之中。但在另一种意义下，也可以把逻辑学看作最易的科学。因为它的内容不是别的，即是我们自己的思维，和思维的熟习的规定，而这些规定同时又是最简单、最初步的，而且也是人人最熟知的，例如：有与无，质与量，自在存在与自为存在，一与多等等。但是，这种熟知反而加重了逻辑研究的困难。因为，一方面我们总以为不值得费力气去研究这样熟习的东西。另一方面，对于这些观念，逻辑学去研究、去理解所采取的方式，却又与普通人所业已熟习的方式不相同，甚至正相反。
逻辑学的有用与否，取决于它对学习的人能给予多少训练以达到别的目的。学习的人通过逻辑学所获得的教养，在于训练思维，使人在头脑中得到真正纯粹的思想，因为这门科学乃是思维的思维。——但是就逻辑学作为真理的绝对形式来说，尤其是就逻辑学作为纯粹真理的本身来说，它决不单纯是某种有用的东西。但如果凡是最高尚的、最自由的和最独立的东西也就是最有用的东西，那么逻辑学也未尝不可认为是有用的，不过它的用处，却不仅是对于思维的形式练习，而必须另外加以估价。
⑨ 非经典逻辑 非经典推理与经典逻辑 经典推理有何不同
（1）在推理方法上，经典逻辑采用演绎逻辑推理，而非经典推理采用归纳逻辑推理。
（2）在辖域取值上，经典逻辑都是二值逻辑，只有真和假两种，而非经典逻辑都是多值逻辑，如三值、四值和模糊逻辑等。
（3）在逻辑算符上，非经典推理具有更多的运算符。
（4）在运算法则上，两者也大有不同。属于经典逻辑的逻辑形式和数理逻辑，它们的许多运算法则在非经典推理逻辑中就不能成立。
（5）在是否单调上，经典逻辑是单调的，即已知事实均为充分可信的，不含随着新事实的出现而使原有事实变假。而非经典逻辑中，很多事实是人们还不完全掌握其前提条件的情况下初步认可的，当客观情况发生改变或人们对客观情况的认识有更深入的了解，一些旧的认识就可能被修正或加以否定，即事实具有一定不确定性，是可变的。