@prefix rdf: . @prefix dbpedia: . @prefix opencyc: . dbpedia:Metalogic rdf:type opencyc:Mx4rvVi3_JwpEbGdrcN5Y29ycA . @prefix owl: . dbpedia:Metalogic owl:sameAs . @prefix ns4: . dbpedia:Metalogic owl:sameAs ns4:Mx4rv68KkpwpEbGdrcN5Y29ycA , opencyc:Mx4rv68KkpwpEbGdrcN5Y29ycA . @prefix foaf: . @prefix ns6: . dbpedia:Metalogic foaf:page ns6:Metalogic . @prefix rdfs: . dbpedia:Metalogic rdfs:label "Metalogik"@sv , "Metalogica"@nl , "Metalogic"@en , "Metalogik"@de , "Metalogika"@pl . @prefix dbpprop: . dbpedia:Metalogic dbpprop:abstract "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\u00FCle, sondern besonders um eine formalisierte Theorie der Mengenlehre und um eine Modelltheorie."@de , "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 logische systemen 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 discplines worden binnen de wiskundige logica over het algemeen zelfs als \u00E9\u00E9n 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."@nl , "Metalogik\u0105 systemu logicznego nazywamy formaln\u0105 teori\u0119 tego\u017C systemu. Wynikami metalogiki s\u0105 takie twierdzenia jak np. niesprzeczno\u015B\u0107 danej logiki."@pl , "Metalogic is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves. According to Geoffrey Hunter, while logic concerns itself with the \"truths of logic,\" metalogic concerns itself with the theory of \"sentences used to express truths of logic. \" The basic objects of study in metalogic are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic known as model theory, while the study of deductive apparatus is the branch known as proof theory."@en , "Metalogik \u00E4r studiet av logikens formella system och spr\u00E5k, s.k. objektlogiker, och deras egenskaper. Metalogiken har sitt eget system av begrepp, ut\u00F6ver objektspr\u00E5kens, f\u00F6r att kategorisera systemen och beskriva deras egenskaper. F\u00F6rsta ordningens predikatlogik \u00E4r det viktigaste av dessa objektsystem/spr\u00E5k och f\u00F6rst\u00E5else av denna \u00E4r grundl\u00E4ggande f\u00F6r allt vidare studium av logiken och dess till\u00E4mpningar i exempelvis filosofi, lingvistik, datalogi eller matematik."@sv ; rdfs:comment "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 logische systemen kunnen worden gebruikt om de waarheid van allerlei soorten argumenten te achterhalen, kijkt de metalogica naar de inherente eigenschappen van deze systemen zelf."@nl , "Metalogik\u0105 systemu logicznego nazywamy formaln\u0105 teori\u0119 tego\u017C systemu. Wynikami metalogiki s\u0105 takie twierdzenia jak np. niesprzeczno\u015B\u0107 danej logiki."@pl , "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\u00FCle, sondern besonders um eine formalisierte Theorie der Mengenlehre und um eine Modelltheorie."@de , "Metalogik \u00E4r studiet av logikens formella system och spr\u00E5k, s.k. objektlogiker, och deras egenskaper. Metalogiken har sitt eget system av begrepp, ut\u00F6ver objektspr\u00E5kens, f\u00F6r att kategorisera systemen och beskriva deras egenskaper. F\u00F6rsta ordningens predikatlogik \u00E4r det viktigaste av dessa objektsystem/spr\u00E5k och f\u00F6rst\u00E5else av denna \u00E4r grundl\u00E4ggande f\u00F6r allt vidare studium av logiken och dess till\u00E4mpningar i exempelvis filosofi, lingvistik, datalogi eller matematik."@sv , "Metalogic is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves. According to Geoffrey Hunter, while logic concerns itself with the \"truths of logic,\" metalogic concerns itself with the theory of \"sentences used to express truths of logic."@en . @prefix skos: . @prefix ns10: . dbpedia:Metalogic skos:subject ns10:Metalogic , ns10:Mathematical_logic . @prefix ns11: . dbpedia:Metalogic dbpprop:hasPhotoCollection ns11:Metalogic . dbpedia:Meta-logic dbpprop:redirect dbpedia:Metalogic . dbpedia:Meta_logic dbpprop:redirect dbpedia:Metalogic . dbpedia:Deductive_science dbpprop:redirect dbpedia:Metalogic . dbpedia:Methodology_of_deductive_sciences dbpprop:redirect dbpedia:Metalogic .