論理という機械（メモ）
■基本アイデア
論理を一種の機械としてしてイメージする。
■この機械の特徴
真理を入力すると真理が出力される（真理保存性）
■使用上の注意
出力（結論）の正しさを判定するためには、入力（前提）に注目すること
■対応
- 前提ー導出ー結論
- 入力ーロンリ機械ー出力
■この観点から整理してみたいこと
- 論理とは何か？（論理の仕組み）
- 典型的な実例（誤謬論）
- 価値の議論について（「よい」「わるい」「べきだ」「べきでない」）
- 論理学の開拓者たちの軌跡
- 日常的な議論のヒント
すると、論理についての小さな手引きができる
