* Mereological nihilism – philosophical theory that may avoid antinomies

Quine suggested an unnatural linguistic resolution to such logical antinomies, inspired by Bertrand Russell's Type theory and Tarski's work.

Kant's goal in his critical philosophy was to identify what claims we are and are not justified in making, and the antinomies are a particularly illustrative example of his larger project.

He states: " And yet, even the elementary form that Russell < sup > 9 </ sup > gave to the set-theoretic antinomies could have persuaded them König, Jourdain, F. Bernstein that the solution of these difficulties is not to be sought in the surrender of well-ordering but only in a suitable restriction of the notion of set ".

Jaspers is too often seen as the heir of Nietzsche and Kierkegaard to whom he is in many ways less close than to Kant ... the Kantian antinomies and Kant's concern with the realm of decision, freedom, and faith have become exemplary for Jaspers.

The end result of this inquiry is that there are certain fundamental antinomies in human Reason, most particularly that there is a complete inability to favor on the one hand the argument that all behavior and thought is determined by external causes, and on the other that there is an actual " spontaneous " causal principle at work in human behavior.

Pure reason, when it attempts to reach beyond its limits into the unconditional realm of the noumenon is bound to fail and the result is the creation of antinomies of reason.

Kant exposed several such antinomies of speculative reason in the first Critique.

In ( b ) he attempts to curb the speculative use of reason, arguing, e. g., that it leads to antinomies.

But Hegel combines analytic and dialectic at every stage, arguing that every concept ( except the absolute idea, which even so is instantiated in these proliferating contradictions ) gives rise to antinomies or contradictions.

Further, the deductions appear to be set up in a way to deliberately produce antinomies, or mutually contradictory conclusions.

Knowledge and Politics took aim at liberal political philosophy, which he argued reduced the world to false antinomies — rules vs. values, reason vs. desire, etc.

Any attempt to explain theoretical thought without acknowledging non-theoretical factors is destined to fall into irresolvable antinomies.

Any non-reductionist account of reality must acknowledge the particular ways each entity, action or process function within all of the modal aspects or else fall, once again, into antinomies ( see Dooyeweerd 1997 Vol. 2 ).

He states that his 6 or so ( famous ) examples of paradoxes ( antinomies ) are all examples of impredicative definition, and says that Poincaré ( 1905 – 6, 1908 ) and Russel ( 1906, 1910 ) " enunciated the cause of the paradoxes to lie in these impredicative definitions " ( p. 42 ), however, " parts of mathematics we want to retain, particularly analysis, also contain impredicative definitions.

But Russell had discovered some antinomies in logic, seriously calling into question Frege's program.

The entire issue became a major intellectual and religious concern for European civilization at the time, which Immanuel Kant rejected, as he thought that attempts to conceive of transcendent reality would lead to antinomies ( statements that could be proven both right and wrong ) in thought.

Perhaps one way to sharpen our sense of the modernity of Utopian communism is to contrast it with the principal earlier types of communistic theory.

The exact number and placement of Endosymbiotic theory | endosymbiotic events is currently unknown, so this diagram can be taken only as a general guide It represents the most parsimonious way of explaining the three types of endosymbiotic origins of plastids.

The challenge to the assumption that beauty was central to art and aesthetics, thought to be original, is actually continuous with older aesthetic theory ; Aristotle was the first in the Western tradition to classify " beauty " into types as in his theory of drama, and Kant made a distinction between beauty and the sublime.

Canadian media scholar Harold Innis had the theory that people use different types of media to communicate and which one they choose to use will offer different possibilities for the shape and durability of society ( Wark, McKenzie 1997 ).

The Confucian theory of ethics as exemplified in Lǐ () is based on three important conceptual aspects of life: ceremonies associated with sacrifice to ancestors and deities of various types, social and political institutions, and the etiquette of daily behavior.

A systematic study of category theory then allows us to prove general results about any of these types of mathematical structures from the axioms of a category.

Based on realistic-conflict theory and social-identity theory, Rubin and Hewstone have highlighted a distinction among three types of discrimination:

The theory proposes that chloroplasts and mitochondria evolved from certain types of bacteria that eukaryotic cells engulfed through endophagocytosis.

LTI system theory describes linear time-invariant ( LTI ) filters of all types.

In the 1980s, Per Martin-Löf developed intuitionistic type theory ( also called Constructive type theory ), which associated functional programs with constructive proofs of arbitrarily complex mathematical propositions expressed as dependent types.

The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods.

The ability of the bone marrow to regulate the quantity of different cell types to be produced is more accurately explained by a stochastic theory: Undifferentiated blood cells are determined to specific cell types by randomness.

Other types of losses may only be definite in theory.

One theory says that Kubla Khan is about poetry and the two sections discuss two types of poems.

The law of definite proportions contributed to, and was placed on a firm theoretical basis by, the atomic theory that John Dalton promoted beginning in 1803, which explained matter as consisting of discrete atoms, that there was one type of atom for each element, and that the compounds were made of combinations of different types of atoms in fixed proportions.

According to this theory, short-term memory is divided into different slave systems for different types of input items, and there is an executive control supervising what items enter and exit those systems.

Russell's theory of types was employed to great effect in Carnap's early anti-metaphysical polemics.

