In logic and mathematics, a tacit extension is in formal respects the simplest or the logically least committal of the several possible set operations that are inverse to the set-theoretic operation of projection. See also- Cartesian product Inverse relation Projection (set theory) ...

In logic and mathematics, relation reduction and relational reducibility have to do with the extent to which a given relation is determined by an indexed family or a sequence of other relations, called the relation dataset. The relation under examination is called the reductandum. The relation dataset typically consists of a specified relation over...

In logic and mathematics, relation construction and relational constructibility have to do with the ways that one relation is determined by an indexed family or a sequence of other relations, called the relation dataset. The relation in the focus of consideration is called the faciendum. The relation dataset typically consists of a specified relation...

In logic and mathematics, the composition of relations is the generalization of the composition_of_functions. Preliminaries- The first order of business is to define the operation on relations that is variously known as the composition of relations, relational composition, or relative...

Prescisive abstraction or prescision, variously spelled as precisive abstraction or prescission, is a formal operation that marks, selects, or singles out one feature of a concrete experience to the disregard of others. The above definition is adapted from the one given by Charles Sanders Peirce (CP 4.235, “The Simplest Mathematics” (1902), in Collected Papers, CP...

For other uses, see Negation (disambiguation) In logic and mathematics, negation is an operation on logical values, for example, the logical value of a proposition, that sends true to false and false to true. Definition- Logical negation is an operation on one logical value, typically the value of a...

The book Laws of Form (hereinafter abbreviated LoF), by G. Spencer-Brown, describes three distinct logical systems: The primary arithmetic (described in Chapter 4), which can be interpreted as Boolean_arithmetic; The primary algebra (Chapter 6), which can be interpreted via two-element Boolean algebra (hereinafter...

In logic, the comprehension of an object is the totality of intensions, that is, attributes, characters, marks, properties, or qualities, that the object possesses, or else the totality of intensions that are pertinent to the context of a given discussion. This is the correct technical term for the whole collection of intensions of an object, but it is common in less...

interesting people

presentations and discussion

general cultural articles

GetWiki articles

general logical articles

sub-categories:
• - Information Theory
• - Truth Theory

general mathematical articles

general philosophical articles

sub-categories:
• - History of Philosophy
• - Philosophical Studies

general scientific articles

general technology articles

sub-categories:
• - Licensing
• - Software

essays and discussion

default category