stanford-oval/wikipedia huggingface dataset:
プリンスエドワードアイランド州首相
プリンスエドワードアイランド州首相 (1873年以降)

| 代 | 氏名・政党 | 任期 |
| --- | --- | --- |
| 1 | ジェームズ・カレッジ・ポープ（保守党） | 1873年4月 - 1873年9月 |
| 2 | レミュエル・オウエン（保守党） | 1873年9月 - 1876年8月 |
| 3 | ルイス・ヘンリー・デイヴィス（連立政権） | 1876年8月 - 1879年4月25日 |
| 4 | ウィリアム・ウィルフレッド・サリヴァン（保守党） | 1879年4月25日 - 1889年11月 |
| 5 | ニール・マクラウド（保守党） | 1889年11月 - 1891年4月27日 |
| 6 | フレデリック・ピーターズ（自由党） | 1891年4月27日 - 1897年10月 |
| 7 | アレグザンダー・ウォーバートン（自由党） | 1897年10月 - 1898年8月 |
| 8 | ドナルド・ファルクハーソン（自由党） | 1898年8月 - 1901年12月29日 |
| 9 | アーサー・ピーターズ（自由党） | 1901年12月29日 - 1908年1月29日 |
| 10 | フランシス・ハザード（自由党） | 1908年2月1日 - 1911年5月16日 |
| 11 | ハーバート・ジェームズ・パーマー（自由党） | 1911年5月16日 - 1911年12月2日 |
| 12 | ジョン・アレグザンダー・マシーソン（保守党） | 1911年12月2日 - 1917年6月21日 |
| 13 | オービン・エドモンド・アーセノウ（保守党） | 1917年6月21日 - 1919年9月9日 |
| 14 | ジョン・ホワット・ベル（自由党） | 1919年9月9日 - 1923年9月5日 |
| 15 | ジェームズ・デイヴィッド・ステュアート（保守党） | 1923年9月5日 - 1927年8月21日（1期目） |
| 16 | アルバート・チャールズ・ソーンダーズ（自由党） | 1927年8月21日 - 1930年5月20日 |
| 17 | ウォルター・マックスフィールド・リー（自由党） | 1930年5月20日 - 1931年8月29日（2期目） |
| - | ジェームズ・デイヴィッド・ステュアート（保守党） | 1931年8月29日 - 1933年10月10日（2期目） |
| 18 | ウィリアム・マクミラン（保守党） | 1933年10月14日 - 1935年8月15日 |
| - | ウォルター・マックスフィールド・リー（自由党） | 1935年8月15日 - 1936年1月14日（2期目） |
| 19 | セイン・キャンベル（自由党） | 1936年1月14日 - 1943年5月11日 |
| 20 | ジョン・ウォルター・ジョーンズ（自由党） | 1943年5月11日 - 1953年5月25日 |
| 21 | アレグザンダー・ウォレス・マセソン（自由党） | 1953年5月25日 - 1959年9月16日 |
| 22 | ウォルター・ラッセル・ショー（進歩保守党） | 1959年9月16日 - 1966年7月28日 |
| 23 | アレックス・キャンベル（自由党） | 1966年7月28日 - 1978年9月18日 |
| 24 | ベネット・キャンベル（自由党） | 1978年9月18日 - 1979年5月3日 |
| 25 | アンガス・マクリーン（進歩保守党） | 1979年5月3日 - 1981年11月17日 |
| 26 | ジェームス・リー（進歩保守党） | 1981年11月17日 - 1986年5月2日 |
| 27 | ジョー・ギズ（自由党） | 1986年5月2日 - 1993年1月25日 |
| 28 | キャサリン・コールベック（自由党） | 1993年1月25日 - 1996年10月9日 |
| 29 | キース・ミリガン（自由党） | 1996年10月9日 - 1996年11月27日 |
| 30 | パット・ビンズ（進歩保守党） | 1996年11月27日 - 2007年6月12日 |
| 31 | ロバート・ギズ（自由党） | 2007年6月12日 - 2015年2月23日 |
| 32 | ウェイド・マクロクラン（自由党） | 2015年2月23日 - 2019年5月9日 |
| 33 | デニス・キング（進歩保守党） | 2019年5月9日 - 2025年2月21日 |
| 34 | ロブ・ランツ（英語版）（進歩保守党） | 2025年2月21日 - |
レディ・トゥ・ゴー (パニック!アット・ザ・ディスコの曲)

「レディ・トゥ・ゴー」（原題: Ready to Go (Get Me Out of My Mind)）は、アメリカ合衆国のポップ・ロック・バンドであるパニック!アット・ザ・ディスコの楽曲。2011年3月22日に発売された3作目のスタジオ・アルバム『悪徳と美徳』の6曲目に収録された後、5月20日に同作からの第2弾シングルとしてリカットされた。
楽曲は2011年に公開されたアニメ映画『スマーフ』のエンドクレジットで使用されたが、同作のサウンドトラック・アルバムには収録されていない。
リリース・評価

「レディ・トゥ・ゴー」は、アルバム『悪徳と美徳』からの第2弾シングルとして発売された楽曲で、ブレンドン・ユーリーは2011年のHollywireの取材で「僕らが（シングルとして）2番目に出したかった曲で、レコードでお気に入りの1つ。僕の本当に好きな曲で、僕らがこれまでやったことがないものを見せる曲だと思う」と語っている。
『ポップマターズ』のマット・ジェームズは、本作を「完璧かつ迫力のあるパワー・ポップ」「豪華なイヤーワーム」と表現した。『アメリカン・ソングライター』誌のエリック・アレンは、ザ・キラーズからの影響について言及している。2011年に『ローリング・ストーン』誌が実施した読者投票 "The Best Songs of the Summer" では第5位に入った。『PopBuzz』のジェームズ・ウィルソン＝テイラーは、2018年1月時点でパニック!アット・ザ・ディスコが発表した全71曲（カバー曲やコラボ曲を除く）を対象としたランキングで第19位に本作を選出した。
ミュージック・ビデオ

2011年5月2日、パニック!アット・ザ・ディスコは公式Facebookページで「レディ・トゥ・ゴー」のミュージック・ビデオを公開した。監督は「アイ・ライト・シンズ・ノット・トラジェディーズ〜いつわりのウェディング」や「モナリザのバラード」なども手がけたシェーン・ドレイクが務めた。本作のミュージック・ビデオにはミュージカル映画『雨に唄えば』のオマージュやバディ・ホリーのモノマネなど、多様な要素が取り入れられており、スミスは「僕ら流のミュージカル」と表現している。
『オルタナティヴ・プレス』誌のキャシー・ホイットは、2016年5月までに公開されたパニック!アット・ザ・ディスコのミュージック・ビデオを対象にランク付けし、本作のミュージック・ビデオを第4位に選出した。
クレジット

