動物の権利
今日の動物の権利に関する議論は、最も初期の哲学者たちまでさかのぼることが可能であろう。紀元前6世紀のギリシアの哲学者であり数学者でもあったピュタゴラスは輪廻転生を信じていたため、動物に敬意を払うように主張した。一方、同じアテナイ人であるアリストテレスは紀元前4世紀の著作の中で、動物は理性を持たないため自身の権利はなく人間の利益のためにだけ存在しているとし、存在の偉大なる連鎖 () --あるいは自然の階梯 (scala naturae) --の中で人間よりもはるか下方に位置すると論じた。
数学の哲学
形式主義とは、数学的言明はいくつかの記号列の操作ルールの帰結についての言明とみなしてよいと考えるものである。例えば、ユークリッド幾何学という「ゲーム」（つまり、「公理」という名のいくつかの記号列と、与えられた記号列から新しい記号列を生成する「推理規則」からなるものとみなすということ）において、ピタゴラスの定理が成立する（すなわち、ピタゴラスの定理に対応する記号列を生成できる）ということは証明可能である。形式主義によるなら、数学的真理とは、数とか集合とか三角形といったものについての真理ではない。実のところ、なにものかに「ついての」真理などでは全くない。
別の種類の形式主義はしばしば演繹主義（）という名前で知られている。演繹主義によれば、ピタゴラスの定理は絶対的な真理ではなく、相対的な真理である。「もし」ゲームの規則が真になるような仕方で文字列に意味が与えられるなら、「そのとき」定理を真と認めなくてはいけない。あるいはむしろ、それに与えられた解釈が真なる言明であるとしなければならない。他のすべての数学的言明についても同じことが真とされる。それゆえ、形式主義では、数学は意味のない記号ゲームにすぎないと考える必要はない。ゲームの規則が妥当するなんらかの解釈が存在するということが通常期待されているからである（この立場を構造主義と比較せよ）。しかし、形式主義によって現場の数学者たちは仕事を続けることができるし、いくつかの問題を哲学者や自然科学者に委ねることができる。多くの形式主義者は、どんな公理系を研究すべきかは、実際上、自然科学や他の数学領域の要求によって示唆されると言うであろう。