14 関係: マイケル・ダメット、デイナ・スコット、イギリス、オックスフォード大学、シェフィールド、ジョン・ロック講義、哲学者、論理学者、様相論理、時相論理、1930年、1966年、6月1日、7月29日。
マイケル・ダメット
マイケル・ダメット(Sir Michael Anthony Eardley Dummett F.B.A., D. Litt、1925年6月27日 - 2011年12月27日)はイギリスの哲学者。.
新しい!!: ジョン・レモンとマイケル・ダメット · 続きを見る »
デイナ・スコット
デイナ・スチュアート・スコット (Dana Stewart Scott, 1932年-) はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。.
新しい!!: ジョン・レモンとデイナ・スコット · 続きを見る »
イギリス
レートブリテン及び北アイルランド連合王国(グレートブリテンおよびきたアイルランドれんごうおうこく、United Kingdom of Great Britain and Northern Ireland)、通称の一例としてイギリス、あるいは英国(えいこく)は、ヨーロッパ大陸の北西岸に位置するグレートブリテン島・アイルランド島北東部・その他多くの島々から成る同君連合型の主権国家である。イングランド、ウェールズ、スコットランド、北アイルランドの4つの国で構成されている。 また、イギリスの擬人化にジョン・ブル、ブリタニアがある。.
新しい!!: ジョン・レモンとイギリス · 続きを見る »
オックスフォード大学
ックスフォード大学 (University of Oxford) は、イギリスの大学都市、オックスフォードに所在する総合大学である。11世紀の末に大学の礎が築かれていることから、現存する大学としては世界で3番目に古く、英語圏では最古の大学である。また、ハーバード大学、ケンブリッジ大学、シカゴ大学等と並び、各種の世界大学ランキングで常にトップレベルの優秀な大学として評価される世界有数の名門大学である。2016年、2017年THE世界大学ランキングで世界1位の大学に2年連続で選ばれた。 イギリス伝統のカレッジ制を特徴とする大学である。貴族の大学としても有名である。 世界中の指導的政治家を輩出しており、テリーザ・メイ現首相、デーヴィッド・キャメロン前首相、トニー・ブレア元首相、マーガレット・サッチャー元首相など27人のイギリス首相、30人以上の各国元首らがオックスフォード大学出身である。さらに、50人以上のノーベル賞受賞者、6人のイギリス国王、150人以上のオリンピックメダリストなどを輩出している。また、皇太子徳仁親王、皇太子妃雅子、秋篠宮文仁親王ら、日本の皇族の留学先としても知られている。 ちなみに「オックスブリッジ」として並び称されるケンブリッジ大学の形成は、この大学に所属していた多くの教師と学生が1209年にケンブリッジに移住したことに端を発する。.
新しい!!: ジョン・レモンとオックスフォード大学 · 続きを見る »
シェフィールド
ェフィールド (Sheffield) はイギリスのイングランド中部の工業都市である。 人口は520,700人(2005年)で、首都ロンドン、バーミンガム、リーズ、グラスゴーに次いで第5位。都市圏人口は約180万人にのぼる。 またシェフィールド大学は5人のノーベル賞受賞者を輩出している名門大学。特に理工系に強い。 蹴球クラブの発祥地といわれる。.
新しい!!: ジョン・レモンとシェフィールド · 続きを見る »
ジョン・ロック講義
ョン・ロック講義(じょんろっくこうぎ、John Locke Lectures)とは、オックスフォード大学で年に一度行われる哲学の記念講義である。スコットランドの大学で行われるギフォード講義と並んで、世界で最も名誉ある学術記念講義の一つである。1950年にヘンリー・ワイルドの遺産をもとに開始された。 最初の講義にはルートヴィヒ・ウィトゲンシュタインが招かれていたが、辞退された。ウィトゲンシュタインの伝記によると、質疑応答の時間がない形式的な講義を快く思わなかったからだという。.
新しい!!: ジョン・レモンとジョン・ロック講義 · 続きを見る »
哲学者
哲学者とは、広義に、哲学を研究する者のことである。「哲学者(フィロソファー)」という語は、「知恵を愛する者」を意味する古代ギリシャ語のφιλόσοφος(フィロソフォス)に由来する。ギリシャの思想家ピタゴラスによって導入された。.
新しい!!: ジョン・レモンと哲学者 · 続きを見る »
論理学者
論理学者(ろんりがくしゃ)とは、論理学を専門に研究する人のことである。.
新しい!!: ジョン・レモンと論理学者 · 続きを見る »
様相論理
様相論理(ようそうろんり、modal logic)は、いわゆる古典論理の対象でない、様相(modal)と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である(様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる)。 その歴史は古くアリストテレスまで遡ることができるが、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「~は必然的である」ことを意味する必然性演算子 \Box と、「~は可能である」ことを意味する可能性演算子 \Diamond のふたつの演算子が追加される。.
新しい!!: ジョン・レモンと様相論理 · 続きを見る »
時相論理
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理(Tense Logic)と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。.
新しい!!: ジョン・レモンと時相論理 · 続きを見る »
1930年
記載なし。
新しい!!: ジョン・レモンと1930年 · 続きを見る »
1966年
記載なし。
新しい!!: ジョン・レモンと1966年 · 続きを見る »
6月1日
6月1日(ろくがつついたち)は、グレゴリオ暦で年始から152日目(閏年では153日目)にあたり、年末まであと213日ある。誕生花はマトリカリア、クレマチス。.
新しい!!: ジョン・レモンと6月1日 · 続きを見る »
7月29日
7月29日(しちがつにじゅうくにち)は、グレゴリオ暦で年始から210日目(閏年では211日目)にあたり、年末まであと155日ある。誕生花はサボテン、エキザカム。.
新しい!!: ジョン・レモンと7月29日 · 続きを見る »