Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Metalogic> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Metalogic abstract "Metalogic is the study of the metatheory of logic. Wheras 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.".
- Metalogic wikiPageID "387934".
- Metalogic wikiPageRevisionID "594755179".
- Metalogic hasPhotoCollection Metalogic.
- Metalogic subject Category:Mathematical_logic.
- Metalogic subject Category:Metalogic.
- Metalogic subject Category:Metaphilosophy.
- Metalogic comment "Metalogic is the study of the metatheory of logic. Wheras 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.".
- Metalogic label "Metalogic".
- Metalogic label "Metalogica".
- Metalogic label "Metalogik".
- Metalogic label "Metalogika".
- Metalogic label "Metalógica".
- Metalogic label "Métalogique".
- Metalogic label "Металогика".
- Metalogic sameAs Metalogik.
- Metalogic sameAs Metalógica.
- Metalogic sameAs Métalogique.
- Metalogic sameAs Metalogika.
- Metalogic sameAs Metalogica.
- Metalogic sameAs Metalogika.
- Metalogic sameAs m.022fvr.
- Metalogic sameAs Mx4rv68KkpwpEbGdrcN5Y29ycA.
- Metalogic sameAs Q1366730.
- Metalogic sameAs Q1366730.
- Metalogic wasDerivedFrom Metalogic?oldid=594755179.
- Metalogic isPrimaryTopicOf Metalogic.