This HTML5 document contains 27 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1366730
owl:sameAs
dbpedia-ja:メタ論理学
Subject Item
dbpedia-ja:タイプとトークンの区別
dbo:wikiPageWikiLink
dbpedia-ja:メタ論理学
Subject Item
dbpedia-ja:メタ
dbo:wikiPageWikiLink
dbpedia-ja:メタ論理学
Subject Item
dbpedia-ja:メタ論理学
rdfs:label
メタ論理学
rdfs:comment
メタ論理学（Metalogic）とは、論理のメタ理論の研究です。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する。 論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せますが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究します。 メタ論理学研究の基本的な対象は、形式言語、形式システム、およびそれらの解釈である。形式系の解釈の研究はモデル論として知られる数学論理学の一分野であり、演繹系の研究は証明論として知られる一分野である。
dct:subject
n4:メタ哲学 n4:メタ論理学 n4:数理論理学
dbo:wikiPageID
4163319
dbo:wikiPageRevisionID
92158099
dbo:wikiPageWikiLink
n4:メタ論理学 n4:数理論理学 dbpedia-ja:超数学 dbpedia-ja:論理プログラミング n4:メタ哲学
prop-ja:wikiPageUsesTemplate
template-ja:Metalogic template-ja:Commonscat-inline template-ja:Reflist template-ja:Expand_English template-ja:メタ
dbo:abstract
メタ論理学（Metalogic）とは、論理のメタ理論の研究です。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する。 論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せますが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究します。 メタ論理学研究の基本的な対象は、形式言語、形式システム、およびそれらの解釈である。形式系の解釈の研究はモデル論として知られる数学論理学の一分野であり、演繹系の研究は証明論として知られる一分野である。
dbo:wikiPageLength
1199
prov:wasDerivedFrom
wikipedia-ja:メタ論理学?oldid=92158099&ns=0
foaf:isPrimaryTopicOf
wikipedia-ja:メタ論理学
Subject Item
dbpedia-ja:実験数学
dbo:wikiPageWikiLink
dbpedia-ja:メタ論理学
Subject Item
dbpedia-ja:論理学の歴史
dbo:wikiPageWikiLink
dbpedia-ja:メタ論理学
Subject Item
wikipedia-ja:メタ論理学
foaf:primaryTopic
dbpedia-ja:メタ論理学