※出典
ブレンドン・ユーリー – リード・ボーカル、バックグラウンド・ボーカル、キーボード、ベース、シンセサイザー、プログラミング、リズムギター、リードギター、作詞作曲
スペンサー・スミス – ドラム、パーカッション、作詞作曲
ブッチ・ウォーカー – プロデュース、追加のギター、バックグラウンド・ボーカル、プログラミング、録音
ジョン・フェルドマン – 録音、アシスタント・エンジニア
ジェイク・シンクレア – エンジニア
ブランドン・パドック – アシスタント・エンジニア
エリック・ロン – アシスタント・エンジニア
フレッド・アーシャンボルト – アシスタント・エンジニア
マット・アップルトン – アシスタント・エンジニア
クラウディウス・ミッテンドーファー – ミキシング
ロブ・メイセス – ストリングスアレンジ、指揮者
ジョナサン・アレン – 録音（ストリングス）
ルイス・ジョーンズ – アシスタント（ストリングスの録音）
ジョー・ナポリターノ – 編集
イソベル・グリフィス – コントラクター（ストリングス）
トマス・ボウズ – リーダー（ストリングス）
ピート・ライマン – マスタリング
チャート成績

| チャート (2011年) | 最高位 |
| --- | --- |
オーストラリア (ARIA): 69
認定

| 国/地域 | 認定 | 認定/売上数 |
| --- | --- | --- |
| アメリカ合衆国 (RIAA) | Gold | 500,000 |
  認定のみに基づく売上数と再生回数
谷川昭一朗

| たにがわ　しょういちろう 谷川昭一朗 |
| --- | --- |
本名:  谷川 昭一朗
生年月日:   (1966-12-19) 1966年12月19日（58歳）
出生地:   日本 熊本県
職業:  俳優
ジャンル:  舞台、映画、テレビドラマ
活動期間:  1990年 - 現在
事務所:  ノックアウト
 
テンプレートを表示
谷川 昭一朗（たにがわ しょういちろう、1966年12月19日-）は、日本の俳優。熊本県出身。ノックアウト所属。血液型O型。身長172cm。
1990年、劇団東京乾電池に入団。退団後、1994年、戸田昌宏とともに、ユニット「プリセタ」を旗揚げ。毎年公演を行っている。プリセタを続けながら、2008年東京乾電池へ再入団。
出演 > テレビドラマ

課長島耕作
刺客請負人（パート2、第7話）
ケータイ刑事 銭形愛（第25話）
ケータイ刑事 銭形雷（2ndシーズン、第4話）
ケータイ刑事 銭形海（1stシーズン、第6話）
ハンサムマン
おばさん会長・紫の犯罪清掃日記 ゴミは殺しを知っている3
Tomorrow〜陽はまたのぼる〜（2008年） - 大内憲太郎 役
腐女子デカ（2008年、テレビ朝日）
相棒 Season 7（2009年、テレビ朝日） - 斎木敏也 役
月曜ゴールデン（TBS）
「税務調査官・窓際太郎の事件簿19」（2009年10月12日） - 田中
「血痕 警科研・湯川愛子の鑑定ファイル4」（2013年6月17日） - 森島幹夫 役
松本清張生誕100年スペシャル・中央流沙（2009年12月14日、TBS）
NHK大河ドラマ
龍馬伝（2010年） - 小塚広衛 役
いだてん〜東京オリムピック噺〜（2019年） - 席亭
モリのアサガオ（2010年、テレビ東京）
NHK正月時代劇 「隠密秘帖」（2011年1月1日、NHK） - 本多忠籌 役
生まれる。 最終話（2011年6月24日、TBS） - 酒蔵の社長
水戸黄門第43部 第18話「上様、長屋で叱られる -江戸-」（2011年11月21日、TBS） - 大納言
坂の上の雲（2011年12月、NHK） - 白井二郎 役
お助け屋☆陣八 最終話（2013年3月28日、読売テレビ） - 瞳の父 役
松本清張二夜連続ドラマスペシャル・第一夜「松本清張〜坂道の家」（2014年12月6日、テレビ朝日）
ナオミとカナコ 第4話 - 第6話（2016年2月4日 - 2月18日、フジテレビ） - 森崎
月曜名作劇場「あんみつ検事の捜査ファイル1」（2016年6月13日、TBS） - 相田
法医学教室の事件ファイル（2017年） - 野崎弁護士 役
我が家の問題（2018年） - 長谷川忠幸 役
命売ります（2018年） - 西尾慎太郎 役
遺留捜査（2018年） - 川久保秀樹 役
ブラックスキャンダル（2018年10月4日 -、読売テレビ） - 長谷川浩文 役
ハケン占い師アタル（2019年） - 田端の父 役
行列の女神〜らーめん才遊記〜 第3話（2020年5月4日、テレビ東京） - 久保
未来への10カウント 第3話 - （2022年4月28日 -、テレビ朝日）- 大村啓司 役
元彼の遺言状 第7話（2022年5月23日、フジテレビ） - 武藤利夫 役
ちむどんどん（2022年） - 諸見里教頭 役
エルピス-希望、あるいは災い-（2022年） - 山下守 役
らんまん（2023年）
JKと六法全書 第1話（2024年4月19日、テレビ朝日） - 五所川原第二支部仮法廷 裁判長 役
海に眠るダイヤモンド（2024年） - 出水照吉 役
ホットスポット 第3話・第5話 - （2025年1月26日・2月9日 - 、日本テレビ） - タクシー運転手 役
出演 > 映画

腑抜けども、悲しみの愛を見せろ（2007年、吉田大八監督）
イキガミ（2008年、瀧本智行監督）
桜田門外の変（2010年、佐藤純彌監督）
おにいちゃんのハナビ（2010年、国本雅弘監督）
のぼうの城（2012年、犬童一心監督・樋口真嗣監督） - 成田泰高
Every Day（2016年、手塚悟監督） - 吉田
STRANGERS（2024年、池田健太監督）
出演 > 配信ドラマ

