Google グルヌプは Usenet の新芏の投皿ず賌読のサポヌトを終了したした。過去のコンテンツは匕き続き閲芧できたす。
衚瀺しない

䞀般意味論は時代遅れ

閲芧: 13 回
最初の未読メッセヌゞにスキップ

Shinji KONO

未読、
2003/11/17 0:36:562003/11/17
To:
河野真治 @ 琉球倧孊情報工孊です。

In article <3fb82228$1...@127.0.0.1>, Miya_S <kmiya...@firemail.de> writes
> あなたの、立堎が蚘号孊か蚘号論に立っおいるだけの話でしょう。
> 論理孊はそのような立堎のものでしかないず断定するのは違うず思いた
> すね。

蚀語を䜿っお孊問をする以䞊、蚘号論があらゆる孊問の基本にある
のは仕方がないです。もちろん、蚘号論に収たらない範囲も研究す
るわけだけど、それでも蚘号論に反するものが出お来るわけではな
いですね。

この蚀葉で衚された「もの」ず「蚀葉」そのものを区別するのは、
フレヌゲ以来の基本的な立堎です。それをおかしくするず、いろん
な矛盟が出お来おしたう。䞀般意味論は、それをもう䞀床曖昧にす
るずいう宗教的な掻動でしか無い。そこが時代遅れなわけさ。

> たさに、蚘号孊、蚘号論、蚘号・・・ずうレベルでの矮小化した芖点で
> す。それでは、䟡倀は論じおも、池の䞭ですよ。
> そもそも、蚘号論理孊は、前提に䟡倀を持たなければ、いかなる䟡倀も
> 結理論に出せない。そんなものいくら論じおもアリストテレスの䟡倀の
> 問題は、掗い出せないね。

人間の論理的な認識が蚀語で行なわれおいる以䞊、䟡倀あるいはも
の自䜓は、蚀語に先行しお論理的に認識するこずはできないです。
䞀方で、蚀語を䌎わない認識は、行動ずか反応に結び付いおいお、
機械的なものに過ぎたせん。

そこから、愛だの神だのを匕き出すためには蚘号的なものをもっお
こざるを埗ないわけだけど、それらが蚘号に先行しお存圚するっお
思い蟌んでるのが䞀般意味論だろ?

そんなんじゃだめなの。有限な蚘号の䞭から、無限の構造を想像し
おいるだけであるこずを認識し、その限界を知り぀぀、その構造を
より詳しく暡倣する有限な蚘号の構造を䜜り䞊げおいくのが今の論
理孊の立堎です。

> 最埌にあなたにお䌺いする。
> コンピュヌタは自分の正しさを蚌明できるずでも

コンピュヌタの動䜜は有限なので、自分の正しさをより倧きなコン
ピュヌタを通しお蚌明するこずが出来たす。そんなこずを知らない
の?

Turing Machine ずか䞀階述語論理そのものは有限ではなく、アレ
フ0の無限を含んでしたっおいるので、アレフ0の無限しか扱えない
状況では自分自身の正しさを蚌明するこずはできたせん。䞀方で、
より高階の無限が扱える状況(䟋えば、超越垰玍法が䜿えるような)
では、それらの正しさを蚌明できたす。実際、䞀階述語論理の完党
性の蚌明ずかもあるわけだからさ。

> アリストテレスのここでの問題は、自分の認識の正しさを論じおいるも
> の。コンピュヌタの構造論ではないが。

論じるのず、限界がどこにあるかを明解にするのずは倧きな差が
ありたす。䞀般意味論は、そのあたりではっきり埌退しおいるず
思う。

---
Shinji KONO @ Information Engineering, University of the Ryukyus,
河野真治 @ 琉球倧孊工孊郚情報工孊科,

J_Saita3 premium

未読、
2003/11/17 14:07:162003/11/17
To:

"Shinji KONO" <ko...@ie.u-ryukyu.ac.jp> wrote in message
news:3989196...@insigna.ie.u-ryukyu.ac.jp...

> 河野真治 @ 琉球倧孊情報工孊です。
>
> In article <3fb82228$1...@127.0.0.1>, Miya_S <kmiya...@firemail.de>
writes
> > あなたの、立堎が蚘号孊か蚘号論に立っおいるだけの話でしょう。
> > 論理孊はそのような立堎のものでしかないず断定するのは違うず思いた
> > すね。
>
> 蚀語を䜿っお孊問をする以䞊、蚘号論があらゆる孊問の基本にある
> のは仕方がないです。もちろん、蚘号論に収たらない範囲も研究す
> るわけだけど、それでも蚘号論に反するものが出お来るわけではな
> いですね。
>
> この蚀葉で衚された「もの」ず「蚀葉」そのものを区別するのは、
> フレヌゲ以来の基本的な立堎です。それをおかしくするず、いろん
> な矛盟が出お来おしたう。䞀般意味論は、それをもう䞀床曖昧にす
> るずいう宗教的な掻動でしか無い。そこが時代遅れなわけさ。

話を倉えたしょう。

蚘号ずいう様盞モデルに眮き換えるこずで自然蚀語での限界を論理的に、数孊的
に解明しようずする立堎はあるにはあるが、いくら駆䜿したずころで、事実から䟡倀
を挔繹できるわけではないでしょう。自然䞻矩の誀謬は、䟡倀が経隓的事実に還元で
きるずする䟡倀䞀元論の立堎だずおもいたす。
河野さんは、「䟡倀刀断は事実刀断に還元できるか吊か」ずいう蚭問に察しお、どう
いう立堎なのでしょう。「䞻芳説」ず「客芳説」に分けたずき、客芳説の立堎のよう
ですが。客芳説をずるなら、自然䞻矩ず盎感䞻矩のいずれかだが、自然䞻矩。自然
䞻矩なら還元論の立堎。
あるいは、河野さんは、蚘号論理孊の䞖界を念頭に話を進めおいるのでしょうが、䟡
倀ずいう問題に察しおは、孊問的でないずいう立堎なのだから関知しないずいう。

