Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Logical harmony


Related Topics

In the News (Wed 15 Feb 12)

  
  Logical harmony - Wikipedia, the free encyclopedia
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.
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.
en.wikipedia.org /wiki/Logical_harmony   (496 words)

  
 Soviet Psychology: Dialectics as Logic   (Site not responding. Last check: 2007-10-13)
The true logic of science is not given to us directly; it still has to be dug out and understood, and then converted into a consciously applied instrument for working with concepts, into a logical method of resolving problems that do not admit of solution by traditional logical methods.
Logic as a whole, however, could not be obtained by a simple uniting of these three aspects, each of which was taken in the form in which it had been developed in the history of thought.
Logical self-awareness, corresponding to the stage of scepticism, was distinguished in the Kantian conception of dialectics as a state of the insolubility of the antinomies between dogmatic systems.
www.marxists.org /archive/ilyenkov/works/essays/essay5.htm   (8950 words)

  
 Whitehead’s Category of Harmony: Analogous Meanings in Every Realm of Being and Culture
The musical and mathematical harmonies are cited first, then the mind moves to the harmony of body and soul and the harmony of human society, until finally we think of the richest harmony of the all-embracing world in which we live and think.
The "harmony of harmonies" is called "peace" because it hinds together distinct kinds of harmony Yet the "harmony of harmonies" is not infinite, for all harmony must be limited.
This "ninefold harmony" is in context of the spheres.
www.religion-online.org /showarticle.asp?title=3005   (8891 words)

  
 Quest For Harmony By Valson Thampu
Harmony can never be communal; for communalism — the word "communal" being the adjective in the Indian context — is necessarily disharmonious.
This is the logic for the marriage between the political and religious vested interests, and communal discord is the monstrous birth from this marriage of convenience.
Spiritual harmony must blend into our way of life and every religious community that wishes to prevent the collapse of democracy into fascism must be willing to accept the changes and corrections required to promote harmony among our religions.
www.countercurrents.org /comm-thampu180503.htm   (1398 words)

  
 Scientific Method (a detailed examination)
Internal conceptual factors (regarding components and logical structure) involve the characteristics and logical interrelationships of a theory's own components, while external conceptual factors are the external relationships between a theory's components and the components of other theories (either scientific or cultural-personal).
This logical principle, applied to psychology, forms the foundation for theories of cognitive dissonance, which therefore also predict an increase in the status of Lysenko's science in the context of Soviet politics.
In making the logical leap of generalizing observations (or principles) from a small sample to a larger population, scientists depend on two main criteria: statistical analysis (by considering sample size, degree of agreement,...) and sampling accuracy (by asking whether the sample accurately represents the whole population).
www.asa3.org /ASA/education/think/details.htm   (14694 words)

  
 Structural proof theory - Wikipedia, the free encyclopedia
In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.
However, it is important to note that there is a fundamental difference in behaviour between these operators and the logical connectives they are interpreted by in the sequent calculus: the structural operators are used in every rule of the calculus, and are not considered when asking whether the subformula property applies.
Furthermore, the logical rules go one way only: logical structure is introduced by logical rules, and cannot be eliminated once created, while structural operators are free to be made and unmade in the course of a derivation.
en.wikipedia.org /wiki/Structural_proof_theory   (330 words)

  
 [No title]
In spite of the fact that government is, by definition, by logical theory, and verified by all of history, accompanied by violent conflict and chaos, nearly all still believe (feel) that government is the means of peace and order.
The only logical explanation is that most not only believe that no such thing exists, but also believe individualism and freedom cannot exist; in fact, cannot even believe that an idea of freedom can exist.
Socrates recognized the logical necessity of validating the claim of a virtue by reference to the whole, to virtue itself.
www.trufax.org /w4.html   (5727 words)

  
 Logical positivism & Bertrand Russell   (Site not responding. Last check: 2007-10-13)
