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.

PropertyValue
dbpedia-owl: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ü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 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 éé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.
  • Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.
  • 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.
  • Metalogik är studiet av logikens formella system och språk, s.k. 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.
  • Металогика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем. К области исследований металогики относятся: формальные языки, формальные системы и их интерпретации. Изучение интерпретации формальных систем есть раздел математической логики, известный как теория моделей, изучение дедуктивного аппарата формальной системы является разделом теории доказательств. Отдельные вопросы металогики были известны со времени Аристотеля, однако только с появлением формальных языков в конце XIX в. и начале XX в. исследование основ логики стало процветающим направлением. В настоящее время металогика и метаматематика часто рассматриваются в качестве синонимов и в академическом образовании изучаются в рамках математической логики.
  • La métalogique est l'étude de la métathéorie de la logique.
dcterms:subject
rdfs:comment
  • 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.
  • Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.
  • Metalogik är studiet av logikens formella system och språk, s.k. 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.
  • 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.
  • Металогика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем. К области исследований металогики относятся: формальные языки, формальные системы и их интерпретации.
  • 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.
  • La métalogique est l'étude de la métathéorie de la logique.
rdfs:label
  • Metalogic
  • Metalogik
  • Métalogique
  • Metalogica
  • Metalogika
  • Metalogik
  • Металогика
owl:sameAs
foaf:page
is dbpedia-owl:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of