初学者向け論理学の学び方

>>149
俺にレスつけて来たのはお前な

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely


逃げるつもりか？

これは確率1より大きいという反論のつもりなわけだ
恥ずかしいなぁ？

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

最初は煽るつもりでなく、本当に意味がわからないから訊いたんだけどね…

「必然性は確率1より小さい」
これがブラックボックスの主張ということでいいのかな
まだ明言を避けるのであれば、手前勝手にこう理解するがよろしいか？

>>152
>>151

確率1より大きいなんてあるわけ無いだろ？
低学歴すぎだよ

偶然と必然は条件付き確率であらわす
確率の大きさが1かどうかとか言ってる時点でマトモじゃない

集合論測度論確率論情報理論
これらと結びつく事に失敗した様相論理には未来は無いよ

>>153

閉区間[0, 1]上の有理数全体のルベーグ測度は0である。
閉区間[0, 1]上に素数は存在しない。

この二つの違い、わかるか？

>>156
当たり前だろ？
最小の素数は2だ

>>157
閉区間[0, 1]上から（一様分布に従って）実数を選べば、確率1で無理数である。
閉区間[0, 1]上の実数は必ず非素数である。

この二つの違い、本当にわかるか？

>>158
わかってないのはお前
それは両方確率1
いくらごまかしても確率1より確からしいものがあるなどと書いてしまった歴史は変えられない

俺にレスつけて来たのはお前な

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely


逃げるつもりか？

>>159
確率を持ち込むと測度0の除外集合がネグレクトされるってことだよ
無限集合や無限通りの可能性を扱うとき、いつでも確率という基準を持ち込むのが適切というわけではない
そのくらい読み取れっての

またブラバカは論破されたのか
無知の無知ですな

139 考える名無しさん [sage]
測度0の除外集合って言われてもわからんのかこの人
以前、ルベーグ積分にお詳しそうな発言をしていたと思ったが、記憶違いか

140 非因果的ブラックボックス ◆nyDbrW8/YE []
>>139
その意味では確率1より小さいんだが？
バカなのか？

156 考える名無しさん [sage]
>>153
閉区間[0, 1]上の有理数全体のルベーグ測度は0である。
閉区間[0, 1]上に素数は存在しない。
この二つの違い、わかるか？

157 非因果的ブラックボックス ◆nyDbrW8/YE []
>>156
当たり前だろ？
最小の素数は2だ

158 考える名無しさん [sage]
>>157
閉区間[0, 1]上から（一様分布に従って）実数を選べば、確率1で無理数である。
閉区間[0, 1]上の実数は必ず非素数である。
この二つの違い、本当にわかるか？

159 非因果的ブラックボックス ◆nyDbrW8/YE []
>>158
わかってないのはお前
それは両方確率1
いくらごまかしても確率1より確からしいものがあるなどと書いてしまった歴史は変えられない
俺にレスつけて来たのはお前な
　　135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
　　確率1より確かなものは無い

　　137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
　　>>135
　　http://en.wikipedia.org/wiki/Almost_surely
逃げるつもりか？

160 考える名無しさん [sage]
>>159
確率を持ち込むと測度0の除外集合がネグレクトされるってことだよ
無限集合や無限通りの可能性を扱うとき、いつでも確率という基準を持ち込むのが適切というわけではない
そのくらい読み取れっての

>>162
これは確率1より大きいという反論のつもりなわけだ
恥ずかしいなぁ？

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

>>160
こいつ頭弱いなぁ
測度の定義を変えればどうにでもなる

>>161
完全に死んだなお前

測度はただ一通りしか無いとでも思ってるんだろうか
そんなんだからブンケー底辺大しか受からない

>>165
どんな測度であれ、一度確率的な基準を入れてしまえば、空集合と零集合の区別が出来なくなる。
特定の性質（例えば素数であること）が測度0となるように測度を　具体的に　定義するためには、
素数の集合をあらかじめ　具体的に　知らなければならない（今の例であれば、空集合である）

後半は余計だったな

どんな測度であれ、一度確率的な基準を入れてしまえば、空集合と零集合の区別が出来なくなる。

だけでいいや

>>168
知りたいもの扱いたいものに応じて測度変えればいいだけ
バカすぎるブンケー底辺大

>>169
論理性0
どんな数字でも足し算したら元の数がわからなくなるから足し算禁止とか言ってるレベル
知能指数が低すぎる

確率以外の情報を消去しろなんてどこに書いてあるんだろうか？
痴呆症か？

