文は、命題ではなく形式の判断である。個々の命題は、先行する文脈に依存し、テキストは、形式の文脈として表現される。その際、文に対する証明は、一般的に定項ではなく、変項として生成される。直感主義論理は、テキストのダイナミズムを処理するためにこのような方法を採用している。
花村嘉英(2005)「計算文学入門−Thomas Mannのイロニーはファジィ推論といえるのか?」より
【このカテゴリーの最新記事】
-
no image
-
no image
-
no image
-
no image
-
no image