predicate function
111Outline of discrete mathematics — The following outline is presented as an overview of and topical guide to discrete mathematics: Discrete mathematics – study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have… …
112that — I. pronoun (plural those) Etymology: Middle English, from Old English thæt, neuter demonstrative pronoun & definite article; akin to Old High German daz, neuter demonstrative pronoun & definite article, Greek to, Latin istud, neuter demonstrative …
113Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …
114Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… …
115Malay language — This article is about the language which forms the basis of standard Indonesian and Malaysian. For the different Malay variants and dialects, see Malay languages. Malay Bahasa Melayu بهاس ملايو Spoken in Malaysia (as Malaysian and local Malay)… …
116Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… …
117semantics — semanticist /si man teuh sist/, semantician /see man tish euhn/, n. /si man tiks/, n. (used with a sing. v.) 1. Ling. a. the study of meaning. b. the study of linguistic development by classifying and examining changes in meaning and form. 2.… …
118Uralic languages — Family of more than 30 languages spoken by some 25 million people in central and northern Eurasia. A primary division is between the Finno Ugric languages, which account for most of the languages and speakers, and the Samoyedic languages. The… …
119Gottlob Frege — Infobox Philosopher region = Western Philosophy era = 19th century philosophy, color = #B0C4DE image caption = Friedrich Ludwig Gottlob Frege name = Friedrich Ludwig Gottlob Frege birth = November 8, 1848 death = 26 July, 1925 school tradition =… …
120Pragmatic theory of truth — refers to those accounts, definitions, and theories of the concept truth that distinguish the philosophies of pragmatism and pragmaticism. The conception of truth in question varies along lines that reflect the influence of several thinkers,… …