77部署合体ロボダイキギョー ドラマ・伝え方が9割（2017年11月29日、AmazonPrimeビデオ） - 社長
七夕の国（2024年7月4日、スター） - 丸神の里の住民 早野源一郎
地面師たち（2024年7月25日、Netflix） - 石洋ハウス社長
出演 > 舞台

→「劇団東京乾電池」も参照
ぴーすおぶけーき（2023年1月20日 - 29日〈予定〉、天王洲 銀河劇場）
コロンボ港

| コロンボ港 |
| --- | --- |
 
所在地
国:   スリランカ
所在地:  コロンボ
座標:  北緯06度57分10秒 東経79度50分41秒﻿ / ﻿北緯6.95278度 東経79.84472度﻿ / 6.95278; 79.84472座標: 北緯06度57分10秒 東経79度50分41秒﻿ / ﻿北緯6.95278度 東経79.84472度﻿ / 6.95278; 79.84472
詳細
開港:  古代
管理者:  スリランカ港務局（英語版）
種類:  海港
陸域面積:  4.8 km2 (1,200エーカー)
係留施設数:  11
埠頭数:  29
桟橋数:  9
統計
取扱貨物量:  7,300万トン（2015年）
コンテナ数:  520万TEU（2015年）
公式サイト:  http://www.slpa.lk/
 この表について この表はテンプレートを用いて表示しています。編集の仕方はTemplate:Infobox 港をごらんください。 
コロンボ港
コロンボ港の位置
コロンボ港（英語: Port of Colombo）は、スリランカのコロンボにある港湾。スリランカで最大でかつ最も取扱い量の多い港湾であり、南アジアでも有数の主力港である。
概要

コロンボ港はスリランカ南西海岸沿いのケラニ川の河口部分に位置する港湾都市コロンボに存在する。スリランカはインド洋のシーレーン上に位置することから、南アジアにおける重要なターミナル港となっている。1980年代にかけてクレーンやガントリーといった設備が導入され、急速に近代化が進められた結果、2011年現在では426万TEUのコンテナ取扱量と15 m以上の深さを持つ世界有数の港湾となっており、コンテナ港の世界ランキングでは世界22位に位置付けられている。世界で最大規模の人工港の一つでもあり、スリランカの対外貿易のほとんどを取り扱っている。2015年現在、年間コンテナ取扱量は520万TEU、貨物取扱量は7,300万トンである。コロンボ港にはまたスリランカ海軍の基地であるSLNS Rangallaも存在している[要出典]。
歴史

1913年にコロンボ港務委員会（Colombo Port Mission）が設立された。1954年にはエリザベス女王埠頭が完成し、1979年には現在まで同港の管理を行っているスリランカ港務局（英語版）が設立された。その後1980年にエリザベス女王ターミナル、85年にジャヤ・コンテナ・ターミナル（JCT）、98年にユニティ・コンテナ・ターミナル（UCT）、99年に南アジア・ゲートウェイ・ターミナル（SAGT）が完成した。
2008年にはコロンボ港拡大プロジェクトが開始し、2013年にコロンボ国際コンテナターミナル（CICT）が完成した。2019年にはインド、日本、スリランカの3カ国で東コンテナ・ターミナル（ECT）の開発・運営を行う合弁会社の設立合意がなされた。その後労働者のデモによって一時開発が停止していたが、2021年1月13日にラージャパクサ大統領から東ターミナル事業の再開が発表された。
2021年2月、三カ国によるコンテナターミナルの開発は、スリランカ単独による事業に変更。同年11月には、開発事業は中国企業に発注された。
施設

2019年現在、コロンボ港にはジャヤ・コンテナ・ターミナル (JCT)、南アジア・ゲートウェイ・ターミナル (SAGT)、ユニティ・コンテナ・ターミナル (UCT) 、コロンボ国際コンテナターミナル (CICT) の4つのコンテナターミナルが存在しており、さらに東コンテナターミナル (ECT) の建設計画が存在する。その他の施設としては下記のようなものが存在する。
04 Feeder Berths
07 Container Berths
14 Quay Cranes
12 Super-Post Panamax Crane
01 Twin_lift Super-Post Panamax Crane
04 Wall-mounted Gantries
78 Rubber-tyred Gantries
285 Terminal tractors and trailers
加えて、バンダラナイケ埠頭 (BQ)、Prince Vijaya埠頭 (PVQ) には、4機のクレーンと6,245 m2の保税倉庫が存在している。
荷役機械としてガントリークレーンが44基、トランスファークレーンが142台存在する。
カリーニングラード港

| カリーニングラード港 |
| --- | --- |
 カリーニングラード港 カリーニングラード港カリーニングラード州の地図を表示カリーニングラード港バルト海の地図を表示カリーニングラード港ヨーロッパロシアの地図を表示カリーニングラード港の位置
所在地
国:   ロシア
所在地:  カリーニングラード州カリーニングラード
座標:  北緯54度42分10秒 東経20度28分25秒﻿ / ﻿北緯54.70278度 東経20.47361度﻿ / 54.70278; 20.47361座標: 北緯54度42分10秒 東経20度28分25秒﻿ / ﻿北緯54.70278度 東経20.47361度﻿ / 54.70278; 20.47361
詳細
開港:  1339年
管理者:  Администрации морского порта Калининград
種類:  商港
統計
取扱貨物量:  1538万t（2008年）.
コンテナ数:  213,21000 TEU（2008年）
公式サイト:  mapkld.ru
 この表について この表はテンプレートを用いて表示しています。編集の仕方はTemplate:Infobox 港をごらんください。 
カリーニングラード港 (カリーニングラードこう、ロシア語: Порт Калинингра́д) はヴィストゥラ潟湖（英語版）内東部にある港湾。ロシア連邦カリーニングラード州のカリーニングラード市に属する。国際貿易港、漁港、河川港の三つで構成されている。
概要

ヴィストゥラ潟湖（英語版）に位置し波浪が少なく、バルト海沿岸のロシア領で唯一の不凍港である。 定期コンテナ船がオランダ、イギリス、ドイツ、ポーランド、リトアニアの各港との航路に就航している。1901年に開削されたカリーニングラード運河（ドイツ語版）を経由してバルト海より直接大型船の入港が可能となっている。1991年5月に外国との貿易港として開放されている。
埠頭は全長17kmで、カリーニングラード運河の北側と、プレゴリャ川の河口に位置する。
概要 > 商業港

