Search results

• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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 t
20 KB (2,655 words) - 21:25, 16 November 2015
• ...">&#9758;</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 Charle
58 KB (8,251 words) - 21:35, 15 November 2015
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...})\![/itex] is a logical connective that says &ldquo;just one false&rdquo; of its logical arguments.
22 KB (3,319 words) - 19:22, 6 November 2015
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ath> in the '''parameter set''' $\Alpha\!$ is an indexed family of operators $(\Omega_\alpha)_\Alpha = \{ \Omega_\alpha : \alpha \in \Alp 5 KB (572 words) - 04:18, 7 November 2015 • ...">&#9758;</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 • ...">&#9758;</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 • ...">&#9758;</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 • ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...case where [itex]k = 0,\!$ the function is simply a constant element of $\mathbb{B}.$
5 KB (589 words) - 20:25, 5 November 2015
• ...">&#9758;</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 $f : X \to \mathbb{B},$ where $X\!$ is an ar
7 KB (806 words) - 21:16, 5 November 2015
• ...">&#9758;</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
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ks, for example, &ldquo;lover&nbsp;of&nbsp;__&rdquo;, or &ldquo;giver&nbsp;of&nbsp;__&nbsp;to&nbsp;__&rdquo;.
5 KB (599 words) - 20:22, 16 November 2015
• ...">&#9758;</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
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...cation'', ''reification'', and ''subjectal abstraction''.&nbsp; The object of discussion or thought thus introduced is termed a ''[[hypostatic object]]''
7 KB (915 words) - 18:58, 10 November 2015
• ...">&#9758;</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
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...thbb{B} = \{ 0,1 \}.[/itex] Such a matrix affords a matrix representation of a $k\!$-adic [[relation (mathematics)|relation]].
5 KB (541 words) - 16:16, 11 November 2015
• ...">&#9758;</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
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...omposition, or the composition of functions.&nbsp; The following treatment of relation composition takes the &ldquo;strongly typed&rdquo; approach to rel
65 KB (6,802 words) - 18:18, 14 November 2015
• ...">&#9758;</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 ''maki
5 KB (621 words) - 19:24, 14 November 2015
• ...">&#9758;</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 examin
29 KB (4,035 words) - 03:36, 15 November 2015
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...s $\{ \operatorname{false}, \operatorname{true} \}.$ The names of the logical values, or ''truth values'', are commonly abbreviated in accord
16 KB (2,190 words) - 18:31, 7 November 2015
• ...">&#9758;</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&nbsp;Morgan (1846).&n
6 KB (702 words) - 19:14, 7 November 2015
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...very operator in a specified class of operators.&nbsp; In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-value
5 KB (626 words) - 18:10, 7 November 2015
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...al calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstraction in which the more inessential differences among these subjects
12 KB (1,631 words) - 03:08, 9 November 2015
• ...">&#9758;</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
• ...">&#9758;</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&nbsp;3, 68
24 KB (3,783 words) - 00:28, 16 November 2015
• ...">&#9758;</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 t
9 KB (1,162 words) - 21:30, 3 November 2015
• ...">&#9758;</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
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...se, advising the addressee on an optimal way of &ldquo;attaining clearness of apprehension&rdquo;.
12 KB (1,764 words) - 04:35, 17 November 2015
• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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 (mathem
16 KB (2,147 words) - 20:20, 4 November 2015
• ...">&#9758;</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
• ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...' with ''parameter'' $k\!$ in the set $\mathbb{N}\!$ of non-negative integers.
5 KB (618 words) - 04:12, 7 November 2015
• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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
• ...">&#9758;</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