stanford-oval/wikipedia huggingface dataset:
本城町 (鹿児島市)
地理

鹿児島市の北部（吉田地域）、本名川の上流域に位置している。町域の北方には東佐多町、西佐多町、南方には宮之浦町、西方には本名町、東方には姶良市平松が接している。
東部は山地で他はシラスに覆われた丘陵性台地に囲まれた本名川沿いに集落が所在している。町域の中央に九州自動車道が通っており本城バスストップがあるが現在西日本高速道路の管理用施設となっている。九州自動車道に沿って鹿児島県道25号鹿児島蒲生線が通り、本名川が流れる。
北方には鹿児島県道40号伊集院蒲生溝辺線が通っている。中央部にはゴールデンパームカントリークラブがあり、多くの面積を占めている。その南方には鹿児島市役所吉田支所や鹿児島市立本城小学校などの公共施設が多く所在している。
歴史 > 成立から町村制施行まで

鎌倉期には中納と称していた。本城名という地名は戦国期より見え、大隅国吉田院のうちの名田名であった。永正14年の島津氏老臣連署坪付に吉田院に本城名が属しているという記述が見える。
江戸期には薩摩国鹿児島郡吉田郷（外城）のうちであった。村高は「郡村高辻帳」では1,016石余、「三州御治世要覧」では807石余、「天保郷帳」では1,016石余、「旧高旧領」では683石余であった。
歴史 > 町村制施行以後

1889年（明治22年）には町村制が施行されたのに伴い、江戸期の本城村は吉田村の大字「本城」となった。1972年（昭和47年）には吉田村が町制施行し吉田町の大字となった。1998年（平成10年）2月27日に本城字立迫の一部が西佐多浦の一部となった。
2004年（平成16年）11月1日に吉田町が鹿児島郡桜島町、日置郡松元町、郡山町、揖宿郡喜入町と共に鹿児島市に編入された。合併に際して設置された法定合併協議会である鹿児島地区合併協議会における協議によって、吉田町の区域の大字については「字の区域を廃止し、当該廃止された字の区域に相当する区域により新たに町の区域を設定し、その名称については表示案に基づき、各町の意向を尊重し合併までに調整するものとする」と協定された。
前述の協定に基づいて、合併前の10月26日に鹿児島県の告示である「 町の区域の設定及び字の廃止」が鹿児島県公報に掲載された。この告示の規定に基づき、それまでの大字本城は廃止され、大字本城の全域を以て新たに鹿児島市の町「本城町」が設置された。
歴史 > 町・字域の変遷

| 実施後 | 実施年 | 実施前 |
| --- | --- | --- |
| 大字西佐多浦（編入） | 1998年（平成10年）2月27日 | 大字本城字立迫（一部） |
人口

本城町（本城）の人口の変遷を以下に示す。
| 年 | 世帯数 | 人口 |
| --- | --- | --- |
| 1884年（明治17年） | 80 | 355 |
| 1925年（大正14年） | 159 | 708 |
| 1931年（昭和6年） | 164 | 777 |
| 1980年（昭和55年） | 184 | 595 |
| 1990年（平成2年） | 221 | 624 |
施設 > 公共

鹿児島市役所吉田支所
本城校区町内会館（コミュニティ協議会）
吉田公民館
鹿児島市吉田福祉センター
吉田文化体育センター
施設 > 教育

鹿児島市立本城小学校
施設 > 寺社

花尾神社
小・中学校の学区

市立小・中学校に通う場合、学区（校区）は以下の通りとなる。
| 町丁 | 番・番地 | 小学校 | 中学校 |
| --- | --- | --- | --- |
| 本城町 | 4984-5000、6796-6895 | 鹿児島市立吉田小学校 | 鹿児島市立吉田北中学校 |
| 本城町 | 上記を除く全域 | 鹿児島市立本城小学校 | 鹿児島市立吉田南中学校 |
交通 > 道路

九州自動車道（九州縦貫自動車道鹿児島線）
本城バスストップ（休止中）
鹿児島県道25号鹿児島蒲生線
鹿児島県道40号伊集院蒲生溝辺線
鹿児島市立本城小学校
トヨトミの野望

『トヨトミの野望』（トヨトミのやぼう）は、梶山三郎による日本の企業小説。長編小説。トヨトミシリーズ第1作。2016年10月18日に講談社から書き下ろしで単行本が刊行された。2019年10月4日に小学館から小学館文庫版が刊行された。
叩き上げの剛腕社長と創業一族の御曹司の二人の登場人物を通し、1995年から2016年にかけての巨大自動車企業の世界への躍進と挫折、創業一族による世襲の内幕が描かれる。
2019年11月27日に続編となる『トヨトミの逆襲』（トヨトミのぎゃくしゅう）が小学館より刊行された。
制作背景

作者の梶山三郎は覆面作家で、本業は経済関係の取材をする記者であり、複数の自動車メーカーの内情を取材したうえでそれらを混ぜ合わせて本作を執筆している。梶山は作中に登場する実在の自動車メーカーを連想させる「トヨトミ自動車」はあくまでも「空想上の企業」で、特定の一社をモデルにしていないと雑誌の取材で述べており、同様に、登場人物に関するエピソードも実在の人物や出来事を参照したケースもあるが、これらもすべて架空のものと述べている。
梶山は作品発表当時の日本の自動車メーカーを取り巻く「自動運転化の波」「アメリカで進む環境規制」「国内市場の先細り」「日の丸技術の衰退」などの厳しい状況を伝えるのに、ノンフィクションでは実名で登場する人物に配慮してどうしても書けないことが出るため、それを避けるのに小説という手段を用いている。
また、再度特定の人物や企業をモデルにしていないと前置きしたうえで、本作のもう一つのテーマを『創業一族の功罪』とし、多くのファミリー企業で見られる創業一族と叩き上げの対立を描き、社員を家族として捉え非情に徹しきれない「家族的な経営」がこれからも世界で通用するのか、という問題を提起している。そして創業一族を作品で取り上げることで、広告が欲しいがために検証もせずに自動車メーカーを褒めたたえ、特に経営者を神格化する既存のメディアの昨今の風潮に一石を投じ、世界から見て日本の自動車産業がいかに遅れをとっているかを厳しく指摘している。
作品の評価

実業家の夏野剛は、本作の文庫本解説で次のようなコメントを寄せている。
あらすじ

