プログラミング言語づくりを通して「構文規則」を見てゆきます。
「まんが/ラビリンス」カテゴリーアーカイブ
マンガ 12.k 論理学 11 論理の形式化
論理学は形式化されることによって、単なる言葉の分析から、推論の構造の全体を調べられるものになったようです。
マンガ 12.j 論理学 10 ストア派の論理学
アリストテレスの名辞論理学に対して、その後の時代のストア派によって作られた論理学は、今の命題論理学に近いものだったようです。
←マンガごっちゃに置かせてもらっています
マンガ 12.i 論理学 9 名辞論理学/ 参考文献ー論理学編
マンガ 12.h 論理学 8 アリストテレス
プラトンの学園で学んだアリストテレスは、ソフィスト達の問答競技の手法なども参考にしつつ、論証や議論の方法をまとめましたが、その中に最古の論理学とも言える「名辞論理学」がありました。
←マンガごっちゃに置かせてもらっています
マンガ 12.g 論理学 7 真実を知るための儀式
おかしな前提から議論を始めるとパラドックスが起こってしまうのなら、パラドックスを起こす前提を取り除いてゆけば、真実にたどり着けるはず…。
プラトンはこれを対話法という方法にし、最後に残る真実を、イデアという正しいことそのものだと考えたようです。
←マンガごっちゃに置かせてもらっています
※ 作中の錯視画像は、北岡明佳・村上郁也・蘆田宏らの画像を参考に作成しました。
マンガ 12.f 論理学 6 パラドックス
マンガ 12.e 論理学 5 プラトンと問い
人の持つべき良い性質とは何か、その考えは正しいのかどうか、などの議論を投げかけたソクラテスは民衆の裁判により死刑になります。このことにプラトンを始めとした多くの人がショックを受けたようです。
そして、多くの人がソクラテスのしようとしていたことは何だったのかを考えた結果、「哲学」となっていったようです。
←マンガごっちゃに置かせてもらっていま
四周年
「三年、鳴かず飛ばず」の楚王の故事にちなんで、4年目から本気出す。などとひそかに思っていましたが、この程度でした。私の本気は…。
・書こうと思っていたことが、理解できていなかった。
・扱おうと思って調べ始めたがよくわからない。
・話に落とし込めない。オチがつかない。
・以前に書いた内容＆絵を見てもだえ苦しむ…。
・記事を書く気力もない…。
といった問題を抱えつつも、「計算」という観点でいろいろなものを見てみることの奥深さを感じています。
計算はおそらく人のすることで、世界は計算ではできてはいない様に思います。であれば計算はどのように実現されているのか。それが有用なのはなぜなのか。計算の外側はどう扱うのか。などを自分なり整理と理解をしてゆきたいです…。(風呂敷拡大中)
マンガ12.d 論理学4 ソクラテス/参考文献 − 哲学者編
プラトンによるとソクラテスは、混乱する政治の中で人々に、人の持つべき良い性質とは何か、その考えは正しいのかどうか、などの議論を投げかけたようです。
←マンガごっちゃに置かせてもらっていま