|
KK Thesis
The KK thesis or KK principle is a principle of epistemic logic which states that "If you know that P is the case then you know that you know that P is the case." This means that one cannot know that P is, if one does not know whether one's knowledge of P is correct. Its application in science can be expressed in the way that it must not only justify its knowledge claims but it must also justify its method of justifying. The principle is also described as knowledge-reflexivity contention. Principle In formal notation, the principle can be stated as: "Kp→KKp" (literally: "Knowing p implies the knowing of knowing p"). It is said that the wide acceptance of the thesis steered many philosophers of science towards skepticism since the thesis features infinite regress and that to know is interpreted as "to know with certainty that one knows". The principle also holds that informational independence has epistemological consequences. An application of the principle may involve Hume's sk ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principle
A principle is a proposition or value that is a guide for behavior or evaluation. In law, it is a Legal rule, rule that has to be or usually is to be followed. It can be desirably followed, or it can be an inevitable consequence of something, such as the laws observed in nature or the way that a system is constructed. The principles of such a system are understood by its users as the essential characteristics of the system, or reflecting system's designed purpose, and the effective operation or use of which would be impossible if any one of the principles was to be ignored. A system may be explicitly based on and implemented from a document of principles as was done in IBM's IBM System/360 architecture, 360/370 ''Principles of Operation''. Examples of principles are, entropy (other), entropy in a number of fields, least action in physics, those in descriptive comprehensive and fundamental law: doctrines or assumptions forming normative rules of conduct, separation of chur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Averroes
Ibn Rushd ( ar, ; full name in ; 14 April 112611 December 1198), often Latinized as Averroes ( ), was an Andalusian polymath and jurist who wrote about many subjects, including philosophy, theology, medicine, astronomy, physics, psychology, mathematics, Islamic jurisprudence and law, and linguistics. The author of more than 100 books and treatises, his philosophical works include numerous commentaries on Aristotle, for which he was known in the Western world as ''The Commentator'' and ''Father of Rationalism''. Ibn Rushd also served as a chief judge and a court physician for the Almohad Caliphate. Averroes was a strong proponent of Aristotelianism; he attempted to restore what he considered the original teachings of Aristotle and opposed the Neoplatonist tendencies of earlier Muslim thinkers, such as Al-Farabi and Avicenna. He also defended the pursuit of philosophy against criticism by Ashari theologians such as Al-Ghazali. Averroes argued that philosophy was permissi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principles
A principle is a proposition or value that is a guide for behavior or evaluation. In law, it is a rule that has to be or usually is to be followed. It can be desirably followed, or it can be an inevitable consequence of something, such as the laws observed in nature or the way that a system is constructed. The principles of such a system are understood by its users as the essential characteristics of the system, or reflecting system's designed purpose, and the effective operation or use of which would be impossible if any one of the principles was to be ignored. A system may be explicitly based on and implemented from a document of principles as was done in IBM's 360/370 ''Principles of Operation''. Examples of principles are, entropy in a number of fields, least action in physics, those in descriptive comprehensive and fundamental law: doctrines or assumptions forming normative rules of conduct, separation of church and state in statecraft, the central dogma of molecular biolo ... [...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] |
Self-reference
Self-reference occurs in natural or formal languages when a sentence, idea or formula refers to itself. The reference may be expressed either directly—through some intermediate sentence or formula—or by means of some encoding. In philosophy, it also refers to the ability of a subject to speak of or refer to itself, that is, to have the kind of thought expressed by the first person nominative singular pronoun "I" in English. Self-reference is studied and has applications in mathematics, philosophy, computer programming, second-order cybernetics, and linguistics, as well as in humor. Self-referential statements are sometimes paradoxical, and can also be considered recursive. In logic, mathematics and computing In classical philosophy, paradoxes were created by self-referential concepts such as the omnipotence paradox of asking if it was possible for a being to exist so powerful that it could create a stone that it could not lift. The Epimenides paradox, 'All Cretans are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemic Closure
Epistemic closure is a property of some belief systems. It is the principle that if a subject S knows p, and S knows that p entails q, then S can thereby come to know q. Most epistemological theories involve a closure principle and many skeptical arguments assume a closure principle. On the other hand, some epistemologists, including Robert Nozick, have denied closure principles on the basis of reliabilist accounts of knowledge. Nozick, in ''Philosophical Explanations'', advocated that, when considering the Gettier problem, the least counter-intuitive assumption we give up should be epistemic closure. Nozick suggested a "truth tracking" theory of knowledge, in which the x was said to know P if x's belief in P tracked the truth of P through the relevant modal scenarios. A subject may not actually believe q, for example, regardless of whether he or she is justified or warranted. Thus, one might instead say that knowledge is closed under ''known'' deduction: if, while knowing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circular Argument
Circular may refer to: * The shape of a circle * ''Circular'' (album), a 2006 album by Spanish singer Vega * Circular letter (other) ** Flyer (pamphlet), a form of advertisement * Circular reasoning, a type of logical fallacy * Circular reference * Government circular, a written statement of government policy See also * Circular DNA (other) * Circular Line (other) Circle Line or circular line is an expression commonly used to describe a circle route in a public transport network or system. Circle Line or Circular line may also refer to: Railways Asia Bangladesh * Chittagong Circular Railway China ... * Circularity (other) {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Certainty
Certainty (also known as epistemic certainty or objective certainty) is the epistemic property of beliefs which a person has no rational grounds for doubting. One standard way of defining epistemic certainty is that a belief is certain if and only if the person holding that belief could not be mistaken in holding that belief. Other common definitions of certainty involve the indubitable nature of such beliefs or define certainty as a property of those beliefs with the greatest possible justification. Certainty is closely related to knowledge, although contemporary philosophers tend to treat knowledge as having lower requirements than certainty. Importantly, epistemic certainty is not the same thing as psychological certainty (also known as subjective certainty or certitude), which describes the highest degree to which a person could be convinced that something is true. While a person may be completely convinced that a particular belief is true, and might even be psychologicall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Baruch Spinoza
Baruch (de) Spinoza (born Bento de Espinosa; later as an author and a correspondent ''Benedictus de Spinoza'', anglicized to ''Benedict de Spinoza''; 24 November 1632 – 21 February 1677) was a Dutch philosopher of Portuguese-Jewish origin, born in Amsterdam. One of the foremost exponents of 17th-century Rationalism and one of the early and seminal thinkers of the Enlightenment and modern biblical criticism including modern conceptions of the self and the universe, he came to be considered "one of the most important philosophers—and certainly the most radical—of the early modern period." Inspired by Stoicism, Jewish Rationalism, Machiavelli, Hobbes, Descartes, and a variety of heterodox religious thinkers of his day, Spinoza became a leading philosophical figure during the Dutch Golden Age. Spinoza's given name, which means "Blessed", varies among different languages. In Hebrew, his full name is written . In most of the documents and records contemporary with Spinoza's ... [...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] |
Augustine Of Hippo
Augustine of Hippo ( , ; la, Aurelius Augustinus Hipponensis; 13 November 354 – 28 August 430), also known as Saint Augustine, was a theologian and philosopher of Berber origin and the bishop of Hippo Regius in Numidia, Roman North Africa. His writings influenced the development of Western philosophy and Western Christianity, and he is viewed as one of the most important Church Fathers of the Latin Church in the Patristic Period. His many important works include ''The City of God'', '' On Christian Doctrine'', and '' Confessions''. According to his contemporary, Jerome, Augustine "established anew the ancient Faith". In his youth he was drawn to the eclectic Manichaean faith, and later to the Hellenistic philosophy of Neoplatonism. After his conversion to Christianity and baptism in 386, Augustine developed his own approach to philosophy and theology, accommodating a variety of methods and perspectives. Believing the grace of Christ was indispensable to human freed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemic Logic
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke. Historical development Many papers were written in the 1950s that spoke of a logic of knowledge in passing, but the Finnish philosopher G. H. von Wright's 1951 paper titled ''An Essay in Modal Logic'' is seen as a founding document. It was not until 1962 tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
