Logic (λόγος in Greek, logos, "thought") is the most fundamental of all the Sciences and a major branch of Philosophy. ...

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. ...

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. ...

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... ...

A rhema or a rheme (also "relative term" and "topic comment"), is a logical term that requires reference to any number of other objects, called the correlates of the term, in order to denote a definite object, called the relate (pronounced with the accent on the first syllable) of the relative term in question. ...

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... ...

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 ...

theory and discussion

theory and discussion