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

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

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
dbpedia-no	http://no.dbpedia.org/resource/
dbpedia-sv	http://sv.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-bg	http://bg.dbpedia.org/resource/
n16	http://hy.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
dbpedia-ar	http://ar.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
n18	http://ky.dbpedia.org/resource/
dct	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-kk	http://kk.dbpedia.org/resource/
dbpedia-az	http://az.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-uk	http://uk.dbpedia.org/resource/
dbpedia-id	http://id.dbpedia.org/resource/
dbo	http://dbpedia.org/ontology/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-sk	http://sk.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbpedia-ro	http://ro.dbpedia.org/resource/
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
n24	https://global.dbpedia.org/id/
n15	http://sw.cyc.com/concept/
prov	http://www.w3.org/ns/prov#
foaf	http://xmlns.com/foaf/0.1/
dbpedia-simple	http://simple.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item

dbr:Metalogic

rdf:type

dbo:Book

rdfs:label

Металогіка Metalogic Metalógica Metalogik Metalogik ما بعد المنطق Metalogika Металогика Metalogica Metalogika Métalogique メタ論理学 메타논리학 Metalógica

rdfs:comment

Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем. К области исследований металогики относятся: формальные языки, формальные системы и их интерпретации. Изучение интерпретации формальных систем есть раздел математической логики, известный как теория моделей, изучение дедуктивного аппарата формальной системы является разделом теории доказательств. ما بعد المنطق أو ما وراء المنطق هي دراسة شمولية حول المنطق. بينما يدرس المنطق كيفية استخدام الأنظمة المنطقية لبناء حجج صحيحة وسليمة، يدرس ما بعد المنطق خصائص الأنظمة المنطقية. يتعلق المنطق بالحقائق التي يمكن اشتقاقها باستخدام نظام منطقي؛ يهتم ما بعد المنطق بالحقائق التي يمكن اشتقاقها عن اللغات والأنظمة المستخدمة للتعبير عن الحقائق. الأشياء الأساسية لدراسة ما بعد المنطق هي اللغات الرسمية والأنظمة الرسمية وتفسيراتها. دراسة تفسير الأنظمة الرسمية هي فرع المنطق الرياضي المعروف بنظرية النموذج، ودراسة الأنظمة الاستنتاجية هي الفرع المعروف بنظرية البرهان. Metalogik är studiet av logikens formella system och språk, så kallade objektlogiker, och deras egenskaper. Metalogiken har sitt eget system av begrepp, utöver objektspråkens, för att kategorisera systemen och beskriva deras egenskaper. Första ordningens predikatlogik är det viktigaste av dessa objektsystem/språk och förståelse av denna är grundläggande för allt vidare studium av logiken och dess tillämpningar i exempelvis filosofi, lingvistik, datalogi eller matematik. La métalogique est l'étude de la métathéorie de la logique. Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire un argument valide et correct, la métalogique concerne les vérités qui peuvent être dérivées des langages et des systèmes qui sont utilisés pour exprimer des vérités. Metalógica é o estudo da metateoria da Lógica. Enquanto a Lógica estuda como sistemas lógicos podem ser usados para construir argumentos válidos e corretos, a Metalógica estuda as propriedades dos sistemas lógicos . Lógica concerne as verdades que podem ser verificadas usando sistemas lógicos; Metalógica fornece afirmações que podem ser verificadas a partir de linguagens e sistemas que são usados para expressar tais afirmações Metalogik ist eine philosophische Grundlagendisziplin, die sich mit den Voraussetzungen und Grundlagen der Logik befasst. Es geht dabei nicht nur um die semantische Rechtfertigung etwa von Wahrheitswert-Tabellen durch Logikkalküle, sondern besonders um eine formalisierte Theorie der Mengenlehre und um eine Modelltheorie. Metalogica is de studie van de logica. De metalogica houdt zich bezig met de fundamenten van de logica, en is daarmee ook een metatheorie. Terwijl de logica als zodanig zich bezighoudt met de manier waarop kunnen worden gebruikt om de waarheid van allerlei soorten argumenten te achterhalen, kijkt de metalogica naar de inherente eigenschappen van deze systemen zelf. La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.​ Las propiedades más importantes que se pueden demostrar de los sistemas formales son la consistencia, decidibilidad y completitud.​ Ejemplos de teoremas metalógicos importantes son los teoremas de incompletitud de Gödel, el teorema de completitud de Gödel y el teorema de Löwenheim-Skolem. Otra propiedad es la compacidad. Metalogika adalah bidang studi tentang metateori logika, sementara logika adalah studi tentang cara di mana sistem logis dapat digunakan untuk menentukan kebenaran argumen, studi metalogika merupakan properti dari sistem logika sendiri. bagi Geoffrey Hunter bahwa logika mempunyai kepentingan dengan yang digunakan untuk mengungkapkan kebenaran logika sedangkan bagi metalogika mempunyai kepentingan dengan teori penyusunan yang dipergunakan untuk mengungkapkan adanya kebenaran logika. Metalogic is the study of the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths. Metalogika – dział logiki matematycznej powiązany z metamatematyką, badający różne systemy logiczne jako teorie formalne (dedukcyjne). Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki. Металогіка — вивчення метатеорії логіки. На відміну від логіки, яка досліджує способи застосування логічних систем для доведень і спростувань, металогіка досліджує властивості самих логічних систем. Виділяють і семантику в логіці. Область дослідження металогіки: формальні мови, формальні системи та їх інтерпретації. Окремі питання металогіки відомі з часів Аристотеля, однак тільки з появою формальних мов у кінці XIX ст — на поч. XX ст. цей напрямок у науці отримав свій розвиток. Металогіка і метаматематика часто розглядаються як синоніми та вивчаються в рамах математичної логіки. メタ論理学（Metalogic）とは、論理のメタ理論の研究です。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する。 論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せますが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究します。 メタ論理学研究の基本的な対象は、形式言語、形式システム、およびそれらの解釈である。形式系の解釈の研究はモデル論として知られる数学論理学の一分野であり、演繹系の研究は証明論として知られる一分野である。 메타논리학은 논리학의 메타이론에 대한 연구이다. 논리학은 논리 체계로 타당하고 건전한 [[논증]을 구성하는 방법을 연구하는 반면, 메타논리학은 논리 체계의 속성을 연구한다. 논리는 논리 시스템을 사용하여 도출할 수 있는 진리에 관한 것이다. 메타논리학은 진리를 표현하는 데 사용되는 언어와 시스템에 대해 파생될 수 있는 진리에 관한 것이다. 메타논리학 연구의 기본 대상은 형식 언어, 형식 시스템 및 그 해석이다. 형식 체계의 해석에 대한 연구는 모형 이론으로 알려진 수리 논리학의 한 분야 이며, 형식 체계에 대한 연구는 증명 이론으로 알려진 한 분야이다.