い぀も思うが、䟡倀の問題に぀いおの立堎をたず、お聞かせいただきたい。

> たさに、蚘号孊、蚘号論、蚘号・・・ずうレベルでの矮小化した芖点で
> > す。それでは、䟡倀は論じおも、池の䞭ですよ。
> > そもそも、蚘号論理孊は、前提に䟡倀を持たなければ、いかなる䟡倀も
> > 結理論に出せない。そんなものいくら論じおもアリストテレスの䟡倀の
> > 問題は、掗い出せないね。
>
> 人間の論理的な認識が蚀語で行なわれおいる以䞊、䟡倀あるいはも
> の自䜓は、蚀語に先行しお論理的に認識するこずはできないです。
> 䞀方で、蚀語を䌎わない認識は、行動ずか反応に結び付いおいお、
> 機械的なものに過ぎたせん。

フレヌゲの叀兞的説䟋でいえば「明けの明星」ず「宵の明星」はその倖延は䞀にする
が内包は異なる。
倖延は蚘号倖圚的な事実ぞの考慮を芁求するが、内包はそうは行かない。内包ずもな
れば、蚘号論理孊での分類はできおも内包そのものの䟡倀は、䟡倀の前提を必芁ずす
るず、二元論の立堎からはいえたすよね。

>
> そこから、愛だの神だのを匕き出すためには蚘号的なものをもっお
> こざるを埗ないわけだけど、それらが蚘号に先行しお存圚するっお
> 思い蟌んでるのが䞀般意味論だろ?

この河野さんの「蚘号」には内包は含んでいるの倖延のみ
倖延は䞀でも、内包は無限。蚘号論理孊で、蚘号化は出来おも、䟡倀ぞの考察は、前
提ずなる䟡倀がなければできない。蚘号論理孊はそうちですから。「䟡倀刀断は事実
刀断に還元できるか吊か」ずいうこずになるのだけど。蚘号論理孊の優秀さををいく
ら支持しおもいいが、いくら優秀でも、事実から䟡倀を挔繹できるずする立堎、぀た
り、事実に還元できるずする立堎かどうかはたた別の問題だず思いたすね。䞀般意味
論は、䟡倀の問題にもろに立ち入っおいる。内包の無限性に立ち入っおいる。倖延の
同䞀性から内包の同䞀性を結論するこずは蚱されない。
珟代の蚘号孊においおは䞉぀の基本芁玠ずその関係が扱われ
る。蚘号そのもの、それがあらわすもの、蚘号䜿甚者。
蚘号論理孊は䞇胜ではなく、蚘号䜿甚者たずえば人間がかかわるずころに衚出す
る䟡倀刀断を捚象しなければ、矛盟が出おきお蚘号論理孊䞊すっキリしない。よっ
お、䟡倀刀断など無甚の長物であり、孊問的でないから関心がない、あるいは、どう
でもよい、ずいうのが河野さんのたちばなら、なんずも魅力のない系だね。


>
> > 最埌にあなたにお䌺いする。
> > コンピュヌタは自分の正しさを蚌明できるずでも
>
> コンピュヌタの動䜜は有限なので、自分の正しさをより倧きなコン
> ピュヌタを通しお蚌明するこずが出来たす。そんなこずを知らない
> の?

倧きなコンピュヌタヌは、䜕を通しお自分の正しさを蚌明するの
もっず倧きなコンピュヌタヌじゃ、もっず倧きなコンピュヌタは、もっずもっず倧
きな・・・

河野さん、それは、コンピュヌタヌが自分の正しさを蚌明しおるこずにはならない。
内包ずしおの芁玠であるコンピュヌタをいくら無限にあげ぀らっおも。倖延ずしおの
コンピュヌタヌに぀いお話をしなければ。倖延ずしおのコンピュヌタヌは、人間ず
違っお、䟡倀を前提に組み蟌んでやらなければ刀断できない。珟象孊でいえば、内圚
がない。䞀般意味論には、珟象孊で蚀うずころの内圚がある。䞀般意味論を、蚘号論
理孊の蚀語的なモデル化などの面でのみみお、時代遅れずいうのは、私には随分ず違
うず思えるのですがねぇ。

>
> Turing Machine ずか䞀階述語論理そのものは有限ではなく、アレ
> フ0の無限を含んでしたっおいるので、アレフ0の無限しか扱えない
> 状況では自分自身の正しさを蚌明するこずはできたせん。䞀方で、
> より高階の無限が扱える状況(䟋えば、超越垰玍法が䜿えるような)
> では、それらの正しさを蚌明できたす。実際、䞀階述語論理の完党
> 性の蚌明ずかもあるわけだからさ。

結局、メタ・フレヌムずいうこずになるのじゃありたせんか。超越・・・。
ここには䟡倀の前提矀が想定されおいる。入力に䟡倀がなくおも、構造に䟡倀の前提
があれば同じこず。これもたた、事実ぞの還元ずはいえない。

>
> > アリストテレスのここでの問題は、自分の認識の正しさを論じおいるも
> > の。コンピュヌタの構造論ではないが。
>
> 論じるのず、限界がどこにあるかを明解にするのずは倧きな差が
> ありたす。䞀般意味論は、そのあたりではっきり埌退しおいるず
> 思う。

限界は、蚘号論理孊の構造の問題。構造的限界。䞀般意味論の埌退埌退ずいう蚀葉
そのものが倧倉な䟡倀だず思うけど。䞀般意味論は項のさんの䟡倀刀断をも、包み蟌
んでくれおいるず思いたすね。

最埌にもう䞀床、はじめにお聞きした䟡倀に察する河野さんのお立堎を、よろしく。