愛知の自動車メーカー・トヨトミ自動車の社員・武田剛平は、自販時代に不正を許さない性格と率直な発言が原因で販売店や上層部から煙たがられ、フィリピンに左遷される。だが、現地で創業一族の豊臣新太郎と出会い、彼からの信頼を得て日本に復帰する。創業家の危機を背景に、武田はトヨトミ自動車の社長に就任し、自動車業界の変革を先導する。そしてアメリカや中国という巨大市場への挑戦に果敢に取り組み、画期的なハイブリッドカー・プロメテウスの量産を決断、トヨトミを世界一の巨大自動車企業へと成長させる土台を築き上げる。一方、創業家の御曹司である豊臣統一は、創業一族の総領としてトップを目指す野望を抱き、武田越えを密かに誓う。そんな中、武田は企業のさらなる成長を目指し創業一族を経営から排除するトヨトミの持株会社化を目論む。
登場人物 > 豊臣家

トヨトミ自動車の創業一族。
作中の自動車メーカー

トヨトミ自動車 - 売上高27兆6千億万円、営業利益2兆7千億円（2016年3月末）を誇る、愛知県に本社を置く世界トップクラスの自動車メーカー。
ダイエン工業 - オート三輪で自動車産業に進出した大阪府に本社を置く自動車メーカー。旧：大阪エンジン工業。トヨトミに先んじ、中国に生産拠点を構える。
立川自動車 - バス、トラックなどの商用車を生産する東京都に本社を置く自動車メーカー。
ヤマト自動車 - 神奈川県に本社を置く自動車メーカー。トヨトミに先んじ、英国に生産拠点を構える。
USモーターズ - アメリカの自動車メーカー。「ビッグスリー」の一角。リーマン・ショックで業績を悪化させ破産法を申請する。
クライスター - アメリカの自動車メーカー。「ビッグスリー」の一角。リーマン・ショックで業績を悪化させ破産法を申請する。
ウォード・モーター - アメリカの自動車メーカー。「ビッグスリー」の一角。創業一族のウォード家が全株式の40パーセントを握る。
ドイチェ・ファーレン - ドイツの自動車メーカー。
書誌情報

単行本：講談社、2016年10月18日、ISBN 978-4-06-219607-9
文庫本：小学館文庫、2019年10月4日、ISBN 978-4-094-06702-6
オーディオブック

2018年4月21日よりオトバンクにてドラマ形式で音声化したオーディオブックが配信されている。
オーディオブック > キャスト（オーディオブック）

武田剛平 - 大友龍三郎
御子柴宏 - 大塚明夫
豊臣統一 - 新垣樽助
豊臣勝一郎 - 増田裕生
豊臣麗子 - 神田みか
武田敏子 - 福島央俐音
九鬼辰三 - 斉藤康史
吉田拓也 - 唐戸俊太郎
堤雅也 - 木田祐
斎藤貢 - 大園卓朗
安本明 - 石井貴之
安本沙紀 - 髙橋玲子
朗読 - 浅科准平
東今泉町 (太田市)

| 東今泉町 |
| --- | --- |
 町丁
 太田桐生インターチェンジ
 東今泉町東今泉町の位置群馬県の地図を表示東今泉町東今泉町 (日本)日本の地図を表示
 北緯36度19分39.2073秒 東経139度22分59.111秒﻿ / ﻿北緯36.327557583度 東経139.38308639度﻿ / 36.327557583; 139.38308639
国:   日本
都道府県:   群馬県
市町村:   太田市
地区:  毛里田地区
人口（2022年（令和4年）3月31日現在）
 • 合計:  969人
等時帯:  UTC+9 (日本標準時)
郵便番号:  373-0021
市外局番:  0276 (桐生MA)
ナンバープレート:  群馬
東今泉町（ひがしいまいずみちょう）は、群馬県太田市にある地名（町丁）。郵便番号は373-0021。
概要

→「太田市」を参照
毛里田地区にある町丁。
地理 > 近隣町丁

矢田堀町
緑町
長手町
東金井町
富若町
只上町
世帯数と人口

2022年（令和4年）3月31日現在の世帯数と人口は以下の通りである。
| 町丁 | 世帯数 | 人口 |
| --- | --- | --- |
| 東今泉町 | 412世帯 | 969人 |
交通 > 鉄道

町内に鉄道は通っていない。
交通 > 道路

国道122号
群馬県道316号太田桐生線
北関東自動車道
太田桐生インターチェンジ
施設

セブンイレブン太田市東今泉町店
イムス太田中央総合病院
金東秀 (1983年生のサッカー選手)

金 東秀（きむ とんす、1983年6月17日 - ）は、大阪府出身の元サッカー選手。ポジションはミッドフィルダー、ディフェンダー。2013年を最後に現役を引退し、FC大阪のコーチに就任。
所属クラブ

大阪朝鮮高級学校
大阪商業大学
2006年 - 2008年  FC Mi-O びわこ Kusatsu/MIOびわこ草津
2009年  FC町田ゼルビア
2010年 - 2013年  FC大阪
個人成績

| 国内大会個人成績> 年度.年度.日本 | 国内大会個人成績> クラブ.クラブ.日本 | 国内大会個人成績> 背番号.背番号.日本 | 国内大会個人成績> リーグ.リーグ.日本 | 国内大会個人成績> リーグ戦.出場.リーグ戦 | 国内大会個人成績> リーグ戦.得点.リーグ戦 | 国内大会個人成績> リーグ杯.出場.リーグ杯 | 国内大会個人成績> リーグ杯.得点.リーグ杯 | 国内大会個人成績> オープン杯.出場.天皇杯 | 国内大会個人成績> オープン杯.得点.天皇杯 | 国内大会個人成績> 期間通算.出場.期間通算 | 国内大会個人成績> 期間通算.得点.期間通算 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2006 | びわこ | 10 | 関西1部 | 13 | 1 | - | - | - | - | 13 | 1 |
| 2007 | びわこ | 10 | 関西1部 | 12 | 3 | - | - | 2 | 0 | 14 | 3 |
| 2008 | びわこ | 20 | JFL | 32 | 1 | - | - | - | - | 32 | 1 |
| 2009 | 町田 | 16 | JFL | 21 | 0 | - | - | - | - | 21 | 0 |
| 2010 | FC大阪 | 15 | 大阪府1部 |  |  | - | - | - | - |  |  |
| 2011 | FC大阪 | 8 | 大阪府1部 |  |  | - | - | - | - |  |  |
| 2012 | FC大阪 | 8 | 関西2部 |  |  | - | - |  |  |  |  |
| 2013 | FC大阪 | 8 | 関西1部 |  |  | - | - |  |  |  |  |
| 通算 | 日本 | 日本 | JFL | 53 | 1 | - | - | - | - | 53 | 1 |
| 通算 | 日本 | 日本 | 関西1部 | 25 | 4 | - | - | 2 | 0 | 27 | 4 |
| 通算 | 日本 | 日本 | 関西2部 |  |  | - | - |  |  |  |  |
| 通算 | 日本 | 日本 | 大阪府1部 |  |  | - | - |  |  |  |  |
| 総通算 | 総通算 | 総通算 | 総通算 | 78 | 5 | 0 | 0 | 2 | 0 | 80 | 5 |
指導歴