国際貿易港であるため、あらゆる種類の貨物（原油を除く）を取り扱う。
港には20のバースがあり、全長は3km以上で、そのうち18箇所が貨物用である。穀物および肥料の取り扱いは、穀物埠頭、肥料埠頭、液体肥料埠頭などの専用ターミナルが使用されている。港の区域には13の貨物倉庫（3つの冷蔵倉庫を含む）があり、総面積211.6万m2になる。.
概要 > 漁港

カリーニングラード漁港は1947年7月21日に供用が開始された。東プロイセン時代には遠洋漁業は行われていなかったが、1948年6月にアイスランド沖での最初の遠洋漁業を開始した。
港では冷凍の魚や肉、食料品、肥料、容器、建材、石油製品、バルク化学貨物などを取り扱い、外貨運送、遠洋漁業のための21バースと、沿岸漁業の5つのバースが含まれる。
漁港には臨港線が敷設してあり、港が保有する機関車、入替機、荷捌場がある。 .
概要 > 河川港

河川港は1946年に供用が開始された。 港は河口から6キロ上流のカリーニングラード市内のプレゴリャ川の右岸に位置し、3地区に分かれている。
徹肌ィ郎

| 基本情報 |
| --- | --- |
本名:  鈴木 徹
通称:  宇宙人 ネイキッドマン
国籍:   日本
生年月日:   (1977-11-02) 1977年11月2日（47歳）
出身地:  岩手県水沢市（現・奥州市）
所属:  和術慧舟會岩手支部 →和術慧舟會ネイキッドマン柔術 →和術慧舟會 高田馬場道場 →和術慧舟會 東京道場
身長:  164cm
体重:  63kg
階級:  バンタム級
バックボーン:  柔術
テンプレートを表示
徹 肌ィ郎（てつ はだいろう、1977年11月2日 - ）は、日本の男性総合格闘家。岩手県水沢市（現・奥州市）出身。和術慧舟會東京道場所属。
来歴

2003年9月13日、DEMOLITION atomでプロデビュー。浅井聖勝と対戦し、アキレス腱固めで一本勝ち。
2005年3月20日、アブダビコンバット日本予選66kg未満級に出場し、優勝した。
2005年12月17日、修斗新人王決定トーナメント フェザー級の決勝で水垣偉弥と対戦し、判定負け。
2007年3月12日、HERO'S 2007 開幕戦 〜名古屋初上陸〜のオープニングファイトで金原正徳と対戦し、判定負け。
2007年4月15日、アブダビコンバット日本予選66kg未満級に出場し、準優勝した。
2007年5月、アブダビコンバット66kg未満級に出場し、4位入賞。
2008年4月5日、CAGE FORCE初出場となったCAGE FORCE 06で藤原大地と対戦し、アームロックで一本勝ち。
2008年6月22日、CAGE FORCE 07のバンタム級王座決定トーナメント1回戦で戸井田カツヤとの和術慧舟會同門対決となったが、開始16秒パウンドによるTKO勝ち。
2008年9月27日、CAGE FORCE 08のバンタム級王座決定トーナメント準決勝で大石真丈と対戦し、判定負け。
2008年12月1日、東京都中野区若宮（野方駅）に自身の道場「和術慧舟會ネイキッドマン柔術」をオープンさせた。
2009年2月22日、ADCC世界大会アジア予選66kg未満級に出場。準決勝で八隅孝平に判定負けを喫した。
2010年7月19日、修斗環太平洋フェザー級（-60kg）タイトルマッチで王者の岡嵜康悦に挑戦し、0-3の判定負けを喫し王座獲得に失敗した。
2010年9月26日、CAGE FORCEで村元宏基とグラップリングルールで対戦し、開始51秒アームロックで一本勝ちを収めた。
2012年1月8日、修斗環太平洋フェザー級タイトルマッチで王者の扇久保博正に挑戦し、0-3の判定負けを喫し王座獲得に失敗した。
2013年1月20日、修斗環太平洋フェザー級王座決定戦で佐々木憂流迦と対戦し、0-3の判定負けを喫し王座獲得に失敗した。
2013年3月24日のADCCアジア予選を最後に徹肌ィ郎のリングネームを封印。9月21日のプロ柔術よりリングネームを羽田 徹ィ郎（はだ てついろう）に改めた。
2016年3月21日、修斗で岡田遼と対戦し、判定負けを喫した。
人物・エピソード

肌色のリングパンツを着用して試合を行い、また、コスプレによる奇抜な入場パフォーマンスを行なっていた。
戦績 > 総合格闘技

