シェア
どろぼう猫
2020年4月4日 02:25
命題 A における───それが述語記号であれ，個体記号であれ──定項を変項 x に置き換えて得られる ?xA(x) を，A の un-gestalt と呼ぶ。そして，本書の考える「問い」の本質とはそれである。 当然だが，A はその un-gestalt の答えの一つたり得ることになる。 ? はこれを疑問子と呼び，疑問子はそれが係る変項にたいして前置記法で記す。（たとえば，?yB(y)∧C
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
“全”という概念は，次のような意味で静的に定義できない。
2018年11月26日 07:25
Aの信号無視による衝突事故について，警察にでもなんでも良いのだが，Aが事故原因を問われたとしよう。 Aはこのとき，「スマホに夢中で前をよく見ていなかった」と応えることはあっても，「被衝突車がそのとき件の交差点に物理的に存在しやがったから」などとは応えないのが普通の感覚ではないだろうか。我々は，前者を相当な理由として，後者には，「反省してない自分勝手な奴だ」「面の皮が厚い奴だ」などといった感想を
2018年11月25日 05:49
対立する主張があれば喧嘩は成立するが，それだけでは，［論理体系の共同化運動］であるはずの喧嘩は鬱滞して深まらない。喧嘩や論争，議論を深めるためには，“論拠”と“論述”が必要となる。 命題Pに割り当てる真理値の相違によって生起する───すなわち，トピックは“Pか否か”である───次のような喧嘩を考える。A「Pは真だ」B「Pは偽だ」（¬Pだ）このような喧嘩が，ここで止まってしまってはナン
2018年11月23日 07:43
喧嘩には必ずトピックが１つだけ存在する。トピックにはなんらかの命題が対応しており，アバターは，この命題の真理値を相違することによって対立するのである。 たとえば，［死刑制度は廃止すべきか否か］というトピックは次のように解釈できる。すなわち，［死刑制度は廃止すべきである］という命題について，その真理値（普通は“真”か“偽”の二値を排反的に持つ）を争うのである。実は同じことだが，次のような表現も出
2018年11月21日 03:03
ある概念 nx∈N の“意味”は，その概念の存する概念集合 N から真理値集合 T への関数として定義できる。また，その関数空間は当該概念集合の論理的関係を網羅する。 一般に，概念集合 N={n1,n2,...,nm} について各要素の意味を，それぞれNから T＝{⊤,⊥} への関数として定義する。たとえば概念 n1∈N の関数による理解は， N={n1,n2,...,nm} の要素を一つ
2018年11月10日 16:14
本書は既に，喧嘩というものを以下のように定義した。 喧嘩:トピックに対し，ある論理体系間で，その真偽や成否を論理を以て争うもの。また，その態様。このページでは，上掲の定義について，「なぜ，プレイヤーらはそのようにして命題の真偽を争うのか」を記すことで，一層深いところに言及する。このことには，喧嘩の正体を次のように捉えることで答えることができる。すなわち，コミュニティが内在的に持つ画一化
2018年10月31日 19:45
本編に入る前に，いくつかの言葉を簡単に定義しておく。一般的な語義と一致するものもあれば，独自の捉え方をしている言葉もあるし，造語もある。本編を読み進める中で意味不明な箇所にあたったとき，少しでもこのページが役に立てば良い。定義は随時追加予定であるが，「演繹法」「帰納法」「論理」など，たとえ重要な言葉，概念であっても，一般的な捉え方と差異が少なく，ほかの教科書で調べればわかるようなものはここでは基本
