Part of a series on Hindu philosophy Schools Samkhya · Yoga · Nyaya · Vaisheshika · Purva Mimamsa · Vedanta (Advaita · Vishishtadvaita · Dvaitadvaita  · Dvaita · Achintya Bheda Abheda) Personalities Ancient Gautama · Jaimini · Kanada · Kapila · Markandeya · Patañjali · Valmiki · Vyasa · Nammalvar Medieval Adi Shankara · Madhwacharya · Basava · Dnyaneshwar · Chaitanya · Jayanta Bhatta · Kabir · Kumarila Bhatta · Madhusudana · Madhva · Namdeva · Nimbarka · Prabhakara · Raghunatha Siromani · Ramanuja · Vedanta Desika · Pillai Lokacharya · Manavala Mamuni · Lakshmi Kumara Thathachariar · Vallabha Samarth Ramdas · Tukaram · Tulsidas · Vachaspati Mishra · Swami Nigamananda · Modern Aurobindo · Coomaraswamy · Chinmayananda · Dayananda Saraswati · Krishnananda · Narayana Guru · Prabhupada · Ramakrishna · Ramana Maharshi · Radhakrishnan · Sivananda Saraswati · Nisargadatta Maharaj · Vivekananda · Yogananda · Bhagawan Nityananda This box: view · talk · Nyāya (Sanskrit ni-āyá, literally "recursion", used in the sense of "syllogism, inference") is the name given to one of the six orthodox or astika schools of Hindu philosophy—specifically the school of logic. The Nyaya school of philosophical speculation is based on texts known as the Nyaya Sutras, which were written by Aksapada Gautama from around the 2nd century. Contents 1 Overview 2 Sixteen Padārthas or Categories 3 Epistemology 3.1 Perception 3.1.1 Ordinary perception 3.1.2 Extra-ordinary perception 3.1.3 Determinate and indeterminate perception 3.2 Inference 3.3 Comparison 3.4 Verbal testimony 4 Theory of inference 5 The Nyaya theory of causation 6 Anyathakyativada of Nyaya 7 Nyaya on God and salvation 7.1 On monotheism 7.2 On salvation 8 Literature of Nyaya 9 See also 10 Notes 11 References 12 External links Overview The most important contribution made by the Nyaya school to modern Hindu thought is its methodology to prove existence of God, based on Vedas. This methodology is based on a system of logic that, subsequently, has been adopted by the majority of the other Indian schools, orthodox or not. This is comparable to how Western science and philosophy can be said to be largely based on Aristotelian logic. However, Nyaya differs from Aristotelian logic in that it is more than logic in its own right. Its followers believed that obtaining valid knowledge was the only way to obtain release from suffering. They therefore took great pains to identify valid sources of knowledge and to distinguish these from mere false opinions. Nyaya is thus a form of epistemology in addition to logic. According to the Nyaya school, there are exactly four sources of knowledge (pramanas): perception, inference, comparison, and testimony. Knowledge obtained through each of these can, of course, still be either valid or invalid. As a result, Nyaya scholars again went to great pains to identify, in each case, what it took to make knowledge valid, in the process creating a number of explanatory schemes. In this sense, Nyaya is probably the closest Indian equivalent to contemporary analytic philosophy. Sixteen Padārthas or Categories The Nyaya metaphysics recognizes sixteen padarthas or categories and includes all six (or seven) categories of the Vaisheshika in the second one of them, called prameya.1 These sixteen categories are pramāṇa (valid means of knowledge), prameya (objects of valid knowledge), saṁśaya (doubt), prayojana (aim), dṛṣṭānta (example), siddhānta (conclusion), avayava (members of syllogism), tarka (hypothetical reasoning), nirṇaya (settlement), vāda (discussion), jalpa (wrangling), vitaṇḍā (cavilling), hetvābhāsa (fallacy), chala (quibbling), jāti (sophisticated refutation) and nigrahasthāna (point of defeat).23 Epistemology Philosophy (Plato, Confucius, Avicenna) Branches Aesthetics · Epistemology Ethics · Logic · Metaphysics Social philosophy Political philosophy Eras Ancient · Medieval Modern · Contemporary Traditions Analytic · Continental