| 総合格闘技 戦績 |
| --- | --- | --- | --- | --- | --- | --- |
| 28 試合 | (T)KO | 一本 | 判定 | その他 | 引き分け | 無効試合 |
| 13 勝 | 1 | 7 | 5 | 0 | 3 | 0 |
| 12 敗 | 1 | 0 | 11 | 0 | 3 | 0 |
| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 勝敗 | 対戦相手 | 試合結果 | 大会名 | 開催年月日 |
| × | 岡田遼 | 5分3R終了 判定0-3 | プロフェッショナル修斗 | 2016年3月21日 |
| × | 佐々木憂流迦 | 5分3R終了 判定0-3 | 修斗 2013年第1戦 【修斗環太平洋フェザー級チャンピオン決定戦】 | 2013年1月20日 |
| × | 堀口恭司 | 1R 2:06 KO（パウンド） | 修斗 | 2012年3月10日 |
| × | 扇久保博正 | 5分3R終了 判定0-3 | 修斗 ISAMI presents サバイバートーナメント決勝戦 【修斗環太平洋フェザー級チャンピオンシップ】 | 2012年1月8日 |
| ○ | 田村彰敏 | 3R 2:45 横三角絞め | 修斗 SHOOTOR'S LEGACY 03 | 2011年7月18日 |
| ○ | 山内慎人 | 5分3R終了 判定2-0 | 修斗 THE ROOKIE TOURNAMENT 10 FINAL | 2010年12月18日 |
| × | 岡嵜康悦 | 5分3R終了 判定0-3 | 修斗 The Way of SHOOTO 04 〜Like a Tiger, Like a Dragon〜 【修斗環太平洋フェザー級チャンピオンシップ】 | 2010年7月19日 |
| ○ | 寺田功 | 5分3R終了 判定3-0 | CAGE FORCE | 2009年10月24日 |
| ○ | 松本輝之 | 1R 3:31 フロントスリーパーホールド | 修斗 REVOLUTIONARY EXCHANGES 2 | 2009年9月22日 |
| × | 扇久保博正 | 5分3R終了 判定0-3 | "修斗伝承 06" ROAD TO 20th ANNIVERSARY | 2009年3月20日 |
| × | 大石真丈 | 5分3R終了 判定0-3 | CAGE FORCE 08 【バンタム級王座決定トーナメント 準決勝】 | 2008年9月27日 |
| ○ | 戸井田カツヤ | 1R 0:16 TKO（右フック→パウンド） | CAGE FORCE 07 【バンタム級王座決定トーナメント 1回戦】 | 2008年6月22日 |
| ○ | 藤原大地 | 2R 4:06 アームロック | CAGE FORCE 06 | 2008年4月5日 |
| ○ | 田中寛之 | 5分3R終了 判定3-0 | 修斗 BACK TO OUR ROOTS 08 | 2008年3月28日 |
| × | 上田将勝 | 5分3R終了 判定0-3 | 修斗 | 2007年12月8日 |
| × | 山本篤 | 5分3R終了 判定0-3 | 修斗 BACK TO OUR ROOTS 05 | 2007年9月22日 |
| △ | 田澤聡 | 5分3R終了 判定1-1 | 修斗 SHOOTING DISCO 2 〜今夜はヒートアップ〜 | 2007年8月5日 |
| × | 金原正徳 | 5分2R終了 判定0-2 | HERO'S 2007 開幕戦 〜名古屋初上陸〜 | 2007年3月12日 |
| ○ | 秋本じん | 5分2R終了 判定3-0 | 修斗 | 2006年12月2日 |
| ○ | 細井鷹飛呂 | 2R 3:02 ネックシザーズ | 修斗 下北沢修斗劇場第15弾 〜シューティングスター〜 | 2006年7月30日 |
| × | 水垣偉弥 | 5分2R終了 判定0-3 | 修斗 【新人王決定トーナメント フェザー級 決勝】 | 2005年12月17日 |
| △ | 亘理崇麿 | 5分2R終了 判定1-0 （抽選で決勝進出） | 修斗 【新人王決定トーナメント フェザー級 準決勝】 | 2005年11月6日 |
| ○ | 田村貴生 | 1R 4:03 スリーパーホールド | 修斗 【新人王決定トーナメント フェザー級 2回戦】 | 2005年7月30日 |
| × | 田澤聡 | 5分2R終了 判定0-2 | 修斗 【新人王決定トーナメント フェザー級 準決勝】 | 2004年9月26日 |
| △ | 加藤"JET"シン | 5分2R終了 判定1-0 | 修斗 SHOOTO JUNKIE is BACK! 【新人王決定トーナメント フェザー級 2回戦】 | 2004年6月27日 |
| ○ | 島田錠二 | 5分2R終了 判定2-0 | DEMOLITION | 2004年4月8日 |
| ○ | 渡邊"MAD"康司 | 1R 0:52 腕ひしぎ十字固め | 修斗 【新人王決定トーナメント フェザー級 1回戦】 | 2004年1月24日 |
| ○ | 浅井聖勝 | 1R 1:46 アキレス腱固め | DEMOLITION atom | 2003年9月3日 |
戦績 > グラップリング

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 勝敗 | 対戦相手 | 試合結果 | 大会名 | 開催年月日 |
| ○ | 村元宏基 | 1R 0:51 アームロック | CAGE FORCE 【グラップリングルール】 | 2010年9月26日 |
| ○ | 片山伸 | 1R 0:48 スリーパーホールド | 修斗 SPIRIT 2010 Spring 【グラップリングルール】 | 2010年3月7日 |
| △ | 廣瀬貴行 | 4分2R+2分1R終了 ポイント7-7 | DEEP X 04 | 2009年7月11日 |
| × | 八隅孝平 | 再延長終了 レフェリー判定 | ADCC世界大会アジア予選【66kg未満級 準決勝】 | 2009年2月22日 |
| ○ | 西林浩平 | 横三角絞め | ADCC世界大会アジア予選【66kg未満級 3回戦】 | 2009年2月22日 |
| ○ | 上畑哲夫 | 一本 | ADCC世界大会アジア予選【66kg未満級 2回戦】 | 2009年2月22日 |
| × | バレット・ヨシダ |  | アブダビコンバット 【66kg未満級 3位決定戦】 | 2007年5月6日 |
| × | レオナルド・ヴィエイラ |  | アブダビコンバット 【66kg未満級 準決勝】 | 2007年5月6日 |
| ○ | 植松直哉 | ポイント5-0 | アブダビコンバット 【66kg未満級 2回戦】 | 2007年5月5日 |
| ○ | レニール・ニコラス |  | アブダビコンバット 【66kg未満級 1回戦】 | 2007年5月5日 |
| × | 植松直哉 | 16分終了 ポイント0-10 | アブダビコンバット日本予選 【66kg未満級 決勝】 | 2007年4月15日 |
| ○ | 佐々幸範 | 8分終了 ポイント2-マイナス2 | アブダビコンバット日本予選 【66kg未満級 準決勝】 | 2007年4月15日 |
| ○ | 若林琢磨 | 三角絞め | アブダビコンバット日本予選 【66kg未満級 1回戦】 | 2007年4月15日 |
| ○ | 石川祐樹 | 7分終了 ポイント5-2 | Giグラップリング2006 【ライト級トーナメント 3位決定戦】 | 2006年10月9日 |
| × | 佐々幸範 | 7分終了 ポイント2-9 | Giグラップリング2006 【ライト級トーナメント 準決勝】 | 2006年10月9日 |
| ○ | 西林浩平 | 3:54 チョークスリーパー | Giグラップリング2006 【ライト級トーナメント 1回戦】 | 2006年10月9日 |
| ○ | 梅村寛 | 5:54 アキレス腱固め | 大阪夏の陣 '06 【プログラップリングインパクトルール】 | 2006年6月4日 |
| × | 上田将勝 | 延長R終了 判定 | 第3回全日本修斗グラップリング選手権大会 【ライト級チャンピオンシップトーナメント 決勝】 | 2006年3月21日 |
| ○ | 田村貴生 | 1R 3:46 チョークスリーパー | 第3回全日本修斗グラップリング選手権大会 【ライト級チャンピオンシップトーナメント 準決勝】 | 2006年3月21日 |
| ○ | 高橋了介 | 1R 3:21 ヒールホールド | 第3回全日本修斗グラップリング選手権大会 【ライト級チャンピオンシップトーナメント 2回戦】 | 2006年3月21日 |
| ○ | 佐藤優太 | 1R 0:56 アームロック | 第12回全日本コンバットレスリング選手権大会 【-67kg級 決勝】 | 2006年3月18日 |
| ○ | 杉内勇 | 1R 0:37 ヒールホールド | 第12回全日本コンバットレスリング選手権大会 【-67kg級 準決勝】 | 2006年3月18日 |
| ○ | 竹内正武 | 1R 0:57 腕ひしぎ十字固め | 第1回パンクラチオンスタイルレスリング | 2006年3月18日 |
| ○ | 久田賢二 | 3:21 ヒールホールド | プロ・アマキャッチ 【70kg未満級 決勝】 | 2006年2月26日 |
| ○ | 及川希 | 4:58 肩固め | プロ・アマキャッチ 【70kg未満級 準決勝】 | 2006年2月26日 |
| ○ | 八隅孝平 | 判定2-1 | プロ・アマキャッチ 【70kg未満級 3回戦】 | 2006年2月26日 |
| ○ | 斉藤正臣 | 1:26 フェイスロック | プロ・アマキャッチ 【70kg未満級 2回戦】 | 2006年2月26日 |
| ○ | 吾妻エメルソン | 4:18 チョークスリーパー | Giグラップリング2005 | 2005年10月16日 |
| × | レオナルド・ヴィエイラ | ポイント0-6 | アブダビコンバット 【66kg未満級 1回戦】 | 2005年5月28日 |
| ○ | 村田卓実 | 肩固め | アブダビコンバット日本予選 【66kg未満級 決勝】 | 2005年3月20日 |
| ○ | 平田勝裕 | 8分終了 ポイント4-0 | アブダビコンバット日本予選 【66kg未満級 準決勝】 | 2005年3月20日 |
| ○ | 小室宏二 | 8分終了 ポイント0-マイナス1 | アブダビコンバット日本予選 【66kg未満級 2回戦】 | 2005年3月20日 |
| ○ | 中村浩 | 8分終了 ポイント3-0 | アブダビコンバット日本予選 【66kg未満級 1回戦】 | 2005年3月20日 |
獲得タイトル