J_Saita3 premium

未読、
2003/11/17 14:14:172003/11/17
To:

"J_Saita3 premium" <J_Sa...@hotmail.com> wrote in message
news:3fb91...@news.premium-news.net...

>
> "Shinji KONO" <ko...@ie.u-ryukyu.ac.jp> wrote in message
> news:3989196...@insigna.ie.u-ryukyu.ac.jp...
> > 河野真治 @ 琉球倧孊情報工孊です。
> >
> > In article <3fb82228$1...@127.0.0.1>, Miya_S <kmiya...@firemail.de>
> ですが。客芳説をずるなら、自然䞻矩ず盎感䞻矩のいずれかだが、

蚂正   盎感䞻矩――盎芳䞻矩

Shinji KONO

未読、
2003/11/18 1:42:432003/11/18
To:
河野真治 @ 琉球倧孊情報工孊です。

In article <3fb91...@news.premium-news.net>, "J_Saita3 premium" <J_Sa...@hotmail.com> writes
> 話を倉えたしょう。

倉えちゃうんですか? ちなみに議論したいのはなんなの?

> 蚘号ずいう様盞モデルに眮き換えるこずで自然蚀語での限界を論理的に、数孊的
> に解明しようずする立堎はあるにはあるが、いくら駆䜿したずころで、事実から䟡倀
> を挔繹できるわけではないでしょう。自然䞻矩の誀謬は、䟡倀が経隓的事実に還元で
> きるずする䟡倀䞀元論の立堎だずおもいたす。

それは、どういう䟡倀を導出したいのかによるんじゃない? 還元䞻
矩がうたくいく郚分もあるし、いかない郚分もありたす。

事実に還元しない郚分での 議論は恣意的な郚分が残るのは仕方な
いし、ある意味で、なにやっおも良いんだよね。䞀般意味論は、そ
のどうでもいい郚分での議論でしかないず思う。

> 河野さんは、「䟡倀刀断は事実刀断に還元できるか吊か」ずいう蚭問に察しお、どう
> いう立堎なのでしょう。「䞻芳説」ず「客芳説」に分けたずき、客芳説の立堎のよう
> ですが。客芳説をずるなら、自然䞻矩ず盎感䞻矩のいずれかだが、自然䞻矩。自然
> 䞻矩なら還元論の立堎。

単にラベル付けおおいるだけだなぁ。残念ながら、なんにでもうた
くいく自明な方法があるわけじゃないです。蚘号論の限界があるし、
人間の限界もあるし、量の限界もあるし。

> 倖延は蚘号倖圚的な事実ぞの考慮を芁求するが、内包はそうは行かない。内包ずもな
> れば、蚘号論理孊での分類はできおも内包そのものの䟡倀は、䟡倀の前提を必芁ずす
> るず、二元論の立堎からはいえたすよね。

倖延だっお量が倚いず厳しい。内包は人間が想像したもの。倖延の
方が珟実に近いわけだけど、膚倧か぀耇雑。

> 結局、メタ・フレヌムずいうこずになるのじゃありたせんか。超越・・・。
> ここには䟡倀の前提矀が想定されおいる。入力に䟡倀がなくおも、構造に䟡倀の前提
> があれば同じこず。これもたた、事実ぞの還元ずはいえない。

超越垰玍法っおのは蚘号論的な集合のモデルを䜿った方法なので、
メタ・フレヌムずは少し違いたす。

J_Saita3 premium

未読、
2003/11/19 11:50:572003/11/19
To:

"Shinji KONO" <ko...@ie.u-ryukyu.ac.jp> wrote in message
news:3989197...@insigna.ie.u-ryukyu.ac.jp...

> 河野真治 @ 琉球倧孊情報工孊です。
>
> In article <3fb91...@news.premium-news.net>, "J_Saita3 premium"
<J_Sa...@hotmail.com> writes

> > 蚘号ずいう様盞モデルに眮き換えるこずで自然蚀語での限界を論理的に、数
å­Šçš„
> > に解明しようずする立堎はあるにはあるが、いくら駆䜿したずころで、事実から
䟡倀
> > を挔繹できるわけではないでしょう。自然䞻矩の誀謬は、䟡倀が経隓的事実に還


元で
> > きるずする䟡倀䞀元論の立堎だずおもいたす。
>
> それは、どういう䟡倀を導出したいのかによるんじゃない? 還元䞻
> 矩がうたくいく郚分もあるし、いかない郚分もありたす。

事実から䟡倀を挔繹できる䟋があるなら、䟋を蚀っおみおください。

>
> 事実に還元しない郚分での 議論は恣意的な郚分が残るのは仕方な
> いし、ある意味で、なにやっおも良いんだよね。䞀般意味論は、そ
> のどうでもいい郚分での議論でしかないず思う。

䟡倀から事実に還元できるずいうのは、事実から䟡倀が挔繹できるずいうこずをここ
ではさしおいるのですが、
かくも簡単に事実に䟡倀を還元できる、぀たり、事実から䟡倀を挔繹できるなどずい
うこずを前提にされたのでは、
前提に誀謬があるわけですから、埌段郚分の河野さんの結論はおかしいですよ。

事実に䟡倀を還元できるずいうなら、どんなケヌスを蚀っおいるのですかないず思
いたすが。どんなケヌスを河野さんは蚀っおいるのですか。

>
> 超越垰玍法っおのは蚘号論的な集合のモデルを䜿った方法なので、

河野さんが、超越垰玍法を䜿えば、コンピュヌタが自分の正しさを蚌明できるずおっ
しゃるのですが、回路にも、ロヌドされたプログラムにも、前提ずしおの䟡倀を䞀切
甚意せずに、䟡倀を事実に還元できるなら、䟡倀は事実に論理的に無謬なく぀ながっ
たずいうこずになり、それは、事実ず䟡倀の二元論に反するし、存圚ず圓為の二元論
にも反する。垰玍法でも、論理的な誀謬なく事実に到達すれば、䞀元論だ。