Eastern · Islamic Platonic · Scholastic Philosophers Aestheticians · Epistemologists Ethicists · Logicians Metaphysicians Social and political philosophers Literature Aesthetics · Epistemology Ethics · Logic · Metaphysics Political philosophy Lists Index · Outline · Theories Glossary · Philosophy of religion · Philosophers   Portal v · d · e The Nyaya epistemology considers knowledge (jñāna) or cognition (buddhi) as apprehension (upalabdhi) or consciousness (anubhava). Knowledge may be valid or invalid. The Naiyayikas (the Nyaya scholars) accepted four valid means (pramaṇa) of obtaining valid knowledge (prama) - perception (pratyakṣa), inference (anumāna), comparison (upamāna) and verbal testimony (śabda). Invalid knowledge includes memory (smṛti), doubt (saṁśaya), error (viparyaya) and hypothetical reasoning (tarka).4 Perception Pratyakṣa (perception) occupies the foremost position in the Nyaya epistemology. Perception is defined by Akṣapāda Gautama in his Nyaya Sutra (I,i.4) as a 'non-erroneous cognition which is produced by the intercourse of sense-organs with the objects, which is not associated with a name and well-defined'.4 Perception can be of two types, laukika (ordinary) and alaukika (extraordinary). Ordinary perception Ordinary (Laukika or Sadharana) perception is of six types - visual-by eyes, olfactory-by nose, auditory-by ears, tactile-by skin, gustatory-by tongue and mental-by mind. Extra-ordinary perception Extraordinary (Alaukika or Asadharana) perception is of three types, viz., Samanyalakshana (perceiving generality from a particular object), Jñanalakshana (when one sense organ can also perceive qualities not attributable to it, as when seeing a chili, one knows that it would be bitter or hot), and Yogaja (when certain human beings, from the power of Yoga, can perceive past, present and future and have supernatural abilities, either complete or some). Determinate and indeterminate perception The Naiyayika maintains two modes or stages in perception. The first is called nirvikalpa (indeterminate), when one just perceives an object without being able to know its features, and the second savikalpa (determinate), when one is able to clearly know an object. All laukika and alaukika pratyakshas are savikalpa, but it is necessarily preceded by an earlier stage when it is indeterminate. Vātsāyana says that if an object is perceived with its name we have determinate perception but if it is perceived without a name, we have indeterminate perception. Jayanta Bhatta says that indeterminate perception apprehends substance, qualities and actions and universals as separate and indistinct something and also it does not have any association with name, while determinate perception aprrehends all these together with a name.4 There is yet another stage called Pratyabhijñā, when one is able to re-recognise something on the basis of memory. Inference Anumāna (inference) is one of the most important contributions of the Nyaya. It can be of two types: inference for oneself (Svarthanumana, where one does not need any formal procedure, and at the most the last three of their 5 steps), and inference for others (Parathanumana, which requires a systematic methodology of 5 steps). Inference can also be classified into 3 types: Purvavat (inferring an unperceived effect from a perceived cause), Sheshavat (inferring an unperceived cause from a perceived effect) and Samanyatodrishta (when inference is not based on causation but on uniformity of co-existence). A detailed anaysis of error is also given, explaining when anumana could be false. Comparison Upamāna, which can be roughly translated as comparison is the knowledge of the relationship between a word and the object denoted by the word. It is produced by the knowledge of resemblance or similarity, given some pre-description of the new object beforehand. Verbal testimony Śabda or verbal testimony is defined as the statement of a trustworthy person (āptavākya), and consists in understanding its meaning. It can be of two types, Vaidika (Vedic), which are the words of the four sacred Vedas, and are described as the Word of God, having been composed by God, and Laukika, or words and writings of trustworthy human beings. Vaidika testimony is preferred as the infallible word of God, and Laukika testimony must by its nature be questioned and overruled by more trustworthy knowledge if such becomes available. Theory of inference

