ニコニコ大百科

この言葉聞くと「なぜナポリタンは赤いのだろうか」のコピペ思い出す。
というわけでナポリタンを関連項目に入れてもいいんじゃないかな。
向こうの記事でも言及してるし。

ところで、トートロジーというと「AはAなのだ」という使い方の方が多いと思うんだけど、
記事で説明してる論理パズルみたいな使い方もありなの?

>>1
逆に、記事にあるような「論理パズルみたいな」用法が適当。

恒真命題として、A⇒Aっていうのがあるけど、トートロジーと微妙に違ってたんだね。少し誤解してた。
論理パズルの場合は、一見すると同値に見えない同値式を、パズルの例題にしてる。演繹の作業の中で、常に真なる前提から真なる結論を導く為の練習に、こういう事をすると聞いた事があるが。

「生き残った者以外は皆死んでしまった」
何かの本でトートロジーの説明に使われてたんだけど、
分かる人いませんか？

明日の天気は雨が降るか、降らないかでしょう。

厳密には違うがこの手の発言も近い。
「犯人は20代から30代、もしくは40代から50代」
「顔見知りによるストーカー的犯行か、もしくは通り魔の犯行」

>>4
「生き残った人」と「死んだ人」で対象全て（人）を過不足や重複なく含めることができ（人は生きているか死んでいるかどちらかしかない）、かつその命題では2つの状態は互いに排他的だから、その命題は常に真。
ちなみに常に真なので、個別の状況を理解する手助けには一切ならない。

痛覚が痛い。　ってのもこれに入るんかね

頭が頭痛で痛い
危険が危ない
致命的な致命傷
確定的に明らか

人間は哺乳類である(分析命題)

トートロジーとはトートロジーである

論理的なこうしたことは結局みんなイコールを使ったものなのでトートロジー、と。
じゃあその物事の何が正しいの、ってのを決めてるのは現実の世界
(要は実証があるから確かめられるのだということ)
このことに着目して、論理実証主義が育ったのね。つまり、トートロジーを解決するアイデアとして実証主義が出てきた、と。

>>sm1602118

まぁそれが出てきたから、ドゥルーズみたいな人が
「あいつらのせいで哲学が死に掛けた」って言い出すわけだが｡

うんこ食ったらうんこの味がした

>>13
ちょｗｗ　あんたは黙っててくださいｗｗｗ
一気に内容が浅くなるｗｗｗｗ

記事にある例題って、遊☆戯☆王で「こんな話がある・・・」と城之内が紹介してたな。懐かしい。
何か元ネタ(文献とか)のある話なの？

>>16ならば「>>16ならば>>16である」
>>17ならば「>>17でないならば>>17である」

例題についてだけど、「右（左）の道が正直村に続く道かと尋ねたら、あなたは『はい』と答えますか？」も答えになるよね
一回の質問で二択の問いかけを二回するから、両方に嘘をつくと結局真実の回答になる
・右が正直村だった場合
正直村人は当然「はい」。嘘つき村人は「右は～」に対しては「いいえ」だけど、そのまま答えると正直に答えることになってしまうから「はい」と答える
・右が嘘つき村だった場合
正直村人は当然「いいえ」。嘘つき村人は「右は～」に対しては「はい」だけど、そのまま答えると正直に答えることになってしまうから「いいえ」と答える。
どちらの村人にせよ、回答は右が正直村なら「はい」、嘘つき村なら「いいえ」になる＝真実を答える事になるから、質問の答え通りに進めば正直村に行ける
たしか平成教育委員会ではこっちが解答例だったなー

>>13
そりゃあうんこはうんこだからな

命題「戦争はなくならない。もし戦争がなくなれば人類は滅びる」はトートロジー
命題論理的な意味で

例題は簡単だけど、
もっと難しくした派生問題もいくつかあった気がする。
嘘ツキも正直者も同じ村に住んでるバージョンとか、嘘も真実も気まぐれに答えるバージョンとか

音速のソニック、閃光のフラッシュ

>>19
「戦争がなくなる」をA、「人類は滅びる」をBとすると、「戦争はなくならない。もし戦争がなくなれば人類は滅びる」は¬A∧(A⇒B)となる。
真理値表で確かめると
A1100
B1010
¬A0011
A⇒B1101
☆¬A∧(A⇒B) 0001
となり、¬A∧(A⇒B)はどんなときでも真になるとは限らないのでトートロジーではないのでは。

>>19
もしかして¬A⇒(A⇒B)の方…？接続詞がないからてっきり…

>>11を期待して開いた

俺もさっそく>>1の最後で言われてるような、

＞トートロジー（Tautology, ギリシャ語：ταυτολογία）とは、ある事柄を述べるのに、同義語[1]または類語[2]または同語[3]を反復させる修辞技法のこと。同義語反復、類語反復、同語反復と訳される。関連した概念に冗語があり、しばしば同じ意味で使われることもある。
（wikipedia）

のイメージなんだけど、なんか正直村の問題とかはじめるから、俺が別の言葉と間違えて覚えてるんじゃないかとあせっちゃったよ。
論理学のトートロジー(恒真式)と修辞法のトートロジー(同義語反復)は違うんだね。完全に別とはいえないけど
論理学についての会話をしてますよという場面でもない限り、恒真式の意味でしいてトートロジーとか言わねえイメージ。
「社員」（商法上は株主の意味、なお誰もその意味では使ってないもよう）を思い出した。


　ちなみに例題、一人にしか質問できない、一回しか質問できない、はいかいいえでしか答えてもらえない、という条件付きなら「あなたの相方は、正直村にいくには左の道で良いと答えますか？」と両方を絡ませるといいよね

>>22
¬A∧(A⇒B)はなんで∧で繋いでるんですかね?⇒ならまだ許せる

>>21
誰ですか？その頭痛が痛いみたいな名前の人物は？

解説の項目にある
>村人が正直村の住人の住人であれば
という記述についてだが
これは普通にミスってんのか　それとも記事が記事なだけにアレか　ｺﾚｶﾞﾜｶﾗﾅｲ

俺は修辞法、言語表現としてこのページに来たので、>>25の言ってるような一言が加えられてると助かった。
複数の意味がある、複数の場面で別の使われ方がある言葉なら、それなりの配慮をしてほしい。

概要のところにある説明、間違ってない？
各要素の真偽によらず常に命題が真である場合を恒真式と言うので、
「A以外の条件によらず」（＝要素Aの真偽には影響を受ける）というのは恒真式ではないと思うのだけど。

例題もよく分からない。恒真式となっている命題は具体的に何？