KK Thesis
   HOME





KK Thesis
The KK thesis or KK principle (also known as epistemic transparency or ''positive introspection'') 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 epistemologica ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


Introspection
Introspection is the examination of one's own conscious thoughts and feelings. In psychology, the process of introspection relies on the observation of one's mental state, while in a spiritual context it may refer to the examination of one's soul. Introspection is closely related to human self-reflection and self-discovery and is contrasted with external observation. It generally provides a privileged access to one's own mental states, not mediated by other sources of knowledge, so that individual experience of the mind is unique. Introspection can determine any number of mental states including: sensory, bodily, cognitive, emotional and so forth. Introspection has been a subject of philosophical discussion for thousands of years. The philosopher Plato asked, "...why should we not calmly and patiently review our own thoughts, and thoroughly examine and see what these appearances in us really are?" While introspection is applicable to many facets of philosophical thought it ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Charmides (dialogue)
The ''Charmides'' (; ) is a dialogue of Plato, in which Socrates engages a handsome and popular boy named Charmides in a conversation about the meaning of ''sophrosyne'', a Greek word usually translated into English as "Temperance (virtue), temperance," "self-control," or "restraint." When the boy is unable to satisfy him with an answer, he next turns to the boy's mentor Critias. In the dialogue, Charmides and then later Critias champion that Temperance is "doing one's own work" but Socrates derides this as vague. The definition given next of know thyself, "knowing oneself" seems promising but the question is then raised if something can even have the knowledge of itself as a base. As is typical with Platonic early dialogues, the two never arrive at a completely satisfactory definition, but the discussion nevertheless raises many important points. The ''Charmides'' is one of Plato's most Homoeroticism, homoerotic dialogues. Socrates admires Charmides' beauty at the beginning of th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


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 Saul 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 unti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


Self-reference
Self-reference is a concept that involves referring to oneself or one's own attributes, characteristics, or actions. It can occur in language, logic, mathematics, philosophy, and other fields. In natural or formal languages, self-reference occurs 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, self-reference 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 b ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]




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]   [Amazon]


picture info

Circular Argument
Circular reasoning (, "circle in proving"; also known as circular logic) is a logical fallacy in which the reasoner begins with what they are trying to end with. Circular reasoning is not a formal logical fallacy, but a pragmatic defect in an argument whereby the premises are just as much in need of proof or evidence as the conclusion. As a consequence, the argument becomes a matter of faith and fails to persuade those who do not already accept it. Other ways to express this are that there is no reason to accept the premises unless one already believes the conclusion, or that the premises provide no independent ground or evidence for the conclusion. Circular reasoning is closely related to begging the question, and in modern usage the two generally refer to the same thing. Circular reasoning is often of the form: "A is true because B is true; B is true because A is true." Circularity can be difficult to detect if it involves a longer chain of propositions. An example of circular ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


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]   [Amazon]


picture info

Self-knowledge (psychology)
Self-knowledge is a term used in psychology to describe the information that an individual draws upon when finding answers to the questions "What am I like?" and "Who am I?". While seeking to develop the answer to this question, self-knowledge requires ongoing self-awareness and self-consciousness (which is not to be confused with consciousness). Young infants and chimpanzees display some of the traits of self-awareness and agency/contingency, yet they are not considered as also having self-consciousness. At some greater level of cognition, however, a self-conscious component emerges in addition to an increased self-awareness component, and then it becomes possible to ask "What am I like?", and to answer with self-knowledge, though self-knowledge has limits, as introspection has been said to be limited and complex, such as the consciousness of being conscious of oneself. Self-knowledge is a component of the self or, more accurately, the self-concept. It is the knowledge of o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Baruch Spinoza
Baruch (de) Spinoza (24 November 163221 February 1677), also known under his Latinized pen name Benedictus de Spinoza, was a philosopher of Portuguese-Jewish origin, who was born in the Dutch Republic. A forerunner of the Age of Enlightenment, Spinoza significantly influenced modern biblical criticism, 17th-century rationalism, and Dutch intellectual culture, establishing himself as one of the most important and radical philosophers of the early modern period. Influenced by Stoicism, Thomas Hobbes, René Descartes, Ibn Tufayl, and heterodox Christians, Spinoza was a leading philosopher of the Dutch Golden Age. Spinoza was born in Amsterdam to a Marrano family that fled Portugal for the more tolerant Dutch Republic. He received a traditional Jewish education, learning Hebrew and studying sacred texts within the Portuguese Jewish community, where his father was a prominent merchant. As a young man, Spinoza challenged rabbinic authority and questioned Jewish doctrines, leadi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Thomas Aquinas
Thomas Aquinas ( ; ; – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest, the foremost Scholasticism, Scholastic thinker, as well as one of the most influential philosophers and theologians in the Western tradition. A Doctor of the Church, he was from the county of Aquino, Italy, Aquino in the Kingdom of Sicily. Thomas was a proponent of natural theology and the father of a school of thought (encompassing both theology and philosophy) known as Thomism. Central to his thought was the doctrine of natural law, which he argued was accessible to Reason, human reason and grounded in the very nature of human beings, providing a basis for understanding individual rights and Moral duty, moral duties. He argued that God is the source of the light of natural reason and the light of faith. He embraced several ideas put forward by Aristotle and attempted to synthesize Aristotelianism, Aristotelian philosophy with the principles of Christianity. A ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Averroes
Ibn Rushd (14 April 112611 December 1198), archaically Latinization of names, Latinized as Averroes, was an Arab Muslim polymath and Faqīh, jurist from Al-Andalus who wrote about many subjects, including philosophy, theology, medicine, astronomy, physics, psychology, mathematics, neurology, Islamic jurisprudence and Islamic law, 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''. Averroes was a strong proponent of Aristotelianism; he attempted to restore what he considered the original teachings of Aristotle and opposed the Neoplatonism, Neoplatonist tendencies of earlier Muslims, Muslim thinkers, such as al-Farabi and Avicenna. He also defended the pursuit of philosophy against criticism by Ash'ari theologians such as Al-Ghazali. Averroes argued that philosophy was permissible in Islam and eve ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Augustine Of Hippo
Augustine of Hippo ( , ; ; 13 November 354 – 28 August 430) was a theologian and philosopher of Berber origin and the bishop of Hippo Regius in Numidia, Roman North Africa. His writings deeply 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 of Stridon, Augustine "established anew the ancient Faith". In his youth he was drawn to the 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 freedom, he helped formulate the doctrine of original sin and m ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]