![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
「数理論理学、別名、記号論理学は観念、概念を記号に変換し、演算規則を当てはめ、計算するように論理を展開する」(wikipediaの説明を自分なりに要約)
記号論理学では、何十種類かの記号(∧や∨など)を使って論理を展開していきますが、それら論理記号の一覧表を見ているうちに、ふと、妙な疑問が湧いてきました。
これら論理記号の種類には上限があるのか?です。
今後も記号論理学が発展していくにつれ、新しい論理記号、従来の論理記号の組み合わせでは表せない新種の論理記号が次々と考案、定義されその数には限界がない、ということはあるのでしょうか?
それとも、現状ぐらいが人が考え出せる、定義できる限界なのか?
仮に、超知性体なるものがいて、数百、数千種類の論理記号を使い、論理を展開したとすると、それは人には理解できないものになる、そういうことになるのでしょうか?
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
記号列が明確な規則で生成・写像されるという体系なら、数学で扱える。
記号論理の体系は構文(生成)および推論と付値(写像)の規則でできているから、数学の対象になり、その文法が数学で記述される。これが数理論理学です。古典的な命題論理、一階述語論理のみならず、高階論理、多値論理、様相論理、量子論理などなどの体系を拵えるたびに、そりゃ勝手な記号を誂えて構文規則・推論規則を作ることはできます。が、それがいくらかでも意義のある理論として自由な展開ができるようにするためには明確な意味付け(解釈)を与えねばならない。その意味付けを数学で記述する以上に旨い手はなさそうです。(例えば様相論理の意味は、多世界が相互参照で繋がったグラフ、というモデルで表される。)すると、どんな記号も数学における集合の概念に還元されることになるんで、それが「従来の論理記号の組み合わせでは表せない新種」であるとしても、「従来の数学に使われる記号の組み合わせでなら表せるものの略記」であることからは逃れられないでしょう。
かくて、仰るところの「超知性体」はまずもって「記号列では原理的に表せないものを対象とする数学」を持っている必要があるでしょうね。それをヒトが学んでわかるかどうか。さて、教わってみれば案外簡単かもしれんですよ。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
何時間 何分 何秒を記号で表...
-
ニアリーイコールについて
-
今、高校生です。 化学や物理、...
-
数学のハット、キャレットの意...
-
イコール
-
無限大∞の右側が空いてる記号は...
-
「∝」←この記号ってどういう意味?
-
『∝』この呼び方と意味を教えて...
-
∈、∩、∪などは、なんと発音すれ...
-
∉ ∌ の表示
-
最大・最小値の表記の仕方、こ...
-
数学のイコールの揃え方 中学三...
-
数学の問題で丸に真ん中に線が...
-
galaxy a22 アンダーバー(記号...
-
%(パーセント)の正しい書き順
-
『{∧、∨、¬、→、∀、∃、⊥…}そ...
-
神社のおみくじに、「転居 さわ...
-
lnの読み方
-
nCrのrは何の略?
-
Ω(オーム)とΩ(オメガ)って同じ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
何時間 何分 何秒を記号で表...
-
数学のハット、キャレットの意...
-
ニアリーイコールについて
-
鋼材について
-
「∝」←この記号ってどういう意味?
-
数学の問題で丸に真ん中に線が...
-
lnの読み方
-
∉ ∌ の表示
-
無限大∞の右側が空いてる記号は...
-
今、高校生です。 化学や物理、...
-
「比例する」という意味の「∝」...
-
最大・最小値の表記の仕方、こ...
-
『∝』この呼び方と意味を教えて...
-
自然対数「ln」の読み方は?
-
【数学】なぜθ(シータ)が角度を...
-
数学のハット記号の意味がわか...
-
0の中に・が入ってる記号ってど...
-
記号∀,∃の読み方(発声)を教え...
-
記号について
-
数学で質問をした際に「*」や...
おすすめ情報