- このトピックには198件の返信、1人の参加者があり、最後に
により19年前に更新されました。
-
投稿
-
ども、SCOさん。
a)の部分が不明なんですね。総合のレポートをやってないんで的確に答えられないかもですが、
命題論理の範囲で日常言語を記号化することの説明ならば、
否定・連言・選言・条件法・（双条件法又は同値）という基本となる
真理関数を真理表を書いて説明するところから
始めるのはいかがでしょうか？そうして命題論理の範囲で記号化された推論は
（この推論の例は参考書から拾ったもので十分だと思います）、
真理値分析をすることでトートロジーであるかどうかが分かる。
トートロジーとは、形式的に正しい推論に対応する論理式である。
命題論理の範囲内で記号化された推論が正しいかどうかは
どんなに複雑で長い推論でも
個々の原始命題（要素文）の真偽が不明でも
真理値分析によって必ず定式化できる
（真理値分析すれば必ずトートロジーかどうかが分かるのだから）。
一般的に定式化されたこの形式的な正しさこそが
命題論理における論理的真理なのではないでしょうか？
この辺は、
記号化によって形式的な論理的真理を一般的に
定式化することの結果としての結論であって、
日常言語を記号化することについての話題からズレてしまっていますが、
何のために日常言語を記号化するのかという問いに関わって
くるようにオレには思われます。
なお、形式化された推論の正しさについては、
このスレ
>>7
>>8
>>15
のジュウイチサンの解説がコンパクトで分かりやすいと思います。オレもまだレポートに合格してないので、
理解があやふやで説明がアヤシイかも知れないです。
その点は御容赦下さい。
では！ほーらね、コンノさん、「先生に向いてる」っていったでしょ？
一度、本気で考えてみて。
ルックスも問題なしですよん。
（失礼しました）mizukokoさん
あんまり持ち上げないでくださいよ～オレ、マジ、「先生」って呼ばれるタイプではないんですよ！！
本当に。それはともかく、
今度機会があるときにじっくり話したいですね。
ではではここのスレをじっくりと最初から読み、なんとか量的には8割ほど完成しました。
ただいま恒真な真理関数という概念の有用性と格闘しております。
あと5日間、頑張って仕上げたいと思います。ということで、近況報告でしたー。
ご報告です。ついに論理学レポ通過出来ました。
長かった……僕もご無沙汰でした。
先日5回目のレポートが返ってきました。
…Ｄでした。が、半分は合格圏内までできているそうで、あと少しらしい。
10日くらいまでに出したいと思っております。>masaakiさん
おめでとうございます。
僕も頑張ります!!ﾋｼﾞｮｰに亀ﾚｽですが…
masaakiさん、おめでとうございます！苦労が報われましたね！！
SCOさん、近況はいかがですか？諦めなければきっと良い結果がでますよ！（そのように自分では信じているので）
と言いつつ自分は…
やっとやっと専門のレポート（二回目）の下書きが完成しましたが…
なんと字数を数えたら一万字オーバー…
自分の場合字数オーバーを理由に不合格になったことはないけど、本当に大丈夫なのだろうか？？
不安だ。。。有難うございますm(__)m
自分もこの勢いの儘、専門の論理学に進もうと思います。masaakiさん
専門に進みますかー！
ｵﾚまだ二回目レポ返却待ちですが、
専門は真理関数理論に加えて、
量化論理式・推論規則・演繹といった概念の理解がポイントのように思われます。お互い頑張りましょー！！
ついに、ついに念願の論理学のレポートが合格しました。
苦節3年!!
原稿用紙にして59枚分、6回の再提出で合格しました。
しかも講評蘭には「文句なしの合格です」とありました。
これは本当なのか、それとも59枚、そして6枚の表紙をホチキスで止めるのが不可能なので仕方なく合格なのかは謎だけど…でも受かればいいんだ。
これで卒論登録に必要な単位はそろった!!
でも、まだ卒論は無理っぽいかな。
そろそろテーマを探し始めないと!!SCOさん、合格おめでとうございまーす！！
なんか私、自分の事みたく嬉しいのはなぜ？
６回目でスか。やりましたね。
やっぱホチキスとめらんないですよね．あと、
折り曲げらんないし、封筒におさまんない。
私はガチャ玉使ってとめて、大きい茶封筒に
いれて、窓口に持ち込みました。
でも落ちたから今度はそれにさらに重ねなくては。
みなさんどうしてるんでしょうね。分厚い再提出レポ。SCOさん。お疲れ様でした。
>苦節3年!!
>原稿用紙にして59枚分、6回の再提出で合格しました。スゴイ！
諦めなければ何とかなるものですね。
オレ今のトコ、二回提出ですが既に40枚…
今回また落とされても挫けずにまだまだ頑張りたいと思います。
しかし、次回からホチキス止めどうしよう？とにかくおめでとうございます！！
scoさん、論理学合格御目出当う御座います。
矢っ張り皆さんもホチキスでお困りでしたか。自分も通常のモノでは閉じる事が出来ず、業務用のごつい奴を購入しました(*_*)本日、論理学(Ｌ)のレポ投函します。論理学(Ａ)の時の癖でついつい多目に書いちゃいました。２単位だから２千字で良かったのに(^_^;)
先日、専門科目論理学やっと合格しました。
これまで合格された皆さんと同じく、
本当に本当に、長かった～
という気持ちです。レポート自体は二回で合格したものの、
97年に一回も提出しないまま総合論理学の
レポート作成を途中で投げてしまってからのことなので、
気が遠くなる程の時間の掛かり方でした…講評の方の、
「私が採点してあAをつけたものの中でも最上位に入るような
素晴らしい出来ばえのレポートであると思います」
という言葉に自己満足することにします。
（本文一万字越えのレポートになってしまいましたが…）ちなみに、今回のレポート作成に際して参考にしたものは
一、専門テキスト：1～23章（1～136頁）
（しかし20章以降は、すべて理解しなくても可。というか
20章以降は分かりにくい！！理解できない。ただし
最近のレポ課題についての重要なことがさらっと
書かれてもいる。）ニ、野矢茂樹『論理学』東京大学出版会
1章と2章（1～124頁）※テキストだと、量化理論の意味論と構文論が理解しにく
かったので、この本で補いました。三、三浦俊彦『論理学がわかる事典』日本実業出版社
特に、194～197頁。※最近の課題で説明が求められている“推論規則”
が上述の頁に分かりやすく書かれていました。
- このトピックに返信するにはログインが必要です。