# Search results

**Create the page "History of Logic" on this wiki!** See also the search results found.

- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...of two propositions, that produces a value of ''true'' if and only if both of its operands are true.5 KB (658 words) - 02:02, 31 October 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...the systems of graphical syntax that Charles Sanders Peirce developed for logic.41 KB (5,845 words) - 14:38, 6 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ==History==11 KB (1,526 words) - 16:14, 18 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...study from the perspectives of abstract algebra on the one hand and formal logic on the other.25 KB (3,665 words) - 21:05, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ion (mathematics)|polyadic or finitary relation]], one in which the number of places in the relation is three. In other language that is often used, a t20 KB (2,655 words) - 21:25, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. A '''sign relation''' is the basic construct in the theory of signs, also known as [[semeiotic]] or [[semiotics]], as developed by Charle58 KB (8,251 words) - 21:35, 15 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...})\!</math> is a logical connective that says “just one false” of its logical arguments.22 KB (3,319 words) - 19:22, 6 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ath> in the '''parameter set''' <math>\Alpha\!</math> is an indexed family of operators <math>(\Omega_\alpha)_\Alpha = \{ \Omega_\alpha : \alpha \in \Alp5 KB (572 words) - 04:18, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ter that is, up to somorphism, constituted by the structural relationships of mathematical objects called ''propositions''.17 KB (2,301 words) - 16:02, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...lculus, [[propositional calculus]], sentential calculus, or [[zeroth order logic]].9 KB (1,221 words) - 15:05, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (561 words) - 19:56, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...case where <math>k = 0,\!</math> the function is simply a constant element of <math>\mathbb{B}.</math>5 KB (589 words) - 20:25, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. A '''boolean-valued function''' is a function of the type <math>f : X \to \mathbb{B},</math> where <math>X\!</math> is an ar7 KB (806 words) - 21:16, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...expressive capacity to describe change and diversity in logical universes of discourse.6 KB (662 words) - 22:34, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ks, for example, “lover of __”, or “giver of __ to __”.5 KB (599 words) - 20:22, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...cs)|relational predicate]] that arises as the limit of an iterated process of [[hypostatic abstraction]].8 KB (1,058 words) - 04:10, 10 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...cation'', ''reification'', and ''subjectal abstraction''. The object of discussion or thought thus introduced is termed a ''[[hypostatic object]]''7 KB (915 words) - 18:58, 10 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...s affords a distinctive perspective on the subject, even though all angles of approach must ultimately converge on the same formal subject matter.7 KB (919 words) - 22:54, 10 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...thbb{B} = \{ 0,1 \}.</math> Such a matrix affords a matrix representation of a <math>k\!</math>-adic [[relation (mathematics)|relation]].5 KB (541 words) - 16:16, 11 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In mathematics, a '''finitary relation''' is defined by one of the formal definitions given below.20 KB (2,925 words) - 17:10, 14 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...omposition, or the composition of functions. The following treatment of relation composition takes the “strongly typed” approach to rel65 KB (6,802 words) - 18:18, 14 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...', the ''factor'', or the ''method of construction'', plus a specified set of other relations, called the ''faciens'', the ''ingredients'', or the ''maki5 KB (621 words) - 19:24, 14 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ther relations, called the ''reduciens'' or the ''relational base'', each of which is properly simpler in a specified way than the relation under examin29 KB (4,035 words) - 03:36, 15 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...s <math>\{ \operatorname{false}, \operatorname{true} \}.</math> The names of the logical values, or ''truth values'', are commonly abbreviated in accord16 KB (2,190 words) - 18:31, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. The term '''''universe of discourse''''' is generally attributed to Augustus De Morgan (1846).&n6 KB (702 words) - 19:14, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...very operator in a specified class of operators. In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-value5 KB (626 words) - 18:10, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...al calculus]], and sentential logic. The term serves to mark a level of abstraction in which the more inessential differences among these subjects12 KB (1,631 words) - 03:08, 9 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim.58 KB (7,676 words) - 22:36, 15 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...f logical criticism of its inferences, must be aware of this determination of its ideas by previous ideas. (Peirce, "On Time and Thought", CE 3, 6824 KB (3,783 words) - 00:28, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...adic]] [[sign relations]], along with ''semiotic'' and the plural variants of both terms. The form ''semeiotic'' is often used to distinguish Peirce's t9 KB (1,162 words) - 21:30, 3 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...notation and connotation, or, in roughly equivalent terms, by the concepts of extension and comprehension.8 KB (1,038 words) - 03:26, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...se, advising the addressee on an optimal way of “attaining clearness of apprehension”.12 KB (1,764 words) - 04:35, 17 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ell-bounded universes of discourse or its horizon may extend to the limits of the human imagination.37 KB (5,460 words) - 14:50, 17 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ccumulated body of provisional knowledge, that seeks to discover good ways of achieving recognized aims, ends, goals, objectives, or purposes.5 KB (547 words) - 22:44, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...l knowledge, that seeks to discover what is true about a recognized domain of phenomena.5 KB (535 words) - 21:56, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. The concept of '''logical implication''' encompasses a specific logical [[function (mathem16 KB (2,147 words) - 20:20, 4 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...o propositions, that produces a value of ''true'' just in case exactly one of its operands is true.6 KB (728 words) - 01:46, 31 October 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...' with ''parameter'' <math>k\!</math> in the set <math>\mathbb{N}\!</math> of non-negative integers.5 KB (618 words) - 04:12, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...al values, typically the values of two propositions, that produces a value of ''true'' if and only if both operands are false or both operands are true.5 KB (664 words) - 04:24, 4 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...f two propositions, that produces a value of ''false'' if and only if both of its operands are false.5 KB (656 words) - 00:56, 2 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...n other words, it produces a value of ''true'' if and only if at least one of its operands is false.5 KB (684 words) - 23:00, 4 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...other words, it produces a value of ''false'' if and only if at least one of its operands is true.5 KB (678 words) - 03:54, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...n, that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.6 KB (729 words) - 14:18, 5 November 2015