Logical positivism (later referred to as logical empiricism) holds that philosophy should aspire to the same sort of rigor as science.
Logical positivism was one of the early manifestations of
Wittgenstein asserts that the propositions of logic demonstrate the logical properties of propositions.
dks.thing.net /Logico-Philosophicus.html   (6183 words)

  
 logicandlanguage.net: Dummett on Harmony, Conservative Extensions and Local Reduction/Normalisation
Since it is difficult to isolate the principles governing a particular expression in a natural language, Dumment takes the logical constants as a case study, since their verification and consequence principles are clearly established in their introduction and elimination rules.
It seems to me that it confuses lack of harmony (as he characterised it before: a lack of fit between introduction and elimination rules) with a particular KIND of lack of harmony.
And, as noted earlier, he thinks that the rules governing a connective are in harmony with respect to a proof system just in case adding that connective to a proof system results in a conservative extension.
www.logicandlanguage.net /archives/2005/04/dummett_on_harm.html   (1424 words)

  
 The Axiomatic Matrix of Whitehead’s Process and Reality
In the later cosmology, such a method is applied to experience in general where relatedness is taken as primary, and the extensive properties of nature are dependent upon the function of the universe as a creative process, albeit such a method loses it deductive character when applied to the observed connectives of experience.
this system includes the harmony of logical rationality, and the harmony of aesthetic achievement: to know that, while the harmony of logic lies upon the universe as an iron necessity, the aesthetic harmony stands before it as a living ideal moulding the general flux in its broken progress toward finer, subtler issues.
The logical calculus is formulated first in terms of propositions and propositional functions and is soon expanded into a formal theory of classes and relations until the topics gradually become more specific to the point of a purely logical theory of cardinal and ordinal numbers.
www.religion-online.org /showarticle.asp?title=2576   (3772 words)

  
 business.iafrica.com | business news Gold mines must consolidate - Harmony
Regarding the delayed release of Harmony's audited reserves and resources statement by Steffen, Robertson and Kirsten Consulting, Swanepoel said that this statement would be out "some time" in 2005 and that parties interested in this matter shouldn't hold their breathe waiting for it.
As a result of the halt to continuous operations at Harmony's Free Gold mines in the Free State, Swanepoel said there was surplus labour at the mine and legal notifications would soon be put out to begin the restructuring of the mines.
Harmony continues to implement continuous operations at its Randfontein mines and its Evander gold mine had also seen significant gains as a result of continuous operations, Swanepoel said.
business.iafrica.com /news/410427.htm   (523 words)

  
 Mathematics & Thought
The harmony of the logical reason, which divines the complete pattern as involved in the postulates, is the most general aesthetic property arising from the mere fact of concurrent existence in the unity of one occasion.
This reasonable harmony of being, which is required for the unity of a complex occasion, together with the completeness of the realization (in that occasion) of all that is involved in its logical harmony, is the primary article of metaphysical doctrine.
The logical harmony involved in the unity of an occasion is both exclusive and inclusive.
www.hyattcarter.com /mathematics-thought.htm   (6843 words)

  
 The ABC/Harmony strawman document
Principal Investigators of Harmony, and responsible parties for this document, are Dan Brickley (Daniel.Brickley@bristol.ac.uk), Jane Hunter (jane@dstc.edu.au), and Carl Lagoze (lagoze@cs.cornell.edu).
The ABC architecture is the conceptual and logical framework within which we set out to describe the ABC vocabulary and its relationship to other metadata vocabularies.
The use of a logically organised, hierarchical architecture allows for the articulation of simple rules, which are described in the next section, to guide modeling and other applications.
www.ilrt.bris.ac.uk /discovery/harmony/docs/abc/abc_draft.html   (5497 words)

  
 Critique of Judgment
Logically speaking, judgment connects natural concepts with the concepts of freedom by being applicable in both realms and by suggesting the possibility to find ends in nature.
However, the only similarity with logical judgments is the supposition of validity for all men, not the objective nature of the predicate.
To avoid possible confusions on both sides (with the empirical generality or logical universality) Kant stipulates to call the universality of reflective judgments subjective and aesthetical universality as opposed to the objective and logical universality of theoretical judgments or empirical generality of those judgments that state some socially verifiable inclinations.
www.uri.edu /personal/szunjic/philos/critjudg.htm   (10523 words)

  
 Robotech Museum - Harmony Gold Toy Archive