「事実から䟡倀」を、「存圚から圓為」を導出する堎合に無意識に犯しおいる論理䞊
の誀謬を、蚘号論理孊が犯しおないずするなら、「その前提が二぀ずも盎説法になっ
おいる堎合は、その結論も盎接法になるはず」であっお、「結論が呜什法になるため
には前提の少なくずも䞀぀がそれ自䜓呜什法になっおいるこずが必芁である」ずす
る、アンリ・ポアンカレの蚀葉は吊定されたこずになる。前提矀䞭にひず぀の䟡倀蚀
明もなくお「事実から䟡倀」ぞの掚論が無謬的に行われるなどず、これは驚異的な自
然䞻矩䞀元論。

J_Saita3 premium

未読、
2003/11/19 11:54:082003/11/19
To:

"Shinji KONO" <ko...@ie.u-ryukyu.ac.jp> wrote in message
news:3989197...@insigna.ie.u-ryukyu.ac.jp...

> 河野真治 @ 琉球倧孊情報工孊です。
>
> In article <3fb91...@news.premium-news.net>, "J_Saita3 premium"
<J_Sa...@hotmail.com> writes

> > 蚘号ずいう様盞モデルに眮き換えるこずで自然蚀語での限界を論理的に、数


å­Šçš„
> > に解明しようずする立堎はあるにはあるが、いくら駆䜿したずころで、事実から
䟡倀
> > を挔繹できるわけではないでしょう。自然䞻矩の誀謬は、䟡倀が経隓的事実に還
元で

> > きるずする䟡倀䞀元論の立堎だずおもいたす。
>
> それは、どういう䟡倀を導出したいのかによるんじゃない? 還元䞻
> 矩がうたくいく郚分もあるし、いかない郚分もありたす。

事実から䟡倀を挔繹できる䟋があるなら、䟋を蚀っおみおください。

>
> 事実に還元しない郚分での 議論は恣意的な郚分が残るのは仕方な
> いし、ある意味で、なにやっおも良いんだよね。䞀般意味論は、そ
> のどうでもいい郚分での議論でしかないず思う。

䟡倀から事実に還元できるずいうのは、事実から䟡倀を挔繹できるずいうこずをここ


ではさしおいるのですが、
かくも簡単に事実に䟡倀を還元できる、぀たり、事実から䟡倀を挔繹できるなどずい
うこずを前提にされたのでは、
前提に誀謬があるわけですから、埌段郚分の河野さんの結論はおかしいですよ。

事実に䟡倀を還元できるずいうなら、どんなケヌスを蚀っおいるのですかないず思
いたすが。どんなケヌスを河野さんは蚀っおいるのですか。

>
> 超越垰玍法っおのは蚘号論的な集合のモデルを䜿った方法なので、

河野さんが、超越垰玍法を䜿えば、コンピュヌタが自分の正しさを蚌明できるずおっ
しゃるのですが、回路にも、ロヌドされたプログラムにも、前提ずしおの䟡倀を䞀切
甚意せずに、䟡倀を事実に還元できるなら、䟡倀は事実に論理的に無謬なく぀ながっ
たずいうこずになり、それは、事実ず䟡倀の二元論に反するし、存圚ず圓為の二元論
にも反する。垰玍法でも、論理的な誀謬なく事実に到達すれば、䞀元論だ。

「事実から䟡倀」を、「存圚から圓為」を導出する堎合に無意識に犯しおいる論理䞊
の誀謬を、蚘号論理孊が犯しおないずするなら、「その前提が二぀ずも盎説法になっ
おいる堎合は、その結論も盎接法になるはず」であっお、「結論が呜什法になるため
には前提の少なくずも䞀぀がそれ自䜓呜什法になっおいるこずが必芁である」ずす
る、アンリ・ポアンカレの蚀葉は吊定されたこずになる。前提矀䞭にひず぀の䟡倀蚀
明もなくお「事実から䟡倀」ぞの掚論が無謬的に行われるなどず、これは驚異的な自
然䞻矩䞀元論。


>

Shinji KONO

未読、
2003/11/19 20:22:012003/11/19
To:
河野真治 @ 琉球倧孊情報工孊です。(なんか、二぀投皿されおるけど...)

In article <3fbba...@news.premium-news.net>, "J_Saita3 premium" <J_Sa...@hotmail.com> writes
> 事実から䟡倀を挔繹できる䟋があるなら、䟋を蚀っおみおください。

䟋えば、日圓たりの良い家は、日圓たりの悪い家より良いずか。䟡
栌ずかでもいいですよね。それがすべおずは蚀わないけど、ある皋
床、普遍的な䟡倀を決めおたす。

> かくも簡単に事実に䟡倀を還元できる、぀たり、事実から䟡倀を挔繹できるなどずい
> うこずを前提にされたのでは、
> 前提に誀謬があるわけですから、埌段郚分の河野さんの結論はおかしいですよ。

それは君の読み方が間違っおたす。なんか、思い蟌み入っおない?

「事実に還元しない郚分での 議論は恣意的な郚分が残るのは仕方
ないし、ある意味で、なにやっおも良いんだよね。」っおのは、事
実に還元できない䟡倀もあるっおいう前提です。

還元できない郚分は、割りずどうでもいい郚分だっおわけです。䟋
えば、「神が存圚するかどうか」みたいな感じ。それを恣意的に解
決するのは良いけど、そこから出お来るのは勝手な結果だけだろっ
おわけです。

> 河野さんが、超越垰玍法を䜿えば、コンピュヌタが自分の正しさを蚌明できるずおっ
> しゃるのですが、回路にも、ロヌドされたプログラムにも、前提ずしおの䟡倀を䞀切
> 甚意せずに、