2014年 - FC大阪コーチ
大明丘

| 大明丘 |
| --- | --- |
 町丁
 鹿児島市立大明丘小学校
 北緯31度37分50秒 東経130度34分01秒﻿ / ﻿北緯31.630611度 東経130.567056度﻿ / 31.630611; 130.567056座標: 北緯31度37分50秒 東経130度34分01秒﻿ / ﻿北緯31.630611度 東経130.567056度﻿ / 31.630611; 130.567056
国:   日本
都道府県:   鹿児島県
市町村:   鹿児島市
地域:  吉野地域

 人口情報（2020年（令和2年）4月1日現在）
 人口:  2,888 人
 世帯数:  1,450 世帯
郵便番号:  892-0872 
市外局番:  099
ナンバープレート:  鹿児島
町字ID:  0097001（一丁目） 0097002（二丁目） 0097003（三丁目）
運輸局住所コード:  46500-1396
 ウィキポータル 日本の町・字  ウィキポータル 鹿児島県  ウィキプロジェクト 日本の町・字
テンプレートを表示
大明丘（だいみょうがおか）は、鹿児島県鹿児島市の町丁。郵便番号は892-0872。人口は2,888人、世帯数は1,450世帯（2020年4月1日現在）。大明丘一丁目から大明丘三丁目まであり、大明丘一丁目から大明丘三丁目まで全域で住居表示を実施している。
鹿児島開発事業団によって大明ヶ丘団地（だいみょうがおかだんち）として造成された住宅団地である。
地理

鹿児島市北部に位置し、吉野町に連なる吉野台地の上に所在する新興住宅地である。町域の西方から北方を経て東方にかけて吉野町、南方に東坂元、坂元町が接している。
町域の西端には鹿児島市立大明丘小学校が所在する。市営住宅を中心とした新興住宅街であり、大明ケ丘中央交差点を中心に東西南北に住宅街が広がっている。
地理 > 河川

稲荷川
大石様川
歴史 > 団地の開発

大明ヶ丘団地として鹿児島市から委託を受けた鹿児島開発事業団によって開発された住宅団地であり、1965年（昭和40年）9月に着工し、同年10月25日に起工式が挙行された。
開発者である鹿児島開発事業団が発行した「鹿児島開発事業団史 二十八年のあゆみ」によれば、大明ヶ丘団地の開発により鹿児島市の過疎地域として取り残されていた吉野地域の開発の突破口となることを期待されていた。同年12月から段階的に分譲が始まった。1970年（昭和45年）には大明丘小学校が開校した。
歴史 > 町丁の設置

1986年（昭和61年）2月9日に大明ヶ丘団地の区域において住居表示が実施されることとなり、それに伴い町域の再編が実施され吉野町の一部より「大明丘一丁目」、「大明丘二丁目」、「大明丘三丁目」が設置された。同時に大明丘一丁目から大明丘三丁目までの区域で住居表示が実施された。
歴史 > 町域の変遷

| 分割後 | 分割年 | 分割前 |
| --- | --- | --- |
| 大明丘一丁目（新設） | 1986年（昭和61年） | 吉野町（一部） |
| 大明丘二丁目（新設） | 1986年（昭和61年） | 吉野町（一部） |
| 大明丘三丁目（新設） | 1986年（昭和61年） | 吉野町（一部） |
人口 > 丁目別

|  | 世帯数 | 人口 |
| --- | --- | --- |
| 大明丘一丁目 | 271 | 595 |
| 大明丘二丁目 | 438 | 837 |
| 大明丘三丁目 | 741 | 1,456 |
人口 > 国勢調査

以下の表は国勢調査による小地域集計が開始された1995年以降の人口の推移である。
| 年 | 人口 |
| --- | --- |
1995年（平成7年）: 4,096
2000年（平成12年）: 3,787
2005年（平成17年）: 3,530
2010年（平成22年）: 3,109
2015年（平成27年）: 2,713
施設 > 公共

大明ケ丘公民館
施設 > 教育

鹿児島市立大明丘小学校
鹿児島小鳩幼稚園
施設 > 郵便局

鹿児島大明丘郵便局
施設 > 宗教

吉野キリストの教会
小・中学校の学区

市立小・中学校に通う場合、学区（校区）は以下の通りとなる。
| 町丁 | 番・番地 | 小学校 | 中学校 |
| --- | --- | --- | --- |
| 大明丘一丁目 | 全域 | 鹿児島市立大明丘小学校 | 鹿児島市立吉野中学校 |
| 大明丘二丁目 | 全域 | 鹿児島市立大明丘小学校 | 鹿児島市立吉野中学校 |
| 大明丘三丁目 | 全域 | 鹿児島市立大明丘小学校 | 鹿児島市立吉野中学校 |

鹿児島大明丘郵便局
論理学

論理学では、モーダスポネンスのような形式的に妥当な推論を研究する。
論理学（ろんりがく、古希: λογικὴ τέχνη、古代ギリシア語ラテン翻字: logikè téchnē、英: logic、独: Logik、仏: Logique）は、正しい推論の研究である。形式論理学および非形式論理学が含まれる。形式論理学は、演繹的に妥当な推論あるいは論理的真理の研究である。論証の議題や内容とは無関係に、論証の構造のみにより、前提からどのように結論が導かれるかを研究する。非形式論理学は、非形式的誤謬、批判的思考、議論学と関わりがある。非形式論理学は自然言語で記述される論証を研究する一方、形式論理学は形式言語を用いる。各形式論理体系は、証明系（英語版）を表現する。論理学は、哲学、数学、計算機科学、言語学を含む多くの分野で中核をなす。
論理学は、前提の集合および結論からなる論証を研究する。論証の例には、前提「今日は日曜日である」および「今日が日曜日であれば、私は働かなくて良い」から結論「私は働かなくて良い」を導くものがある。前提および結論は、命題あるいは真理適合的な言明を表現する。命題の重要な側面は、その内部構造にある。例えば、複合命題は、 \land  (かつ) や  \to  (...ならば...) のような論理語彙で接続された単純命題から構成される。単純命題も、「日曜日」や「働く」のような各部分に分解できる。命題の真偽は、通常、その各部分すべての意味に依存する。ただし、論理的に真の命題は、その各部分の具体的な意味とは無関係に、その論理的構造のみによって真であるため、これに当てはまらない。
論証には、正しいものと正しくないものがある。論証は、前提が結論を支持する場合に正しい。演繹的論証は、前提が真である場合、結論も必然的に真であるため、結論の支持が最も強い。一方、前提に含まれない新しい情報を含む結論が帰結する拡充的論証（英語版）では、同様の強い結論の支持が存在しない。日常対話および自然科学で見られる多くの論証は、拡充的論証である。拡充的論証は、帰納的論証および遡及論証に分類される。帰納的論証は、多くのカラスの個体を観察してすべてのカラスが黒いと結論するような、統計的一般化である。遡及論証は、医者が患者の症状をうまく説明する診断を下すような、最良の説明への推論である。正しい推論の水準に満たない論証には、多くの場合、誤謬が含まれる。論理体系は、論証の正しさを評価する理論的枠組みである。
論理学は、古代から研究されてきた。論理学の初期の成果には、アリストテレス論理学（英語版）、ストア派論理学（英語版）、ニヤーヤ学派、墨家がある。アリストテレス論理学は、三段論法の形式を取る推論を研究する。アリストテレス論理学は、ゴットロープ・フレーゲら19世紀後半の数学者の業績を起源とする現代の形式論理学に取って代えられるまで、西洋で主要な論理体系とみなされてきた。今日、最も用いられる論理体系は古典論理である。古典論理は、命題論理および一階述語論理からなる。命題論理は完全な命題の論理的関係のみを対象とする一方、一階述語論理は述部や数量詞のような命題の各部分も研究する。拡張論理は、古典論理の基礎となる基本的な直感を受け入れ、これを形而上学、倫理学、認識論などの別の分野に拡張する。一方、逸脱論理（英語版）は、古典論理で用いられる直感の一部を却下し、論理学の基本法則への別の説明を提示する。
定義

