特称

問 太郎の組には33人いる．男は女よりも3人多い．男女の人数をそれぞれ求めよ． (解答) とする．このとき，次のような方程式 を書ける．いま ∃-仮定 ∃-仮定 に対して と表し，これらを解けば i.e. i.e. を得る． したがって であるから すなわち ∃-導入，∃-除去 ∃-導入，∃-除去 である． ▢ 【補足】 上記の問題は存在判断として解いたが，これはsuch. that. のうち，真であるものを選んだ，という意味が含まれている．つまり，以外の数でも，存在判断としては正しいと言えてしまう．以前，単独判断は全称判断に含まれる，ということを書いたが，この単独判断という考え方で，もう一度…

問 あめが10個あります．何個か貰ったので30個になりました．あめを何個貰いましたか？ (解答と説明) とする．このとき，文論理は原始的で で表される．いま可能世界について真理値を考えると P Q R T T T ①T T F ②T F T ③T F F ④F T T ⑤F T F ⑥F F T ⑦F F F ⑧ であるから，②が棄却されるので，それ以外が可能であることがわかる．つまり，文論理的に▢は何個でもよい，という判断である．改めて，▢を求めるとはどういうことだろうか？ いま，単独判断は全称判断に含まれると考えると，▢を全称判断で考えることができる．では，全称判断と特称判断の違いは何だろ…

今日（2/3）は雑節の一つ「節分」です。歴書によれば、「本来は、二十四節気の気候が移り変わる、立春、立夏、立秋、立冬の前日のことでしたが、それが時代を経て、春だけに用いられる様になりました。現在では立春の前日の特称となっています。」とあります。この日は、二十四節気が一巡し再び立春が巡って来る大寒の末日にあたり、俗に「年越し」「年とり」「追儺（ついな）」などと呼ばれ、神社仏閣だけでなく一般家庭でも、豆を撒いて、鬼を追い払う行事が行われるのです。 追儺（ついな）とは、大晦日に疫鬼などを払う儀式、または民間で節分に行われる鬼を払う行事。儺（だ、な）あるいは大儺（たいだ、たいな）、駆儺。鬼遣（おにやら…

とする．このとき次を示せ． (1) の元の位数 < とするときに対して が成立する． (記号の量化) 量化できるもの ① について より () からは全称，は特称である，とわかる．これより 例 とは何か？ 集合 を考える．このとき，たとえばである，とする．すなわち との共通部分は である．これよりとしてを考えると ② について 対象言語 メタ言語 (証明の方針) (⇒) を示す． 1 (1) 前提 1 (2) 1. ∀-除去 3 (3) 仮定 4 (4) 仮定 3,4 (5) 3,4. ⇒-除去 i.e. それゆえである．すなわち．これよりであるからを得る． 3,4 (6) i.e. () 5…

前書き：立法作業の条件 被害概念とその前提 売掛は利用客の利益だが 民主的解決を願う 可哀想な人と被害者は違う ﾏｲﾝﾄﾞｺﾝﾄﾛｰﾙ論の嘘 論点は売掛以外に設定を 結局はカテゴリ差別：宗教 結局はカテゴリ差別：風俗 後書き：瓢掌不鳴と陰陽 前書き：立法作業の条件カルト宗教規制に通ずるけど、一方の可哀想な人を被害者として扱うべく他方を加害者に仕立て上げる嘘混じりの規制手法、ほんとやめたほうがいいよ。なお、ここまでの文章を読んでカルト宗教の語に嫌悪感を覚えた人、(善し悪しはべつにしても)それこそが差別意識です。 規制論やるなら先ず色眼鏡を外して‥AV新法もそうだが凡そ規制論は業者側への差別感情か…

判断の類型 を1つの集合とする． ①全称肯定判断 例 すべての人間はある動物である ②全称否定判断 例 すべての人間はすべて植物でない ③特称肯定判断 例 ある人間はある動物である ④特称否定判断 例 ある人間はすべて植物でない ☆ については概念の内包，は概念の外延である．