論理
【2023/11/12】 論理規則はロールズの言う純粋手続き的正義か、それとも完全手続き的正義か
純粋手続き的正義: 手続きに先立って結果の良さがあるわけではない
完全手続き的定義: 結果の良さの概念はまずあって、それを得るものとして手続き的正義がある
もし真理値が論理に先立ってあって、真理保存的なものとして規則があるなら、完全手続き的正義だし、推論規則がまず先にあって、それの妥当性と真理保存が一致するように真理値モデルを作ったというふうなら、純粋手続き的正義ということになる
【2018/9/11】
たとえば不等号の性質(推移性とか)も、推論規則として定式化することはできるし、思考の一般規則かもしれないけど、では論理なのかと言えば、普通「数学」とされると思うので(たぶん)、論理っていうのは論理定項の振る舞いやそれによる定理に関することの研究なんじゃないのかな？