|
Ontological Proof
An ontological argument is a philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. More specifically, ontological arguments are commonly conceived ''a priori'' in regard to the organization of the universe, whereby, if such organizational structure is true, God must exist. The first ontological argument in Western Christian traditionSzatkowski, Miroslaw, ed. 2012. ''Ontological Proofs Today''. Ontos Verlag. "There are three main periods in the history of ontological arguments. The first was in 11th century, when St. Anselm of Canterbury came up with the first ontological argument" (p. 22). was proposed by Saint Anselm of Canterbury in his 1078 work, ''Proslogion'' (), in which he defines God as "a being than which no greater can be conceived," and argues that such being must exist in the mind, even in that of the person who denies the existence of God. Oppy, Gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some sources claim the term was coined by Pythagoras ( BCE), although this theory is disputed by some. Philosophical methods include questioning, critical discussion, rational argument, and systematic presentation. in . Historically, ''philosophy'' encompassed all bodies of knowledge and a practitioner was known as a ''philosopher''."The English word "philosophy" is first attested to , meaning "knowledge, body of knowledge." "natural philosophy," which began as a discipline in ancient India and Ancient Greece, encompasses astronomy, medicine, and physics. For example, Newton's 1687 ''Mathematical Principles of Natural Philosophy'' later became classified as a book of physics. In the 19th century, the growth of modern research universiti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gottfried Leibniz
Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of mathematics. He wrote works on philosophy, theology, ethics, politics, law, history and philology. Leibniz also made major contributions to physics and technology, and anticipated notions that surfaced much later in probability theory, biology, medicine, geology, psychology, linguistics and computer science. In addition, he contributed to the field of library science: while serving as overseer of the Wolfenbüttel library in Germany, he devised a cataloging system that would have served as a guide for many of Europe's largest libraries. Leibniz's contributions to this vast array of subjects were scattered in various learned journals, in tens of thousands of letters and in unpublished manuscripts. He wrote in several languages, primarily in Latin, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Empirical Evidence
Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences and plays a role in various other fields, like epistemology and law. There is no general agreement on how the terms ''evidence'' and ''empirical'' are to be defined. Often different fields work with quite different conceptions. In epistemology, evidence is what justifies beliefs or what determines whether holding a certain belief is rational. This is only possible if the evidence is possessed by the person, which has prompted various epistemologists to conceive evidence as private mental states like experiences or other beliefs. In philosophy of science, on the other hand, evidence is understood as that which '' confirms'' or ''disconfirms'' scientific hypotheses and arbitrates between competing theories. For this role, it is important that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Hume
David Hume (; born David Home; 7 May 1711 NS (26 April 1711 OS) – 25 August 1776) Cranston, Maurice, and Thomas Edmund Jessop. 2020 999br>David Hume" ''Encyclopædia Britannica''. Retrieved 18 May 2020. was a Scottish Enlightenment philosopher, historian, economist, librarian, and essayist, who is best known today for his highly influential system of philosophical empiricism, scepticism, and naturalism. Beginning with '' A Treatise of Human Nature'' (1739–40), Hume strove to create a naturalistic science of man that examined the psychological basis of human nature. Hume argued against the existence of innate ideas, positing that all human knowledge derives solely from experience. This places him with Francis Bacon, Thomas Hobbes, John Locke, and George Berkeley as an Empiricist. Hume argued that inductive reasoning and belief in causality cannot be justified rationally; instead, they result from custom and mental habit. We never actually perceive that one event caus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Aquinas
Thomas Aquinas, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino; 1225 – 7 March 1274) was an Italian Dominican friar and priest who was an influential philosopher, theologian and jurist in the tradition of scholasticism; he is known within the tradition as the , the , and the . The name ''Aquinas'' identifies his ancestral origins in the county of Aquino in present-day Lazio, Italy. Among other things, he was a prominent proponent of natural theology and the father of a school of thought (encompassing both theology and philosophy) known as Thomism. He argued that God is the source of both the light of natural reason and the light of faith. He has been described as "the most influential thinker of the medieval period" and "the greatest of the medieval philosopher-theologians". His influence on Western thought is considerable, and much of modern philosophy is derived from his ideas, particularly in the areas of ethics, natural law, metaphysics, and political theory. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reductio Ad Absurdum
In logic, (Latin for "reduction to absurdity"), also known as (Latin for "argument to absurdity") or ''apagogical arguments'', is the form of argument that attempts to establish a claim by showing that the opposite scenario would lead to absurdity or contradiction. This argument form traces back to Ancient Greek philosophy and has been used throughout history in both formal mathematical and philosophical reasoning, as well as in debate. Examples The "absurd" conclusion of a ''reductio ad absurdum'' argument can take a range of forms, as these examples show: * The Earth cannot be flat; otherwise, since Earth assumed to be finite in extent, we would find people falling off the edge. * There is no smallest positive rational number because, if there were, then it could be divided by two to get a smaller one. The first example argues that denial of the premise would result in a ridiculous conclusion, against the evidence of our senses. The second example is a mathematical proof ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gaunilo Of Marmoutiers
Gaunilo or Gaunillon ( century) was a Benedictine monk of Marmoutier Abbey in Tours, France. He is best known for his contemporary criticism of the ontological argument for the existence of God which appeared in St Anselm's ''Proslogion''. In his work ''In Behalf of the Fool'', Gaunilo contends that St Anselm's ontological argument fails because logic of the same kind would force one to conclude many things exist which certainly do not. An empiricist, Gaunilo thought that the human intellect is only able to comprehend information provided by the senses. Little beyond this essay is known of Gaunilo; no other extant writings bear his name. Anselm wrote a reply to it, essentially arguing that Gaunilo had definitely missed his point. The "Lost Island" refutation Anselm claimed his ontological argument as proof of the existence of God, whom he described as that being for which no greater can be conceived. A god that does not exist cannot be that than which no greater can b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Allama Tabatabai
Muhammad Husayn Tabataba'i or Sayyid Mohammad Hossein Tabataba'i (16 March 1903 – 15 November 1981) was an Iranian scholar, theorist, philosopher and one of the most prominent thinkers of modern Shia Islam. He is perhaps best known for his ''Tafsir al-Mizan'', a twenty-seven-volume work of tafsir (Quranic exegesis), which he produced between 1954 and 1972. He is commonly known as Allameh Tabataba'i and the Allameh Tabataba'i University in Tehran is named after him. Biography He received his earlier education in his native Tabriz city, mastering the elements of Arabic and the religious sciences, and at about the age of twenty set out for the great Shiite university of Najaf to continue more advanced studies. He studied at Najaf, under masters such as Ali Tabatabaei (in gnosis), Mirza Muhammad Husain Na'ini, Sheykh Muhammad Hossein Qaravi Esfahani (in Fiqh and Jurisprudence), Sayyid Abu'l-Qasim Khwansari (in Mathematics), as well as studying the standard texts of Avicenna's ''S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mulla Sadra
Ṣadr ad-Dīn Muḥammad Shīrāzī, more commonly known as Mullā Ṣadrā ( fa, ملا صدرا; ar, صدر المتألهین) (c. 1571/2 – c. 1635/40 CE / 980 – 1050 AH), was a Persian Twelver Shi'i Islamic mystic, philosopher, theologian, and ‘Ālim who led the Iranian cultural renaissance in the 17th century. According to Oliver Leaman, Mulla Sadra is arguably the single most important and influential philosopher in the Muslim world in the last four hundred years. Though not its founder, he is considered the master of the Illuminationist (or, Ishraghi or Ishraqi) school of Philosophy, a seminal figure who synthesized the many tracts of the Islamic Golden Age philosophies into what he called the Transcendent Theosophy or ''al-hikmah al-muta’āliyah''. Mulla Sadra brought "a new philosophical insight in dealing with the nature of reality" and created "a major transition from essentialism to existentialism" in Islamic philosophy, although his existentialism ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automated Theorem Prover
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. Logical foundations While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics. Frege's ''Begriffsschrift'' (1879) introduced both a complete propositional calculus and what is essentially modern predicate logic. His ''Foundations of Arithmetic'', published 1884, expressed (parts of) mathematics in formal logic. This approach was continued by Russell and Whitehead in their influential ''Principia Mathematica'', first published 1910–1913, and with a revised second edition in 1927. Russell and Whitehead thought they could derive all mathematical truth using axioms and inference ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a ''possible world''. A formula's truth value at ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alvin Plantinga
Alvin Carl Plantinga (born November 15, 1932) is an American analytic philosopher who works primarily in the fields of philosophy of religion, epistemology (particularly on issues involving epistemic justification), and logic. From 1963 to 1982, Plantinga taught at Calvin University before accepting an appointment as the John A. O'Brien Professor of Philosophy at the University of Notre Dame. He later returned to Calvin University to become the inaugural holder of the Jellema Chair in Philosophy. A prominent Christian philosopher, Plantinga served as president of the Society of Christian Philosophers from 1983 to 1986. He has delivered the Gifford Lectures two times and was described by ''Time'' magazine as "America's leading orthodox Protestant philosopher of God". In 2014, Plantinga was the 30th most-cited contemporary author in the Stanford Encyclopedia of Philosophy. A fellow of the American Academy of Arts and Sciences, he was awarded the Templeton Prize in 2017. Some of Pl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
