真假问题是古老而常新的问题。从哲学产生那天起，哲学家们就开始了对真假的考察；但是像“到底什么有真假”、“怎样才算真、怎样才算假”以及“真假的类型”、“真假的确证”、“真假与善恶、美丑的关系”等等至今都仍然被认为是问题。 本文力图依据我们已经实际上知道的真与假，从“我们所知的一切都是由我们的相应的活动确立的”这一基本角度，简要地考察真与假所包含的基本理论问题。 一、知与所知 我们必须首先有所知，然后才谈得上所知的真假。因此，为了考察真假，有必要先考察一下知与所知。 知总是离不开所知，一无所知就等于没有知。 所知离不开所是，所知如果什么都不是那也就没有所知。 我们所知道的是什么是通过我们实际从事的相应的活动来确定的，即通过相应的活动，所知才成为相应的某所知。因而知道什么离不开在干什么、在做什么。 就“所知是什么”是由相应的活动确定的来说，一切有所是的所知都是通过我们实际从事的相应的活动确立起来的，没有相应的活动就不会有相应的所知。 就知离不开所知、而所知又都是由我们实际从事的相应的活动确立的来说，知作为一种活动是建立在我们所从事的其他活动的基础上的间接活动。 根据所知所由确立的活动是否在实际进行，知分为实知与想知。如果我们是在实际地从事某活动的过程中来知由这种活动确立的所知的，那么对这种活动所确立的所知的知就是实知；如果我们在知一种所知时，这一所知所由确立的活动没有实际进行，那么对这种所知的知就是想知。换言之，实知就是在所知被实际确立起来的情况下知所知；想知就是在所知未被实际确立起来的情况下知所知。 所知总是被确立在相应的位置上。所谓所知存在就是所知能被我们的活动在某位置上实际地确立起来，即能在某位置上被实知。所谓所知独立于我们的活动而存在，就是指“我们的活动确立的所知超出了被确立时所处的位置也能存在”。 二、什么是真假 “什么是真假”这个问题可以从两个方面来考察，一是从“什么有真假”来考察，二是从“怎样才算真、怎样才算假”来考察。 真假总是作为有真假者的真假被确立起来的。 真总是指“什么真如何”，假也总是指“什么假如何”；无论离开了“什么真”、“什么假”，还是离开了“真如何”、“假如何”都不会有真者与假者。因此，有真假的真者与假者只能是整个的“什么如何”，即“什么”与“如何”之间的关联。 “什么”与“如何”都是我们的“所知”，因而真者与假者都是所知与所知之间的关联，即真者就是所知与所知之间的真关联，假者就是所知与所知之间的假关联。 所知与所知之间的真关联就是被实际地确立起来的关联，就是能被实知的关联。所知与所知之间的假关联就是不能被实际地确立起来的关联，就是只能被想知、不能被实知的关联。 关联中的所知总是处在相应的内外位置上。关联中的所知的内外位置作为一个整体就是关联的结构。只有当关联中的各项所知全都被相应的活动实际地确立为处在关联所规定的位置上的所知时，或者说，只有当关联中的内外位置全都被实际地确立为由关联中的所知所占据的位置时，关联才是实际的关联，才是真关联。关联中只要有一项所知不能被实际地确立为处在关联所规定的位置上的所知，关联就是不能被实际地确立起来的假关联。 如果用主客观是否一致来说明怎样才算真、怎样才算假，那么所知的“主观性”就是只能是指“被想到”、“被想知”，“客观性”就只能是指“由实际进行的活动确立起来”，即“被实知”，主客观一致就是所知既能被想知又能被实知，主客观不一致就是所知只能被想知，不能被实知。 三、真假的模态 真假的模态就是真假的类型。根据关联中是否至少有一项所知在最初被知时其内容就实际地包含或排斥该关联，可以把关联的真假分为三种类型，即必真必假、可真可假、实真实假。 如果我们所知道的某关联中至少有一项这样的所知：它从一开始被知，其内容就实际地包含着处在关联中的相应位置上的所有其他所知，从而实际地包含着该关联，那么这一关联就是必真的，即关联的各方不能不实际上像所知道的关联本身所表明的那样关联着。必真有时被理解为在本质上真。 如果我们所知道的某关联中至少有一项这样的所知：它从一开始被知，其内容就实际地排斥处在关联中的相应位置上的其他所知中的至少一项，从而实际地排斥该关联，那么这一关联就是必假的。必假有时被理解为在本质上假。 如果在我们所知道的某关联中，各项所知的最初被知的内容全都不相排斥，从而没有一项所知的最初被知的内容实际地排斥该关联，那么这一关联就是可真的，即关联的各方实际上可以像所知道的关联本身所表明的那样相关联。 如果在我们所知道的某关联中没有任何一项所知的最初被知的内容实际地包含处在关联中的相应位置上的所有其他所知，从而没有任何一项所知的最初被知的内容实际地包含整个关联，那么这一关联就是可假的，即关联的各方实际上可以不像所知道的关联本身所表明的那样相关联。 所有可真的关联都同时是可假的，否则就不是可真的，而是必真的；同样，所有可假的关联也都是可真的，否则就不是可假的，而是必假的。因此，可真与可假总是对同一关联而言的，即如果某关联是可真的，那就一定也是可假的，反之亦然。
