論点先取 - Wikipedia
アリストテレスの胸像。彼は『分析論前書』の中で論点先取について論じた。 論点先取（ろんてんせんしゅ、英: Begging the question、羅: Petitio Principii）とは、証明すべき命題が暗黙または明示的に前提の1つとして使われるという誤謬の一種[1][2][3][4][5]。論点先取の虚偽（ろんてんせんしゅのきょぎ）とも言われる[6]。論点先取は、循環論法の誤謬と関連している。西洋での最初の定義としては、古代ギリシアの哲学者アリストテレスが紀元前350年ごろに行ったものが知られており、その著書『分析論前書』[7][8]や『詭弁論駁論』にある。 ラテン語では「assumptio non probata」（「論点窃取」とも訳された[9]）であり、その一種に「hysteron proteron」（不当仮定、倒逆法）や「circulus in probando」（循環論証
「論理的思考」は万能薬ではないかも【その１】 - ちしきよく。
論理的思考について考えるの巻 このブログは何より「論理」を重んじている(つもりですが)。 ブログにかかわらず、人に何かを説明するためには、まずなにより主張や説明に骨子が通っていなければならない。骨子になる一番簡単で強いもの―それが論理。 論理でないところで人を動かすのは割と容易い。怒り、憎しみ、呪い、悲しみ、恐怖、性欲、そういった強き感情(本能ともいう)を励起させる……言い換えれば、心の薄皮一枚剥がしたところにある部分を突いてやる……それだけでいい。 簡単な煽りでもヒトが動かされ、なにか一言ブクマに書かないと気が済まなくなることを考えれば、まあ自明だろう。もしくは、可愛いモデルさんの写真を取り上げた記事に無言ブクマがいっぱ……いや、何でもないです。 それに対し、論理的な記述、説明というのはなかなかむつかしい。本当に論理だけを突き詰めれば感傷に浸ることも許されない。言葉の定義も明確にせねばな
論理回路 - Wikipedia
論理回路（ろんりかいろ、英: logic circuit）とは、デジタルな電子回路による、論理演算や記憶を行う回路である[注 1]。 真理値の「真」と「偽」、あるいは二進法の「0」と「1」を、電圧の正負や高低、電流の方向や多少、位相の差異、パルスなどの時間の長短、などで表現し、論理素子など[注 2]で論理演算を実装する。電圧の高低で表現する場合それぞれを「H（ハイ）」「L（ロー）」等という。基本的な演算を実装する論理ゲートがあり、それらを組み合わせて複雑な動作をする回路を構成する。状態を持たない組み合わせ回路と状態を持つ順序回路に分けられる。 論理回路の設計には、論理式や真理値表が用いられる。さらに回路図的な表記手段としてMIL記号など論理素子記号が使われる。 負論理には正論理の信号名の上にオーバーバー（例： ）を加えることで表現し、MIL記号では小丸(○)で表現する[1]。 正論理（左側
ゲーム意味論 - Wikipedia
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されており、ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。 最も単純なゲーム意味論の応用として、命題論理への適用がある。各論理式を2人のプレイヤーの間で行われるゲームに見立てる。プレイヤーは「立証者; Verifier」と「偽証者; Falsifier」と呼ばれる。立証者はその論理式内の全ての論理和の「所有権」を有し、偽証者は同様に全ての論理積を所有する。このゲームの「手」で行うことは、論理演算子を所有するプレイヤーがその演算子の一方の枝を選ぶことである。ゲームはその選ばれた部分論理式について続行され、その論理式を制御している演算子を所有す
大阪大学リポジトリ
学術雑誌論文 [2962] 博士論文 本文あり [6181] 博士論文 [31675] 紀要論文 [25320] 研究報告書 [508] 学内報告書等 [20] 単行書 [189] 会議発表用資料 [134] 会議発表論文 [280] 教材 [91] 貴重書 [437] データセット [86] ディスカッション／ワーキング・ペーパー [1546] プレプリント [30] 一般記事 [21] 本学関連学会 [11351] その他 [8202] 大阪大学学術情報庫 OUKA 大阪大学学術情報庫 OUKA(Osaka University Knowledge Archive) は大阪大学の機関リポジトリです。 大阪大学の教育研究活動から生み出される論文などの学術成果を電子的に保管・公開するサービスで、誰でも無償で本文まで閲覧できます。 OUKAについて 大阪大学刊行物（研究科等別） リンク集 よ
線形論理 - Wikipedia
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証明において「一回だけ」消費される。古典論理や直観論理のような論理体系では、仮説（前提）は必要に応じて何度でも使える。例えば、A と A ⇒ B という命題から A ∧ B という結論を導出するのは、次のようになる。 A と A ⇒ B を前提とするモーダスポネンス（あるいは自然演繹でいう含意の除去）により、B が得られる。 前提 A と (1) の論理積から A ∧ B が得られる。 これをシークエントで表すと、A, A ⇒ B ⊢ A ∧ B となる。上記の証明ではどちらの行でも、A が真であ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ERROR Detected
TACL'2009: Contributed Talks
Relevance Logic (Stanford Encyclopedia of Philosophy)
PSSJ WS Takeuti