The packaging for each of the toys remained the same as the original Matchbox series with the exception of the Harmony Gold logo replacing Matchbox on each package and the quality of the plastic material used in them was not quite up to the standards as the original.
One difference with the Harmony Gold version is that the quality of the plastic used in them seems to be more stiff and in some cases, brittle.
The Harmony Gold version of the mecha launcher that was originally produced by Matchbox contains all four mecha launch vehicles inside one bliser pack where the originals were sold in four separate packages.
www.robotechmuseum.com /toyindexhg.html   (629 words)

  
 Mathematical Poetics of Enlightenment   (Site not responding. Last check: 2007-10-13)
The qualitative harmonies of musical vibrations correspond exactly with the quantitative ratios of numbers: The ratio 1:2 is an octave, the ratio 2:3 is a fifth, and the ratio 3:4 is a fourth.
The logical harmony of mathematics is a vehicle for a deeper meaning that resonates with the hidden parts of the soul.
The mere logical manipulation of symbols, as secular mathematics is often practiced, is impotent as a transformative practice.
www.integralscience.org /mathpoetics.html   (6938 words)

  
 RC: Logitech Harmony 659 Remote Control Review (1)
Activity-based remotes instead provide the most logical and oft-used controls for each device involved in that activity.
And, to ensure that using the Harmony is a truly memorable experience, Intrigue has also integrated an assortment of extra gadgets such as “Smart State Technology” and a television program guide.
When the novel “less is more” Harmony SST-745 was first introduced with a scant 13 buttons on its face, Intrigue paid close attention to user suggestions.
www.remotecentral.com /sst659/index.html   (578 words)

  
 Holistic Center Dedicated to Equine & Human Life Enhancement & Education at The Four Harmony Foundation - ...
Pine Knoll Farm is an educational boarding, teaching and rehabilitation facility and the home of The Four Harmony Foundation registered 501(c)(3) not for profit foundation.
The most important part of the process is bridging the horse from his way of thinking (emotional) to our way of thinking (logical), but at the same time, not changing his personality.
As the relationship deepens between horse and human, each is allowed to become the "best that they can be." Through listening and communicating, give and take, timing and sensitivity, an extraordinary union can be formed between the human and equine partners becoming "united as one".
www.4harmonyfoundation.com   (461 words)

  
 Body
With the nature of the 'exposure' associated with non-relativistic systems such as logical abstraction thus established, the nature of 'common sense' can be reviewed as well as some of the historical 'events' in the western culture's 'choice' of putting logic in the primacy over common sense.
Relativity in nature keys to the 'harmony of whole and part', as is evident in the solar system and in geological and ecological systems on earth,...
Relativity and common sense tell us that whatever logical perspectives we have and whatever logical structures we are imposing on the world out there in front of us, we are at the same time, immersed in swirling, flowing space-time currents relative to which all our logical views, plans and actions must play second fiddle.
www.goodshare.org /merchant.htm   (21718 words)

  
 Philosophical Dictionary: Leibniz-Logos
The formalization of modal logic for the propositional calculus introduces special operators designating necessity and possibility (L and M).
Twentieth-century philosophical movement that used a strict principle of verifiability to reject as meaningless the non-empirical statements of metaphysics, theology, and ethics.
Under the influence of Hume, Russell, and the early Wittgenstein, the logical positivists regarded as meaningful only statements reporting empirical observations, taken together with the tautologies of logic and mathematics.
www.philosophypages.com /dy/l5.htm   (1114 words)

  
 [No title]   (Site not responding. Last check: 2007-10-13)