The methodology of inference involves a combination of induction and deduction by moving from particular to particular via generality. It has five steps, as in the example shown: There is fire on the hill (called Pratijñā, required to be proved) Because there is smoke there (called Hetu, reason) Wherever there is smoke, there is fire, e.g. in a kitchen (called Udāhārana, example of vyāpti) The hill has smoke that is pervaded by fire (called Upanaya, reaffirmation or application) Therefore there is fire on the hill (called Nigamana, conclusion) In Nyāya terminology for this example, the hill would be called as paksha (minor term), the fire is called as sādhya (major term), the smoke is called as hetu, and the relationship between the smoke and the fire is called as vyāpti(middle term). Hetu further has five characteristics: (1) It must be present in the Paksha, (2) It must be present in all positive instances, (3) It must be absent in all negative instances, (4) It must not incompatible with the minor term or Paksha and (5) All other contradictions by other means of knowledge should be absent. The fallacies in Anumana (hetvābhasa) may occur due to the following: Asiddha: It is the unproved hetu that results in this fallacy. [Paksadharmata] Ashrayasiddha: If Paksha [minor term] itself is unreal, then there cannot be locus of the hetu. e.g. The sky-lotus is fragrant, because it is a lotus like any other lotus. Svarupasiddha: Hetu cannot exist in paksa at all. E.g. Sound is a quality, because it is visible. Vyapyatvasiddha: Conditional hetu. `Wherever there is fire, there is smoke'. The presence of smoke is due to wet fuel. Savyabhichara: This is the fallacy of irregular hetu. Sadharana: The hetu is too wide. It is present in both sapaksa and vipaksa. `The hill has fire because it is knowable'. Asadharana: The hetu is too narrow. It is only present in the Paksha, it is not present in the Sapaksa and in the Vipaksha. `Sound is eternal because it is audible'. Anupasamhari: Here the hetu is non-exclusive. The hetu is all-inclusive and leaves nothing by way of sapaksha or vipaksha. e.g. 'All things are non-ternal, because they are knowable'. Satpratipaksa: Here the hetu is contradicted by another hetu. If both have equal force, then nothing follows. 'Sound is eternal, because it is audible', and 'Sound is non-eternal, because it is produced'. Here 'audible' is counter-balanced by 'produced' and both are of equal force. Badhita: When another proof (as by perception) definitely contradicts and disproves the middle term (hetu). 'Fire is cold because it is a substance'. Viruddha: Instead of proving something it is proving the opposite. 'Sound is eternal because it is produced'. The Nyaya theory of causation A cause is defined as an unconditional and invariable antecedent of an effect and an effect as an unconditional and invariable consequent of a cause. The same cause produces the same effect; and the same effect is produced by the same cause. The cause is not present in any hidden form whatsoever in its effect. The following conditions should be met: The cause must be antencedent [Purvavrtti] Invariability [Niyatapurvavrtti] Unconditionality [Ananyathasiddha] Nyaya recognizes five kinds of accidental antecedents [Anyathasiddha] Mere accidental antecedent. E.g., The colour of the potter's cloth. Remote cause is not a cause because it is not unconditional. E.g., The father of the potter. The co-effects of a cause are not causally related. Eternal substances, or eternal conditions are not unconditional antecedents. e.g. space. Unnecessary things, e.g. the donkey of the potter. Nyaya recognizes three kinds of cause: Samavayi, material cause. E.g. Thread of a cloth. Asamavayi, colour of the thread which gives the colour of the cloth. Nimitta', efficient cause, e.g. the weaver of the cloth. Anyathakyativada of Nyaya The Nyaya theory of error is similar to that of Kumarila's Viparita-khyati (see Mimamsa). The Naiyayikas also believe like Kumarila that error is due to a wrong synthesis of the presented and the represented objects. The represented object is confused with the presented one. The word 'anyatha' means 'elsewise' and 'elsewhere' and both these meanings are brought out in error. The presented object is perceived elsewise and the represented object exists elsewhere. They further maintain that knowledge is not intrinsically valid but becomes so on account of extraneous conditions (paratah pramana during both validity and invalidity). Nyaya on God and salvation

