网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
现代形式逻辑即数理逻辑分类中的一种。现代的逻辑学家通常把现代形式逻辑区分为基本逻辑(包括标准逻辑和非标准逻辑)、元逻辑(包括逻辑语形学、逻辑语义学和逻辑语用学)和应用逻辑三大类，而把基本逻辑和元逻辑视为纯粹逻辑或理论逻辑，以同应用基本逻辑与元逻辑于某种具体科学领域而形成的逻辑系统即应用逻辑相对。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。