Synopsis
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Metalogic
Image fournie par le vendeur
Metalogic
Edité par
Alphascript Publishing, 2010
ISBN 10 : 6130733658
ISBN 13 : 9786130733650
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 84 pp. Englisch. N° de réf. du vendeur 9786130733650
Acheter neuf
EUR 34
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Metalogic | Metatheory, Logic, Formal system, Formal language, Interpretation (logic), Mathematical logic, Model theory, Proof theory, Metalanguage, Object language, Syntax (logic), Formal semantics
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Metalogic | Metatheory, Logic, Formal system, Formal language, Interpretation (logic), Mathematical logic, Model theory, Proof theory, Metalanguage, Object language, Syntax (logic), Formal semantics | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130733650 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 113241785
Acheter neuf
EUR 109,85
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)