**one-place predicate** — See n place predicate … Philosophy dictionary

**two-place predicate** — See n place predicate … Philosophy dictionary

**N-Triples** — Filename extension .nt Internet media type text/plain Developed by W3C Type of format semantic web Container for RDF data … Wikipedia

**First-order logic** — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia

**Atomic sentence** — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… … Wikipedia

**open sentence** — A sentence containing free variables, i.e. an expression that is not itself interpretable as true or false, but that requires the addition of one or more quantifiers to become a closed sentence. ‘ x loves y ’ is an open sentence; ‘(∃x )(∀y ) x… … Philosophy dictionary

**formal logic** — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium

**Finitary relation** — This article sets out the set theoretic notion of relation. For a more elementary point of view, see Binary relation. For a combinatorial viewpoint, see Theory of relations. For other uses, see Relation (disambiguation). In set theory and logic,… … Wikipedia

**Semiotic elements and classes of signs** — C. S. Peirce articles General: Charles Sanders Peirce Charles Sanders Peirce bibliography Philosophical: Categories (Peirce) Semiotic elements and classes of signs (Peirce) Pragmatic maxim • Pragmaticism… … Wikipedia

**Relation (mathematics)** — This article sets out the set theoretic notion of relation. For a more elementary point of view, see binary relations and triadic relations. : For a more combinatorial viewpoint, see theory of relations. In mathematics, especially set theory, and … Wikipedia