Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Formal_semantics_(logic)> ?p ?o }
Showing triples 1 to 90 of
90
with 100 triples per page.
- Formal_semantics_(logic) abstract "In logic, formal semantics OR logical semantics, is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment. (Although both linguistics and logic lay claim to providing theories of natural language, according to Geach, logic generally ignores the "idiotism of idiom", and sees natural languages as cluttered with idioms of no logical interest.)The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. The semantics of logic refers to the approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation.Until the advent of modern logic, Aristotle's Organon, especially De Interpretatione, provided the basis for understanding the significance of logic. The introduction of quantification, needed to solve the problem of multiple generality, rendered impossible the kind of subject-predicate analysis that governed Aristotle's account, although there is a renewed interest in term logic, attempting to find calculi in the spirit of Aristotle's syllogistic but with the generality of modern logics based on the quantifier.The main modern approaches to semantics for formal languages are the following: Model-theoretic semantics is the archetype of Alfred Tarski's semantic theory of truth, based on his T-schema, and is one of the founding concepts of model theory. This is the most widespread approach, and is based on the idea that the meaning of the various parts of the propositions are given by the possible ways we can give a recursively specified group of interpretation functions from them to some predefined mathematical domains: an interpretation of first-order predicate logic is given by a mapping from terms to a universe of individuals, and a mapping from propositions to the truth values "true" and "false". Model-theoretic semantics provides the foundations for an approach to the theory of meaning known as Truth-conditional semantics, which was pioneered by Donald Davidson. Kripke semantics introduces innovations, but is broadly in the Tarskian mold. Proof-theoretic semantics associates the meaning of propositions with the roles that they can play in inferences. Gerhard Gentzen, Dag Prawitz and Michael Dummett are generally seen as the founders of this approach; it is heavily influenced by Ludwig Wittgenstein's later philosophy, especially his aphorism "meaning is use". Truth-value semantics (also commonly referred to as substitutional quantification) was advocated by Ruth Barcan Marcus for modal logics in the early 1960s and later championed by Dunn, Belnap, and Leblanc for standard first-order logic. James Garson has given some results in the areas of adequacy for intensional logics outfitted with such a semantics. The truth conditions for quantified formulas are given purely in terms of truth with no appeal to domains whatsoever (and hence its name truth-value semantics). Game-theoretical semantics has made a resurgence lately mainly due to Jaakko Hintikka for logics of (finite) partially ordered quantification which were originally investigated by Leon Henkin, who studied Henkin quantifiers. Probabilistic semantics originated from H. Field and has been shown equivalent to and a natural generalization of truth-value semantics. Like truth-value semantics, it is also non-referential in nature.↑ ↑ ↑ ↑".
- Formal_semantics_(logic) wikiPageID "909888".
- Formal_semantics_(logic) wikiPageLength "4916".
- Formal_semantics_(logic) wikiPageOutDegree "43".
- Formal_semantics_(logic) wikiPageRevisionID "676993595".
- Formal_semantics_(logic) wikiPageWikiLink Alfred_Tarski.
- Formal_semantics_(logic) wikiPageWikiLink Argument.
- Formal_semantics_(logic) wikiPageWikiLink Aristotle.
- Formal_semantics_(logic) wikiPageWikiLink Branching_quantifier.
- Formal_semantics_(logic) wikiPageWikiLink Category:Philosophy_of_language.
- Formal_semantics_(logic) wikiPageWikiLink Category:Semantics.
- Formal_semantics_(logic) wikiPageWikiLink Dag_Prawitz.
- Formal_semantics_(logic) wikiPageWikiLink De_Interpretatione.
- Formal_semantics_(logic) wikiPageWikiLink Donald_Davidson_(philosopher).
- Formal_semantics_(logic) wikiPageWikiLink First-order_logic.
- Formal_semantics_(logic) wikiPageWikiLink First-order_predicate_logic.
- Formal_semantics_(logic) wikiPageWikiLink Formal_language.
- Formal_semantics_(logic) wikiPageWikiLink Game_semantics.
- Formal_semantics_(logic) wikiPageWikiLink Gerhard_Gentzen.
- Formal_semantics_(logic) wikiPageWikiLink Henkin_quantifier.
- Formal_semantics_(logic) wikiPageWikiLink Idiom.
- Formal_semantics_(logic) wikiPageWikiLink Individual.
- Formal_semantics_(logic) wikiPageWikiLink Intensional_logic.
- Formal_semantics_(logic) wikiPageWikiLink Interpretation_(logic).
- Formal_semantics_(logic) wikiPageWikiLink Jaakko_Hintikka.
- Formal_semantics_(logic) wikiPageWikiLink James_Garson.
- Formal_semantics_(logic) wikiPageWikiLink Kripke_semantics.
- Formal_semantics_(logic) wikiPageWikiLink Leon_Henkin.
- Formal_semantics_(logic) wikiPageWikiLink Linguistics.
- Formal_semantics_(logic) wikiPageWikiLink Logic.
- Formal_semantics_(logic) wikiPageWikiLink Logical_consequence.
- Formal_semantics_(logic) wikiPageWikiLink Ludwig_Wittgenstein.
- Formal_semantics_(logic) wikiPageWikiLink Michael_Dummett.
- Formal_semantics_(logic) wikiPageWikiLink Model_theory.
- Formal_semantics_(logic) wikiPageWikiLink Natural_language.
- Formal_semantics_(logic) wikiPageWikiLink Organon.
- Formal_semantics_(logic) wikiPageWikiLink Peter_Geach.
- Formal_semantics_(logic) wikiPageWikiLink Probabilistic_semantics.
- Formal_semantics_(logic) wikiPageWikiLink Problem_of_multiple_generality.
- Formal_semantics_(logic) wikiPageWikiLink Proof-theoretic_semantics.
- Formal_semantics_(logic) wikiPageWikiLink Proposition.
- Formal_semantics_(logic) wikiPageWikiLink Quantification_(logic).
- Formal_semantics_(logic) wikiPageWikiLink Quantifier_(logic).
- Formal_semantics_(logic) wikiPageWikiLink Ruth_Barcan_Marcus.
- Formal_semantics_(logic) wikiPageWikiLink Semantic_theory_of_truth.
- Formal_semantics_(logic) wikiPageWikiLink Semantics.
- Formal_semantics_(logic) wikiPageWikiLink T-schema.
- Formal_semantics_(logic) wikiPageWikiLink Term_logic.
- Formal_semantics_(logic) wikiPageWikiLink Truth-conditional_semantics.
- Formal_semantics_(logic) wikiPageWikiLink Truth-value_semantics.
- Formal_semantics_(logic) wikiPageWikiLinkText "Formal semantics (logic)".
- Formal_semantics_(logic) wikiPageWikiLinkText "Formal semantics".
- Formal_semantics_(logic) wikiPageWikiLinkText "Model-theoretic".
- Formal_semantics_(logic) wikiPageWikiLinkText "Semantics".
- Formal_semantics_(logic) wikiPageWikiLinkText "formal semantics".
- Formal_semantics_(logic) wikiPageWikiLinkText "meaning".
- Formal_semantics_(logic) wikiPageWikiLinkText "semantic component".
- Formal_semantics_(logic) wikiPageWikiLinkText "semantic value".
- Formal_semantics_(logic) wikiPageWikiLinkText "semantic".
- Formal_semantics_(logic) wikiPageWikiLinkText "semantics of logic".
- Formal_semantics_(logic) wikiPageWikiLinkText "semantics".
- Formal_semantics_(logic) hasPhotoCollection Formal_semantics_(logic).
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Citation_needed.
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Mathematical_logic.
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Merge_from.
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Other_uses.
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Philosophy_of_language.
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Portal.
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Refimprove.
- Formal_semantics_(logic) wikiPageUsesTemplate Template:Reflist.
- Formal_semantics_(logic) subject Category:Philosophy_of_language.
- Formal_semantics_(logic) subject Category:Semantics.
- Formal_semantics_(logic) hypernym Study.
- Formal_semantics_(logic) type Book.
- Formal_semantics_(logic) comment "In logic, formal semantics OR logical semantics, is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment.".
- Formal_semantics_(logic) label "Formal semantics (logic)".
- Formal_semantics_(logic) sameAs Semàntica_formal.
- Formal_semantics_(logic) sameAs Τυπική_σημασιολογία.
- Formal_semantics_(logic) sameAs Semántica_formal.
- Formal_semantics_(logic) sameAs Logikai_szemantika.
- Formal_semantics_(logic) sameAs 形式意味論.
- Formal_semantics_(logic) sameAs Formele_semantiek.
- Formal_semantics_(logic) sameAs Semântica_formal_(lógica).
- Formal_semantics_(logic) sameAs m.03p0gk.
- Formal_semantics_(logic) sameAs Формальная_семантика.
- Formal_semantics_(logic) sameAs Q963731.
- Formal_semantics_(logic) sameAs Q963731.
- Formal_semantics_(logic) sameAs 逻辑的语义.
- Formal_semantics_(logic) wasDerivedFrom Formal_semantics_(logic)?oldid=676993595.
- Formal_semantics_(logic) isPrimaryTopicOf Formal_semantics_(logic).