2013-03-17から1日間の記事一覧

統語論と意味論ってなんなのか

ニコニコ大百科の論理学のページを見て、統語論と意味論というものについて、初めて理解できた気がする。統語論と意味論何が論理式や推論であるのかを決める規則が統語論、推論が妥当かどうかを決める規則が意味論だそうな。ニコニコ大百科の論理学のペー…