logical relation

logical relation

logic
      those relations between the elements of discourse or thought that constitute its rationality, in the sense either of (1) reasonableness or (2) intelligibility. A statement may be perfectly intelligible without being based upon any good evidence or reason, though of course no statement can be reasonable without its being intelligible. Logical relations are contrasted by most philosophers with causal relations within reality, thought, or discourse.

      Statements or propositions are logically related in the sense of reasonableness if the truth or falsity of one requires truth or falsity in the other. Thus, “John has a high IQ and is immensely popular” is logically related to “John has a high IQ,” because if the latter is false the former must be false, whereas if the former is true the latter must be true. Similarly, “All living things require oxygen” and “No living things require oxygen” are logically related in that if one is true the other must be false. The more important logical relations are implication (as in the first example above) and equivalence; and, as displayed in the square of opposition (see opposition, square of), contrariety (as in the second example), contradiction, subcontrariety, and subimplication.

      A type of relation between the elements of thought and discourse that has almost always been regarded by philosophers as much more significant for their concerns than those that condition reasonableness is the kind that must be maintained if the discourse is to be intelligible or understandable, i.e., if it is to be about, and be recognized as being about, some definite object or event or state of affairs. These logical relations often are thought of as holding between concepts, as opposed to whole propositions. Clear cases may be drawn from certain rules of grammar. Thus, no string of mere prepositions and adverbs—as “to quickly brightly away through . . . ”—yields an intelligible assertion. A similar but not identical unintelligibility is present in “Prudence is light blue in odour.” Many relations, however, have to do, not with grammar, but with the context—often the extra-linguistic context—in which an expression or thought occurs. Thus, if a person looks out the window and says, “It is raining, but I do not believe it”; or if after telling you he has no auto he wishes to sell you his car; or if he asks you to close a door that both of you know is already closed, in each of these examples it is not clear what he is saying or doing.

      A still more general (and vague) conception of logical relation is that it is any relation in which a logician may have a peculiar professional interest. Relations of names to their objects, of functions to their arguments (as of an equation to its x's, y's, a's, and b's), or of metalanguages (discourse on languages) to their object languages, are examples here. But on questions relating to the nature and range of logic as a theoretical discipline, because of widespread disagreement on these issues among competent professionals, little of accepted substance can be said about logical relations in this third sense. Nonetheless, the adjective logical lies at the centre of interest, disagreement, and confusion in 20th-century British and American philosophy.

* * *


Universalium. 2010.

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

Look at other dictionaries:

  • logical relation — index analogy Burton s Legal Thesaurus. William C. Burton. 2006 …   Law dictionary

  • logical relation — noun a relation between propositions • Topics: ↑logic • Hypernyms: ↑relation • Hyponyms: ↑contradictory, ↑contrary, ↑transitivity, ↑reflexivity …   Useful english dictionary

  • Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T …   Wikipedia

  • logical implication — noun a logical relation between propositions p and q of the form if p then q ; if p is true then q cannot be false • Syn: ↑implication, ↑conditional relation • Derivationally related forms: ↑implicational (for: ↑implication), ↑imply …   Useful english dictionary

  • logical operator — Boolean operation, symbol which indicates the logical relation between two conditions …   English contemporary dictionary

  • Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… …   Wikipedia

  • Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

  • Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… …   Wikipedia

  • Logical atomism — is a philosophical belief that originated in the early 20th century with the development of analytic philosophy. Its principal exponents were the British philosopher Bertrand Russell, the early work of his Austrian born pupil and colleague Ludwig …   Wikipedia

  • logical — logical, analytical, subtle are comparable when they are applied to persons, their minds, their mental habits, or products of their reasoning and mean having or showing skill in thinking or reasoning. They are often used interchangeably or… …   New Dictionary of Synonyms

Share the article and excerpts

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