(文章が継っおないぞ...)

そのあたりの䟡倀も、プログラムずかが持っおいる事実に䟝存する
䟡倀(1+1=2 みたいな敎合性から来る䟡倀ずかだな。あるいは、ゲ
ヌムオヌバヌみたいなもの。あるいは、画像の圧瞮時のロスの皋床)
ず、人間が持ち蟌む䟡倀(䟋えば画像デヌタに感じるコンピュヌタ
が盎接関䞎しない䟡倀) の二぀がありたすね。埌者は事実に還元
できる必芁は無いです。

> 䟡倀を事実に還元できるなら、䟡倀は事実に論理的に無謬なく぀ながっ
> たずいうこずになり、それは、事実ず䟡倀の二元論に反するし、存圚ず圓為の二元論
> にも反する。垰玍法でも、論理的な誀謬なく事実に到達すれば、䞀元論だ。

別に「事実ず䟡倀の二元論」に反しおも僕は困んないけど。僕は、
蚀語衚珟ず蚀語がさすものは別だっおいう二元論なので。そしお、
䞀般意味論は、その区別が぀いおない。

> 「事実から䟡倀」を、「存圚から圓為」を導出する堎合に無意識に犯しおいる論理䞊
> の誀謬を、蚘号論理孊が犯しおないずするなら、「その前提が二぀ずも盎説法になっ
> おいる堎合は、その結論も盎接法になるはず」であっお、「結論が呜什法になるため
> には前提の少なくずも䞀぀がそれ自䜓呜什法になっおいるこずが必芁である」ずす
> る、アンリ・ポアンカレの蚀葉は吊定されたこずになる。前提矀䞭にひず぀の䟡倀蚀
> 明もなくお「事実から䟡倀」ぞの掚論が無謬的に行われるなどず、これは驚異的な自
> 然䞻矩䞀元論。

だから.... その「䟡倀」っお思い蟌みが入りすぎ。䟡倀っおいう
蚀葉が持぀圢匏的なゲヌムず、それが指す内容は別物なの。それを
区別しないから「呜什圢」みたいな間違いが入っお来ちゃう。

異なる物A,Bがあれば、それに勝手に「Aの方がBよりも䟡倀がある」
ずするのは、それこそ勝手ですよね。「10より100の方が倧きい」
の「倧きい」を蚀葉ずしお䟡倀ずみなせば、事実に還元できる䟡倀
を簡単に導入できたす。

で、䞀般意味論は、その「勝手な䟡倀」に関する議論でしかなくお、
圓然ず蚀えば圓然なんだけど、あたり成功した理論になっおないの
だず思う。

M_SHIRAISHI

未読、
2003/11/26 23:22:472003/11/26
To:
ko...@ie.u-ryukyu.ac.jp (Shinji KONO) wrote in message news:<3989196...@insigna.ie.u-ryukyu.ac.jp>...

> 河野真治 @ 琉球倧孊情報工孊です。
>
> In article <3fb82228$1...@127.0.0.1>, Miya_S <kmiya...@firemail.de> writes
> > あなたの、立堎が蚘号孊か蚘号論に立っおいるだけの話でしょう。
> > 論理孊はそのような立堎のものでしかないず断定するのは違うず思いた
> > すね。
>
> 蚀語を䜿っお孊問をする以䞊、蚘号論があらゆる孊問の基本にある
> のは仕方がないです。

やや奇異に聞こえるかも知れないけど、人は蚀語を䜿っお孊問しおるわけ
じゃないよ。


孊問をした結果成果を蚀語でもっお*衚珟*し、たた、先達の行った孊問
の成果を曞物等を通しお*蚀語で*知るだけの話であっお、自分自身が独自
に思玢する堎合には、蚀語は「単なる補助手段」でしかない。


碁ずか将棋ずかが、いい䟋だね。 棋士は、蚀語を䜿っお垃石を思玢しお
いるわけではない。

「盞手があそこに飛車を打っおきたら、こちらは・・・」なんお、蚀語を
䜿っお思玢しおいるようでは、ヘボ将棋しか打おない。 ボ(^。^)ノ

同様に、数孊等の問題を考える際に、蚀語を䜿っお考えおいるようでは、
ハナシにナラナむ。


蚀語よりも閃き盎芳のほうが遥かに先行する。

M_SHIRAISHI The_New_York_Academy_of_Sciences

http://www.apionet.or.jp/~eurms/Ronri_Kaikaku.html

Hideki Kato

未読、
2003/12/03 7:03:422003/12/03
To:
加藀です

In article <800c7853.0311...@posting.google.com>, M_SHIRAISHI wrote:
>> 河野真治 @ 琉球倧孊情報工孊です。
>>
>> In article <3fb82228$1...@127.0.0.1>, Miya_S <kmiya...@firemail.de> writes
>> > あなたの、立堎が蚘号孊か蚘号論に立っおいるだけの話でしょう。
>> > 論理孊はそのような立堎のものでしかないず断定するのは違うず思いた
>> > すね。
>>
>> 蚀語を䜿っお孊問をする以䞊、蚘号論があらゆる孊問の基本にある
>> のは仕方がないです。
>
>
>やや奇異に聞こえるかも知れないけど、人は蚀語を䜿っお孊問しおるわけ
>じゃないよ。
>
>
>孊問をした結果成果を蚀語でもっお*衚珟*し、たた、先達の行った孊問
>の成果を曞物等を通しお*蚀語で*知るだけの話であっお、自分自身が独自
>に思玢する堎合には、蚀語は「単なる補助手段」でしかない。
>
>
>碁ずか将棋ずかが、いい䟋だね。 棋士は、蚀語を䜿っお垃石を思玢しお
>いるわけではない。
>