>>172
確率以外の情報も要るってことだよ
確率では捉えきれない「必ずそうなる」という性質

>>173
少なくとも様相論理には全くそれを担う能力がない
条件付き確率で捉えきれない必然性は存在しない

確率では必然性を捉えられない、という話を延々としてきたのだが無駄だったか

まあ、君も舌足らずだからな

いや、これは明らかに、ブラを試すために情報を小出しにしてるんだろ

面倒な駆け引きしてるな
シッタカのカードゲームかよ

>>175
全く無関係だよ
測度で捉えられないものを様相論理で言えるケースは無い

>>162-163

>>180
バカ晒してんなぁ

劣等感の塊がこんな人を産むんだなぁ。
俺は凄い、しか語れない人は哀れだ。

137だけど、他の人が頑張ってくれたようで
で、いつものように自分勝手に勝利宣言と

>>183
>>179
敗北乙

>>184
はいはい。
あなたは地球一、聡明です。
あなたを超える人間なんてこの世にいません。
自信を持ってくださいね。
お近づきにはなりたくないけど＾＾

様相論理は無能

無能なtemporal logicを使ったモデル検査器

NuSMV
http://nusmv.fbk.eu/
Spin
http://spinroot.com/spin/whatispin.html
UPPAAL
http://www.uppaal.com/


無能なtemporal logicを使ったモデル検査の事例

日立ソリューションズ - 入退室管理システム
http://formal.mri.co.jp/db/region/domestic/---2.html
日立ソリューションズ - Blu-Rayディスク
http://formal.mri.co.jp/db/region/domestic/---blu-ray.html
JAXA - 人工衛星の姿勢制御ソフトウェア
http://formal.mri.co.jp/db/region/domestic/jaxa--.html

モデル検査支援ツールとZIPCとの連携による設計検証の導入事例
http://www.zipc.com/instance/files/Vol13-07.pdf

産総研：システム検証研究センター
Web版 システム検証の事例報告集
http://ocvs.cfv.jp/jireihoukoku/index.html

>>170
コインを投げて表が出る確率をpとする
コイン投げを無限回行ったとき、初めの１回だけ表が出て、以後全て裏である確率が0でない様にpをとれるか

http://i.imgur.com/f5R2f.jpg
http://i.imgur.com/CbEoK.jpg
http://i.imgur.com/pNyYI.jpg
http://i.imgur.com/fPAWy.jpg
http://i.imgur.com/mU6kF.jpg
http://i.imgur.com/j191j.jpg
http://i.imgur.com/CuT8F.jpg
http://i.imgur.com/iCfc2.jpg
http://i.imgur.com/D9id2.jpg
http://i.imgur.com/G62ja.jpg
http://i.imgur.com/Yg9rB.jpg
http://i.imgur.com/UeQF5.jpg
http://i.imgur.com/F237U.jpg
http://i.imgur.com/62iGg.jpg
http://i.imgur.com/ykYnx.jpg
http://i.imgur.com/Z3k6q.jpg
http://i.imgur.com/iXkrE.jpg
http://i.imgur.com/tAQOe.jpg
http://i.imgur.com/WuMuM.jpg
http://i.imgur.com/itgXO.jpg
http://i.imgur.com/H5goU.jpg
http://i.imgur.com/dzAp4.jpg
http://i.imgur.com/ObuaF.jpg
http://i.imgur.com/ODKd8.jpg
http://i.imgur.com/VDpZ2.jpg
http://i.imgur.com/aUiY2.jpg
http://i.imgur.com/uhoGN.jpg
http://i.imgur.com/umhs6.jpg
http://i.imgur.com/pXEfN.jpg
http://i.imgur.com/ibd5G.jpg
http://i.imgur.com/ng53g.jpg
http://i.imgur.com/tdw6K.jpg

字へたくそだなｗ

>>187
それクリプキと何の関係も無いぞ
バカが釣られてるＷＷＷ

>>191
クリプキと関係有る無しが様相論理が無能かどうかにどう関わるのか話が見えんな

クリプキ自身が関わったかは知らんがクリプキの可能世界意味論がベースでしょ

>>192
ブランド名で入れたかっただけ
全く無関係な推論規則の羅列に過ぎない

なぜ様相論理の無能性の話がクリプキとの関係の有無の話になってるのかね？
ブランド名で入れたというなら、ブランドになるほど価値を認められてるのだね？

>>194
認められても無いよ

価値の認められてないもので
科研費貰えたり産総研特別研究員になったり