dct:subject

dbc:Mathematical_logic dbc:Metalogic dbc:Metaphilosophy

dbo:wikiPageID

387934

dbo:wikiPageRevisionID

1096262473

dbo:wikiPageWikiLink

dbr:Rudolf_Carnap dbr:Formal_proof dbr:Interpretation_(logic) dbr:Emil_Leon_Post dbr:Type–token_distinction dbr:Rule_of_inference dbr:Gödel's_completeness_theorem dbr:Formal_language dbr:Consistency dbr:Model_theory dbr:Mathematical_logic dbr:Natural_number dbr:Deductive_system dbr:Cut-elimination_theorem dbr:Paul_Bernays dbr:Well-formed_formula dbr:Gerhard_Gentzen dbr:Alphabet dbc:Mathematical_logic dbr:Monadic_predicate_calculus dbc:Metaphilosophy dbr:Metatheory dbr:Entscheidungsproblem dbr:Foundations_of_mathematics dbr:Sense_and_reference dbc:Metalogic dbr:Axiom dbr:Gödel's_incompleteness_theorems dbr:Name dbr:Theorem dbr:Thoralf_Skolem dbr:Propositional_calculus dbr:String_(computer_science) dbr:Metalogic_programming dbr:Logical_consequence dbr:Uncountability dbr:Semiotics dbr:Reference dbr:Empty_set dbr:Semantics dbr:Charles_Sanders_Peirce dbr:Decidability_(logic) dbr:Wilhelm_Ackermann dbr:Soundness dbr:Cantor's_theorem dbr:Sequent_calculus dbr:Proof_theory dbr:Logic dbr:Meaning_(linguistics) dbr:Predicate_logic dbr:Structure_(mathematical_logic) dbr:Metamathematics dbr:First-order_logic dbr:Power_set dbr:Symbol_(formal) dbr:Aristotle dbr:Truth_value dbr:Löwenheim–Skolem_theorem dbr:Formal_semantics_(logic) dbr:Set_(mathematics) dbr:Leopold_Löwenheim dbr:Argument dbr:Validity_(logic) dbr:Completeness_(logic) dbr:David_Hilbert dbr:Tarski's_undefinability_theorem dbr:Formal_system

owl:sameAs