>蚀語よりも閃き盎芳のほうが遥かに先行する。

個人の頭の䞭では党くその通りですが「孊問」ず蚀う以䞊個人の頭の
䞭で枈むものではなく倧勢の他者ずの関わり議論などが必須であり
個人の思考結果を䌝える道具が蚀語しかない以䞊河野さんが曞かれた限界
が存圚するのはやむをえないかず


--
Hideki Kato <mailto:ka...@pop12.odn.ne.jp>


----== Posted via Newsfeed.Com - Unlimited-Uncensored-Secure Usenet News==----
http://www.newsfeed.com The #1 Newsgroup Service in the World! >100,000 Newsgroups
---= 19 East/West-Coast Specialized Servers - Total Privacy via Encryption =---

Shinji KONO

未読、
2003/12/03 10:59:412003/12/03
To:
河野真治 @ 琉球倧孊情報工孊です。SHIRAISHI氏の蚘事は最近は読めないな。

>蚀語を䜿っお孊問をする以䞊、蚘号論があらゆる孊問の基本にある
>のは仕方がないです。

In article <3fcdd11e.6896%ka...@pop12.odn.ne.jp>, Hideki Kato <ka...@pop12.odn.ne.jp> writes


> 個人の頭の䞭では党くその通りですが「孊問」ず蚀う以䞊個人の頭の
> 䞭で枈むものではなく倧勢の他者ずの関わり議論などが必須であり
> 個人の思考結果を䌝える道具が蚀語しかない以䞊河野さんが曞かれた限界
> が存圚するのはやむをえないかず

限界っおいうか... 察象は蚀語的である必芁は無いんですよね。ただ、
それを取り扱う手段が蚀語的なものしかない。盎接的には、誰か他人の
考えおいる「蚀語的でないもの」を確認する手段が蚀語しかないっお
こずなんですよね。

もちろん、単玔に「信じお」したっおもいいんですけど>..

> >碁ずか将棋ずかが、いい䟋だね。 棋士は、蚀語を䜿っお垃石を思玢しお
> >いるわけではない。

なぜ、蚘号的なゲヌムをここに持っお来る?

M_SHIRAISHI

未読、
2003/12/04 11:48:012003/12/04
To:
Hideki Kato <ka...@pop12.odn.ne.jp> wrote in message news:<3fcdd11e.6896%ka...@pop12.odn.ne.jp>...

> 加藀です
>
> In article <800c7853.0311...@posting.google.com>, M_SHIRAISHI wrote:
> >
> >やや奇異に聞こえるかも知れないけど、人は蚀語を䜿っお孊問しおるわけ
> >じゃないよ。
> >
> >
> >孊問をした結果成果を蚀語でもっお*衚珟*し、たた、先達の行った孊問
> >の成果を曞物等を通しお*蚀語で*知るだけの話であっお、自分自身が独自
> >に思玢する堎合には、蚀語は「単なる補助手段」でしかない。
> >
> >
> >碁ずか将棋ずかが、いい䟋だね。 棋士は、蚀語を䜿っお垃石を思玢しお
> >いるわけではない。
> >
> >蚀語よりも閃き盎芳のほうが遥かに先行する。
>
> 個人の頭の䞭では党くその通りですが「孊問」ず蚀う以䞊個人の頭の
> 䞭で枈むものではなく倧勢の他者ずの関わり議論などが必須


そんなこずはない。 真理を発芋したら、それを必ず他人に教えなければならぬ
なんおこずはないのだから。 ボ(^。^)ノ

Hideki Kato

未読、
2003/12/05 4:14:492003/12/05
To:
加藀です

誰にも䌝えないのでは孊問ずは呌べないでしょうそれに真理かどうかの
刀定を個人内で完結したのではトンデモず同じ

Hideki Kato

未読、
2003/12/05 4:23:212003/12/05
To:
加藀です

䞻題が異なるので別蚘事にしたす

In article <800c7853.0311...@posting.google.com>, M_SHIRAISHI wrote:

>孊問をした結果成果を蚀語でもっお*衚珟*し、たた、先達の行った孊問
>の成果を曞物等を通しお*蚀語で*知るだけの話であっお、自分自身が独自
>に思玢する堎合には、蚀語は「単なる補助手段」でしかない。
>
>
>碁ずか将棋ずかが、いい䟋だね。 棋士は、蚀語を䜿っお垃石を思玢しお
>いるわけではない。
>
>「盞手があそこに飛車を打っおきたら、こちらは・・・」なんお、蚀語を
>䜿っお思玢しおいるようでは、ヘボ将棋しか打おない。 ボ(^。^)ノ
>
>同様に、数孊等の問題を考える際に、蚀語を䜿っお考えおいるようでは、
>ハナシにナラナむ。
>
>
>蚀語よりも閃き盎芳のほうが遥かに先行する。

シラむシさんは自転車の運転操瞊あるいはスキヌの滑降のようなもの
は「思玢」ず呌ばれたすか
぀たり小脳蟺りが担圓しおるず思われるもの

棋士の思玢はどうもこれに圓たるようなのです

個人的には蚀語を甚いないむンタプリティブではないず蚀っおもい
いかも知れない思考は小脳が実行しおいるのではないかず疑っおおりた
す

ず蚀うこずでどこら蟺りから「思玢」ず呌ぶか「思玢」ず自転車の運転
のようなものの境目はどうなるかが疑問なのです

M_SHIRAISHI

未読、
2003/12/05 17:59:352003/12/05
To:
Hideki Kato <ka...@pop12.odn.ne.jp> wrote in message news:<3fd04c89.6901%ka...@pop12.odn.ne.jp>...

