統語論、統辞論とも言う

命題論理式に対して、「証明可能性」を見るのが構文論

公理から演繹可能かどうかだけを見る

意味や真理条件は気にしない

ここ重要！

構文論においては、「真」とか「偽」とかの概念がない

「∧」を「かつ」と見なすのではなく、単なる「∧」という記号と見なす

どういう意味か、とかではなく、記号の形式的な操作をルールに従ってゴニョゴニョしていく感じ

コレあってんのか↓？ #??

意味なんて関係ない！

以下のルールがあるとき

A: パパイヤは全て青い

B: ソクラテスはパパイヤである

C: よって、ソクラテスは青い

AとBの定義から、Cが導ける

これが現実世界の「意味」と乖離しているけどおｋみたいな論調なのか #??

そこが微妙にわからんのだよな

妥当とかいうやつか #??

これもよくわかってないが