第3回全日本アマチュアキングダム選手権 ライト級 優勝（2002年）
ADCC 2005 日本予選 66kg未満級 優勝（2005年）
パンクラス 第4回プロ・アマオープンキャッチレスリングトーナメント 70kg未満級 優勝（2006年）
第3回全日本修斗グラップリング選手権大会 70kg未満級 優勝（2006年）
数理論理学

数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学〔コンピュータ科学〕や理論計算機科学などがある。
→前現代の論理学については「伝統的論理学」を参照
数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。
数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classification（英語版）に現れるもの）における数理論理学の役割の詳細はこの記事には含まれていない。詳細は計算機科学におけるロジック（英語版）を参照。
この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、代数学、解析学に対する公理的枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。
下位分野

Handbook of Mathematical Logic は数理論理学を大まかに次の4つの領域に分類している：
集合論
モデル理論
再帰理論
証明論と構成的数学 （これらはひとつの領域の2つの部分と見做される）
それぞれの領域は異なる焦点を持っているものの、多くの技法や結果はそれら複数の領域の間で共有されている。これらの領域を分かつ境界線や、数理論理学と他の数学の分野とを分かつ境界線は、必ずしも明確ではない。ゲーデルの不完全性定理は再帰理論と証明論のマイルストーンであるだけではなく、様相論理におけるレーブの定理を導く。強制法の手法は集合論、モデル理論、再帰理論のほか直観主義的数学の研究などでも用いられる。
圏論の分野では多くの形式公理的方法を用いる。それには圏論的論理（英語版）の研究も含まれる。しかし圏論は普通は数理論理学の下位分野とは見做されない。圏論の応用性は多様な数学の分野に亙っているため、ソーンダース・マックレーンなどの数学者らは、集合論とは独立な数学のための基礎体系としての圏論を提案している。これはトポスと呼ばれる古典または非古典論理に基づく集合論の成す圏に類似の性質を持つ圏を基礎に置く方法である。
歴史

数理論理学は、19世紀の中頃、伝統的論理学とは独立な数学の下位分野として登場した（Ferreirós 2001, p. 443）。これが登場する以前、論理学は修辞学また哲学とともに、三段論法を通じて研究されていた。20世紀の前半は数学の基礎に関する活発な議論とともに、基本的な多くの結果が見られる。
歴史 > 初期の歴史

→「論理学の歴史」も参照
論理に関する理論は多くの文化と歴史の中で発展してきた。その中には中国、インド、ギリシャ、イスラーム世界が含まれる。18世紀のヨーロッパでは、形式論理の演算子を記号的または代数的な方法の中で取り扱おうという試みが、哲学的数学者によってなされた。その中にはゴットフリート・ライプニッツとランベルトが含まれる。しかしライプニッツらの仕事は孤立して残っているばかりでよく知られていない。
歴史 > 19世紀

19世紀半ば、ジョージ・ブールとオーガスタス・ド・モルガンは体系的で数学的な論理の取り扱いを与えた。ブールらの仕事は、ジョージ・ピーコックなどの代数学者の仕事の上に打ち立てられたものであり、アリストテレスの伝統的論理学を、数学基礎論を十分に研究できる枠組みに拡張した（Katz 1998, p. 686）。
チャールズ・サンダース・パースは、1870年から1885年の自身の論文において、ブールの研究の上に関係と量化子のための論理体系を作り上げた。
ゴットロープ・フレーゲは1879年に発表した自身の概念記法において、量化子を含む論理の独自の開発を提示した。この仕事は論理の歴史における特徴的な転換点であると一般に考えられている。フレーゲの仕事は、この世紀の変わり目にバートランド・ラッセルが宣伝するまで日の目を見なかった。フレーゲの2次元的な表記法は広くは受け入れられず同時代のテキストでも使用されていない。
1890年から1905年、エルンスト・シュレーダーは Vorlesungen über die Algebra der Logik を3つの巻に出版した。シュレーダーの仕事はブール、ド・モルガン、パースらの仕事をまとめ、拡張し、19世紀終わりに理解されていた記号論理学の包括的な手引書となった。
歴史 > 19世紀 > 基礎理論