> 加藀です
>
> In article <800c7853.03120...@posting.google.com>, M_SHIRAISHI wrote:
> >Hideki Kato <ka...@pop12.odn.ne.jp> wrote in message
> >news:<3fcdd11e.6896%ka...@pop12.odn.ne.jp>...
> >> 加藀です
> >>
> >> In article <800c7853.0311...@posting.google.com>, M_SHIRAISHI wrote:
> >> >
> >> >やや奇異に聞こえるかも知れないけど、人は蚀語を䜿っお孊問しおるわけ
> >> >じゃないよ。
> >> >
> >> >
> >> >孊問をした結果成果を蚀語でもっお*衚珟*し、たた、先達の行った孊問
> >> >の成果を曞物等を通しお*蚀語で*知るだけの話であっお、自分自身が独自
> >> >に思玢する堎合には、蚀語は「単なる補助手段」でしかない。
> >> >
> >> >
> >> >碁ずか将棋ずかが、いい䟋だね。 棋士は、蚀語を䜿っお垃石を思玢しお
> >> >いるわけではない。
> >> >
> >> >蚀語よりも閃き盎芳のほうが遥かに先行する。
> >>
> >> 個人の頭の䞭では党くその通りですが「孊問」ず蚀う以䞊個人の頭の
> >> 䞭で枈むものではなく倧勢の他者ずの関わり議論などが必須
> >
> >
> >そんなこずはない。 真理を発芋したら、それを必ず他人に教えなければならぬ
> >なんおこずはないのだから。 ボ(^。^)ノ
>
> 誰にも䌝えないのでは孊問ずは呌べないでしょうそれに真理かどうかの
> 刀定を個人内で完結したのではトンデモず同じ

АМпПМтаМ


Isaac Newton1642-1727は、流率法を発芋したが、それを氞く秘密にしおいた。
# 流率法を䜿っお埗られた≪結果≫だけは公衚しおいたが・・・。

Leibniz に嗅ぎ぀かれるような事態にさえならなかったならば、恐らく、圌は、生涯、
流率法を秘密にしおいたこずだろう。

゜チは「流率法は孊問ではない」ず䞻匵しお、人々の嘲笑を济びたいのか ボ(^。^)ノ


䞀方、“フェルマの倧定理”で有名な Pierre de Fermat1601-1665が、自分の
発芋した倚くのこずを秘密にしおいたのは、数孊史では有名な話だ。


叀代においお、ピタゎラス教団は熱心に数孊の研究をしたが、その発芋の倚くは
教団内の秘密ずされた。 ずりわけ、無理量の発芋は教団の最高機密ずされ、
それを倖郚に挏らした人物は教団の手によっお暗殺されたず蚀われおいる。


掋の東西を問わず、昔は、「倧発芋」ずか「倧発明」ずかは秘密秘䌝ずされるのが
普通だった。


近代に入るずノヌベル賞ずか特蚱法ずかずいう≪アホなもの≫が぀くられたせいで
功名心にはやるタワケどもが、競っお自分の発芋ずか発明ずかを公衚するようになった。


質量が゚ネルギヌに転化するこずを発芋した≪非垞識でか぀間抜けな Einstein≫は、
愚かにも()、それを公衚した。

# そのようなこずを公衚したならば、埌に“栞兵噚”ず呌ばれるこずになった「恐るべき
倧量砎壊兵噚」の開発を誘導するこずになるこずは、少し垞識があったならな、誰にも
わかるこずだ。

## Einstein が、可胜な限り氞く、その発芋を秘匿しおいたならば、広島や長厎の
悲劇は無かったのだ。


   才胜がその宿るべき人栌を誀るず、このような悲劇を招来する。

M_SHIRAISHI  The_New_York_Academy_of_Sciences

M_SHIRAISHI

未読、
2003/12/06 3:50:022003/12/06
To:
Hideki Kato <ka...@pop12.odn.ne.jp> wrote in message news:<3fd04e89.6902%ka...@pop12.odn.ne.jp>...

>
> シラむシさんは自転車の運転操瞊あるいはスキヌの滑降のようなもの
> は「思玢」ず呌ばれたすか
> ぀たり小脳蟺りが担圓しおるず思われるもの
>
> 棋士の思玢はどうもこれに圓たるようなのです
>
> 個人的には蚀語を甚いないむンタプリティブではないず蚀っおもい
> いかも知れない思考は小脳が実行しおいるのではないかず疑っおおりた
> す
>
> ず蚀うこずでどこら蟺りから「思玢」ず呌ぶか「思玢」ず自転車の運転
> のようなものの境目はどうなるかが疑問なのです


自転車の運転操瞊は、思玢ではなくお、バランス感芚運動神経の問題だろう。

碁や将棋での思玢掚論は、孊問䟋えば、幟䜕孊での掚論ずは違うかも知れ
ないけど、それがどちらに近いかず蚀えば、自転車の運転操瞊よりも、幟䜕孊
での掚論だろう。

Hideki Kato

未読、
2003/12/06 11:38:442003/12/06
To:
加藀です

In article <800c7853.03120...@posting.google.com>, M_SHIRAISHI wrote:
>Hideki Kato <ka...@pop12.odn.ne.jp> wrote in message

>news:<3fd04c89.6901%ka...@pop12.odn.ne.jp>...
>> 加藀です

>> 誰にも䌝えないのでは孊問ずは呌べないでしょうそれに真理かどうかの
>> 刀定を個人内で完結したのではトンデモず同じ
>
>
>
>АМпПМтаМ
>
>
>Isaac Newton1642-1727は、流率法を発芋したが、それを氞く秘密にしおいた。
># 流率法を䜿っお埗られた≪結果≫だけは公衚しおいたが・・・。
>
>Leibniz に嗅ぎ぀かれるような事態にさえならなかったならば、恐らく、圌は、生涯、
>流率法を秘密にしおいたこずだろう。
>
>゜チは「流率法は孊問ではない」ず䞻匵しお、人々の嘲笑を济びたいのか ボ(^。^)ノ

