ゆるゆる べんきょう

暇だから哲学・数学・物理学をゆるく勉強しているよ

2017-05-01から1日間の記事一覧

野矢論理学 3章

ラッセルのパラドクスが生まれる歴史を振り返る。パラドクスが起きるのは二階論理に相当することをしていることを示し、論理学と数学は異なることを強調。パラドクスに対して、3つの反応があることを示す。つまり、論理主義・直観主義・形式主義。 直観主義…