キリスト教については、スピノザとしては、キリストの復活は、信者達に対してのみその把握力に応じて示された出現に他ならないとし、またキリストが自分自身を神の宮として語ったことは、「言葉は肉となった」(ヨハネ)という語句とともに、神がもっとも多くキリストの中に顕現したことを表現したものと解している。また徳の報酬は徳そのものであるとする立場からは、道徳律は律法としての形式を神自身から受けているか否かにかかわらず神聖かつ有益であるとしており、神の命令に対する不本意な隷属とは対置されるところの、人間を自由にするものとしての神に対する愛を推奨している。また神をその正義の行使と隣人愛によって尊敬するという意味でのキリストの精神を持つかぎり、何人であっても救われると主張している。批判.文脈自由文法背景.文脈自由文法はノーム・チョムスキーによる句構造文法の研究の中から、形式言語の類別(形式言語の階層やチョムスキー階層の記事を参照)のひとつとして見出されたものである。文脈自由文法の形式性は、言語学が伝統的に自然言語の文法を形式的に記述してきた既存の方法(例えばパーニニ)に倣っている。たとえば、入れ子(nesting)を自然に捉えていることや、形式的であることから形式的な手法が使えるという利点がある。一方で問題もあり、たとえば自然言語の文法の重要な機能である一致や参照といった属性は綺麗に表すことができない(自然言語に限らず、プログラミング言語でもしばしば文脈自由文法から「はみ出している」仕様がある)。文脈自由文法は効率的な構文解析アルゴリズムを適用できる程度に単純である。つまり、ある文字列が特定の文法による言語に属しているかどうかを判断することができる(例えばアーリー法)。初期の構文解析手法であるLR法やLL法は文脈自由文法のサブセットを扱うものであった。形式的定義.ここで例.最初の例を示す。ここで、|は「選択」を意味し、εは空の文字列を意味する。この文法によって生成される言語は以下のようになる。これは正規言語ではない例でもある。この文法は、構造が異なる構文木から同じ文字列が生成されうるという意味で曖昧である。その他の例.導出と構文木.