Early Naiyayikas wrote very little about Ishvara (literally, the creator God). However, later Buddhists in India had become from agnostic to strictly atheistic. As a reaction, the later Naiyayikas entered into disputes with the Buddhists and tried to prove the existence of God on the basis of inference. They made this question a challenge to their own existence. Udayana's Nyayakusumanjali gave the following nine arguments to prove the existence of creative God5: Kāryāt (lit. "from effect"): An effect is produced by a cause, and similarly, the universe must also have a cause. Causes (according to Naiyayikas) are of three kinds: Samavayi (in case of the universe, the atoms), Asamavayi (the association of atoms) and Nimitta (which is Ishvara). The active cause of the world must have an absolute knowledge of all the material of creation, and hence it must be God. Hence from the creation, the existence of the Creator is proved. Āyojanāt (lit., from combination): Atoms are inactive and properties are unphysical. So it must be God who creates the world with his will by causing the atoms to join. Self-combination of inanimate and lifeless things is not possiblecitation needed, otherwise atoms would only combine at random, creating chaos. There is to be seen the hand of a wise organizer behind the systematic grouping of the ultimate atoms into dyads and molecules. That final organizer is God. Dhŗtyādéḥ(lit., from support): Just as a material thing falls off without a support, similarly, God is the supporter and bearer of this world, without which the world would not have remained integrated. This universe is hence superintended within God, which proves his existence. Padāt (lit., from word): Every word has the capability to represent a certain object. It is the will of God that a thing should be represented by a certain word. Similarly, no knowledge can come to us of the different things here unless there is a source of this knowledge. The origin of all knowledge should be omniscient and, consequently, omnipotent. Such a being is not to be seen in this universe, and so it must be outside it. This being is God. Pratyayataḥ (lit, from faith): the Hindu holy scriptures, the Vedas, are regarded as the source of eternal knowledge. Their knowledge is free from fallacies and are widely believed as a source of proof. Their authors cannot be human beings because human knowledge is limited. They cannot obtain knowledge of past, present, and future, and in depth knowledge of mind. Hence, only God can be the creator of the Vedas. Hence, his existence is proved from his being the author of the Vedas, which he revealed to various sages over a period of time. Shrutéḥ (lit., from scriptures): The Shrutis, e.g., the Vedas extol God and talk about his existence. "He is the lord of all subjects, omniscient, and knower of one's internal feelings; He is the creator, cause and destroyer of the world", say the Shrutis. The Shrutis are regarded as a source of proofs by Naiyanikas. Hence, the existence of God is proved. Vākyāt (lit., from precepts): World is governed by moral laws that are objective and universal. These are again manifested by Shrutis. Hence there exists God, the promulgator of these laws. Samkhyāviśeşāt (lit., from the specialty of numbers):According to the Nyaya, the magnitude of a dyad is produced by the number of two atoms. The number "one" is directly perceived but other numbers are created by perceptions, which is related to the mind of the perceiver. Since at the time of creation, souls, atoms, Adŗşţa (Unseen Power), space, time and minds are all unconscious, hence it depends on divine consciousness. So God must exist. Adŗşţāt (lit., from the unforeseen): Everybody reaps the fruits of his own actions. merits and demerits accrue from his own actions and the stock of merit and demerit is known as Adŗşţa, the Unseen Power. But since this unseen power is unintelligent, it needs the guidance from a supremely intelligent god. On monotheism Not only have the Naiyayikas provided arguments to prove the existence of God, but they have also given an argument that such a God can only be one. In the Nyayakusumanjali, this is discussed against the proposition of the Mimamsa school—that let us assume there were many gods (Devas) and sages (rishis) in the beginning, who wrote the Vedas and created the world. Udayana says that:

