Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Logical_harmony> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Logical_harmony abstract "Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by the rules for introducing them into discourse. For example, if one believes that the sky is blue and one also believes that grass is green, then one can introduce the connective and as follows: The sky is blue AND grass is green. Gentzen's idea was that having rules like this is what gives meaning to one's words, or at least to certain words. The idea has also been associated with Wittgenstein's dictum that in many cases we can say, the meaning is the use. Most contemporary logicians prefer to think that the introduction rules and the elimination rules for an expression are equally important. In this case, and is characterized by the following rules:An apparent problem with this was pointed out by Arthur Prior: Why can't we have an expression (call it \"tonk\") whose introduction rule is that of OR (from \"p\" to \"p tonk q\") but whose elimination rule is that of AND (from \"p tonk q\" to \"q\")? This lets us deduce anything at all from any starting point. Prior suggested that this meant that inferential rules could not determine meaning. He was answered by Nuel Belnap, that even though introduction and elimination rules can constitute meaning, not just any pair of such rules will determine a meaningful expression – they must meet certain constraints, such as not allowing us to deduce any new truths in the old vocabulary. These constraints are what Dummett was referring to.Harmony, then, refers to certain constraints that a proof theory must let hold between introduction and elimination rules for it to be meaningful, or in other words, for its inference rules to be meaning-constituting.The application of harmony to logic may be considered a special case; it makes sense to talk of harmony with respect to not only inferential systems, but also conceptual systems in human cognition, and to type systems in programming languages.Semantics of this form has not provided a very great challenge to that sketched in Tarski's Semantic theory of truth, but many philosophers interested in reconstituting the semantics of logic in a way that respects Ludwig Wittgenstein's meaning is use have felt that harmony holds the key.".
- Logical_harmony wikiPageExternalLink harmony.
- Logical_harmony wikiPageID "1606990".
- Logical_harmony wikiPageLength "3462".
- Logical_harmony wikiPageOutDegree "15".
- Logical_harmony wikiPageRevisionID "708401153".
- Logical_harmony wikiPageWikiLink Arthur_Prior.
- Logical_harmony wikiPageWikiLink Category:Logic.
- Logical_harmony wikiPageWikiLink Category:Philosophy_of_mathematics.
- Logical_harmony wikiPageWikiLink Formal_system.
- Logical_harmony wikiPageWikiLink Gerhard_Gentzen.
- Logical_harmony wikiPageWikiLink Logical_conjunction.
- Logical_harmony wikiPageWikiLink Logical_connective.
- Logical_harmony wikiPageWikiLink Ludwig_Wittgenstein.
- Logical_harmony wikiPageWikiLink Michael_Dummett.
- Logical_harmony wikiPageWikiLink Natural_deduction.
- Logical_harmony wikiPageWikiLink Nuel_Belnap.
- Logical_harmony wikiPageWikiLink Rule_of_inference.
- Logical_harmony wikiPageWikiLink Semantic_theory_of_truth.
- Logical_harmony wikiPageWikiLinkText ""harmony"".
- Logical_harmony wikiPageWikiLinkText "Logical harmony".
- Logical_harmony wikiPageWikiLinkText "Tonk".
- Logical_harmony wikiPageWikiLinkText "logical harmony".
- Logical_harmony subject Category:Logic.
- Logical_harmony subject Category:Philosophy_of_mathematics.
- Logical_harmony hypernym Constraint.
- Logical_harmony comment "Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by the rules for introducing them into discourse. For example, if one believes that the sky is blue and one also believes that grass is green, then one can introduce the connective and as follows: The sky is blue AND grass is green.".
- Logical_harmony label "Logical harmony".
- Logical_harmony sameAs Q1585647.
- Logical_harmony sameAs Harmonieprinzip_(Logik).
- Logical_harmony sameAs Armonía_lógica.
- Logical_harmony sameAs Looginen_harmonia.
- Logical_harmony sameAs m.05g6b6.
- Logical_harmony sameAs Q1585647.
- Logical_harmony sameAs 逻辑和谐.
- Logical_harmony wasDerivedFrom Logical_harmony?oldid=708401153.
- Logical_harmony isPrimaryTopicOf Logical_harmony.