「logic」は、「理性」、「言説」、「言語」などの訳語が充てられる古代ギリシア語の「ロゴス（λόγος）」を語源とする。論理学は、歴史的には思考法則（英語版）あるいは正しい推論の研究と定義され、推論あるいは論証の観点から理解されてきた。論証は、推論を表現する。論証は、前提の集合および結論からなる。論理学は、論証が正しいかどうか、つまり、論証の前提が結論を支持するかどうかを研究する。形式論理学および非形式論理学はどちらも論証の正しさの評価を対象とすることから、この大まかな論理学の定義は、形式論理学および非形式論理学を含む広義の論理学に当てはまる。形式論理学は歴史的に深く研究されてきた論理学の分野であり、一部の論理学者は、形式論理学のみを論理学の範囲と捉えている。
定義 > 形式論理学

→詳細は「形式論理学」および「形式体系」を参照
形式論理学は、記号論理学とも呼ばれ、数理論理学で広く用いられる。形式論理学では、推論の研究に形式的なアプローチを取り、具体的な表現を抽象的な記号に置き換え、論証の論理形式（英語版）をその具体的な内容から独立して研究する。形式論理学は、論証の抽象的な構造のみに注目し、その具体的な内容には注目しない。この点で、形式論理学は論証の抽象的な構造のみに注目し、その具体的な内容を考慮しないことから、内容独立的であるといえる。
形式論理学は、演繹的に妥当な論証を研究する。演繹的に妥当な論証では、前提が真であることが結論が真であることを保証する。これは、前提が真であり、かつ、結論が偽であることが不可能であるということを指す。妥当な論証では、前提および結論の論理的構造は、推論規則と呼ばれる規則に従う。例えば、モーダスポネンスは、「(1)  p; (2)  p であれば  q; (3) したがって、 q」の形式を取るあらゆる論証が、名辞  p および  q の指示対象にかかわらず妥当であるという推論規則である。この点で、形式論理学は妥当な推論の研究と定義できる。別の定義では、論理学は論理的真理の研究であるとされる。命題の真偽がその命題の持つ論理語彙のみに依存する場合、その命題は論理的に真である。論理的に真の命題は、言明「今雨が降っている; または、今雨が降っていない」のように、あらゆる可能世界、および、命題の論理項以外の要素のあらゆる解釈（英語版）のもとで真である。これらの2つの形式論理学の定義は同一ではないが、深い関連がある。例えば、 p から  q への推論が演繹的に妥当であれば、言明「 p であれば  q」は論理的真理である。
形式論理学では、形式言語を用いて論証を記述・検討する。形式言語は、通常、非常に少ない語彙および厳密な統語規則を持つ。統語規則は、記号を組み合わせて文 (well-formed formulaと呼ばれる) を定立する方法を定義する。この形式論理の単純さと厳密さにより、推論規則の正確な定義が可能となる。推論規則は、論証の妥当性を決定する。形式論理学は形式言語に依存するため、自然言語で記述された論証を直接研究することはできない。自然言語で記述された論証の妥当性を評価するには、まずそれを形式言語に翻訳する必要がある。
各論理体系は、妥当とみなす推論規則や用いる形式言語の点でそれぞれ異なる。19世紀後半より、多くの新たな形式体系が提案されてきた。形式体系を論理体系とみなす基準には合意がない。例えば、一階述語論理のような論理的に完全な体系のみが論理体系であるという見解もある。このため、一部の論理学者は、高階述語論理を厳密に論理体系とみなさない。
定義 > 非形式論理学

→詳細は「非形式論理学」を参照
広義では、論理学には形式論理学および非形式論理学の両方が含まれる。非形式論理学は、非形式的な基準を用いて論証の正しさを検討・評価する。非形式論理学は、主に日常対話に注目する。非形式論理学は、形式論理学の知見を自然言語で記述された論証に応用することが困難であることが判明するにつれて、研究が進められた。この点で、非形式論理学は、形式論理学だけでは解決できない問題を研究する分野であるといえる。形式論理学および非形式論理学は、どちらも論証の正しさを評価し、誤謬を判別するための基準を提示する。
非形式論理学の定義としては多くのものが提案されてきたが、非形式論理学の厳密な定義には合意がない。最も字面的な定義では、「形式」および「非形式」という語を、論証を記述する言語を指すものとみなす。この定義では、非形式論理学は、非形式言語あるいは自然言語で記述される論証を研究する分野とされる。形式論理学では、自然言語で記述された論証は、形式言語に翻訳することで間接的にのみ検討できる一方、非形式論理学では、そのような論証を元々の形式で直接検討できる。また、この定義では、論証「鳥は飛ぶ; トゥイーティーは鳥である; したがって、トゥイーティーは飛ぶ」は自然言語で記述されており、非形式論理学で検討される一方、形式言語への翻訳「(1)  \forall x(Bird(x)\to Flys(x)); (2)  Bird(Tweety); (3)  Flys(Tweety)」は形式論理学で検討される。自然言語の表現は曖昧であったり、文脈に依存していたりする場合があり、自然言語で記述される論証の研究には困難が伴う。別の定義では、非形式論理学は、広義で議論の基準や手順の規範的な研究とされる。この定義では、非形式論理学には、議論における理性の役割、批判的思考、議論の心理学に関する問題も含まれる。
また、非形式論理学を非演繹的論証の研究と定義するものもある。この定義は、非形式論理学を演繹的推論を研究する形式論理学と対照する。非演繹的論証は、結論がおそらく真であることを示すが、結論が真であることを保証しない。非演繹的論証には、「私がこれまで見たカラスはすべて黒かった」から「すべてのカラスは黒い」を結論するような、経験的観察に基づく帰納的論証がある。
また、非形式論理学を非形式的誤謬の研究と定義するものもある。非形式的誤謬は、論証の内容やコンテキストに誤りが含まれる正しくない論証である。例えば、誤った二分法は、考慮されうる選択肢を除外することで、内容の誤りを犯す誤謬である。誤謬「あなたは我々の味方であるか、我々の敵である; あなたは我々の味方ではない; したがって、我々の敵である」は、誤った二分法である。一部の論理学者は、形式論理学を論証の大まかな形式のみの研究、非形式論理学を実際の論証の例の研究と定義する。別の定義では、形式論理学は正しい推論における論理定数の役割のみの研究、非形式論理学は具体的な概念の意味の検討も含む研究とされる。
概念 > 前提・結論・真偽 > 前提と結論