[if they assume such] omniscient beings, those endowed with the various superhuman faculties of assuming infinitesimal size, and so on, and capable of creating everything, then we reply that the law of parsimony bids us assume only one such, namely Him, the adorable Lord. There can be no confidence in a non-eternal and non omniscient being, and hence it follows that according to the system which rejects God, the tradition of the Veda is simultaneously overthrown; there is no other way open. In other words, Udayana says that the polytheist would have to give elaborate proofs for the existence and origin of his several celestial spirits, none of which would be logical. So it is much more logical to assume only one, eternal and omniscient God. On salvation The Naiyayikas believe that the bondage of the world is due to false knowledge, which can be removed by constantly thinking of its opposite (pratipakshabhavana), namely, the true knowledge.6 So the opening aphorism of the Nyāya Sūtra states that only the true knowledge lead to niḥśreyasa (salvation).3 But the Nyaya school also maintains that the God's grace is essential for obtaining true knowledge.7 Jayanta, in his Nyayamanjari describes salvation as a passive stage of self in its natural purity, unassociated with pleasure, pain, knowledge and willingness.8 Literature of Nyaya The earliest text of the Nyaya School is the Nyāya Sūtra of Akṣapāda Gautama. The text is divided into five books, each having two sections. Vātsāyana’s Nyāya Bhāṣya is a classic commentary on the Nyāya Sūtra. Udyotakara’s Nyāya Vārttika (6th century CE) is written to defend Vātsāyana against the attacks made by Dignāga. Vācaspati Miśra’s Nyāyavārttikatātparyaṭīkā (9th century CE) is the next major exposition of this school. Two other texts, Nyāyaṣūcinibandha and Nyāyasūtraddhāra are also attributed to him. Udayana’s (984 CE) Nyāyatātparyapariśuddhi is an important commentary on Vācaspati’s treatise. His Nyāyakusumāñjali is the first systematic account of theistic Nyāya. His other works include Ātmatattvaviveka, Kiraṇāvali and Nyāyapariśiṣṭa. Jayanta Bhatta’s Nyāyamañjari (10th century CE) is basically an independent work. Bhāsavarajña’s Nyāyasāra (10th century CE) is a survey of Nyāya philosophy.9 The later works on Nyāya accepted the Vaiśeṣika categories and Varadarāja’s Tārkikarakṣā (12th century CE) is a notable treatise of this syncretist school. Keśava Miśra’s Tārkabhaṣā (13th century CE) is another important work of this school.10 Gangeśa Upādhyāya’s Tattvacintāmaṇi (12th century CE) is the first major treatise of the new school of Navya Nyāya. His son, Vardhamāna Upādhyāya’s Nyāyanibandhaprakāśa (1225 CE), though a commentary on Udayana’s Nyāyatātparyapariśuddhi, incorporated his father’s views. Jayadeva wrote a commentary on Tattvacintāmaṇi known as Āloka (13th century CE). Vāsudeva Sārvabhauma’s Tattvacintāmaṇivyākhyā (16th century CE) is first great work of Navadvipa school of Navya Nyāya. Raghunātha Śiromaṇi’s Tattvacintāmaṇidīdhiti and Padārthakhaṇḍana are the next important works of this school. Viśvanatha’s Nyāyasūtravṛtti (17th century CE) is also a notable work.11 The Commentaries on Tattvacintāmaṇidīdhiti by Jagadish Tarkalankar (17th century CE) and Gadadhar Bhattacharya (17th century CE) are the last two notable works of this school. Ānnaṁbhatta (17th century CE) tried to develop a consistent system by combining the ancient and the new schools, Prācina nyāya and Navya nyāya and Vaiśeṣika to develop the nyāya-vaiśeṣika school. His Tarkasaṁgraha and Dīpikā are the popular manuals of this school.11 See also Epistemology portal Logic portal Philosophy portal Aksapada Gautama Indian logic Hinduism Hindu philosophy Vaisesika Navya-Nyāya Gautama Gautama Maharishi Epistemology List of teachers of Nyaya Padārtha Notes ^ Sharma, C. (1997). A Critical Survey of Indian Philosophy, Delhi: Motilal Banarsidass, ISBN 81-208-0365-5, p.192 ^ Hiriyanna, M. (1993, reprint 2000). Outlines of Indian Philosophy, Delhi: Motilal Banarsidass, ISBN 81-208-1099-6, pp.245,245n ^ a b Chattopadhyaya, D. (1986), Indian Philosophy: A Popular Introduction, People’s Publishing House, New Delhi, ISBN 81-7007-023-6, p.163 ^ a b c Sharma, C. (1997). A Critical Survey of Indian Philosophy, Delhi: Motilal Banarsidass, ISBN 81-208-0365-5, pp.192-6 ^ Sharma, C. (1997). A Critical Survey of Indian Philosophy, Delhi: Motilal Banarsidass, ISBN 81-208-0365-5, pp.209-10 ^ Dasgupta, Surendranath (1975). A History of Indian Philosophy, Vol. I, Delhi: Motilal Banarsidass, ISBN 81-208-0412-8, p.365 ^ Sharma, C. (1997). A Critical Survey of Indian Philosophy, Delhi: Motilal Banarsidass, ISBN 81-208-0365-5, p.208 ^ Dasgupta, Surendranath (1975). A History of Indian Philosophy, Vol. I, Delhi: Motilal Banarsidass, ISBN 81-208-0412-8, p.366 ^ Radhakrishnan, S. Indian Philosophy, Vol. II, Oxford University Press, New Delhi, 2006, ISBN 0-19-563820-4, pp.36-40 ^ Radhakrishnan, S. Indian Philosophy, Vol. II, Oxford University Press, New Delhi, 2006, ISBN 0-19-563820-4, p.40 ^ a b Radhakrishnan, S. Indian Philosophy, Vol. II, Oxford University Press, New Delhi, 2006, ISBN 0-19-563820-4, p.41 References Extracts from Nyaya Kusumanjali by Udayana A Vedantin source about God's existence Mishra, M, 1999, Bhāratīya Darshan, Kala Prakashan, Varanasi. External links Nyaya doctrine at the Darshana Indian Philosophy site. Indian Systems of Logic (Nyaya): A Survey: Prof. V.V.S. Sarma v · d · eIndian philosophy Texts Vedas (includes the Mukhya Upanishads)  · Upanishads (Whole list...)  · Puranas: Vishnu Purana, Bhagavata Purana  · Ramayana  · Mahabharata  · Bhagavad-Gita  · Buddhist texts  · Jain Agamas Topics Logic · Idealism · Monotheism · Atheism Āstika Samkhya · Nyaya · Vaisheshika · Yoga · Mimamsa · Vedanta (Advaita · Vishishtadvaita · Dvaita · Acintya bheda abheda) Nāstika Cārvāka · Jaina (Anekantavada · Syadvada)  · Bauddha (Shunyata · Madhyamaka · Yogacara · Sautrantika · Svatantrika) Philosophical Texts Yoga Sutra | Nyaya Sutra | Vaiseshika Sutra | Samkhya Sutra | Mimamsa Sutra | Brahma Sutra | More... Philosophers Akshapada Gotama | Patanjali | Yajnavalkya | Kanada | Kapila | Jaimini | Vyasa | Nagarjuna | Madhvacharya | Kumarajiva | Padmasambhava | Vasubandhu | Adi Shankara | Ramanuja | More... v · d · ePhilosophy Schools of thought

