制约逻辑语义学概述

一、客观世界的逻辑结构制约逻辑语义学所讲的客观世界的逻辑结构,如下表:1.个体——真值函数与真值函数关系     

宇宙智能、人类智能、人工智能

在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针。宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制,这便是“宇宙智能”,人认识后便是从已知进入新知。这客观的必然过渡就是客观的“制约关系”。人类、机器按各自能实现的方式去摹写、模拟宇宙智能,便分别是“人类智能”、“人工智能”。人工智能的基础装置是基于制约逻辑的内涵智能机,其硬件的核心元件是模拟客观的制约关系的“制约门”。希望由中国人首先研制出第一代内涵智能机。     

"失钻悖论"剖析——不存在"自指"语句

"失钻悖论"乃基于含有空词的空话,空话之值为非"真"非"假"的"虚".任何被称为"悖论"的莫不皆然,均为故弄玄虚.在应由良知占主导地位的人类文明史中原本不应出现会"从明显可接受的前提,经明显可接受的推导,推出明显不可接受的结论"这种向壁虚构、无事生非的荒唐怪事.语句的客观的形成过程和语义映射决定了事实上不可能构建出任何"自指"语句.以为真有"自指"语句从而营造出"悖论"是思辩逻辑在虚伪的舞台上演出的一场持续了许多世纪的子虚乌有的闹剧.     

必然,可能,偶然,风马牛

在普通逻辑思考实际中,必然既不是1元的模态词,而且,必然与恒真的真值函数之间也并无内在联系。“A必然B”的含义为:“可独立于A、B的真值确定不会是A真而B假”,其中的“可独立于A、B的真值确定”称为“第一独立性”。“A必然B”的符号表达式为“A B”,可念作“A制约B”,其中的称为“制约号”,是2元的非正统的联结号。可能就是不必然不;偶然就是不必然且可能;“A风马牛B”的含义为“把A或 H、B或 B不论是放在前域还是后域,这之间的关系都是偶然”,故而也可称为“彻底的偶然”。容易验证,从语义上说,正统一阶谓词演算中的A B(A蕴涵B)和在其它语言中用来作为逻辑工具的“若A,则B”之间的关系是风马牛。     

普通(形式)逻辑推理应是演绎的一统天下

(一)我们所见到的我国现行高校普通(形式)逻辑教材,多是按传统观点把推理分为演绎、归纳、类比三大类。将推理分为演绎、归纳、类比三大类,必然定义:演绎是从一般到特殊的推理;归纳是从特殊到一般的推理;类比是从特殊到特殊的推理。但事实上,演绎并非一般到特殊的推理;归纳并非特殊到一般的推理,类比也并非特殊到特殊的推理。仅以演绎为例,典型的演绎是直言三段论,人们常用以为例的“凡人皆有死,张三是人,张三有死”就不是从一般到特殊的推理,而事实是一般与个别“合取”推个