「これまで知られていなかった 事実（論理的内容）を， これまで知られていた事実に基づいて構成してみせる」

ということにあります．これは数学証明と同じことです．

また，私は論文を書くときの心構えとして，プログラムを書くつもり になれ，ということをよく言います．その意味は，

• 構造として階層的な構造をとる．(main-> subroutine-> subsub...)
• 前の章の結論が次の章の前提（仮定となる）（引数の受け渡し）
• はじめて出る概念，用語，記号は説明する（変数定義）
• 文章，パラグラフ，項などにやたらと内容をつめこまない （シンプルな関数定義）

それでは具体的には何を注意するべきでしょうか．いくつか ポイントをあげます．

• 文章やパラグラフの接続詞に注意せよ．たとえば， 「したがって〜」と書くときには，本当に前段の文章に内容 から後段の文章の内容が帰結されるかどうか，確認する．
• ある文脈の中で，一つの用語が２つの意味で使われていないか． たとえば，「対象」という単一の用語がひとつの段落で２つの別の ものを指し示していないか．

• 指示代名詞の参照先は明確か．たとえば，「その」，「そういった」， 「これを」などの用語の参照先として複数の可能性がないか確かめる．

• 数に気を付ける．たとえば，「〜が存在する」というときに， それが単一であるのか，複数であるのか，どちらでもよいのか， なくてもよいのか，すべてであるのか，など など．英語で書くとこうしたことは明確になるが，日本語では あいまいになりやすい．ちなみに，論理でも 存在限量子(existential quantifier：Eを左右逆転させた記号) と普遍限量子(universal quantifier：Aを上下逆転させた記号) の区別は根幹になる．

• 数と同様に，必然と蓋然の違いに 気を付ける．「〜が生じる」といったときに，それは 常に生じるのか，生じることがある，ということなのかを区別する．

• 条件を述べるときに，それは必要条件であるのか， 十分条件であるのかの区別にも注意する． 「AであることからBである」と書くと，BにとってAは十分条件でなくては ならない（すなわち，Aの成立によりBは必ず成立する）．

• 文章の最後に気を付ける．それは明確に断言されること がらなのか（論理的帰結），一般的に考えられていることなのか， あるいは，単なる可能性，推測を述べているだけなのか，を 明確にする．

• 形容詞／句の係り受けに注意する．日本語は名詞の前にダラダラ と形容詞／句を付けることができるが，何がどこに係っているかが 不明確になりやすい．悪い例を下にあげる．

  「多様な作業状況に柔軟に対処できる優れた作業者の計算機支援システムの アーキテクチャ」

• 仮定（前提）と帰結が循環していないか．これはよく 見かける．結論を一見違ったことばで仮定しておいて， そこから望みの結論を導き出す（当たり前！），という ことをしていないか．