シェア
どろぼう猫
2019年3月20日 03:15
抽象化と一般化については，文脈によってニュアンスを察することが難しくないため，本書でも特に区別していない。しかし，次のような区別を考えると，この言葉たちが実践されてきたコンテクストによく整合するように思われる。すなわち，あるトークン a に言及する命題 A に対して，それぞれ一般化:∀xA[a,x]抽象化:∃xA[a,x]といった定義をすることによる区別である。（本項では，論理式
2019年10月3日 04:29
論述は議論の本質的構成要素であるが，これを恒に誰にでも請求できる（或は，我々はみんな，誰に対しても恒に論述を加える義務を負っている）と考えるのは不合理であろう。本書では，論述をしなくてはならないという義務を【論述債務】と称ぶことにして，その発生事由や消滅事由なども考えていきたい。そこで，本項では取り急ぎその発生事由を簡単に述べる。AのBに対する主張aの論述債務は，【Bの論理体系にAがaによ
2019年10月1日 04:28
本書では，論争の完成によってそのコミュニティに得られる利益の一般を【論益】と称ぶ。（論争に参与するアバター間において，そのトピックの命題に与えられる真理値一致の確認を以て，その論争は完成するものとする）論争の一般に，そのトピックに静謐する益を認めることが出来るように思われるが，──いわゆる喧嘩界隈など──論争すること自体を利得に設定すべきコミュニティを俎上に乗せたときは混乱が生じ易いように
2019年3月18日 04:45
本書 p.15 では，信念について次のように記した。 信念は，次のように，専らプラグマティックに定義される。すなわち，それが内的に，形而下に作用するような主体たるアバターの諸言動である。つまり，観測ないし知覚可能であるような言動を伴わないものは信念としてナンセンスであり───むしろ，そんなものは信念として認められなくてよろしい───伴うものが，信念として有意味であり，それら観測ないし知覚可能
2019年3月6日 04:15
『絶対はない』という考えは，素朴には真理に映るかもしれない。 しかし，私は，このような考えは誤りだと考えている。本項ではこの理由を説明する。 そのためには，まず，われわれの信念というものの本質を見つめなおさねばならない。そして，理由や根拠の繋がりには，いずれ担保を失う一群の命題（私は，これを公理系と呼んだこともあった。）が存在するという理屈も，思い出さねばならない。 われわれの信念体系
2019年2月13日 02:24
推論の代表的な３つの形式として，演繹法（deduction）,帰納法（induction）,仮説推論（abduction）を挙げることができる。 それぞれの推論は，述語論理学の表現力によって，次のように簡単に記述できる。*
2019年2月12日 14:04
我々は皆，信念を持っているはずだ。 人の本質を，“思考の活動ないし，系”（つまり，論理体系，アバター）に在らしめんとする本書では，むしろ，そう言うべきだろう。 信念は，次のように，専らプラグマティックに定義される。すなわち，それが内的に，形而下に作用するような主体たるアバターの諸言動である。つまり，観測ないし知覚可能であるような言動を伴わないものは信念としてナンセンスであり───むしろ，そ
2019年1月30日 17:47
トートロジー（恒真式）にも，次のように，内的なものと外的なものとが区別され得るのではないか。
2019年1月25日 05:15
まずは，外的矛盾と内的矛盾を定義する。
2019年1月5日 19:29
喧嘩ないし論争を考察することと，論理を考えることは親和性が高い。そして，論理を考える上で，“矛盾”という概念は避けて通れない。 本項ではこの“矛盾”をつぎのように定義しよう。すなわち，任意の命題Aが矛盾しているとは，Aを真にする解釈が──その解釈の関数空間上に──存在し得ないようなAの論理構造を指す。 （本項では，解釈 I によって，命題 P に ⊤ が対応付けられることを I(P)=⊤
2018年12月16日 19:36
p3 では概念を関数として捉える方法を記したが，本項では“人格”を関数として捉える方法を記す。このような関数を“人格関数”と称ぶ。ここで，「人格も概念なので，このページって結局 p3 に包摂されるような内容じゃないの？」というように考える人がいるかも知れない。しかし本項の目的は，人格を関数によって定義するというより，人格を関数によって機能的に扱えるようにする───そのような仕方で，人格を関数に
2018年12月9日 02:07
トピックの遷移は〈条件遷移〉と〈非条件遷移〉に大別できる。 条件遷移は，任意の主張 P と，その条件関係にあるQ,R に対して次のような類別が出来る。 条件関係 Q→P の真偽についてトピックが遷ったものを〈前件関係遷移〉といい，このような前件関係が認められる Q の真偽にトピックが遷ったものを〈前件遷移〉という。 条件関係 P→R の真偽についてトピックが遷ったものを〈後件関係遷移〉
2018年12月1日 18:39
喧嘩について，その論理的過程を記録したものを“論譜”と呼ぶ。論理的過程というのは，トピックの真偽を争うにあたって，真理関数的な関係にある命題に対する論証であったり，その否定であったり，またはその真偽に疑義を投げかけるような文言のことをそう呼んでいる。とにかく，オリジナルトピックの真理値に関わるような言明一般が論理的過程である。（あるオリジナルトピック T に対して，分枝したトピック T’ が真
2018年11月29日 13:39
“全”という概念は，次のような意味で静的に定義できない。
