構文論
統語論、統辞論とも言う
命題論理式に対して、「証明可能性」を見るのが構文論
公理から演繹可能かどうかだけを見る
意味や真理条件は気にしない
ここ重要！mrsekut.icon
構文論においては、「真」とか「偽」とかの概念がない
「∧」を「かつ」と見なすのではなく、単なる「∧」という記号と見なす
どういう意味か、とかではなく、記号の形式的な操作をルールに従ってゴニョゴニョしていく感じ
コレあってんのか↓？mrsekut.icon #??
意味なんて関係ない！
以下のルールがあるとき
A: パパイヤは全て青い
B: ソクラテスはパパイヤである
C: よって、ソクラテスは青い
AとBの定義から、Cが導ける
これが現実世界の「意味」と乖離しているけどおｋみたいな論調なのか #??
そこが微妙にわからんのだよなmrsekut.icon
妥当とかいうやつか #??
これもよくわかってないが