→詳細は「前提」および「論理的帰結」を参照
前提および結論は、推論および論証の基本的な部分であり、論理学において中核をなす。妥当な推論あるいは正しい論証では、前提から結論が導かれる。つまり、前提が結論を支持する。例えば、前提「火星は赤い」および「火星は惑星である」は、結論「火星は赤い惑星である」を支持する。多くの論理体系では、前提および結論が真理の担い手（英語版）でなければならないとされる。これは、前提および結論が真理値を持たなければならない (真または偽でなければならない) ということを指す。現代哲学では、前提および結論は、命題あるいは文とみなされる。命題は、文の外延であり、一般に抽象的対象とされる。例えば、英語の文「the tree is green」は、ドイツ語の文「der Baum ist grün」とは異なるが、どちらも同じ命題を表現する。
前提および結論の命題説は、抽象的対象への依存により批判されてきた。例えば、自然主義（英語版）では、通常、抽象的対象の存在は否定される。また、命題の同一性の基準の定義の困難性を問題とする見解もある。このような異論は、前提および結論を、命題ではなく文 (本のページに印刷された記号のような具体的な言語的対象) と見ることで回避できる。ただ、この場合、文が多くのケースで文脈に依存していて曖昧であり、論証の妥当性がその各部分だけでなく文脈や解釈にも依存するという新たな問題が生じる。また、前提および結論を、思考や判断のような心理的な観点で理解する方法もある。この立場は心理主義と呼ばれる。心理主義は、20世紀初頭には盛んに議論されたが、現在は広く受け入れられていない。
概念 > 前提・結論・真偽 > 内部構造

前提および結論は内部構造を持つ。命題および文と同様に、前提および結論には単純なものと複合的なものがある。複合命題は、その構成要素として、「かつ」や「...であれば...」のような論理結合子で接続された別の命題を持つ。一方、単純命題は命題部を持たない。ただし、単純命題も、単称名辞（英語版）や述部などの副命題的部分を持つため、内部構造を持つと見ることができる。例えば、単純命題「火星は赤い」は、述語「赤い」を単称名辞「火星」に適用することで定立される。一方、複合命題「火星は赤い; かつ、金星は白い」は、論理結合子「かつ」で接続された2つの単純命題で定立される。
命題の真偽は、少なくとも部分的にはその構成要素に依存する。真理関数的な命題結合子で定立された複合命題では、命題の真偽はその各部分の真理値のみに依存する。ただし、この関係は、単純命題およびその副命題的部分を検討する場合にはより複雑となる。単純命題の副命題的部分は、対象 (または対象の集合) の指示など、それ自体で意味を持つ。各副命題的部分が構成する単純命題の真偽は、それら各部分の現実との関係 (各部分が指示する対象のありよう) に依存する。この議題は、指示の理論（英語版）で研究される。
概念 > 前提・結論・真偽 > 論理的真理

→詳細は「論理的真理」を参照
複合命題には、その各部分の具体的な意味とは無関係に真であるものがある。例えば、古典論理では、複合命題「火星は赤い; または、火星は赤くない」は、単純命題「火星は赤い」などの命題の各部分の真偽によらず真である。この場合、この真理は論理的真理と呼ばれる。命題の真偽がその命題に含まれる論理語彙のみに基づく場合、その命題は論理的に真であるという。これは、その命題が、その論理項以外の部分にいかなる解釈を適用しても真であるということを指す。一部の様相論理体系では、このことを命題があらゆる可能世界で真であるという。一部の論理学者は、論理学を論理的真理の研究と定義する。
概念 > 前提・結論・真偽 > 真理値表

論理結合子の振る舞いや、複合命題の各部分とその真理値の依存関係を示すのに、真理値表が用いられる。真理値表は、各列に入力変数を持ち、各行にこれらの変数が取りうる真理値の可能な組み合わせを持つ。真理値「真」・「偽」の省略としては、一般に記号「T」・「F」あるいは「1」・「0」が用いられる。最初の列で、入力変数のあらゆる可能な真理値の組み合わせが提示され、残りの列で、入力値に対応する各表現の真理値が提示される。例えば、表現  p\land q では、論理結合子  \land  (かつ) が用いられる。この論理結合子は、「昨日は日曜日であった; かつ、昨日は晴天であった」のような文を表現するのに用いることができる。この文は、入力変数  p (「昨日は日曜日であった」) および  q (「昨日は晴天であった」) の両方が真である場合にのみ真であり、それ以外の場合、文全体が偽となる。その他の重要な論理結合子には、 \lnot  (...でない) 、 \lor  (または) 、 \to  (...であれば...) 、 \uparrow  (否定論理積) がある。ある条件命題  p\to q からは、その逆 ( q\to p) 、裏 ( \lnot p\to \lnot q) 、対偶 ( \lnot q\to \lnot p) の真理値表が得られる。真理値表は、複数の命題結合子を用いた複合表現に対しても定義できる。
|  p |  q |  p\land q |  p\lor q |  p\to q |  \lnot p\to \lnot q |  p\uparrow q |
| --- | --- | --- | --- | --- | --- | --- |
| T | T | T | T | T | T | F |
| T | F | F | T | F | T | T |
| F | T | F | T | T | F | T |
| F | F | F | F | T | T | T |
概念 > 論証と推論

