intuitionistic
121Uncountable set — Uncountable redirects here. For the linguistic concept, see Uncountable noun. In mathematics, an uncountable set is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related to its cardinal… …
122William of Ockham — Full name William of Ockham Born c. 1288 Ockham, England Died 1347 or 1348 Munich, Holy Roman Empire …
123Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… …
124Chrysippus — This article is about the philosopher. For other people named Chrysippus, see Chrysippus (disambiguation). Chrysippus of Soli Roman copy of a Hellenistic bust of Chrysippus, British Museum Full name Chrysippus of Soli Born c. 279 BC …
125Begging the question — Bust of Aristotle, whose Prior Analytics contained an early discussion of this fallacy. Begging the question (or petitio principii, assuming the initial point ) is a type of logical fallacy in which the proposition to be proven is assumed… …
126Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… …
127Averroes — Ibn Rušd (ابن رشد) Averroes Statue of Averroes in Cordoba Full name ʾAbū l Walīd Muḥammad ibn ʾAḥmad ibn Rušd …
128Syllogism — A syllogism (Greek: συλλογισμός – syllogismos – conclusion, inference ) is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a certain form. In antiquity, there were… …
