Self-referenceSelf-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.
Zeno's paradoxesZeno's paradoxes are a set of philosophical problems devised by the Eleatic Greek philosopher Zeno of Elea (c. 490–430 BC). The origins of the paradoxes are somewhat unclear, but they are generally thought to have been developed to support Parmenides' doctrine of monism, that all of reality is one, and that all change is impossible. Diogenes Laërtius, citing Favorinus, says that Zeno's teacher Parmenides was the first to introduce the paradox of Achilles and the tortoise.
DialetheismDialetheism (from Greek δι- 'twice' and ἀλήθεια 'truth') is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms. Dialetheism is not a system of formal logic; instead, it is a thesis about truth that influences the construction of a formal logic, often based on pre-existing systems.
LogicLogic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
StoicismStoicism is one of the four major schools of thought established in the Hellenistic period. It was founded in the ancient Agora of Athens by Zeno of Citium around 300 BC. The Stoics believed that the practice of virtue is enough to achieve eudaimonia: a well-lived, flourishing life. The Stoics identified the path to achieving it with a life spent practicing certain virtues in everyday life such as courage or temperance and living in accordance with nature.
RationalityRationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an ability, as in rational animal, to a psychological process, like reasoning, to mental states, such as beliefs and intentions, or to persons who possess these other forms of rationality.
Zeno of EleaZeno of Elea (ˈziːnoʊ...ˈɛliə; Ζήνων ὁ Ἐλεᾱ́της; 495-430 BC) was a pre-Socratic Greek philosopher of Magna Graecia (southern Italy) and a member of the Eleatic School founded by Parmenides. Plato and Aristotle called him the inventor of the dialectic. He is best known for his paradoxes. Little is known for certain about Zeno's life. The primary source of biographical information about Zeno is Plato's dialogue Parmenides, which recounts a fictionalized account of a visit that Zeno and Parmenides made to Ancient Athens in 450 BC, at a time when Parmenides is "about 65", Zeno is "nearly 40", and Socrates is "a very young man".
Circular reasoningCircular reasoning (circulus in probando, "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, and as a consequence the argument fails to persuade. 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.
Infinite regressAn infinite regress is an infinite series of entities governed by a recursive principle that determines how each entity in the series depends on or is produced by its predecessor. In the epistemic regress, for example, a belief is justified because it is based on another belief that is justified. But this other belief is itself in need of one more justified belief for itself to be justified and so on. An infinite regress argument is an argument against a theory based on the fact that this theory leads to an infinite regress.
ImpredicativityIn mathematics, logic and philosophy of mathematics, something that is impredicative is a self-referencing definition. Roughly speaking, a definition is impredicative if it invokes (mentions or quantifies over) the set being defined, or (more commonly) another set that contains the thing being defined. There is no generally accepted precise definition of what it means to be predicative or impredicative. Authors have given different but related definitions.