→詳細は「論証」および「推論」を参照
論理学は一般に、論証あるいは推論の正しさの研究と定義される。論証は、前提の集合および結論からなる。推論は、前提から結論を導く過程である。ただ、論理学では、「論証」および「推論」を同義とみなす場合もある。論証は、前提が結論を支持するかによって、正しいものと正しくないものに分類される。一方、前提および結論は、それが現実に沿うかによって真偽が決まる。形式論理学では、論証が正しく、かつ、真の前提のみを持つものを健全な論証という。論証は、単純論証および結合論証に分類される場合がある。結合論証は、単純論証を連ねて定立された論証である。つまり、ある論証の結論が、続きの論証の前提となる。結合論証が正しいためには、これらの連なった論証のすべてが正しい必要がある。
論証および推論には、正しいものと正しくないものがある。論証および推論は、前提が結論を支持する場合に正しい。正しくない場合、この支持が欠けている。結論の支持は、推論の種類によって異なる形態を取る。演繹的推論は、最も強い支持を持つ。ただし、前提に演繹以外の結論の支持があり、演繹に妥当でない論証も正しい論証である場合がある。この場合、帰納的推論または拡充的推論の用語が用いられる。演繹的論証は形式論理学と関連し、拡充的論証は非形式論理学と関連する。
概念 > 論証と推論 > 演繹的論証

演繹的に妥当な論証では、前提が結論の真理を保証する。論証「(1) すべてのカエルは両生類である; (2) 両生類の猫は存在しない; (3) したがって、猫であるカエルは存在しない」は、演繹的に妥当な論証の例である。演繹的妥当性の評価では、前提や結論が実際に真であるかは考慮しない。したがって、論証「(1) すべてのカエルは哺乳類である; (2) 哺乳類の猫は存在しない; (3) したがって、猫であるカエルは存在しない」も、前提から結論が必然的に導かれるため、妥当である。
アルフレト・タルスキによると、演繹的論証は次の3つの不可欠な要素を持つ。(1) 形式的である。つまり、前提および結論の形式のみに依存する。(2) アプリオリである。つまり、評価に経験を必要としない。(3) 様相的である。つまり、その他の条件とは無関係に、命題の論理的必然性のみにより成立する。
1つ目の要素 (論証の形式性) により、演繹的推論は、推論規則と同一視される。各推論規則は、前提および結論の形式 (推論が妥当であるための構造) を定義する。どの推論規則にも適合しない論証は、演繹的に妥当でない。モーダスポネンスは、基本的な推論規則であり、「(1)  p である; (2)  p であれば、 q である; (3) したがって、 q である」の形式を取る。例えば、雨が降っていた ( p) 、および、雨が降ると道が濡れる ( p\to q) という知識から、モーダスポネンスを用いて、今道が濡れている ( q) という結論を演繹できる。
3つ目の要素 (論証の様相性) は、演繹的に妥当な推論は真理保存的 (truth-preserving) であり、前提が真で結論が偽であることが不可能であると言い換えることができる。この要素により、演繹的推論は、前提に存在しない新しい情報を導くことがないため、情報のない (uninformative) 推論と形容されることがある。ただし、この見解では、ほとんどの数学も同様に情報がないということになってしまうため、常にこの見解が受け入れられるわけではない。また、surface informationとdepth informationの区別を導入する見解もある。文のsurface informationは、文が明示的に提示する情報である。depth informationは、明示的・暗示的にかかわらず、文に含まれる情報全体である。この見解では、演繹的推論はdepthのレベルでは情報のない推論であるが、surfaceのレベルでは、暗示的な情報が明らかにされるため、情報的 (informative) であるとされる。情報的な推論には、数学の証明などがある。
概念 > 論証と推論 > 拡充的論証

拡充的論証は、前提に含まれない新しい情報が結論する論証である。拡充的論証では、前提が結論をより確からしくする一方、結論の真理は保証されない。つまり、前提がすべて真であっても結論が偽である場合がある。この特徴は、非単調性および棄却可能性（英語版）と強く関連する。つまり、新たな推論から得られた情報をもとに、前の結論が棄却される場合がある。拡充的推論は、多くの日常対話および自然科学における論証の中核をなす。拡充的推論は、異なる推論の正しさの基準を持ち、無条件で正しくないものは存在しない。拡充的推論における結論の支持は、通常、段階で得られる。強い拡充的論証では、結論が非常に確からしいということができ、弱い拡充的推論では、この確からしさの度合いが弱まる。したがって、前提による支持が弱いがこれを無視できない場合など、正しい拡充的論証と正しくない拡充的論証の区別は曖昧である場合もある。この特徴は、論証が妥当なものとそうでないものに厳密に区別され、その境界線上にあるものが存在しない演繹的論証とは対照的である。
拡充的論証の分類に用いられる用語には一貫性がない。James Hawthorneら一部の哲学者は、演繹的論証以外のあらゆる論証を「帰納」に分類する。一方、狭義では、帰納的論証は遡及論証とともに、拡充的論証の一種に数えられる。また、Leo Groarkeら一部の哲学者は、拡充的論証の種類として、さらにconductive argumentを挙げる。この狭義の意味では、帰納は主に統計的一般化を伴う論証と定義される。この場合、特定の規則を示す多数の事例の観察を前提とし、この規則が常に成立するという一般法則を結論するものが帰納的推論に分類される。例えば、過去に観察したゾウの色の知識をもとに、「すべてのゾウは灰色である」と結論する推論がこれに当たる。また、一般法則ではなく、「私がまだ見ていないあるゾウも同様に灰色である」のように、さらなる事例についての結論を推論するものも帰納的推論に含まれる。Igor Douvenら一部の哲学者は、帰納的推論を統計的一般化のみに基づく推論と定義する。この定義では、帰納的推論は遡及推論と区別される。
逆行推論には、統計的一般化を伴わないものもある。いずれの場合にも、逆行推論では、前提が真であることを結論がもっともうまく説明できるということを根拠に、前提から結論が支持される。この点で、逆行推論は、最良の説明への推論と形容される。早朝にキッチンにパンくずの乗った皿があるという前提から、その家の住人が夜食をとったが、疲れて食卓を片付けなかったと結論する場合を例とする。この例では、この推論は、結論が現在のキッチンの状態を最もうまく説明できるため、正当化される。逆行推論では、単に結論が前提を説明するというだけでは不十分である。例えば、「空き巣が昨晩家に入り、途中で空腹を感じたため夜食をとった」という結論も現在のキッチンの状態を説明できるが、この結論は最も可能性が高い説明とはいえないため、正当化されない。
概念 > 誤謬

すべての論証が正しい推論の水準を満たすわけではない。論証が正しい推論の水準に満たない場合、そのような論証は誤謬と呼ばれる。誤謬の重要な側面は、論証の結論が偽であるという点ではなく、結論に至る推論に瑕疵があるという点にある。したがって、論証「今日は晴れている; したがって、クモには足が8本ある」は、結論が真であっても誤謬である。ジョン・スチュアート・ミルら一部の哲学者は、誤謬の要件として、「論証が一見正しいように見えること」を付け加えた。これにより、実際の誤謬を、単なる不注意による推論の誤りと区別できる。
誤謬は、形式的誤謬および非形式的誤謬に分類される。形式的誤謬では、論証の形式に問題が存在する。前件否定は、形式的誤謬の一種である。ただし、多くの種類が学術的に議論されているほとんどの誤謬は非形式的誤謬である。非形式的誤謬では、論証の内容あるいはコンテキストに問題が存在する。非形式的誤謬は、さらに曖昧さの誤謬、仮定の誤謬、関連性の誤謬に分類される場合がある。曖昧さの誤謬では、「羽毛は明るい; 明るいものが暗いことはあり得ない; したがって、羽毛が暗くなることはない」のように、自然言語の曖昧さが誤りの原因となる。仮定の誤謬では、間違っているか、正当化されない仮定が含まれる。関連性の誤謬では、前提が結論と無関係であるため、結論が前提により支持されない。
概念 > 定義的・戦略的規則

