ロドスのティモステネス（古代ギリシア語: Τιμοσθένης、英語: Timosthenes of Rhodes、fl.紀元前270年）は、古代ギリシアの航海士、地理学者。紀元前280年代から紀元前270年代にかけて、ティモステネスは、プトレマイオス朝エジプト王プトレマイオス2世の下で、海軍の指揮官、水先人の長として働いた。ティモステネスは、航海術に関する書物であるペリプルス10巻を書き、これは後に失われたものの、エラトステネスやストラボンなど他の地理学者たちから尊敬され、引用された。実際、ヘラクレアのマルキアノスは、エラトステネスの『地理学』について、ティモステネスの業績の丸ごとの盗作に過ぎないと非難していた。ストラボンは、エラトステネスがティモステネスのことを「その見解に反対するところもありながら、他のどの著述家よりも」好んでいた、とだけ述べている。後年のギリシャ人地理学者アガテメロス（fl.250年）によれば、ロドスのティモステネスは伝統的な8方向の風向に4方向を加えた12方向の風向の体系を編み出し、古典古代における古典的風向を示す12方位を導入した。ティモステネスは、異論もあるものの、風向を単なる気象現象とするのではなく、アネモイを地理上の方位の定位に用いようと試みた最初の古代ギリシアの地理学者だったとされている。ストラボンは、ティモステネスがデルポイのピューティア大祭の音楽競技のために「ピューティア調」の作品を書いたと伝えている。ティモステネスの歌曲は、フルートとキタラーで伴奏され、アポローンと大蛇ピュートーンの対決を寿ぐものであった。南極大陸にあるティモステネス山は、ティモステネスにちなんで命名されたものである。
シネマジックには2年半勤めたものの、27歳になりAV業界での活動に限界を感じ始めていた。その時、悪趣味を売りにする鬼畜系雑誌『TOO NEGATIVE』の編集者小林小太郎にタイで死体写真の撮影を勧められ、それまでは写真は映像より劣る物と考えていたものの、ロサンゼルス行きを考えていたこともあって承諾、タイでの撮影後、ロサンゼルスへ行き、さらにそこから近いということで1995年1月コロンビアへ行くことになった。死体作家としての活動を始めてわずか一年でNGギャラリーでの個展開催と写真集「danse macabre to the HARDCORE WORKS」の発売を実現させた。後に、釣崎は「自分たちは純粋培養でどうしようもなく甘い世代だから、ただ絶望して潰れてしまうより自発的に突破口を切り開いていかないと何も変わらないという思いがあった。例えば、実際の死に触れないでホラー映画監督になるほど、僕は恥知らずじゃない」と語っているが、このコロンビアでの体験は衝撃的なものとなった。当時のコロンビアは政府とメデジン・カルテルという巨大犯罪組織との間に繰り広げられた麻薬戦争が終わって間もなく、その残党や後を取ったカリ・カルテルの跳梁は元より、左翼ゲリラFARCが国土の三分の一を支配し、極右民兵組織なども入り乱れる内乱状態にあり、麻薬や誘拐、暗殺といった犯罪が日常化した世界だった。首都ボゴタで死体の撮影を求めてマフィアとの接触を図っていた釣崎は、エンバーミングを専門とするオロスコと出会い、その生き様に惹かれて長期の撮影に入る事になる。製作期間は３年間におよび、1998年にクランクアップ。1999年「死化粧師オロスコ」を完成させ、2000年7月にアップリンクで公開、1年間ロングラン上映された。
命題論理の命題の取り扱いは普通、命題計算（めいだいけいさん）、または文計算（ぶんけいさん）と呼ぶ命題変数を原子式にするような形式的な推論の体系によってなされる。命題論理において問題になるのは、個々の命題の「意味」よりも命題を「かつ」「ならば」などの論理演算子で関係づけたときにどんな推論ができるか、ということである。命題論理と違い主に個々の命題の意味を扱うのは述語論理などである。推論の性質をいかなる形に考えるかによって、直観主義論理的な命題論理をはじめ様相論理や相関論理などさまざまな命題論理が考えられるが、通常、単に命題論理と呼んだ場合には、古典命題論理（こてんめいだいろんり）を指す（古典論理）。従って、本項目では古典命題論理について主に解説することとする。一般的にいえば、命題計算とは「文法的にきちんとした」統語的な表現（整式）の集合、その表現のいくつかからなる部分集合（公理の集合）、さらに加えて表現の空間上に二項関係を定義する変形規則の集合からなる形式的体系である。普通、それぞれの表現が数学の表現として具体的に解釈されるとき、表現の変形規則が一定の意味同等性を保つように与えられる。特に表現が論理体系そのものとして解釈されるときには「意味同等性」が論理的同等性のことを指すように変形規則が与えられる。この設定のもとでは変形規則によって与えられた表現から論理的に等価な表現を導くことができる。こういった変形規則による別の表現の導出について、特別な例として表現を単純化すること、与えられた表現が前もって区別された特別な表現（普通、論理学の公理だと解釈される）のうちどれかと等価かどうか決定すること、などが問題にされる。命題論理における言語は命題変数（命題をはめ込む枠）と文演算子（結合子）からなっている。形式文法によって帰納的にその言語の表現や整式が、原子式や文演算子の一定の組みあわせとして定義される。公理の集合は空集合でも、空でない有限集合でも、可算無限集合でもいいし、あるいは公理図式によって与えられてもいい。加えて、意味論によって真かどうかの値付け（または解釈）が定められる。それによってどの整式が正しい、つまり定理であるかを決めることができるようになる。以下では標準的な命題論理の大筋を解説する。しかしこの他にも、ほぼ等価ではあるが、言語を構成している演算子や変数が違ったり、あるいは公理や推論規則が違ったりして、ここで説明するものと見かけが異なる方法も存在する。