*Logical* This is the ability to determine if a set of rules has been correctly followed.
Those with strong logical ability are quicker to see where a given set of conditions is going to lead have a strong sense of justice and better understand--from an intellectual analysis--the benefits of harmony.
Your Logical IQ Score of *137* is exceptionally higher than your General IQ Score.
www.creativetechwriter.com /archives/jlbiq.txt   (1311 words)

  
 HUMANISM, IDEALISM, MATERIALISM
While not of much influence in continental Europe, where existentialism, phenomenology, and neo-Kantianism have come to dominate, logical positivism (or logical empiricism or positivism) has found fertile soil in the empirically oriented Anglo-Saxon countries, especially among behavioral social scientists.
Logical empiricism does not contain a doctrine about what reality is, but rather about how we should approach reality.
This epistemological materialism asserts that all statements must be meaningful, and that to be meaningful a statement must be intersubjectively testable (the so-called verifiability principle, which is supposed to carve away metaphysics).
www.hawaii.edu /powerkills/DPF.CHAP32.HTM   (6118 words)

  
 Harmony Central®: Sounds Logical Adds Live Audio to WaveWarp 1.2
Sounds Logical has announced the release of the upgraded version of their flagship product, WaveWarp 1.2, now featuring multi-channel real-time live audio inputs.
For example, speak into your computer and hear your voice backwards in real-time, or plug your guitar in and create your own real-time multi-dimensional multi-layered surround sound effects box...the possibilities are virtually endless.
The software is available for purchase on-line from the Sounds Logical website (www.soundslogical.com) for an end-user price of US$199 per licensed copy (free demo also available).
www.harmony-central.com /Newp/2000/Sounds-Logical-WW-12.html   (533 words)

  
 Home Theater: Better Buttons on a Better Remote
The new Harmony 670 is said to add enhancements to the features previously found in the Harmony 659 that are supposed to make controlling multi-component home-entertainment systems easier than before.
The Harmony 670 is fully backlit and has an LCD window for display of additional controls and custom activities.
The 670, however, is the first of the company's remotes to include the new Harmony 7.0 software which is said to offer an even easier setup procedure.
hometheatermag.com /news/101006harmony   (324 words)

  
 Vocal harmony book, books, harmonies, rock and roll singing groups, bands, hit songs, top-40 radio, music singers
Brian’s 1,650 “best harmony picks” from 485 different artists, along with over 10,000 additional song recommendations.
Find the “logical” harmony groups like Beach Boys, Association, Queen and Earth, Wind and Fire, along with hundreds of obscure artists like Utopia, Skylark and City Boy.
Brian includes the name of the CD, best harmony selections from that CD and brief notes on the group’s style, sound and peculiarities.
www.briangillie.com /harmonybook.htm   (203 words)

  
 Galatians versus Acts - Message Board - ezboard.com   (Site not responding. Last check: 2007-10-13)
There is no logical problem with the passages: if there were three trips, there were also two.
Further, there is no obligation for the Christian to explain why the passages read the way they do, beyond the mere acknowledgment that God had (and perhaps still has) a purpose to accomplish by them.
To claim that the Christian must explicate God's reasons for why the passages read as they do is just a Red Herring -- God's reasons for the passages do not in any way affect the logical harmony (or disharmony) of a given set of propositions.
p197.ezboard.com /fabnafrm8.showMessage?topicID=8.topic   (673 words)

  
 Ralph Dumain: "The Autodidact Project": Harry K. Wells: "Process and Unreality"
He, however, could have developed an adequate philosophy of nature as process only by ridding himself of the presupposition of "logical harmony" as identical with method.
You remember that the greater part of my professional life was passed as a mathematician, lecturing and teaching mathematics, and a great deal of the rest has been devoted to the elaboration of symbolic logic.
The ten chapters comprising this examination of Whitehead's philosophical method divide logically into three parts: Part I deals with his natural philosophy; Part II with traditional method, together with Whitehead's interpretation of it and Hegel's criticism of and alternative to it; Part III with the Whiteheadian cosmological system.
www.autodidactproject.org /other/wellshkp.html   (2605 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.