logical counterexample
31Donkey pronoun — A donkey pronoun is a pronoun that is bound in semantics but not syntax.[1][2] Some writers prefer the term donkey anaphora, since it is the referential aspects and discourse or syntactic context that are of interest to researchers (see anaphora) …
32Imre Lakatos — For other people with the same name, see Lakatos (disambiguation). Imre Lakatos Imre Lakatos, c. 1960s Full name Imre Lakatos Born November 9, 1922 Debrecen, Hungary …
33Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …
34Contrast theory of meaning — The Contrast theory of meaning states that any meaningful term must have a possible example and a possible counterexample. Ernest Gellner in Words and Things, p. 40: terms derive their meaning from the fact that there are or could be things… …
35List of mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… …
36Mathematical fallacy — In mathematics, certain kinds of mistakes in proof, calculation, or derivation are often exhibited, and sometimes collected, as illustrations of the concept of mathematical fallacy. The specimens of the greatest interest can be seen as… …
37Epistemology — (from Greek επιστήμη episteme , knowledge + λόγος , logos ) or theory of knowledge is a branch of philosophy concerned with the nature and scope (limitations) of knowledge. [Encyclopedia of Philosophy, Volume 3, 1967, Macmillan, Inc.] The term… …
38Cox's theorem — Cox s theorem, named after the physicist Richard Threlkeld Cox, is a derivation of the laws of probability theory from a certain set of postulates. This derivation justifies the so called logical interpretation of probability. As the laws of… …
39Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …
40Mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… …
