②如上所言，胡塞尔将科学规定为“出于根据的认识”.换句话说，科学是由说明或论证所构成的。
胡塞尔认为一切说明都要诉诸理论，而理论的核心就是它的基本法则。基于其说明之功能，胡塞尔又将之称为“说明原则”（Eklrungsprinzipien）（Hua XVIII:236）。如果一个理论的所有说明原则具有统一性，那么这个理论就具有统一性。如果一门科学是完全由这样的理论所规定的，那么这门科学就具有本质上的统一性。胡塞尔提到这样的科学的几个不同的名称，包括：抽象科学（他认为不太合适）、理论科学（不是在一般跟实践科学和规范科学相对的意义下，而是在其理论具有统一性的意义下）、法理科学 （nomologische Wissenschaften）（因为统一它的就是基本法则）、说明的科学 （erklrende Wissen-schaften）（Hua XVIII:236）.
胡塞尔突出真理的理念性，以及强调“理念的抽象”在科学中的作用，似乎与一般人对科学的印象很不一样，难免让人以为他纯粹是纸上谈兵。但其实自然科学家本身在反思科学方法时，也同样会用到“本质”和“抽象”这些概念。例如，牛津大学的化学教授厄金斯 （Peter Atkins）在他的科普作品《伽利略的手指》（Galileo's Finger）中 ,对科学方法的说明就跟胡塞尔的很类似。厄金斯说：我们已经开始看到，科学透过抱持越来越大的抽象来阐明。现在的脉络也如是。当我们把钢铁抽掉而剩下蒸汽机之抽象，我们就获得所有变化来源的表象。也就是说，要是我们直观 （lookat）一个蒸汽机的本质，它抽象的热，以及忽略它实现 （realization）的细节……我们就找到一个覆盖所有事态范围的概念。科学就是这样的：科学从现实中过滤出它的本质，它的宏大理念 （ide-as），然后在自然的其他地方找出相同的幽灵 （phantom spirit）。
三
胡塞尔将逻辑学视为“科学论”（Wissenschaftslehre）。我们在上面已经指出，胡塞尔认为，论证连结的统一性构成了科学的本质。胡塞尔进而指出，论证具有三个特点，这些特点使得作为科学论的逻辑学成为可能：
第一，论证具有“固定架构 （feste Gefüge）之特征”（Hua XVIII:32）。这似乎是指，在所有具体论证中，论据（已知的东西）和结论（要被论证的东西）之间都具有某种固定的、不能随意更动的关系或结构。不是所有已知的东西都可以拿来论证其他东西，而论证过程也有一定的步骤，这些步骤不是可以任意改变的。
第二，在不同的具体论证之间，具有“某种共同性”（etwas Gemeinsames）（Hua XVIII:33）。具体的论证在内容上可以千变万化，无穷无尽。但如果我们撇开内容上的不同，却可以发现，很多不同的具体论证都具有相同的“论证形式”（Begründungsformen），而具体论证的数量可以是无限的，但论证形式的数量却是有限的。这些数量有限的论证形式是具有法则性的，也就是说，如果一个论证具有这样的论证形式，只要它的前提是正确的，那么它的结论也必然是正确的，无论这个论证的内容是什么。
第三，论证形式的有效性是跨越不同科学的，也就是说，有限数量的论证形式具有普遍有效性，无论在什么科学中都是有效的，这些论证形式“与一个具体规限的知识领域没有任何本质的关系”（HuaXVIII:34）.
基于论证所具有的以上特点，就有可能存在一门科学论。按照胡塞尔的想法，这个学科所探讨的并不是现实上被称为“科学”的知识是什么，它所研究的是“科学之理念”（die Idee der Wissenschaft），他说：逻辑学将要研究，什么是属于真实的、有效的科学本身的，换句话说，什么构成科学之理念，以此我们就可以衡量，经验上已有的科学是否符合它的理念，或者它在多大程度上接近它的理念，在哪里违背它的理念。（Hua XVIII:41）科学是人类心灵为了某个特定目标而创造的，这个特定的目标构成了科学之理念。逻辑学包含建立那些一般命题，它们指出具有哪些特点的连结或步骤是符合科学的理念或最终目标的。从这个角度来看，逻辑学就是一门“规范的科学”（normative Wissenschaft），因为它厘定了科学的“基本尺度”（Grundma）（Hua XVIII:41），并以此尺度衡量现实上哪些宣称为“科学”的学问可以称得上是真正的科学。
胡塞尔在《纯粹逻辑学导引》一开始就指出，当时对于逻辑学的争论，其中一个主要问题是：“逻辑学是一门理论学问或是一门实践学问（一门‘技术论’）”（Hua XVIII:23）。胡塞尔本人认为，作为一门规范的科学，逻辑学自然会扩展为技术论 （Hua XVIII:42），探讨实际上有哪些可行的方法可以让我们符合科学的规范，有哪些技巧可以方便我们着手研究，以及如何避免非常容易触犯的错误，等等。例如，笛卡尔有名的《谈谈方法》（Discours de la Méthode）就可以被看作是一部技术论作品。逻辑学包括技术论是不成问题的，但胡塞尔认为，关于逻辑学的性质更重要的问题其实是：“把逻辑学界定为技术论是否切合它的本质特征”（Hua XVIII:46）。对于这个问题，胡塞尔是持否定意见的。
首先，胡塞尔认为，所有规范的科学都以理论的科学为基础，他说：“任何规范的学问以及任何实践的学问，都基于一门或多门理论的学问，因为它的规则必须具有可以与规范化（应然）的思想分开的理论内容，对这些理论内容的科学研究是由那些理论学问所负责的。”（Hua XVIII:53）按照胡塞尔的区分，规范的学问所探讨的是“应当有什么”（was sein soll），而理论的学问所探讨的是“实际有什么”（wasist）（Hua XVIII:53）。对“应当有什么”的探讨涉及好的性质；因为说“一个战士应该是勇敢的”,就相当于说“只有勇敢的战士是好的战士”.因此，我们必须具有对“好的战士”的某个概念，才能做关于“应然”的判断。胡塞尔认为，我们由此可以看到应然判断都包含可以与规范内容分开的理论命题，他说：任何形式为“一个A应当是B”的规范命题，都包含这样的理论命题：“只有一个A,它是B,才具有属性C”,在其中我们以C来显示“好的”这个给出尺度的谓词的建构性内容。这个新的命题是一个纯粹理论的命题，它不再具有任何规范化的思想。（Hua XVIII:60）胡塞尔的分析并不是很详细，但单从他以上的形式化表达看来，他似乎还没有充分证明规范命题总是包括一个纯粹理论的命题。以胡塞尔本人的例子来说明，“一个战士应该是勇敢的”这个规范命题，包括这样的理论命题：“只有一个战士他是勇敢的，才具有‘好的战士’这个属性。”但如果这样一个命题具有“好的”或其他“给出尺度的谓词”,那么这个命题是否可以称为一个“纯粹理论的命题”,却仍然是有问题的。
无论如何，胡塞尔认为作为规范学问的逻辑学要以理论学问为基础，这是没有疑问的。余下的问题只是它的理论基础是什么样的学问。当时流行的看法是，逻辑学的理论基础是心理学，这一想法一般称为“心理主义”（Psychologismus），其代表人物是英国着名逻辑学家弥尔 （J.S.Mill）。胡塞尔的《纯粹逻辑学导引》就是以打击心理主义为目标的，这是此书的中心部分。我们于此不能详细讨论胡塞尔的批评。简单来说，胡塞尔严格区分了进行逻辑演绎的心理行为以及此类心理行为所指向的逻辑对象。胡塞尔拿算术运算来做类比。算术运算无疑是心理行为，但这并不表示心理学是算术的理论基础。算术所研究的是数字，而不是运算这种心理行为。作为运算对象的数字和运算这种心理行为，是完全不同的东西，胡塞尔说：“5”这个数字不是我或其他某个人对“5”的运算，它也不是我或其他某个人对“5”的表象（Vorstellung）。从后一角度来看，它是表象行为的可能对象，从前一角度来看，它是一个形式的理念类 （ideal Spezies），这个形式在特定的运算行为中，在对象方面、被建构的集合方面，得到具体的个别实例 （konkrete Einzelflle）。在任何情况下，不把它掌握为心理经历的部分或面向，从而不把它掌握为一个实在的东西，都是没有矛盾的。（Hua XVIII:174）胡塞尔所谓“理念类”,可以借助传统的“共相”概念来了解。“理念类”是相对于“具体的个别实例”而言的，前者相当于共相，而后者则相当于殊相。当我们看到5个人的时候，这时候这5个具体的人作为一个集合是我的感知行为的对象。就以它是一个有5个人的集合而言，它是“5”这个数字的一个“具体个别实例”.但“5”这个数字本身却不等于这个有5个人的集合。“5”这个数字可以有很多不同的具体个别实例，例如：
5个人、5个苹果、5头牛，但“5”这个数字却只有一个。无论我们看到5个人、5个苹果或者5头牛，只要我们对它们作为一个具体集合进行“理念的抽象”,那么“5”这个数字就成为我们的心理行为的对象，所以胡塞尔说“它是表象行为的可能对象”.“5”这个数字本身并不是具体的东西，胡塞尔将它称为“形式类”（Formspezies）（Hua XVIII:174），它是理念性的（ideal），而不是实在的（real），胡塞尔相信形式类是完全独立于它的具体个别实例的。算术所研究的是理念性的形式类，而不是具体的心理行为。算术命题“5+2=7”所陈述的是“5”、“2”、“7”这些数字本身的关系，而不是特定具体对象的性质。胡塞尔认为逻辑学跟数学一样，研究的是形式类。逻辑学所研究的是逻辑对象本身，而不是逻辑演绎行为，理念性的逻辑对象跟实在的演绎行为是完全不同的东西，所以心理学不能作为逻辑学的理论基础。逻辑学应该有其本身独立于任何经验学问（探讨实在界的学问）之理论基础。这一理论基础，胡塞尔就叫作“纯粹逻辑学”,以别于也包括在逻辑学之内的技术论。
《纯粹逻辑学导引》最后一章题为“纯粹逻辑学之理念”,这是胡塞尔对纯粹逻辑学这门理论学问的规划，其中他提出了纯粹逻辑学的三大任务。如上所言，胡塞尔认为科学的本质是论证，所以论证的可能条件就是科学的可能条件。因此，作为科学论的逻辑学，它的第一个任务就是“固定纯粹的含义范畴、纯粹的对象范畴以及它们法则性的复合”（Hua XVIII:244）。简而言之，它的第一个任务就是厘定构成论证的基本概念，这些基本概念胡塞尔称为“范畴”.胡塞尔把范畴又分为两类，一类涉及“含义”,另一类涉及“对象”,大致相当于现在逻辑学术语所谓的“内涵”（intension）和“外延”（extension）。属于含义方面的范畴，胡塞尔列举了概念、命题、真理以及基本的衔接形式，包括连言的 （konjunktiv）、析言的 （disjunktiv）以及假言的 （hyposthetisch）衔接形式，也就是现在所谓的“逻辑连词”.属于对象方面的范畴，胡塞尔列举了对象、事态、单一、众多、数字、关系、衔接等等 （Hua XVIII:245）。并且他指出，对于所有这些基本概念我们都要探索其“本源”（Ursprung），但不是心理学意义下的，而是“现象学的本源”（Hua XVIII:246）.
纯粹逻辑学的第二大任务是研究“以这些范畴为根据的法则和理论”.在含义方面而言，它探索“推理理论”,也就是一般所谓“论证形式”.而在对象方面而言，它包括基于“众多”概念的“纯粹的众多性学说”（reine Vielheit）以及基于“数字”概念的“纯粹的数字学说”（reine Anzahlenlehre）等 （Hua XVIII:247）。之所以称为“纯粹的”,是因为这些理论涉及的不是特定的具体对象，而是一切可能的对象。
纯粹逻辑学的第三大任务是“可能的理论形式的理论或纯粹的流形论（Mannigfaltigkeitslehre）”.我们在上面指出，对胡塞尔而言，一个系统上完满的理论就是一个公理系统，它由公理和从公理演绎出来的一般法则所构成。胡塞尔似乎认为，只有一定数量的理论形式是可能的。这些可能的理论形式的理念性的对象，胡塞尔称为“可能的知识领域 （Erkenntnisgebiet）”或者“流形”,后者是一个从数学而来的概念 （Hua XVIII:250）。虽然胡塞尔将之称为“知识领域”,但我们必须注意实际上它不是由任何具体对象所组成的实在领域，也许我们可以说它只是空的架构，所以胡塞尔称它为“可能的知识领域”,而对于研究它的理论他称为“纯粹的流形论”.这门学问研究一切可能的理论形式以及它们之间的关系。
如果这门学问能够成功建立起来，那么我们就会看到，任何现实上的理论都是它所研究的理论形式的“个别化”（Singularisierung）（Hua XVIII:251）.