論理学では、論証が正しい、あるいは正しくないための条件に注目する。これらの条件に違反する場合、誤謬が存在する。形式論理学では、これらの条件を推論規則と呼ぶ。推論規則は、推論の正しさや許容される推論を決定する定義的規則である。定義的規則は、戦略的規則と対比される。戦略的規則は、ある前提の集合から結論を導くために必要な推論の手順を決定する。この区別は、論理学だけでなく、ゲームにも存在する。例えばチェスでは、定義的規則が、ビショップが斜めにのみ移動できるということを規定する。一方、戦略的規則は、中央を制圧し、キングを守るなど、ゲームに勝つために合法手をどのように用いることができるかを規定する。戦略的規則は、効率的な推論に重要であり、論理学者は戦略的規則により重きを置くべきであると主張される。
概念 > 形式体系

→詳細は「形式体系」を参照
形式論理体系は、形式言語および公理の集合と、これらの公理から推論を行うための証明系（英語版）からなる。論理学では、証明なしに受け入れられる文を公理という。公理は、他の文の正当化に用いられる。一部の論理学者は、形式言語の表現と現実の対象の関係を規定する形式意味論を形式論理体系に含める。19世紀後半より、多くの新たな形式体系が提案されてきた。
形式言語は、アルファベットおよび構文規則からなる。アルファベットは、論理式で用いられる基本的な記号の集合であり、構文規則は、これらの記号を用いてwell-formed formulaを立式する方法を規定する。例えば、命題論理の構文規則は、 P\land Q がwell-formed formulaであるが、 \land Q は、論理積  \land  が両端に項を必要とするためwell-formed formulaではないということを規定する。
証明系は、形式証明を立式するための各規則で、各公理から結論を導く道具である。証明系の規則は、論理式の具体的な内容から独立した、論理式の構文的構造の点で定義される。例えば、古典論理の規則である論理積の導入は、 P\land Q が 前提  P および  Q から帰結するということを規定する。これらの規則は順番に適用でき、前提から結論を得るための数学的手順を提示する。自然演繹やシークエント計算など、証明系にはさまざまな種類がある。
意味論は、形式言語の論理式をその外延に写像するための体系である。多くの論理体系では、外延は真理値である。例えば、命題論理の意味論は、 P および  Q が真であるときに、式  P\land Q に外延「真」を与える。意味論的な観点では、前提が真である場合に常に結論も真であるとき、前提は結論を含意する。
論理体系は、証明系が、前提の集合が結論を意味論的に含意する場合以外に結論を導けない場合に健全であるという。これは、論理体系が意味論の定義に基づく偽の結論を導けないということを指す。また、論理体系は、その証明系が前提が含意するすべての結論を導くことができる場合に完全であるという。これは、論理体系が意味論の定義に基づくあらゆる真の結論を導けるということを指す。健全かつ完全な論理体系では、妥当性および含意の関係が完全に一致する。
論理体系

論理体系は、推論および論証の正しさを評価するための論理的枠組みである。過去2000年以上の間、西洋では、アリストテレス論理学（英語版）が最も重要な論理体系とみなされてきたが、この分野での近年の発展により、多くの新たな論理体系が考案されてきた。形式論理体系は、古典論理、拡張論理、逸脱論理（英語版）に分類される。
論理体系 > アリストテレス論理学

→詳細は「」を参照
論理体系 > 古典論理

→詳細は「古典論理」を参照
古典論理は、伝統的論理学やアリストテレス論理学とは区別される。古典論理には、命題論理および一階述語論理が含まれる。古典論理は、多くの論理学者が支持する基本的な論理的直感に基づいているため、「古典」と呼ばれる。古典論理の根拠となる直感には、排中律、二重否定の除去、爆発律（英語版）、二値性の原理（英語版）が含まれる。古典論理は、当初は数学の論証を評価する目的で考案され、その後、他の分野への応用が進んだ。古典論理は数学に特化しており、哲学的に重要な多くの分野に関連する論理語彙を含まない。例えば、必然性・可能性や、倫理的義務・許可の概念は、古典論理では扱えない。同様に、過去・現在・未来の関係も、古典論理では記述できない。この問題に対して、拡張論理が考案された。拡張論理は、古典論理の基本的な直感を採用し、新たな論理語彙を導入することで、古典論理を拡張する。これにより、数学の範囲を超える倫理学や認識論の分野で、厳密な論理的アプローチが応用できる。
論理体系 > 古典論理 > 命題論理

→詳細は「命題論理」を参照
命題論理は、要素命題を論理結合子でつないだ式で定立される形式体系である。例えば、命題論理は、2つの要素命題  P および  Q の論理積を複合式  P\land Q と表現する。項および述語が最小の構成要素である述語論理とは異なり、命題論理は、真理値を持つ完全な命題をその最も基本的な構成要素とみなす。したがって、命題論理では、複合命題がより単純な命題から構成される論理的関係は記述できるが、命題の内部構造から得られる推論を記述することはできない。
論理体系 > 古典論理 > 一階述語論理

→詳細は「一階述語論理」を参照
一階述語論理は命題論理と同じ命題結合子を含むが、命題の内部構造を記述できる点で、古典論理とは異なる。一階述語論理では、特定の物体を指示する単称項、属性や関係を記述する述語、「いくつかの」・「すべての」のような概念を扱う量化子が用いられる。例えば、命題「このカラスは黒い」を表現するには、属性「黒い」を表すのに述語  B、カラスを表すのに単称項  r を用いて、表現  B(r) を得る。黒い物体が存在するということを表現するには、存在記号  \exists  と変数  x を組み合わせて、命題  \exists xB(x) を得る。一階述語論理は、このような表現がどのように妥当な論証 ( \exists xB(x) から  B(r) を導く場合など) を構成できるかを決定する推論規則を含む。
論理体系 > 拡充論理

拡充論理は、古典論理の基本原理を受け入れ、形而上学、倫理学、認識論での応用のため、新たな記号や原理を導入する論理体系である。
論理体系 > 拡充論理 > 様相論理