Anarchism · Deism · Deontology · Dualism · Empiricism · Epiphenomenalism · Feminism · Functionalism · Hedonism · Hermeneutics · Humanism · Idealism · Legal positivism · Logical positivism · Materialism · Monism · Naturalism · Nihilism · Process · Solipsism · Rationalism · Realism · Relativism · Skepticism · Utilitarianism · more... By historical era Ancient · Western (Classical · Medieval · Renaissance · Modern · Contemporary) · Eastern Ancient Chinese (Taoism · Confucianism · Legalism · Mohism · Neotaoism) · Hellenistic (Aristotelianism · Cynicism · Epicureanism · Neoplatonism · Peripatetic · Platonism · Presocratic · Sophism · Stoicism) · Indian (Buddhist · Hindu · Jain) · Persian (Manichaeism · Mazdakism · Zoroastrianism · Zurvanism) 5th - 16th centuries Christian Europe (Scholasticism · Thomism) · East Asian (Korean Confucianism · Japanese Neoconfucianism · Neoconfucianism) · Islamic (Averroism · Avicennism · Sufi) · Jewish (Judeo-Islamic) 17th - 21st centuries Analytic · Australian realism · Classical liberalism · Continental · Deconstruction · Dialectical materialism · Egoism · Existentialism · Hegelianism · Kantianism · Kyoto School · Marxism · Modernism · New Confucianism · New Philosophers · Ordinary language · Particularism · Phenomenology · Posthumanism · Postmodernism · Post-structuralism · Pragmatism · Structuralism Lists Outline · Index · Schools · Glossary · Philosophers · Movements · Publications Branches Metaphysics · Epistemology · Logic · Ethics · Aesthetics Philosophy of Action · Art · Biology · Chemistry · Education · Economics · Engineering · Environment · Film · Geography · Information · Healthcare · History · Human nature · Humor · Language · Law · Literature · Mathematics · Mind · Music · Being · Philosophy · Physics · Politics · Psychology · Religion · Science · Social science · Technology · War By region African · American · Greek · Aztec · British · Chinese · Danish · French · German · Indian · Indonesian · Iranian · Italian · Japanese · Korean · Romanian Portal · Category · WikiProject · changes v · d · eTheological thought Abrahamism · Acosmism · Agnosticism · Animism · Antireligion · Atheism · Deism · Dharmism · Discordianism - Dualism · Esotericism · Feminist theology · Gnosticism · Henotheism · Immanence · Monism · Monotheism · Mysticism · New Age · Nondualism · Pandeism · Pantheism · Polytheism · Process theology · Rastafari movement - Religious naturalism · Shamanism · Shramanism · Taoic · Theism · Thelema - Transcendence · more Religion portal v · d · eTheology Outline of theology Apologetics General List of apologetic works · Polemic · Positive Deconstruction · More... Bahá'í Bahá'í apologetics Christian Christian apologetics · Christian apologists · List of Christian apologetic works · Ecumenical Apologetics · Presuppositional apologetics · Epistle to Diognetus · Trilemma · Urmonotheismus · More... Muslim Muslim apologists Conceptions of God Divine presence Divine presence God as the Devil · Sustainer · Time God in Abrahamic religions · Bahá'í Faith · Buddhism · Christianity · Hinduism · Islam · Jainism · Judaism · Sikhism · Zoroastrianism · More... Names of God in Christianity · Hinduism · Islam · Judaism · More... Singular God God · Absolute (philosophy) · Brahman · Emanationism · Logos · Supreme Being · More... Binitarianism Binitarianism Trinitarianism Trinity · Trinitarian formula · Athanasian Creed · Comma Johanneum · Consubstantiality · Homoousian · Hypostasis · Perichoresis · Shield of the Trinity · Trinity of the Church Fathers · Trinitarian Universalism · More... Other Aristotelian view of God · Attributes · Demiurge · Divine simplicity · Egotheism · Godhead (Christianity) · Godhead (Latter Day Saints) · Great Architect of the Universe · Great Spirit · Apophatic theology · Olelbis · Open theism · Personal god · Phenomenological definition of God · Philo's view of God · Sarav viāpak · Taryenyawagon · The All · Tian · Unmoved mover · More... Eschatology Afterlife · Apocalypticism · Buddhist · Christian · Concepts of Heaven · Doomsday films · Ghost Dance Movement · Ghosts · Hindu · Islamic · Jewish · Personifications of death · Taoist · Zoroastrian · More Existence of God arguments against from Free will · Inconsistent revelations · Nonbelief · Poor design other God of the gaps · Incompatible-properties argument · Omnipotence paradox · Problem of evil · Problem of Hell · Theological noncognitivism · More... arguments for from A proper basis · Beauty · Consciousness · Degree · Desire · Love · Miracles · Morality · Reason · Religious experience other Christological · Cosmological · Ontological · Pascal's wager · Teleological · Trademark · Transcendental · Witness · More... Opposition to religion Anti- Buddhism (Criticism · Persecution) · Catholicism · Christianity · Gnosticism · Hinduism · Islam (Criticism · Islamophobia · Persecution) · Judaism · Protestantism · cult movement · Zoroastrianism · More... Other Disengagement from religion · Secularism · Separation of church and state Theism List of philosophical theories · Deity (Divinity · Numen · Male · Female · Gender of) · Deism · Dystheism · Henotheism · Hermeticism · Kathenotheism · Nontheism · Monolatrism · Monotheism · Mysticism · Panentheism · Pandeism · Pantheism · Polydeism · Polytheism · Spiritualism · Theopanism · More... Theologies Christian History of · Outline · of the Bible · Terms · Christology · Cosmology · Ecclesiology · Ethics · Hamartiology · Law · Messianism · Movements · Nestorianism · New testament · Old testament · Philosophy · Practical · Sophiology · Soteriology · More... Feminist Buddhism · Christianity · Hinduism · Islam · Judaism · Mormonism · Goddesses · More... Hindu Ayyavazhi theology · Hindu philosophical concepts · Krishnology · More... Islamic Aqidah · Mutazilites · Shi'a theology · More... Jewish Abrahamic prophecy · Angels in Judaism · Jewish mysticism Other Death of God · Exotheology · Holocaust · Pope Pius XII · Process · Zoroastrian · More... Education Seminaries and theological colleges Anglican · Buddhist · Eastern Orthodox · Evangelical · Islamic · Jewish · Lutheran · Madrassas · Methodist · Reformed Church · Roman Catholic · More... Schools by religious affiliation Bahá'í · Buddhist · Anglican · Assemblies of God · Baptist · Eastern Orthodox · Hindu · Islamic · Jewish · Latter Day Saints · Lutheran · Mennonite · Methodist · Nondenominational Christian · Presbyterian · Quaker · Roman Catholic · Seventh-Day Adventist Resources Libraries · List of theological journals · More... Practitioners Teachers · Theologians v · d · eLogic  Related articles Academic areas Argumentation theory · Axiology · Critical thinking · Computability theory · Formal semantics · History of logic · Informal logic · Logic in computer science · Mathematical logic · Mathematics · Metalogic · Metamathematics · Model theory · Philosophical logic · Philosophy · Philosophy of logic · Philosophy of mathematics · Proof theory · Set theory Foundational concepts Abduction · Analytic truth · Antinomy · A priori · Deduction · Definition · Description · Entailment · Induction · Inference · Logical consequence · Logical form · Logical implication · Logical truth · Name · Necessity · Meaning · Paradox · Possible world · Presupposition · Probability · Reason · Reasoning · Reference · Semantics · Statement · Substitution · Syntax · Truth · Truth value · Validity  Philosophical logic Critical thinking and Informal logic Analysis · Ambiguity · Belief · Credibility · Evidence · Explanation · Explanatory power · Fact · Fallacy · Inquiry · Opinion · Parsimony · Premise · Propaganda · Prudence · Reasoning · Relevance · Rhetoric · Rigor · Vagueness Theories of deduction Constructivism · Dialetheism · Fictionalism · Finitism · Formalism · Intuitionism · Logical atomism · Logicism · Nominalism · Platonic realism · Pragmatism · Realism  Metalogic and Metamathematics Cantor's theorem · Church's theorem · Church's thesis · Consistency · Effective method · Foundations of mathematics · Gödel's completeness theorem · Gödel's incompleteness theorems · Soundness · Completeness · Decidability · Interpretation · Löwenheim–Skolem theorem · Metatheorem · Satisfiability · Independence · Type–token distinction · Use–mention distinction ·  Mathematical logic General Formal language · Formation rule · Formal system · Deductive system · Formal proof · Formal semantics · Well-formed formula · Set · Element · Class · Classical logic · Axiom · Natural deduction · Rule of inference · Relation · Theorem · Logical consequence · Axiomatic system · Type theory · Symbol · Syntax · Theory Traditional logic Proposition · Inference · Argument · Validity · Cogency · Syllogism · Square of opposition · Venn diagram Propositional calculus and Boolean logic Boolean functions · Propositional calculus · Propositional formula · Logical connectives · Quantifiers · Truth tables Predicate First-order · Quantifiers · Predicate · Second-order · Monadic predicate calculus Set theory Set · Empty set · Enumeration · Extensionality · Finite set · Function · Subset · Power set · Countable set · Recursive set · Domain · Range · Ordered pair · Uncountable set Model theory Model · Interpretation · Non-standard model · Finite model theory · Truth value · Validity Proof theory Formal proof · Deductive system · Formal system · Theorem · Logical consequence · Rule of inference · Syntax Computability theory Recursion · Recursive set · Recursively enumerable set · Decision problem · Church–Turing thesis · Computable function · Primitive recursive function ·  Non-classical logic Modal logic Alethic · Axiologic · Deontic · Doxastic · Epistemic · Temporal Intuitionism Intuitionistic logic · Constructive analysis · Heyting arithmetic · Intuitionistic type theory · Constructive set theory Fuzzy logic Degree of truth · Fuzzy rule · Fuzzy set · Fuzzy finite element · Fuzzy set operations · Substructural logic

Structural rule · Relevance logic · Linear logic Paraconsistent logic Dialetheism Description logic Ontology  · Ontology language  Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo  Lists Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Portal · Category · Outline · WikiProject · Talk · changes

Structural rule · Relevance logic · Linear logic Paraconsistent logic Dialetheism Description logic Ontology  · Ontology language  Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo  Lists Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Portal · Category · Outline · WikiProject · Talk · changes

Structural rule · Relevance logic · Linear logic Paraconsistent logic Dialetheism Description logic Ontology  · Ontology language  Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo  Lists Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Portal · Category · Outline · WikiProject · Talk · changes

Structural rule · Relevance logic · Linear logic Paraconsistent logic Dialetheism Description logic Ontology  · Ontology language  Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo  Lists Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Portal · Category · Outline · WikiProject · Talk · changes