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
dbpprop:abstract
  • 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 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.
  • 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.
dbpprop:hasPhotoCollection
rdf:type
rdfs:comment
  • 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.
  • 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.
  • 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.
rdfs:label
  • Metalogic
  • Metalogik
  • Metalogica
  • Metalogika
  • Metalogik
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of