http://kaken.nii.ac.jp/d/p/22500021.ja.html
形式手法のための論理の構築と、一階拡張が満たす性質に関する研究
研究課題番号：22500021

キーワード
(論理の)表現力
モデル
一階様相μ計算
命題様相μ計算
形式手法
論理

>>196
文科省のブンケー技官はバカだからなぁ

そうだねIBM research labとか
An internal semantics for modal logics: preliminary report
http://researcher.watson.ibm.com/researcher/files/us-fagin/stoc85.pdf

あらmodal logicに勝手にs付けてたわ

>>198
年見りゃわかる
とっくに失敗プロジェクトの烙印押されて排除されてる

A Tag-Augmented Temporal Logic Checker
http://www.research.ibm.com/haifa/projects/verification/RB_Homepage/ps/new/VLSI-seq.pdf

The Development of PSL/Sugar
http://www.doulos.com/knowhow/psl/development_pslsugar/
Sugar began as an internal development within IBM, where the CTL formalism (Computation Tree Logic)
was used to express properties for model checking.

http://embedded.eecs.berkeley.edu/eecsx44/fall2011/lectures/TemporalLogic.pdf

Current status of property specification in HW

Usage of formal property specification languages is
becoming widespread
- 68% in 2007 (John Cooley, DVCon’07)
- Properties often called “assertions”
Properties are used not just in formal verification, but also
in simulation
- “Assertion-Based Verification” (ABV)
Some property specification languages: PSL/Sugar,
System Verilog Assertions (SVA), OVA, OVL, etc.
All of these are just ways of writing variants of
Temporal Logic

だから時相ってただの推論規則の羅列だから
全く無意味で一般性なし

ベイズ確率も規則の羅列じゃないかね

全く違う
無教養過ぎ

痴呆私大ｗ

底辺大学悔しかった？
駅弁以下かＷＷＷ

無限回のコイン投げで表裏交互に出続ける確率は0だと思うが
表裏交互に出続けることは可能ではないのかね

>>1
初心者ですが、>>16 の戸田山さんの本は、面白かったですよ。

どんな教科書でも通常は省略して暗黙の了解としたり、
「本書では触れないが」として書かないようなことを、懇切丁寧にクドクド（笑）書いてあって、
隅々までよく理解ができた気がしました。

結論だけで終わるのではなく、その周辺の気になることなどもかなりたくさん
説明してあって、出来うる限りの「完全な理解」に近づけるよう、
一つのことを多方面から詳しく説明してある気がします。

ただの理系で初心者ですが、詳しくたくさん書いてある分、難しさはなく、
平易にすべてが理解できると思います。

なので、個人的にはオススメ。







で、その後、どこへ行けばよくわからないのが自分ですが、、、www
科学基礎論とかへ行きたいんだが、、、、
むーん。