数学が正確な基礎の上に築かれていなかったことへの不安が、算術、解析、幾何のような数学の基礎的な領域に対する公理系の開発をもたらした。
論理学において、算術とは自然数の理論を意味する。ジュゼッペ・ペアノ（1889）は後に彼の名前が付けられた算術の公理系（ペアノの公理）を発表した。これはブールとシュレーダーの論理体系の変種を用いているが、量化記号が追加されている点で異なる。ペアノはこのときフレーゲの仕事を知らなかった。同時期にリヒャルト・デデキントは、自然数の全体はそれらの帰納法の性質によって一意的に特徴づけられることを示した。デデキント（1888）は別の特徴付けを提案した。その特徴付けは、ペアノの公理にあったような形式論理的な性格を欠いていたが、ペアノの公理においては到達できない定理を証明するものであった。それには自然数の集合の（同型を除いた）一意性と、加法と乗法の後者関数と数学的帰納法に基づく再帰的定義が含まれる。
19世紀中頃、ユークリッドの幾何学の公理の欠陥が世に知られるようになった (Katz 1998, p. 774)。1826年にニコライ・ロバチェフスキーによって確立された平行線公準の独立性 (Lobachevsky 1840) に加え、数学者達は、ユークリッドが明らかと考えていた幾つかの定理が、実際にはユークリッドの公理からは証明できないことを発見した。それらの中には、直線は少なくとも二点を含むという定理や、同じ半径を持ち中心が半径と同じ距離だけ離れている二つの円は交わらねばならないという定理がある。ヒルベルト (1899) はパッシュの先行研究 (1882) のもとに、完全な幾何学の公理（英語版）の集合を開発した。幾何学の公理化の成功はヒルベルトに他の数学の分野（自然数や数直線など）の完全な公理化を探求するよう動機付けた。これが20世紀前半の主要な研究領域となることが分かる。
歴史 > 20世紀

20世紀の最初の10年における研究の主領域は集合論と形式論理であった。非形式的な集合論におけるパラドックスの発見は、数学それ自身が無矛盾であるのかを疑わせるものであり、無矛盾性の証明の必要に迫られた。
1900年、ダフィット・ヒルベルトはヒルベルトの23の問題の幾つかを次の世紀へと提出した。その最初の2つは連続体仮説の解決と初等算術（実数論）の無矛盾性の証明であった。第10番は整数上の多変数多項式からなる方程式（ディオファントス方程式）が解を持つかを決定する手続きを求めるものであった。これらの問題を解くための次なる仕事によって、数理論理学の方向性が決定づけられ、1928年に提出されたヒルベルトのEntscheidungsproblem（英語版）（決定問題）を解決する努力へと向かうことになった。この問題は与えられた形式化された数学的言明について、それが真か偽かを決定する手続きを問うものである。
歴史 > 20世紀 > 集合論とパラドックス

エルンスト・ツェルメロ（1904）は任意の集合が整列可能であることの証明を与えた。この結果はゲオルク・カントールには得ることができなかったものである。ツェルメロはその証明を完成させるために選択公理を導入した。これは数学者と集合論の先駆者達の間の激しい論戦と研究を引き起こすことになる。即座に浴びた批判から、ツェルメロは自身の結果の第2の解説を出版した（Zermelo 1908a）。この論文はツェルメロの証明に対する批判に直接対処するものであり、これによって数学界において選択公理が広く受け入れられることになった。
選択公理に関する疑念は最近の素朴集合論におけるパラドックスの発見により強化された。集合論のパラドックスについて初めて述べたのはチェザーレ・ブラリ・フォルティ（1897）である：ブラリ＝フォルティのパラドックスは全ての順序数からなる集まりが集合を成さないことを示す。その直後に、バートランド・ラッセルは1901年にラッセルのパラドックスを、ジュール・リシャール（1905）はリシャールのパラドックスを発見した。
ツェルメロ（1908b）は集合論に対する最初の公理化を与えた。ツェルメロの公理にアドルフ・フレンケルによる置換公理を加えたものは今日ではツェルメロ＝フレンケル集合論（ZF）の名で知られる。ツェルメロの公理にはラッセルのパラドックスを回避するためのサイズの制限の原理が組み込まれた。
1910年にアルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによる プリンキピア・マテマティカ の第一巻が出版された。この重要な著作は、関数と基数に関する理論を型理論の完全に形式的な枠組みの中で展開した。型理論はパラドックスを回避するラッセルとホワイトヘッドの努力のもとに開発されたものである。型理論の枠組みは数学の基礎理論として普及しなかったが(Ferreirós 2001, p. 445)、プリンキピア・マテマティカ は20世紀の最も影響力のある研究のひとつと見做されている。
フレンケル(1922)は、選択公理が原子（英語版）付きツェルメロ集合論の残りの公理からは証明できないことを証明した。後のポール・コーエン(1966)による仕事は、（その証明には）原子の追加が不要であって、選択公理はZFにおいて証明不可能であることを示した。コーエンの証明は強制法の手法を生み、今日では集合論における独立性結果（英語版）を確立するための重要なツールとなっている。
歴史 > 20世紀 > 記号論理

レオポルト・レーヴェンハイム（英語版）（1915）とトアルフ・スコーレム（1920）はレーヴェンハイム-スコーレムの定理を得た。これは一階述語論理は無限構造の濃度を制御できないことを述べる。スコーレムは、この定理を一階で形式化された集合論へ適用でき、そのいかなる形式化も可算モデルを持つことが導かれる、ということに気付いた。この直観に反する結果はスコーレムのパラドックスとして知られることになった。
ゲーデルは自身の博士論文（1929）において完全性定理を示した。これは一階論理における構文論と意味論の間の対応を確立する。ゲーデルは完全性定理をコンパクト性定理の証明に用いた。これは一階の論理的帰結の有限性を立証する。これらの結果は一階論理を数学者にとって支配的な論理として確立することを助けた。
1931年、ゲーデルはプリンキピア・マテマティカとそれに関連する体系において形式的に決定不可能な命題について（英語版）を出版した。ここでは、十分に強く、実効的な一階理論が不完全（完全性定理のそれとは異なる意味である）であることを示されている。この結果はゲーデルの不完全性定理として知られ、数学の公理的基礎の厳密な限界を示すものであり、ヒルベルト・プログラムに大きな打撃を与えた。これは算術の無矛盾性をいかなる算術の形式理論においても証明できないことを示している。しかしながら、ヒルベルトは、不完全性定理の重要性を、あるときまで認めなかった。
ゲーデルの定理は十分に強く、実効的な公理系の無矛盾性の証明はそれが無矛盾である限り、それ自身からもそれよりも弱い体系からも得られないことを示す。これはいま考えている体系で形式化できないような無矛盾性証明の可能性については未解決のまま残す。ゲンツェン（1936）は算術の無矛盾性を超限帰納法の原理を持つ有限的な体系を用いて証明した。ゲンツェンの結果はカット除去と証明論的順序数の概念を生み出し、これらは証明論における主要な道具となった。ゲーデル（1958）は別の無矛盾性証明を与えた。これは古典算術の無矛盾性を高階直観主義算術の無矛盾性に還元することで為された。
歴史 > 20世紀 > 他の分科の始まり