それずおも結局本人は䞍本意だったずしおも公衚したからこそ今残っ
おおり孊問ずしお残っおいるんでしょ 党く公衚しおなければやはり埌
䞖に䌝わらなかったわけでたたそれも文字で衚わされたものではありた
せんか

>䞀方、“フェルマの倧定理”で有名な Pierre de Fermat1601-1665が、自分の
>発芋した倚くのこずを秘密にしおいたのは、数孊史では有名な話だ。

本圓に完党に秘密になっおいたら「倚くのこずを秘密にしおいた」ずい
う事さえ分からないはずでしょう

>叀代においお、ピタゎラス教団は熱心に数孊の研究をしたが、その発芋の倚くは
>教団内の秘密ずされた。 ずりわけ、無理量の発芋は教団の最高機密ずされ、
>それを倖郚に挏らした人物は教団の手によっお暗殺されたず蚀われおいる。
>
>
>掋の東西を問わず、昔は、「倧発芋」ずか「倧発明」ずかは秘密秘䌝ずされるのが
>普通だった。

結局これらは「本圓の」秘密ではないわけで

以䞋話倉わりたすが重芁な問題だず思うので

>近代に入るずノヌベル賞ずか特蚱法ずかずいう≪アホなもの≫が぀くられたせいで
>功名心にはやるタワケどもが、競っお自分の発芋ずか発明ずかを公衚するようになった。
>
>
>質量が゚ネルギヌに転化するこずを発芋した≪非垞識でか぀間抜けな Einstein≫は、
>愚かにも()、それを公衚した。

フェルミが悔やんでいたのも有名な話ですね平和掻動に熱心になっおも
き぀い蚀い方になりたすが埌の祭りではありたす

># そのようなこずを公衚したならば、埌に“栞兵噚”ず呌ばれるこずになった「恐るべき
>倧量砎壊兵噚」の開発を誘導するこずになるこずは、少し垞識があったならな、誰にも
>わかるこずだ。

科孊者に垞識があるかどうかずいう疑念に関しおはここでは保留しおおきた
すが笑

>## Einstein が、可胜な限り氞く、その発芋を秘匿しおいたならば、広島や長厎の
>悲劇は無かったのだ。
>
>
>   才胜がその宿るべき人栌を誀るず、このような悲劇を招来する。

私自身が研究しおいる人工知胜ずいう分野にも同様の危険性が含たれおお
り以前から気に掛けおいる問題ですしかし䟋えば特殊盞察論はアむン
シュタむンが発芋しなくおも数幎のうちに別の誰かが発芋しおいたであろう
こずはほが疑いなくたた䞖の䞭にはこのような事を意識しない科孊者が盞
圓数存圚するこずも事実です

助手をやっおた時に「自分の研究が人類を危険にさらす可胜性があった
ら研究を止めるか」ず耇数の孊生に蚊いた事があるんですが少数なが
ら「止めない」ず答えた人間がいたした

これらを考慮するならば研究を止めるあるいは秘諟するよりもその危険
性を無くす研究を同時に行うのが適切なのではないかず今は考えおいた
すた垞に可胜ずは限りたせんが
発芋したセキュリティホヌルを公開するべきか吊かずいう議論ず䌌た点も
ありたしょうか

たた䞀般論ずしおも悪甚できない技術ずいうのはほずんど無いのも事実
ですからどの皋床の危険性のずころに線を匕くかは科孊者個人の刀断に
委ねられるこずもあり難しい問題です

ずは蚀え技術が悪いのではない悪甚する人間が悪いのだず嘯いおもい
られないのが珟実ですから科孊者技術者が䜕か手を打たないずいけない
ず切実に思いたす

倧袈裟な蚀い方になりたすが人類を幞犏にするために工孊系を志したの
に半䞖玀生きた今歎史をふり返っおみるずメリットよりデメリットの方
がはるかに倚い事に気付き暗柹たる気持ちになりたすこれをどうやっお解
決するかが人類の未来滅びるか吊かを決めるず蚀っおも過蚀ではない
ように思いたす

M_SHIRAISHI

未読、
2003/12/07 9:14:582003/12/07
To:
Hideki Kato <ka...@pop12.odn.ne.jp> wrote in message news:<3fd20614.6903%ka...@pop12.odn.ne.jp>...

> 加藀です
>
> In article <800c7853.03120...@posting.google.com>, M_SHIRAISHI wrote:
> >Hideki Kato <ka...@pop12.odn.ne.jp> wrote in message
> >news:<3fd04c89.6901%ka...@pop12.odn.ne.jp>...
> >> 加藀です
>
> >> 誰にも䌝えないのでは孊問ずは呌べないでしょうそれに真理かどうかの
> >> 刀定を個人内で完結したのではトンデモず同じ
> >
> >
> >
> >АМпПМтаМ
> >
> >
> >Isaac Newton1642-1727は、流率法を発芋したが、それを氞く秘密にしおいた。
> ># 流率法を䜿っお埗られた≪結果≫だけは公衚しおいたが・・・。
> >
> >Leibniz に嗅ぎ぀かれるような事態にさえならなかったならば、恐らく、圌は、生涯、
> >流率法を秘密にしおいたこずだろう。
> >
> >゜チは「流率法は孊問ではない」ず䞻匵しお、人々の嘲笑を济びたいのか ボ(^。^)ノ
>
> それずおも結局本人は䞍本意だったずしおも公衚したからこそ今残っ
> おおり孊問ずしお残っおいるんでしょ 党く公衚しおなければやはり埌
> 䞖に䌝わらなかったわけでたたそれも文字で衚わされたものではありた
> せんか


公衚しおいようが公衚しおいたいが、流率法がれっきずした孊問であったこずに
かわりはない。

新着メヌル 0 ä»¶