Primitive notionIn mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously-defined concepts. It is often motivated informally, usually by an appeal to intuition and everyday experience. In an axiomatic theory, relations between primitive notions are restricted by axioms. Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading. Formal theories cannot dispense with primitive notions, under pain of infinite regress (per the regress problem).
Internal validityInternal validity is the extent to which a piece of evidence supports a claim about cause and effect, within the context of a particular study. It is one of the most important properties of scientific studies and is an important concept in reasoning about evidence more generally. Internal validity is determined by how well a study can rule out alternative explanations for its findings (usually, sources of systematic error or 'bias').
Greek orthographyThe orthography of the Greek language ultimately has its roots in the adoption of the Greek alphabet in the 9th century BC. Some time prior to that, one early form of Greek, Mycenaean, was written in Linear B, although there was a lapse of several centuries (the Greek Dark Ages) between the time Mycenaean stopped being written and the time when the Greek alphabet came into use. Early Greek writing in the Greek alphabet was phonemic, different in each dialect.
Greek alphabetThe Greek alphabet has been used to write the Greek language since the late 9th or early 8th century BC. It is derived from the earlier Phoenician alphabet, and was the earliest known alphabetic script to have distinct letters for vowels as well as consonants. In Archaic and early Classical times, the Greek alphabet existed in many local variants, but, by the end of the 4th century BC, the Euclidean alphabet, with 24 letters, ordered from alpha to omega, had become standard and it is this version that is still used for Greek writing today.
Aristotelian ethicsAristotle first used the term ethics to name a field of study developed by his predecessors Socrates and Plato. In philosophy, ethics is the attempt to offer a rational response to the question of how humans should best live. Aristotle regarded ethics and politics as two related but separate fields of study, since ethics examines the good of the individual, while politics examines the good of the City-State, which he considered to be the best type of community.
Pointer machineIn theoretical computer science, a pointer machine is an atomistic abstract computational machine model akin to the random-access machine. A pointer algorithm could also be an algorithm restricted to the pointer machine model. Depending on the type, a pointer machine may be called a linking automaton, a KU-machine, an SMM, an atomistic LISP machine, a tree-pointer machine, etc. (cf Ben-Amram 1995). At least three major varieties exist in the literature—the Kolmogorov-Uspenskii model (KUM, KU-machine), the Knuth linking automaton, and the Schönhage Storage Modification Machine model (SMM).
Megarian schoolThe Megarian school of philosophy, which flourished in the 4th century BC, was founded by Euclides of Megara, one of the pupils of Socrates. Its ethical teachings were derived from Socrates, recognizing a single good, which was apparently combined with the Eleatic doctrine of Unity. Some of Euclides' successors developed logic to such an extent that they became a separate school, known as the Dialectical school. Their work on modal logic, logical conditionals, and propositional logic played an important role in the development of logic in antiquity.
Romanization of GreekRomanization of Greek is the transliteration (letter-mapping) and/or transcription (sound-mapping) of text from the Greek alphabet into the Latin alphabet. The conventions for writing and romanizing Ancient Greek and Modern Greek differ markedly. The sound of the English letter B (/b/) was written as β in ancient Greek but is now written as the digraph μπ, while the modern β sounds like the English letter V (/v/) instead.
Four causesThe four causes or four explanations are, in Aristotelian thought, four fundamental types of answer to the question "why?", in analysis of change or movement in nature: the material, the formal, the efficient, and the final. Aristotle wrote that "we do not have knowledge of a thing until we have grasped its why, that is to say, its cause." While there are cases in which classifying a "cause" is difficult, or in which "causes" might merge, Aristotle held that his four "causes" provided an analytical scheme of general applicability.
Theory of formsThe theory of Forms, theory of Ideas, Platonic idealism, or Platonic realism is a metaphysical theory, attributed to the Classical Greek philosopher Plato, suggesting that the physical world is not as real or true as timeless, absolute, unchangeable ideas. Ideas according to this theory, conventionally capitalized and translated as "Ideas" or "Forms", are the non-physical essences of all things, of which objects and matter in the physical world are merely imitations.
