Logical harmony

Logical harmony

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 (see: Inferential Conservativeness). 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.

External links

* [http://consequently.org/edit/page/harmony Harmony] at Greg Restall's Proof and Consequence wiki

References

Prior, Arthur. "The runabout inference ticket." "Analysis", 21, pp38-39, 1960-61.

Belnap, Nuel D. Jr. "Tonk, Plonk, and Plink", "Analysis", 22, pp130-134, 1961-62.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • harmony — I (New American Roget s College Thesaurus) n. agreement, concurrence, concord; accompaniment; order, symmetry; tunefulness, euphony; congruity; proportion; unison; peace, amity, friendship. See music, unity, friend. Ant., discord. II (Roget s IV) …   English dictionary for students

  • Structural proof theory — In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof. Contents 1 Analytic proof 2 Structures and connectives 3 Cut elimination in the sequent… …   Wikipedia

  • Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… …   Wikipedia

  • William H. Starbuck — Infobox Scientist name = William Starbuck image width = 150px caption = birth date = birth date|1934|9|20|mf=y birth place = Portland, Indiana residence = citizenship = nationality = ethnicity = field = Cognitive Psychologist Organizational… …   Wikipedia

  • Predestination — • Those divine decrees which have reference to the supernatural end of rational beings, especially of man Catholic Encyclopedia. Kevin Knight. 2006. Predestination     Predestination …   Catholic encyclopedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • Linguistic meaning — See also Meaning (linguistics). Linguistic meaning is the content carried by the words or signs exchanged by people when communicating through language. Restated, the communication of meaning is the purpose and function of language. A… …   Wikipedia

  • Meaning (philosophy of language) — The nature of meaning, its definition, elements, and types, was discussed by philosophers Aristotle, Augustine, and Aquinas. According to them meaning is a relationship between two sorts of things: signs and the kinds of things they mean (intend …   Wikipedia

  • PILPUL — (Heb. פִּלְפּוּל), a collective term denoting various methods of talmudic study and exposition, especially by the use of subtle legal, conceptual, and casuistic differentiation. The word is derived from pilpel ( pepper ), indicating that these… …   Encyclopedia of Judaism

  • Kilogram — Kg redirects here. For other uses, see Kg (disambiguation). Kilogram A computer generated image of the international prototype kilogram (IPK). The IPK is the kilogram. The IPK, which is roughly the size of a golf ball, sits here alongside a ruler …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”