Examples of early theorems from classical model theory include Gödel's completeness theorem, the upward and downward Löwenheim – Skolem theorems, Vaught's two-cardinal theorem, Scott's isomorphism theorem, the omitting types theorem, and the Ryll-Nardzewski theorem.

Halliday, showing the types of process as they have evolved in English grammarHalliday is notable for his grammatical theory and descriptions, outlined in his book An Introduction to Functional Grammar, first published in 1985.

Spectacle makers created improved types of lenses for the correction of vision based more on empirical knowledge gained from observing the effects of the lenses rather than using the rudimentary optical theory of the day ( theory which for the most part could not even adequately explain how spectacles worked ).

Although Bohr, Fowler, Pauli, and other physicists agreed with Chandrasekhar's analysis, at the time, owing to Eddington's status, they were unwilling to publicly support Chandrasekhar .< sup >, pp. 110 – 111 </ sup > Through the rest of his life, Eddington held to his position in his writings, including his work on his fundamental theory.

* Alonzo Church, " An unsolvable problem of elementary number theory ", American Journal of Mathematics, 58 ( 1936 ), pp 345 – 363

Goldman's article " A Causal Theory of Knowing " ( Journal of Philosophy, v. 64 ( 1967 ), pp. 357 – 372 ) is generally credited as being the first full treatment of the theory, though D. M. Armstrong is also regarded as an important source, and ( according to Hugh Mellor ) Frank Ramsey was the very first to state the theory, albeit in passing.

" Jakobson's theory of communicative functions was first published in " Closing Statements: Linguistics and Poetics " ( in Thomas A. Sebeok, Style In Language, Cambridge Massachusetts, MIT Press, 1960, pp. 350 – 377 ).

In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true ,< ref > The word " true " is used disquotationally here: the Gödel sentence is true in this sense because it " asserts its own unprovability and it is indeed unprovable " ( Smoryński 1977 p. 825 ; also see Franzén 2005 pp. 28 – 33 ).

Decades before Ronald Fairbairn, now credited by many as the inventor in the 1940s of modern object-relations theory, Rank's 1926 lecture on " The Genesis of the Object Relation " marks the first complete statement of this theory ( Rank, 1996, pp. 140 – 149 ).

* Richard A. Muller, Measurement of the lunar impact record for the past 3. 5 billion years, and implications for the Nemesis theory, Geological Society of America Special Paper 356, pp 659 – 665 ( 2002 ). I

" organization theory ," The New Palgrave: A Dictionary of Economics, v. 3, pp. 757 – 60.

The first ahnentafel, published by Michaël Eytzinger in Thesaurus principum hac aetate in Europa viventium Cologne: 1590, pp. 146-147, in which Eytzinger first illustrates his new functional theory of numeration of ancestors ; this schema showing Henry III of France as n ° 1, de cujus, with his ancestors in five generations.

* Robert G. Mayer, " Embalming: history, theory, and practice ", McGraw-Hill Professional, 2005, ISBN 0-07-143950-1, pp. 106 – 109

* Hämäläinen, M., Hari, R., Ilmoniemi, R., Knuutila, J. and Lounasmaa, O. V. ( 1993 ) " Magnetoencephalography – theory, instrumentation, and applications to noninvasive studies of signal processing in the human brain " in Reviews of Modern Physics 1993, 65: pp. 413 – 497

Military historian John A. Lynn argues that prospect theory provides an intriguing if not completely verifiable framework of analysis for understanding Louis XIV's foreign policy nearer to the end of his reign ( Lynn, pp. 43 – 44 ).

* Brazas, J., ` Semicoverings: a generalisation of covering space theory ', Homology, Homotopy, and Applications, 14 ( 2012 ), No. 1, pp. 33 – 63.

* York, R., and Rosa, E. A., 2003, " Key challenges to ecological modernization theory ", Organization and Environment, 16 ( 3 ), pp. 273 – 288.

( 1953 ) The production function and the theory of capital, Review of Economic Studies, vol XXI, 1953, pp. 81 – 106

* E. Cremmer, B. Julia and J. Scherk, " Supergravity theory in eleven dimensions ", Physics Letters B76 ( 1978 ) pp 409 – 412.

) Discourse markers: Descriptions and theory ( pp. 147 – 70 ).

), Discourse markers: Descriptions and theory ( pp. 171 – 201 ).

), Theoretical research programs: Studies in the growth of theory ( pp. 3 – 22 ).

Dialetheism allows for the unrestricted axiom of comprehension in set theory, claiming that any resulting contradiction is a theorem < ref name =" Transfinite Numbers in Paraconsistent Set Theory "< u > Transfinite Numbers in Paraconsistent Set Theory </ u > ( Review of Symbolic Logic 3 ( 1 ), 2010 ), pp. 71-92 ..</ ref >.

* Elaine Rich, Automata, computability and complexity: theory and applications, Prentice Hall, 2008, ISBN 0-13-228806-0, section 28. 10 " The problem classes FP and FNP ", pp. 689-694

* Elaine Rich, Automata, computability and complexity: theory and applications, Prentice Hall, 2008, ISBN 0-13-228806-0, section 28. 10 " The problem classes FP and FNP ", pp. 689-694

* Elaine Rich, Automata, computability and complexity: theory and applications, Prentice Hall, 2008, ISBN 0-13-228806-0, section 28. 10 " The problem classes FP and FNP ", pp. 689-694