→詳細は「様相論理」を参照
様相論理は、古典論理の拡張版である。真理論的様相論理 (alethic modal logic) と呼ばれる様相論理の基本形態では、対象が可能であることを示す  \Diamond  、および、対象が必然であることを示す  \Box  の2つの記号が導入される。例えば、論理式  B(s) が文「ソクラテスは銀行員である」を表す場合、 \Diamond B(s) は、文「ソクラテスが銀行員であることは可能である」を表す。これらの記号を論理形式主義に含めるため、様相論理は、推論におけるこれらの記号の振る舞いを規定する新たな推論規則を導入する。様相論理の推論規則の一つは、「対象が必然であるとき、それは可能である」というものである。つまり、 \Diamond A は  \Box A から導かれるということである。要素論理の他の推論規則には、「ある命題が必然であるとき、その否定は不可能であり、同様に、ある命題の否定が不可能であるとき、その命題は必然である」というものがある。つまり、 \Box A が  \lnot \Diamond \lnot A と同値であるということである。
その他の様相倫理でも同じ記号が導入されるが、様相論理を他の分野に応用するため、記号に別の意味を与える。例えば、義務論理は、倫理学と関連があり、義務および許可 (ある行為者がある行為をしなければならないか、また、ある行為者がある行為をすることを許可されるか) の概念を表す記号を導入する。時相論理における様相演算は、時制の関係を記述する。時相論理では、「あるとき何かが起こった」や「常に何かが起こっている」などを表現できる。認識論では、「何かを知る」や「何かを信じる」の概念を記述するのに認識論理が用いられる。
論理体系 > 拡充論理 > 高階述語論理

→詳細は「高階述語論理」を参照
高階述語論理は、様相演算子ではなく、新しい形式の量化子を導入する。量化子は、「すべての」・「いくつかの」などの用語に対応する演算子である。古典一階述語論理では、量化子は個体にのみ適用できる。論理式  \exists x(Apple(x)\land Sweet(x)) (いくつかのりんごは甘い) は、存在記号  \exists  を個体変数  x に適用する例である。高階述語論理では、述語も量化できる。例えば、メアリーとジョンがある共通の属性を持つということを表現するには、論理式  \exists Q(Q(mary)\land Q(john)) を用いることができる。この例では、存在記号が述語の変数  Q に適用されている。この表現力により、数学の理論の立式がより簡潔になるため、高階述語論理は特に数学で有用である。ただし、そのメタ論理学的属性や存在論的影響により、現在も一階述語論理がより広く用いられる。
論理体系 > 逸脱論理

→詳細は「」を参照
逸脱論理は、古典論理の基本的な直感の一部を却下する論理体系である。このため、逸脱論理は古典論理を補うものではなく、それを取って代えるものと考えられている。逸脱論理の各論理体系は、却下する古典論理の直感や、同じ問題に対して提示する別解の点でそれぞれ異なる。
直観主義論理は、古典論理を簡素化した論理体系である。古典論理と同じ記号を用いるが、一部の推論規則を除外する。例えば、二重否定の除去の法則では、「文が偽である」が偽の場合、その文は真であるとされる。つまり、 \lnot \lnot A から  A が帰結する。この推論は、古典論理では妥当であるが、直感主義論理では妥当でない。また、あらゆる文について、その文が真であるか、その文の否定が真である ( A\lor \lnot A の形式を取るすべての命題が真である) と主張する排中律も、直感主義論理に存在しない古典主義の直感の一つである。この古典論理からの逸脱は、真理が証明を用いた検証により得られるという見解に基づく。逸脱論理は、「ある対象の存在を証明するには、それを実際に見つけたり構成したりしなければならない」とする構成主義数学の分野で特に重要である。
多値論理は、すべての命題が真か偽のいずれかであるとする二値性の原理（英語版）を却下する点で、古典論理と異なる。ヤン・ウカシェヴィチとスティーヴン・コール・クリーネは、文の真理値が不定であることを示す第3の真理値を導入した3値論理を提唱した。3値論理は、言語学の分野で応用される。ファジィ論理は、0から1までの実数で示される無限の「真理の程度」を持つ多値論理である。
矛盾許容論理は、矛盾を扱う論理体系である。矛盾許容論理は、爆発律（英語版）を避けるよう定義される。したがって、矛盾からあらゆるものが帰結しない。矛盾許容論理は、真なる矛盾が存在するとする真矛盾主義と関わりがある。グレアム・プリーストは、真矛盾主義の現代の重要な擁護者であり、同様の見解はゲオルク・ヴィルヘルム・フリードリヒ・ヘーゲルにも見ることができる。
研究領域

論理学はさまざまな分野で研究されている。多くの場合、論理学の研究では、論理学の形式的な方法論の論理学以外の分野 (倫理学、計算機科学など) への応用を研究する。また、論理学自体が別の分野での研究の対象となる場合もある。例えば、論理学者が用いる基本的な概念に関する哲学的な仮定の検討や、数学的構造を用いた論理学の解釈・分析、形式論理体系の抽象的な特徴の比較などがある。
研究領域 > 論理学の哲学と哲学的論理学

→詳細は「論理学の哲学」および「哲学的論理学」を参照
論理学の哲学は、論理学の範囲・性質を研究する哲学の分野である。論理学の基本的な概念の定義や、これらの概念に関する形而上学的な仮定など、論理学で暗に受け入れられる多くの仮定を研究する。また、論理体系の分類や、その存在論的な問題も研究する。哲学的論理学は、論理学の哲学の一分野である。論理学の方法論の形而上学、倫理学、認識論などの分野の問題への応用を研究する。この応用では、主に拡充論理や逸脱論理の論理体系が用いられる。
研究領域 > メタ論理学

→詳細は「メタ論理学」を参照
メタ論理学は、形式論理体系の特性を研究する分野である。例えば、新しい形式体系が考案された際に、その論理体系が証明可能な論理式を研究する。また、各論理式の証明を発見するためのアルゴリズムを考案できるかや、その論理体系で証明可能なあらゆる論理式が恒真式であるかも研究する。また、論理体系を他の論理体系と比較し、その論理体系に固有の特性も研究する。メタ論理学における重要な問題は、構文論と意味論の関係である。形式論理体系の構文規則は、証明を立て、前提から結論を演繹する方法を定義する。形式論理体系の意味論は、真である文と偽である文を定義する。論証の前提が真で結論が偽であることは不可能であるため、形式論理体系の意味論は、論証の妥当性も決定する。構文論と意味論の関係は、あらゆる妥当な論証が証明可能であるかや、あらゆる証明可能な論証が妥当であるかなどの問題と関連する。また、メタ論理学では、論理体系の完全性、健全性、一貫性を検討し、論理体系の決定可能性や表現力（英語版）を研究する。メタ論理学者は、通常、メタ論理学の証明を立てる際に抽象的な数学的推論を用いる。これにより、正確で一般性がある結論に到達することが可能となる。