アルフレッド・タルスキはモデル理論の基礎を発展させた。
1935年初頭、著名な数学者らは網羅的な数学の教科書のシリーズを出版するためにニコラ・ブルバキというペンネームで集結した。これらの教科書は禁欲的かつ公理的に記述されており、厳格な記述と集合論的な基礎を強調した。これらの教科書から生まれた用語、例えば全単射、単射、全射や、教科書で採用された集合論的な基礎は、広く数学に採用された。
計算可能性の研究は再帰理論として知られるようになった。これはゲーデルとクリーネによる計算可能性の初期の定式化が関数の再帰的定義に基づいていたことによる。それらの定義がチューリングによるチューリング機械を用いた定式化と同値であることが示されたことで、計算可能関数という新しい概念が見出され、またこの定義が多数の独立な特徴付けを許すようなロバスト性を持つことが明らかになった。1931年の不完全性定理に関するゲーデルの仕事では、実効的な形式的体系の厳格な概念（規定）を欠いていた。ゲーデルは計算可能性の新しい定義が不完全性定理の設定の一般化に使えることに気付いた。
再帰理論における多くの結果は1940年代にスティーヴン・コール・クリーネとエミール・ポストによって得られた。クリーネ（1943）は相対的計算可能性と算術的階層の概念を導入した。前者はチューリング（1939）で暗示されていたものである。クリーネは後に再帰理論を高階汎関数へ一般化した。クリーネとクライゼルは形式的な直観主義数学、とくに再帰理論の文脈でのそれを研究した。
形式論理体系

数理論理学の中心では形式論理体系を用いて表現された数学の概念を取り扱う。それらの体系は、多くの細部の差異はあるが、固定した形式言語で記述されるという共通の性質がある。命題論理と一階述語論理の体系は今日では最も広く研究されている。それは数学基礎論への応用可能性とそれらの望ましい証明論的な性質の故である。より強い古典論理、例えば二階述語論理や無限論理もまた直観主義論理とともに研究されている。
形式論理体系 > 一階述語論理

→詳細は「一階述語論理」を参照
一階論理は特定の形式的体系である。その構文論（証明論）は有限個の表現―構文的に正しい（well-formed）式だけからなるが、その意味論は量化子を固定された議論領域への制限として特徴付けられる。
形式論理の初期の結果は一階論理の限界を明らかにした。レーヴェンハイム＝スコーレムの定理（1919）は、可算な一階の言語における文の集合が無限モデルを持つならば、それは任意の濃度のモデルを少なくともひとつ持つことを示した。これは一階論理の公理系によって、自然数、実数ほか、いかなる無限構造も同型を除いて特徴づけることができないことを示している。初期の基礎論的研究の目標が数学の全部分の公理的理論を生み出すことであったから、この限界はとりわけ冷徹なものであった。
ゲーデルの完全性定理　(Gödel 1929)　は一階論理の論理的帰結に対する構文論的定義と意味論的定義の同値性を確立した。これは、もしある特定の文が、ある特定の公理の集合を満たすあらゆるモデルで真であるならば、それらの公理からその文への有限な演繹が存在することを示している。
形式論理体系 > 他の古典論理

一階述語論理の他にも多くの論理体系が考えられている。それらのうちには無限の長さの証明や論理式を許す無限論理や、意味論に集合論の一部分を直接含むような高階述語論理も含まれる。
最もよく調べられている無限論理は  L_{\omega _{1},\omega } である。この論理においては、一階述語論理のように量化子の入れ子の深さは有限（つまり深さ  \omega  未満）だけを許すが、論理式は有限または可算無限（つまり長さ  \omega _{1} 未満）の連言や選言をその内に含むことを許す。すると、例えば、ある対象が自然数であるという性質を  L_{\omega _{1},\omega } の論理式によって次のように書ける：
高階述語論理は議論領域の要素だけではなく議論領域の部分集合（述語）、議論領域の冪集合の部分集合（述語の述語）、さらに高階の対象に対する量化を許した論理である。その意味論は、それぞれの高階型の量化子に対して独立した議論領域を割り当てるよりは、量化子は適切な型の全ての対象に及ぶように定義される。現在の形の一階述語論理が開発される以前に研究されていた論理、例えばフレーゲの論理など、は集合論的な側面を持っていた。高階述語論理はより表現力が高く、自然数の構造の完全な公理化すら可能であるけれども、一階述語論理における完全性やコンパクト性定理に対応する性質を高階述語論理は持たない。また一階述語論理の持つ証明論的なよい性質の多くは高階述語論理では失われている。
他のタイプの論理としては不動点論理があり、これは原始帰納的関数の記述に使われるような帰納的定義を許す。
形式論理体系 > 非古典論理と様相論理

様相論理は追加の様相演算子を含む論理である。様相演算子とは例えば必然的に真である、真である可能性があるといった意味を持つ演算子である。しかしながら、様相論理は大抵は数学の公理化のために使われることはなく、一階述語論理の証明可能性（Solovay 1976）や集合論的な強制法（Hamkins and Löwe 2007）の研究などに用いられる。
直観主義論理はブラウワーの直観主義(ブラウワー自身はその形式化を避けたが)のプログラムの研究からハイティングによって形式化・発展せられたものである。直観主義論理は排中律、すなわち任意の文が真または偽であるという原理を、明確に含まない論理である。クリーネの直観主義論理の証明論に関する仕事は、直観主義的な証明からは構成的な情報が復元できることを示している。例えば、直観主義的算術のいかなる証明可能全域関数も計算可能である。このことはペアノ算術のような算術の古典理論においては成立しない。
形式論理体系 > 代数的論理学

代数的論理学は形式論理の意味論の研究に抽象代数学の手法を用いる。基本的な例としては、古典命題論理の真理値の表現にブール代数を用いたり、直観主義命題論理の真理値の表現にハイティング代数を用いたりすることが挙げられる。もっと強い論理、例えば一階述語論理や高階述語論理についても、筒状代数（英語版）のようなもっと複雑な代数的構造が用いられる。
集合論

→詳細は「集合論」を参照