ゲーデルと20世紀の 論理学 ロジック [全4巻］
http://www.utp.or.jp/series/godel.html

「すでに論理学について一通りの知識をお持ちの方にも，
初めてふれる方にも興味をもって読んでいただけるように記述を工夫している」
そうだが本当に初めてで読めるものだろうか

全くの無理
記号論理学の基本（例えば学部向け教科書レベル）に関して一通りちゃんと理解していることが大前提

本なんて読みたくないからさっさとここで分かりやすく説明しろよ

何故そのような方向に思考が進んだか（進んでいるか）順番に説明するのかな？
それとその流れや法則があるならばテンプレ化してみようとする試みかな？
それならば至極普通の思考の流れやね

というか、当たり前なんだけど、
論理学の勉強には地道な反復練習が必要なので、
一冊読むにせよ、ライトな人たちの読んでる新書とか批評とかの
10倍は時間使うつもりでいなきゃだめだよ。

これマジ？めんどくさすぎだろ

どうせ100人200人くらい探したらお前らより頭の切れる奴らがいるだろうしそいつらなら分かりやすく説明してくれるだろ

基本、数学の本は1冊100時間位かけて読むもの。

【論理力テスト】次の文章は正しいようで実は論理的に間違っています。どこがどうおかしいか貴方は説明できますか→「何度学校を変わってもいじめられるのは、いじめられる側に原因がある証拠だ」…答えは「感情自己責任論」で検索

詭弁１「排気風力発電の査読論文が出ていないならば、排気風力発電は詐欺である」
●前件否定の虚偽…「もしAがBならば、AはCである。しかしAはBではない。故にAはCではない」
「査読論文を出している」→「詐欺ではない」が概ね真だとしても、
「査読論文を出さない」→「詐欺である」は導かれない。
例えば「電灯が暗い」→「電球が不良品である」と同じである。
他に「電源をONしていない」「電球が老朽、誤取付」「昼間だからわざと点けていない」と、いくらでも考えられる。
査読論文が出ていない理由も、下記の通り幾らでも考えられる。
「基礎的事実を確認するだけの論文となり出す価値がない。」「エネルギー効率としては低いため注目されず人気がない。」
「排気風力発電を実現できるドクターは自然風の風力発電を研究開発する能力もあるため忙しい。」

詭弁２「風速と静圧の実測データが無いから詐欺である」
●論点先取…前提の中に結論を導く事が出来る情報をあらかじめ含めている
「風速と静圧の実測データ」は、「上流からエネルギーを奪う」(後に軌道修正)などという『彼』の独自理論を前提として初めて必要となるデータである。
実際には『彼』の独自理論はド素人の誤解でしかなく、そのようなデータを出すこと自体が誤りなので、レポートに付記されないのである。
データがなくても>>270の通り「風力発電の査読論文・学会代表委員・受賞歴ありの准教授」のレポートで正しさは証明済。

詭弁３「風力発電について不祥事がある。風力発電は詐欺っぽい。」
●連座の誤謬…その主張を支持する者の中にはろくでもない連中がいる。故にその主張は間違った内容である、という対人論証
早稲田大学が回らない風車を設計しようが、三菱重工が風車特許侵害しようが、排気風力発電が原理的に可能であるという科学的結論には関係がない。
しかもこの２件は自然風の風力発電である。自然風の風力発電が原理的に可能であることは皆さんご存知であろう(笑)


『彼』とは、
◆nyDbrW8/YE = 非因果律ブラックボックス（哲学板荒らし） = きゅむ（AKBスレ荒らし） = 自称「慶応大学 理工学研究科 後期博士課程」

>>16
入門論理学読んでるけど、わりとわかりにくかった。
まちがって「かつ」を「そして」にしてたり、入れと取りが、それぞれ、導入則除去則に対応とかいいだして、混乱したり。

そこで、質問なのですが、この本で言う標準じゃない論理体系は、
この１〜６を順番にやっていれば学べるものなのですか？

「入門！論理学」野矢 茂樹
http://www.kinokuniya.co.jp/f/dsg-01-9784121018625
目次を見た感じは古典論理の一階述語論理をやってるのかな

「標準的じゃない論理体系」というのは直観主義論理や様相論理とかかな

「論理学をつくる」戸田山和久
http://www.unp.or.jp/ISBN/ISBN4-8158-0390-0.html
第11章　めくるめく非古典論理の世界にようこそ！

「情報科学における論理」小野寛晰
http://www.nippyo.co.jp/book/1292.html
第４章　様相論理
第５章　直観主義論理

>>221
過疎っているのにさっさそくありがとうございます。
「入門！論理学」では、排中律を認める体系を標準、それ以外を非標準って書いてました。
様相論理は標準と言及されていたようです。
非標準な体系は「標準的な命題論理の言葉で、異なる体系を目指すもの」と書いてました。
とりあえず、この本では、直観主義論理は言及されてなかったので、
「論理学をつくる」戸田山和久
「情報科学における論理」小野寛晰
まで辿り付けるよう頑張ってみます。

清水義夫の記号論理学講義は哲学畑の人だからていねいに書いてあって分かりやすいよ

MOOCで論理学を開講しているところって、ないでしょうか？

上智であったはず。ホワイトヘッド研究してる田中裕が講師

図書館で新板論理トレーニングと論理学を作るを借りてきた
分厚いわ―

どうやって片付けようかね
論理学を作るは購入した方が良いかも

>>225
検索したけど出てきませんでした。
アドレスわかったら教えて下さい。

「上智　オープンコースウェア」で出ると思うよ

三浦俊彦が高校2年以上の数学の知識は持ってないと書いてたけど本当かね？

>>227
http://ocw.cc.sophia.ac.jp/13SSHPH55200
これですね
難易度的には、上で上げた本より難しいでしょうか？
どっちから学ぶ方がいいかなと

論理学史もあるからまずは野矢さんの入門から4部作やっていってからでいいんじゃないかな

ちょっといいかな
核兵器を全廃しても世界から戦争はなくならない。ゆえに、「世界から戦争をなくすためには、
核兵器の全廃が必要である」は誤りである。
は論理的に正しいの？

＞核兵器を全廃しても世界から戦争はなくならない。ゆえに、「世界から戦争をなくすためには、核兵器の全廃が必要である」

二つ目の「世界から戦争をなくす」を「世界から戦争がなくなることは必然である」と解釈すれば、上の推論は論理的に正しい
二つ目の「世界から戦争をなくす」を「世界から戦争がなくなる可能性がある」と解釈すれば、上の推論は論理的に誤り

補足：

二つ目の「世界から戦争をなくす」を「世界から戦争がなくなることは必然である」と解釈すれば、上の推論は論理的に正しい

これは、前提が矛盾している（核兵器を全廃しても世界から戦争はなくならないのだから、世界から戦争がなくなることは必然であるはずがない）から
推論としては正しいというだけの虚妄

核兵器を全廃しても世界から戦争はなくならない。ゆえに、「世界から戦争をなくすためには 核兵器の全廃が必要である」は誤りである。
どっかのサイトにあった問題で俺も正しいと思ったんだけど
間違ってるんだって

核兵器の全廃が世界から戦争をなくすための必要条件ではあっても、
十分条件とは限らないからね。例えば、世界から戦争をなくすための
必要十分条件が核兵器を含めたあらゆる兵器の廃止だとしたら、
「核兵器を全廃しても世界から戦争はなくならない」は、「核兵器を全廃してもそれだけ
では世界から戦争はなくならない」の意味で真だけれど、「世界から戦争をなくすためには
核兵器の全廃が必要である」もまた真である。

>>234
核兵器を…ゆえに、「…」は誤りである
ということが正しいと思ったのか、

核兵器を…ゆえに、「…」
が正しいと思ったのか、

どっちやねん。

>>236
（核兵器を…ゆえに、「…」は誤りである）
がひとつの文
この文が正しいのかどうかという質問
論理学的に正しいのかどうか気になって
俺は正しいと思ったけど間違ってるという回答をいただいた

236が言うように何通りにも取れる文章の書きかたをしているから
何が言いたいのか分からない悪文になっている。

「世界から戦争をなくすためには 核兵器の全廃が必要である」
　が誤りだと言ったら、普通は
「世界から戦争をなくすためには 核兵器の全廃は不要である」
　が正しいのかな、と思うけどね。でも十分条件ではないにしても必要条件かもしれない。

「aである、ゆえにb」は（論理的推論として）誤りである　
　（つまり、aからbは論理的には出て来ない）
と
aである、ゆえにbは（命題として）誤りである
　（つまり、aからnot bが論理的に出て来る）
は別。

同じ論理的構造の以下の例が、正しそうかどうか、間違ってるならどこが間違いか、考えてみると良い。

九九を理解しても二次方程式は解けるようにならない。
ゆえに「二次方程式を解けるようになる為には、九九の理解が必要である」
は誤りである。

>>234,237
問題の文章すなわち一種の論証を〈俺〉が「〔論理的に〕正しいと思った」のはどんな“論理”によってか？
逆に、その論証を「〔論理的に〕間違っている」と回答した者は自らの回答をどのように“論理づけ”たのか？

この「ならば」は少なくとも厳密含意ではなさそう

自然言語で書かれた文を様相論理に翻訳する際は、数学の形式化みたいに唯一の自然なやり方が見つかるとは限らないんだなあ

ゴードン・アーバスノット

論理的思考を身につけたいので、>16の入門論理学を注文したｽ(ﾟω ﾟ)近所の書店にﾅｶｯﾀｽ

入門としては最適だと思います。

今期は放送大学のテレビ講座で土屋先生が記号論理学入門やってるよ
今までの回はゴールデンウィーク中に観れるからおススメ

入門論理学の2章初めまで読んだけど、面白い本ｽ(ﾟω ﾟ)先が楽しみｽ

ただ、まったく基礎ができてないので、完全に理解はできてないようｽ(ﾟω ﾟ)なんとなく理解したかな？程度ｽ

入門論理学読み終わったｽ(ﾟω ﾟ)
しかし、第4章あたりから難しくなってきて、読み流した感じになったｽ(ﾟω ﾟ)

入門論理学を初めから読み返すのと、>>16の詭弁論理学を読んだらいいかな？(ﾟω ﾟ)

おてぃんてぃんスコスコはいイキますた　を　論理式で頼むよ

>>247
論理トレーニングいったほうがいいですよ。
なぜならば入門よりわかりやすいですよ。
なぜならば。。。

>249
もう1回、入門を読んでからトレーニング行ってみるｽ(ﾟω ﾟ)ｻﾝｸｽ

誰かいるかな？ 古代ギリシアのデンプシーって論理学者知ってるやついる？

>>245
論理モデル設計向けの講義なので初心者にはかなりキツい。

これが何度考えてもわからない
わかりやすい解説が欲しい
以下の命題は真か偽か。
木曜日の翌日が金曜日ならば金曜日の前日は水曜日である
以下の命題は真か偽か。
木曜日の翌日が土曜日ならば土曜日の前日は月曜日である

上は偽
下は真

その理由として一般に言われるのは
「命題“A⇒B”の前提条件Aが偽ならはこの命題“A⇒B”は真。」

だが、これではあまりに不親切だと思う。

>>254
俺は論理学に疎くてただのパズルとして楽しんでるのだが
他の問題は全部解けたがこの問題だけはわからない
できれば専門用語は抜きで説明して欲しい
わがまま言ってすまない

パズルというか、

「AならばB」は、
Aが真でBが真のとき真、
Aが真でBが偽のとき偽、
Aが真でBが偽のとき真、
Aが真でBが偽のとき真、
というのがルール。

もちろんそういう風に決めると
対偶とかを扱いやすくて便利ということはあるのだけど
それはそれとしてあくまでただの決めごと。
どうしてサッカーにはオフサイドなんていうルールがあるのかという疑問と同じこと。

>>254じゃないし、論理学初心者だけど
「aがbであるならば、xはyである」という命題があったとして、
この命題が偽になるのは、aがbであって、xがyでない場合だけど、

この命題が真になるのは、�@aがbであって、xがyである場合と、
�Aaがbでない場合（x、yの関係は問わない）っていう２つの場合があるんだと思う
普通は�Aを考えないから混乱するんじゃないのかな

>>255
前提条件（木曜日の翌日が土曜日）が偽であることが明白であるので
全体の命題を「偽」とする根拠が無くなってしまう。

つまり「○○ならば××である」が偽であるとは、「○○が真である場合に××は偽である」
という内容だと考えられる。
だとすれば、○○が偽である場合に、命題全体としては偽とは言えない。
これを「偽ではない」と判断するなら、即ち「真」だと、そういう理屈なのだと思うが、
恐らくもっと根は深い。

質問したものです
>>256
Aが真でBが偽のとき偽
Aが真でBが偽のとき真
と書いてあるがどちらの可能性もあるということか？
それとサッカーのルールに理屈はないと思うが
論理学のルールにはそれなりの理屈がある思う
私は論理学の理屈に疑問があったので質問してみた

>>258
すなわち論理学の考え方では
偽の根拠がない場合真になるってこと？

ちなみに私はどちらも偽だと思う
以下の命題は真か偽か。
木曜日の翌日が土曜日ならば土曜日の前日は月曜日である
↑この問題も偽だと思う
木曜日の翌日が土曜日ならば土曜日の前日は木曜日

＞論理学の考え方では
別に、この世には論理が一種類しかないわけではない
（数学において）最も標準的な論理では>>256のようになり、また別に定義された論理では>>261のようなこともあるかもしれない
ということ

>>262
答えが複数あるのなら真と断言するのは間違ってると思うが・・・

>>263

1+1=10
これは正しい等式か？

まちがってるぞ、訂正しとけ>>256

>>260
もちろん、このような説明では不親切。
と言っても、残りを答える力は私には無いのだが

「木曜日の翌日が土曜日」であることは、木曜日の翌日が実際には全て金曜日であり
全ての金曜日は土曜日ではないことと矛盾している。ゆえにこの命題は偽であるわけだ。

一般に、矛盾があってもそれを偽としないような論理世界では、
全ての命題が真となることが分かっている。
そのことも関係しているのかな。

>一般に、矛盾があってもそれを偽としないような論理世界では、
全ての命題が真となることが分かっている。
そのことも関係しているのかな。

これすごいわかるわ

>>267
わかるのか、うらやましい

私なんかは、スマリヤンがそんなことを言ってたので
釈然とはしないが「そんなもんかしら」と承服しているだけ。
納得しているわけではない。

矛盾が一つでもあれば、全てが真となる
なんだか不思議なことだ

個人的に頭を使うのがすごい好きだから
論理学も勉強してみたい
だけど矛盾が出てくるとどうしても先に進めないんだよなあ

質問したものです
再度質問があります
木曜日の翌日が土曜日ならば土曜日の前日は月曜日である
の文を
木曜日の翌日が土曜日　が嘘ならば土曜日の前日は月曜日である
という質問に変えた場合答えはどうなるのか教えてください

>>270
【木曜日の翌日が土曜日が嘘】が真、
【土曜日の前日は月曜日】が偽だから、
全体としては偽

【AならばB】を考えるとき、
Aが真でBが真のときは【AならばB】は真と
Aが真でBが偽のときは【AならばB】は偽というのは自然に納得できると思う。

また、対偶を考えると、
【AならばB】≡【BでないならばAでない】
Bでないが真でAでないが真のとき、上記に従って【BでないならばAでない】は真。
つまり、Bが偽でAが偽のとき【BでないならばAでない】≡【AならばB】は真も明らか。

問題は、Aが偽でBが真のとき。

論理学をやってる人は孤独（ロンリー）だ
なーんつって(笑)

【すべての】論理学をやってる人は孤独（ロンリー）だ
なのか？

アローンにするとAだけ　になる。

前原昭二先生の「記号論理入門」をぼちぼち読んでいます。
全称記号や存在記号の読み方になかなか慣れないです…
∀x(f(x)→G(x))は「xについて、f(x)ならばG(x)である」
∃x(f(x)→G(x))は「f(x)ならばG(x)となるxが存在する」
という風に読むんですよね…
プログラムでいったらhello world!みたいな段階ですね。
いや、コーディングもほとんど知らないですが…
いや、まだ１０ページもいってないところなので
弱音吐いてはいけないわけですが…

英語で読めば語順も文の構造も自然になる
for all x, f(x) implies G(x).
there exists x such that f(x) implies G(x).

ほんとだ。英語なら前から順番に読めますね。�dクス！

論理学を学ばないとテクスト読解できないかな？と思って勉強中でーす

テキスト読解に論理学は必要ない
勉強はするのはいいけどさ

教科書によって論理記号の表記がちゃう。ま、些細なことだけど。
けっこう読んできたが、どの教科書も途中で分からなくなって辞めてまう。
論理学を専門にしている大学院生を金で雇って、教えてくれないかね？

「論理学をつくる」とかでも？

なんで揃いも揃ってストア派の延長にある論理学から入るんだろう
洗脳にしか見えない・・・

揃ってるの？知らんけど。

まあ日本では修辞学とかが軽視され過ぎてる感はあるよね。
日本に限らないけど。

論理学といえばコレ
http://www.amazon.co.jp/dp/4904507541/

>>282　「論理学をつくる」、買ったけど文章がきもくて読んでないや。そのうち読むわ。
唯一理解できてためになったのは昭和堂入門選書25「論理学の基礎」。
問題の答えが載ってないのが欠点だけど、例題が豊富なので例題を参照しながら問題も理解できる。おすすめ。

論理学は、アリストテレスに始まる。論理学は大別すると、演繹的論理学（三段論法）と、
帰納的論理学に分けることが出来る。
現代論理学は、記号論を中心とした述語論理（ラッセル、ゲ−デル等）が標準的な論理体系となっている。
しかし、その基本は三段論法（前提→推論→結論）であり、帰納的論理学も「前提」を設定する思考形式を
とるので、演繹的論理学と同じ「形式論理的思考」であることが分かる。

とりあえず三段論法を盛大に勘違いしていることは分かった

>>288
現代論理学も思考の基本的プロセスは三段論法と変わらないと思うが、
貴方の、三段論法（前提→推論（＝小前提も含む）→結論）の具体的な
思考プロセスを説明してください。

ラッセルはヘーゲル経由で数論に入ってるから
弁証法を無視してはだめだよ
アリストテレスの三段論法は演繹的推論がメインだから
ラッセルはそのことを痛烈に批判もしている

ラッセルは演繹的推論（＝三段論法）でないとすると、ラッセルの
基本的な思考プロセスは、ヘ−ゲルの弁証法と演繹的推論を組み合わせているということでしょうか。

前提→推論→結論という推論のことを三段論法というのは
あまりに言葉を拡大解釈しすぎじゃないかな

>>290
数論？推論の事？

数理論理学？

同語反復を極めたいんだけど誰を読めばいい？

乙一だな
いやまじで
同語反復だらけ

野矢茂樹さんの『論理学入門』について質問です
6章の（�C）存在量化の除去則について疑問点があります

p.232
[存在文] わたしのあんパンを食べた者が存在する
[全称文] わたしのあんパンを食べた者はすべて天罰が下る
[ 結 論 ] 天罰が下る者が存在する

というような記述があるのですが、「存在量化」の除去則なのに
結論を存在文にしても良いのでしょうか？

結論が存在文かどうかは関係がない。




「山田はあんパンを食べた」から「あんパンを食べた者が存在する」と結論するのが存在量化の導入。
（必ずしも存在量化を含まない仮定から）存在量化を含む結論を導くので、そう呼ばれる。

逆に、存在量化の除去と呼ばれる推論規則では、
存在量化を含む仮定から（必ずしも存在量化を含まない）結論を得ることになる。

存在量化の除去とは大雑把に言って以下のような推論規則である。
　　今、「あんパンを食べた者が存在する」という仮定からPという結論を導きたい。
　　その際、「あんパンを食べた者が存在する」という条件はそのままでは扱いにくいので、
　　あんパンを食べた者のうちの一人をaと表し、「aはあんパンを食べた」という条件を代わりに使う。
　　この新しい条件を使って結論Pを導けるなら、
　　『「あんパンを食べた者が存在する」という仮定からPという結論を導けた』と考えてよい。

野矢さんの本の例で説明しよう。長ったらしいので「わたしの」は省略する。
　　「あんパンを食べた者が存在する」「あんパンを食べた者にはすべて天罰が下る」という仮定から
　　「天罰が下る者が存在する」という結論を導きたい。
　　あんパンを食べた者のうちの一人をaと表し、「aはあんパンを食べた」という条件を代わりに使う。
　　aはあんパンを食べたので、aには天罰が下る。
　　したがって、天罰が下る者が存在する（aがそのうちの一人である）。
　　存在量化の除去規則によれば、
　　『「あんパンを食べた者が存在する」「あんパンを食べた者にはすべて天罰が下る」という仮定から
　　「天罰が下る者が存在する」という結論を導けた』と考えてよい。

なるほど。ありがとうございます。つまり前提の存在文が分析されて或る結論が導ければ良いんですね。
このあとは素直に野矢さんの『論理学』へと進めばいいんでしょうか？

知識は付加価値である

野矢でも清水でも前原でも戸田山でもどれでも

そういうのは除去則という言葉の使い方次第だから
さっさと自然演繹とかシーケント計算勉強して
非古典論理とかへ進め

非古典論理なんて深く掘り下げようにも何もない
浅瀬でちゃぷちゃぷ水遊びしてるようなもんだ

大森荘蔵だっけ？

深いという言葉に気を付けろ、深いものなんて何もない

日本人哲学者らしく、数学に関して頓珍漢なこと言っとったな

腐っても東大理学部卒

学部卒なんてそんなもんだ

２ちゃんねるオフ会で白帯にボコられた伝説の人

　　　遊チン流　長野峻也
　　　　　　　　↓

　　　　／￣￣￣￣｀⌒ヽ,,　
　　　 / 　　／￣￣￣ ＼ヽ　
　　 /　　　/ ./⌒　　⌒ヽヽ　
　　 |　 　/ ,　-==･　==･-.ミ 　　　　　
　　|　　　ﾘ(6.　 　　(!__! 　.|　　　　
　　 |　|/ i| 　 　　(,,_⊥　) |　　　　　／⌒　)
　　 |　　　|i､　　　　===　ノ 　　　　/　　:/iﾉ　
　　 .| 人ヾ人ﾞ　 ー‐　-ｲ⌒ヽ　 　/　　/　
　　.ﾉ／　　　　　　　　　　　　＼/　　　,/
　　/　　　,　　　／⌒　) 　　　　　　　/
　　/　　＼　　/　　:/iﾉ.　　　＼ 　_ノ　
　 i＼　　　_,/　　/　　　　　　　　|　
　 |　　＼ 　　　/　　　　　　　　　.|.　
　　|　　　＼　/　.　　　.　　　　　 .|

長野峻也 游心流 武術秘伝の原理
http://www.amazon.co.jp/%E9%95%B7%E9%87%8E%E5%B3%BB%E4%B9%9F-%E6%B8%B8%E5%BF%83%E6%B5%81-%E6%AD%A6%E8%A1%93%E7%A7%98%E4%BC%9D%E3%81%AE%E5%8E%9F%E7%90%86-DVD-%E6%AD%A6%E8%A1%93/dp/B000E1NYUI

論証の参考にとロンリのちからという番組を見てみたがわけわからんな。
素人でもわかる論証、たとえば推理ドラマの推理、みたいな考え方には
あまり役立たなさそうという印象

論理学を学んでも「正しく読む」ことの訓練にはならないんですよ
高校で論理学を教えてどういう効果を期待しているのかよく分からないですね