言語学の論文が読めるように、記号論理学を学んでいる者です。基本的なところは押さえつつあるのですが、量化子を持った式のなかに、さらに量化子を持った式がでてくる場合、通常はどのようなステップで、その式が表す意味を解釈するのかどなたか教えて頂けると幸甚です。
例えば下のような式を解釈する場合は
∀x [[G(x)∧ ∃y [C(y) ∧ O(x, y)]] → S(x, y)]
G (x) : x は女の子である。
C (y) : y は猫である。
O (x, y) : x は y を飼っている。
S (x, y) : x は y をなでる。
①∀xを、一般の数式のようにカッコ内に分配したりとかしていくのでしょうか?
②それとも地道に
(i)∃y [C(y) ∧ O(x, y)]の部分を、まずxをあたかも定項のように扱って「yは猫である」と「xはyを飼っている」の積とし、「xは猫を飼っている」と考えた上で
(ii)∃を考慮し、「猫を飼っているxが存在する」
と訳し、
(iii)次にG (x)と今訳した部分の積を考えて「xは、皆女の子だ。そして、その中に猫を飼っているxが存在する」・・・このあたりから分からなくなってきます。
(iv)これを続けると「xは、皆女の子だ。そして、その中に猫を飼っているxが存在する。そういった場合には、(男女に関わらず)世の中のxは、yをなでる」というようになります。
(この式はロバ文の説明に出てきた式なのですが、もしかして、結局「ロバ文は1階述語論理式では表せない。これはその例だ」ということなのでしょうかね?(^_^;) 「S(x, y)が∃に束縛されていないのが問題だ」のようなトーンのくだりがありました)
③それとも他の見方をしていくのでしょうか。
どうぞ宜しくお願い致します。
No.1ベストアンサー
- 回答日時:
論理の世界の中で言えば、与えられた論理式の「意味」を考えるというのは、検討対象の論理(一階述語論理かな)の枠外(メタ)の話なので、どうするのが正しいかは何も言えません。
それぞれの人が好き勝手に「意味」を決めればよいです。極端な話、全ての論理式を「私は猫が好き」という意味だと解釈するという人もいるかもしれません。ただ、まあそうは言っても、「意味」を考えたくはなりますね。そもそも論理式というのは、自然言語の文から、その論理構造だけを抽象化して取り出して、そのまま記述したものなわけで、逆に言えば、書かれた論理式をそのまま素直に読めば(登場する述語に具体的な関係を入れ直せば)、元の自然言語に戻るわけです。つまり②ですね。
①のように、一階述語論理の定理を使って論理式を変換してしまってたら、普通は、与えられた論理式の意味を解釈したものと言わないのでは。
提示の論理式の「意味」は
「猫を飼っている女の子はみなyをなでる」
ということになりますかね。
後ろのyは、束縛されてない変数(自由変数)です。自由変数が残っている論理式の「意味」は、よくわかりません。(大多数の人が同意するような「意味」は存在しないと思います。)
No.2
- 回答日時:
一般論でいうと, 量化子を分配してはいけません. 面倒でも地道に解釈していくしかありません. 今の場合だとまず
すべての x に対して [G(x)∧ ∃y [C(y) ∧ O(x, y)]] → S(x, y)
として, そのごさらに見ていくことになります. 最終的には
猫を飼っている女の人はみんな y をなでる
となるのかな.
ロバ文うんぬんについては, この文章からでは何を指しているのかわかりません. 少なくとも式自体は 1階述語論理で書けてますからね.
ご指導ありがとうございました。大変参考になりました。やはり、量化子(ここでは∃)で対象領域を指定している変項(ここではy)以外の変項(ここではx)を、まずは、仮に定項と考え意味をとらえていくわけですね。そして次にその定項(x)を次の量化子(ここでは∀)が定める領域に沿って意味の中に取り込んでいくような地道なプロセスを取るんですね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・14歳の自分に衝撃の事実を告げてください
- ・架空の映画のネタバレレビュー
- ・「お昼の放送」の思い出
- ・昨日見た夢を教えて下さい
- ・【お題】絵本のタイトル
- ・【大喜利】世界最古のコンビニについて知ってる事を教えてください【投稿~10/10(木)】
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
論理について質問させていただ...
-
【論理】正直者・あまのじゃく...
-
0%と100%だけを仮定したベイズ...
-
論理回路 QM法のやり方
-
実験における誤差範囲の許容範...
-
相対誤差が小さいと判断する基...
-
平均値、標準偏差の有効数字に...
-
3重解?
-
計算値と理論値の誤差について
-
1khzまでの周波数成分をもつ信...
-
フルスケール誤差の値の範囲に...
-
誤差を含む数値同士を掛け算し...
-
150 25 0、20の有効桁数を教え...
-
オシロスコープの実験について
-
球体の誤差
-
電波出力、周波数と飛距離の関係
-
アナログテスターでの誤差率が...
-
誤差の伝搬計算について解説し...
-
メジャー誤差
-
ラジオのFMとAMの違いを小学生...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
(^_^.) 数学がよくできる人っ...
-
正直者とうそつきを見分ける質...
-
除法の種類
-
【数学・乗法公式はどういうと...
-
代数学の質問です[準同型写像の...
-
純粋数学とはどんなものかを説...
-
ゼロ(数字)の意味って何?
-
「屁理屈」VS「当たり前」
-
1bitの半加算器をNANDのみで表す時
-
判断推理(論理)
-
【論理演算子?】AND、OR、XOR...
-
論理について質問させていただ...
-
数Iの宿題で出た問題です
-
数学と論理的思考の関係につい...
-
ブール代数の問題
-
ゲーデルの不完全性定理
-
イプシロンデルタ論法は成り立つか
-
ブール代数の問題
-
乗法群Gとして、Gの元aと整数m,...
おすすめ情報