[告知] 第51回ロジバン勉強会

[Masato Hagiwara]

第50回 CLL 勉強会おつかれさまでした。
勉強会の議事録と、次回日程のご案内を差し上げます。

第51回CLL 勉強会は下記内容での実施を予定しております。

日時：2/10(日) 21:00-23:00 (日本時間)

範囲/担当：第18章第12節から guskant さん御担当

--- 以下議事録 ---

guskant sunolili: [meiの定義]
CLL
mei: x1 is a mass formed from the set x2 of n members, one or more of
which is/are x3
guskant sunolili: {me SUMTI me'u mei}という形でmeiを使う場合
どんなスムティをme ... me'u の間に持ってきても、meiが意味を持つようにするために、超限数をnの範囲に入れておくことは重要
guskant sunolili: 「半人前」「人口密度 1.5人/m^2」
guskant sunolili: pimumeiやpapimumeiは、文法的には許されるが、meiの定義から、意味は不明になる
guskant sunolili: 解決法1) 分量セルブリsi'e
mi prenu pimu si'e 「私は半人前だ」
guskant sunolili: 解決法2)
me ... me'u meiを使う
guskant sunolili: 解決法3)
単位を作る（第18節）
guskant sunolili: [meiの定義2]
http://jbovlaste.lojban.org/dict/mei
galfi lo namcu lo brivla .i x1 gunma gi'e zilkancu le namcu
jbovlasteのロジバン定義ではx2, x3が無い
guskant sunolili: http://jbovlaste.lojban.org/dict/zilkancu
zi'o x1 kancu x2 boi x3 = 「x1（集合）の濃度x2（数量）をx3（単位）で数える」
guskant sunolili: {x1 ny mei} = {x1 gunma gi'e se kancu zi'o li ny} =
「x1は（数えると） ny 個」
ただしnyが可算濃度である必要はないはず（{se kancu zi'o}がうまく定義されれば問題ない）
guskant sunolili: [meiの定義3]
http://www.lojban.org/tiki/BPFK+Section%3A+Numeric+selbri
BPFK案ではx3が無い。
"The definitions for this cmavo are many and contradicting."
guskant sunolili: [meiの定義4]
https://groups.google.com/forum/?fromgroups=#!topic/lojban/MAa_IXjpF14
xorxesの案では、CLL定義のx2の元（あるいはx3であるもの?）をx2と定義：
To me, "ci mei" means "x1 are three x2", and has nothing to do with
sets or masses. For example:
ta ci mei lo gerku
"Those are three dogs."
lo ralju jdazei cu ze mei
"The capital sins are seven."
guskant sunolili: 11.2) mi poi pamei = 1人である私
mi noi pamei = 私1人
mi poi remei = 2人である私（達）
mi noi remei = 私（達）2人
guskant sunolili: meiの他の例
前回「Nal Teo: 以下の文は２つとも非論理的？
(1) .i su'o da poi prenu je xanto zo'u da na zasti
(2) .i su'o da poi prenu je xanto zo'u da no mei 」
guskant sunolili: (1) については前回に言及済:
zastiは述語論理の述語に相当するので、論理学的には、x1が存在するかどうかをzastiによって主張することはできない
guskant sunolili: Quineの意味論的公式
"To be is to be the value of a variable"
guskant sunolili: 束縛変項∃xによってのみ、存在を主張できる
guskant sunolili: {x1 zasti x2 x3} = 「x1はx2（観点）・x3（認識体系）において実在する」
=.e'u {x2 manri lo nu su'o da zo'u da me x1 kei x3} =
「x1は、観点x2から、規則x3に従って、存在すると見なされる」
guskant sunolili: (2) について
PA mei 自体は ∃x1 や ¬∃x1 を主張しない
{x1 PA mei} = 「x1は PA 個」
guskant sunolili: 基数の定義に意味を与える集合論の公理から：
{ganai zo'e no mei gi no da me zo'e} = 「某は0個なら存在しない」
{ganai zo'e su'o mei gi su'o da me zo'e} = 「某は1個以上なら存在する」
zo'eの指示対象に関係なく恒真
guskant sunolili: これは述語論理の公理だけから証明される恒真ではなく、集合論の公理も前提とする
guskant sunolili: ta'o ra'unai それぞれの対偶も真
「某は存在するなら0個ではない {na'e no mei}、ゆえに（集合論の公理から）1個以上である」
{ganai su'o da me zo'e gi zo'e su'o mei} は真
「某は存在しないなら1個以上ではない {na'e su'o mei}、ゆえに（集合論の公理から）0個である」
{ganai no da me zo'e gi zo'e no mei} は真
guskant sunolili: ta'onai
guskant sunolili: 以下のことが証明できる：
{su'o da no mei} は偽
{no da no mei} は真
guskant sunolili: 背理法による証明：
da'i su'o da zo'u da no mei
.ije ganai da no mei gi no de zo'u de me da #恒真命題を追加。zo'eをdaに置き換え、daをdeに置き換えたもの。
.i va'i su'o da no de zo'u de me da
.i lo du'u go'i ku nafte vo'a
.iseni'ibo naku su'o da zo'u da no mei #最初にda'iで仮定した命題を否定
.i va'i no da no mei
guskant sunolili: .uo
guskant sunolili: .i ba'o se jarco
guskant sunolili: wwwww
guskant sunolili: which was what we wanted
guskant sunolili: 同様に証明できる：
{no da su'o mei} は偽
{su'o da su'o mei} は真
guskant sunolili: (2) {su'o da poi prenu je xanto zo'u da no mei}
は、偽であることが（集合論の公理に基づいて）証明される命題
日本語訳の案：「ヒトゾウは存在するが、0個（人? 頭?）だ」
Nal Teo: le'i ratcu poi zvati le panka
lu'i lo ratcu poi zvati le panka
重城良国: le broda poi brode は意味的にありうるか
guskant sunolili: moiに付くnが取れる値の範囲は、順序数（自然数と超限順序数）
guskant sunolili:
http://en.wikipedia.org/wiki/Platform_9%C2%BE#Platform_Nine_and_Three_Quarters
9+(3/4)番線をどうするか？
guskant sunolili: 有理数の濃度は自然数と同じ
me li so su'i ci fi'u vo me'u moi
guskant sunolili: me ... me'u moi の間に入ることのできる「納得できる
(plausible)」スムティの集合から、自然数の中への写像が存在する
意味のあるブリヴラになっている
guskant sunolili: 「無理数番め」は？
me li pai me'u moi
moiに付くnyとして、超限順序数も許されるはずだから、順序数の中への写像が存在する
意味のあるブリヴラになっている
guskant sunolili: ホグワーツ特急の発車番線としては、有理数より適しているかもしれない。
guskant sunolili: si'eに付くnが取れる値の範囲は、複素数であってほしい (e'o)
guskant sunolili:
http://en.wikipedia.org/wiki/Schr%C3%B6dinger_equation#Time-dependent_equation
guskant sunolili: 波動関数Ψの時間変化
guskant sunolili:
iℏはプランク定数ℏのi倍の分量
le vi stodi cu ka'osi'e le la plank. stodi
guskant sunolili: ℏは光のエネルギーEと振動数νの関数
E=2πℏν
ℏは(質量)*((長さ)^2)*((時間)^(-1))という次元を持つ物理量
guskant sunolili: va'eに付くnが取れる値の範囲は不明（段階の軸の定義がはっきりしないため）。
おそらく0≦n≦1の実数。
guskant sunolili: 位置が異なるというより、段階軸上の区間の大きさが違う
0ーー＋ーーー1 (cifi'uxa)
0＋＋＋ーーー1 (pafi'ure)
guskant sunolili: 11.10) le vi rozgu cu sofi'upanova'e lo ni xunre ?
guskant sunolili: me...[me'u]MOI の意味は？
nの代わりにme...[me'u]がある
me...[me'u]の中身として「納得できる」ものの集合から、本来nが取れる値の集合の中への写像が、存在するはず。
そう考えないと意味不明。
guskant sunolili: plausible: 納得できる（回答の選択肢として）
http://ponjbogri.github.com/cll-ja/vlaste.txt
Masato Hagiwara: http://en.wiktionary.org/wiki/snowball%27s_chance_in_hell
重城良国: vei ny. su'i pa ve'o moi でOK?
guskant sunolili: do me mi va'e citka
guskant sunolili: mo'e MOhE スムティを被演算子に
guskant sunolili: me'i mo'e mi va'e
重城良国: mo'e mi va'e
重城良国: me mi va'e
guskant sunolili: mo'e lo cifnu va'e
guskant sunolili: mintu lo cifnnu
重城良国: dunli lo cifnu
Nal Teo: https://docs.google.com/spreadsheet/pub?key=0Aq-6DgnxopzRdFR6b1NqVlpNMjh4eXhHZWtLSzdVM3c&output=html
guskant sunolili: me li mo'e lo cifnu me'u va'e


--
Masato HAGIWARA
http://lilyx.net/