dbpedia-ro:Metalogică dbpedia-bg:Металогика dbpedia-ru:Металогика dbpedia-ar:ما_بعد_المنطق dbpedia-nl:Metalogica dbpedia-sk:Metalogika n15:Mx4rv68KkpwpEbGdrcN5Y29ycA n16:Մետատրամաբանություն n18:Металогика dbpedia-ko:메타논리학 dbpedia-fa:فرامنطق dbpedia-fr:Métalogique n24:P51b dbpedia-pt:Metalógica wikidata:Q1366730 dbpedia-simple:Metalogic dbpedia-no:Metalogikk dbpedia-es:Metalógica dbpedia-kk:Металогика dbpedia-id:Metalogika freebase:m.022fvr dbpedia-pl:Metalogika dbpedia-de:Metalogik dbpedia-ja:メタ論理学 dbpedia-az:Metaməntiq dbpedia-uk:Металогіка dbpedia-sv:Metalogik

dbp:wikiPageUsesTemplate

dbt:Main dbt:Metalogic dbt:Portal dbt:Short_description dbt:Unreferenced_section dbt:SpringerEOM dbt:Commonscat-inline

dbp:id

Meta-logic&oldid=14952

dbp:title

Meta-logic

dbo:abstract

Metalogic is the study of the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths. The basic objects of metalogical study are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory. Metalogika adalah bidang studi tentang metateori logika, sementara logika adalah studi tentang cara di mana sistem logis dapat digunakan untuk menentukan kebenaran argumen, studi metalogika merupakan properti dari sistem logika sendiri. bagi Geoffrey Hunter bahwa logika mempunyai kepentingan dengan yang digunakan untuk mengungkapkan kebenaran logika sedangkan bagi metalogika mempunyai kepentingan dengan teori penyusunan yang dipergunakan untuk mengungkapkan adanya kebenaran logika. Objek dasar studi pada metalogika berada pada bahasa formal, sistem formal, dan cara interpretasi mereka. Studi interpretasi sistem formal adalah cabang logika matematika yang dikenal sebagai teori model sedangkan penelitian deduktif pelengkap adalah cabang yang dikenal sebagai teori bukti Metalogik är studiet av logikens formella system och språk, så kallade objektlogiker, och deras egenskaper. Metalogiken har sitt eget system av begrepp, utöver objektspråkens, för att kategorisera systemen och beskriva deras egenskaper. Första ordningens predikatlogik är det viktigaste av dessa objektsystem/språk och förståelse av denna är grundläggande för allt vidare studium av logiken och dess tillämpningar i exempelvis filosofi, lingvistik, datalogi eller matematik. Metalogik ist eine philosophische Grundlagendisziplin, die sich mit den Voraussetzungen und Grundlagen der Logik befasst. Es geht dabei nicht nur um die semantische Rechtfertigung etwa von Wahrheitswert-Tabellen durch Logikkalküle, sondern besonders um eine formalisierte Theorie der Mengenlehre und um eine Modelltheorie. Metalogica is de studie van de logica. De metalogica houdt zich bezig met de fundamenten van de logica, en is daarmee ook een metatheorie. Terwijl de logica als zodanig zich bezighoudt met de manier waarop kunnen worden gebruikt om de waarheid van allerlei soorten argumenten te achterhalen, kijkt de metalogica naar de inherente eigenschappen van deze systemen zelf. In de metalogica staan formele systemen, formele talen, formele grammatica en de logische interpretatie van al deze dingen centraal als onderwerp van studie. De studie van de interpretatie van formele systemen staat binnen de wiskundige logica bekend als de modeltheorie. De studie van deductieve systemen staat bekend als de bewijstheorie. De metalogica vertoont veel raakvlakken met de metawiskunde, en deze twee disciplines worden binnen de wiskundige logica over het algemeen zelfs als één geheel behandeld. Hoewel er al sinds de tijd van Aristoteles over kwesties van metalogische aard is nagedacht, kwam de metalogica als aparte discipline pas echt op in de loop van de 19e en de 20e eeuw, toen men eigenlijk bezig was met het onderzoeken van de grondslagen van de wiskunde. David Hilbert ontdekte hierbij de aanwezigheid van noodzakelijke presupposities die tegelijk metalogisch en metawiskundig van aard waren. Металогіка — вивчення метатеорії логіки. На відміну від логіки, яка досліджує способи застосування логічних систем для доведень і спростувань, металогіка досліджує властивості самих логічних систем. Виділяють і семантику в логіці. Область дослідження металогіки: формальні мови, формальні системи та їх інтерпретації. Окремі питання металогіки відомі з часів Аристотеля, однак тільки з появою формальних мов у кінці XIX ст — на поч. XX ст. цей напрямок у науці отримав свій розвиток. Металогіка і метаматематика часто розглядаються як синоніми та вивчаються в рамах математичної логіки. ما بعد المنطق أو ما وراء المنطق هي دراسة شمولية حول المنطق. بينما يدرس المنطق كيفية استخدام الأنظمة المنطقية لبناء حجج صحيحة وسليمة، يدرس ما بعد المنطق خصائص الأنظمة المنطقية. يتعلق المنطق بالحقائق التي يمكن اشتقاقها باستخدام نظام منطقي؛ يهتم ما بعد المنطق بالحقائق التي يمكن اشتقاقها عن اللغات والأنظمة المستخدمة للتعبير عن الحقائق. الأشياء الأساسية لدراسة ما بعد المنطق هي اللغات الرسمية والأنظمة الرسمية وتفسيراتها. دراسة تفسير الأنظمة الرسمية هي فرع المنطق الرياضي المعروف بنظرية النموذج، ودراسة الأنظمة الاستنتاجية هي الفرع المعروف بنظرية البرهان. 메타논리학은 논리학의 메타이론에 대한 연구이다. 논리학은 논리 체계로 타당하고 건전한 [[논증]을 구성하는 방법을 연구하는 반면, 메타논리학은 논리 체계의 속성을 연구한다. 논리는 논리 시스템을 사용하여 도출할 수 있는 진리에 관한 것이다. 메타논리학은 진리를 표현하는 데 사용되는 언어와 시스템에 대해 파생될 수 있는 진리에 관한 것이다. 메타논리학 연구의 기본 대상은 형식 언어, 형식 시스템 및 그 해석이다. 형식 체계의 해석에 대한 연구는 모형 이론으로 알려진 수리 논리학의 한 분야 이며, 형식 체계에 대한 연구는 증명 이론으로 알려진 한 분야이다. La métalogique est l'étude de la métathéorie de la logique. Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire un argument valide et correct, la métalogique concerne les vérités qui peuvent être dérivées des langages et des systèmes qui sont utilisés pour exprimer des vérités. Les objets de base de l'étude métalogique sont les langages formels des systèmes formels, et leurs interprétations. L'étude de l'interprétation des systèmes formels est la branche de la logique mathématique appelée théorie des modèles, et l'étude des systèmes déductifs est appelée la théorie de la démonstration. Metalógica é o estudo da metateoria da Lógica. Enquanto a Lógica estuda como sistemas lógicos podem ser usados para construir argumentos válidos e corretos, a Metalógica estuda as propriedades dos sistemas lógicos . Lógica concerne as verdades que podem ser verificadas usando sistemas lógicos; Metalógica fornece afirmações que podem ser verificadas a partir de linguagens e sistemas que são usados para expressar tais afirmações Os objetos básicos do estudo da metalógica são as linguagens formais, sistemas formais, e suas interpretações. O estudo da interpretação de sistemas formais está no ramo da Lógica Matemática que é conhecida como teoria dos modelos, e os estudos de sistemas dedutivos faz parte do área de conhecimento da Teoria da Prova. メタ論理学（Metalogic）とは、論理のメタ理論の研究です。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する。 論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せますが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究します。 メタ論理学研究の基本的な対象は、形式言語、形式システム、およびそれらの解釈である。形式系の解釈の研究はモデル論として知られる数学論理学の一分野であり、演繹系の研究は証明論として知られる一分野である。 La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.​ Las propiedades más importantes que se pueden demostrar de los sistemas formales son la consistencia, decidibilidad y completitud.​ Ejemplos de teoremas metalógicos importantes son los teoremas de incompletitud de Gödel, el teorema de completitud de Gödel y el teorema de Löwenheim-Skolem. Otra propiedad es la compacidad. Metalogika – dział logiki matematycznej powiązany z metamatematyką, badający różne systemy logiczne jako teorie formalne (dedukcyjne). Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki. Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем. К области исследований металогики относятся: формальные языки, формальные системы и их интерпретации. Изучение интерпретации формальных систем есть раздел математической логики, известный как теория моделей, изучение дедуктивного аппарата формальной системы является разделом теории доказательств. Отдельные вопросы металогики были известны со времени Аристотеля, однако только с появлением формальных языков в конце XIX в. и начале XX в. исследование основ логики стало процветающим направлением. В настоящее время металогика и метаматематика часто рассматриваются в качестве синонимов и в академическом образовании изучаются в рамках математической логики.

dbp:authorFirst

A.G.

dbp:authorLast

Dragalin

gold:hypernym

dbr:Study

prov:wasDerivedFrom

wikipedia-en:Metalogic?oldid=1096262473&ns=0

dbo:wikiPageLength

11246

foaf:isPrimaryTopicOf

wikipedia-en:Metalogic