Search results

• ...of two propositions, that produces a value of ''true'' if and only if both of its operands are true. The [[truth table]] of $p ~\operatorname{AND}~ q,$ also written $p \land q\!</math 5 KB (658 words) - 02:02, 31 October 2015 • A '''logical graph''' is a graph-theoretic structure in one of the systems of graphical syntax that Charles Sanders Peirce developed for logic. ...ve graphs'', and ''existential graphs'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be 41 KB (5,845 words) - 14:38, 6 November 2015 • Here is Peirce's own statement and proof of the law: ...le and other propositions connected with it. One of the simplest formulae of this kind is:</p> 11 KB (1,526 words) - 16:14, 18 November 2015 • ...inguished from, though closely related to, its study from the perspectives of abstract algebra on the one hand and formal logic on the other. Two definitions of the relation concept are common in the literature. Although it is usually 25 KB (3,665 words) - 21:05, 16 November 2015 • ...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 ...Therefore it will be useful to consider a few concrete examples from each of these two realms. 20 KB (2,655 words) - 21:25, 16 November 2015 • A '''sign relation''' is the basic construct in the theory of signs, also known as [[semeiotic]] or [[semiotics]], as developed by Charle ...th the same reproductive power, the sunflower would become a Representamen of the sun. (C.S. Peirce, &ldquo;Syllabus&rdquo; (''c''.&nbsp;1902), ''Collec 58 KB (8,251 words) - 21:35, 15 November 2015 • ...})\!$ is a logical connective that says &ldquo;just one false&rdquo; of its logical arguments. ...orm $\texttt{Mno}(),\!$ then it cannot be true that exactly one of the arguments is false, so $\texttt{Mno}() = \texttt{False}.\!$
• ...ath> in the '''parameter set''' $\Alpha\!$ is an indexed family of operators $(\Omega_\alpha)_\Alpha = \{ \Omega_\alpha : \alpha \in \Alp * [[Universe of discourse]] 5 KB (572 words) - 04:18, 7 November 2015 • ...ter that is, up to somorphism, constituted by the structural relationships of mathematical objects called ''propositions''. ...s a set of transformation rules that define a binary relation on the space of expressions. 17 KB (2,301 words) - 16:02, 7 November 2015 • ...expressive capacity to describe change and diversity in logical universes of discourse. ...differential calculus of Leibniz and Newton augments the analytic geometry of Descartes. 6 KB (662 words) - 22:34, 5 November 2015 • ...ks, for example, &ldquo;lover&nbsp;of&nbsp;__&rdquo;, or &ldquo;giver&nbsp;of&nbsp;__&nbsp;to&nbsp;__&rdquo;. * [[Universe of discourse]] 5 KB (599 words) - 20:22, 16 November 2015 • ...cs)|relational predicate]] that arises as the limit of an iterated process of [[hypostatic abstraction]]. Here is one of Peirce's definitive discussions of the concept: 8 KB (1,058 words) - 04:10, 10 November 2015 • ...cation'', ''reification'', and ''subjectal abstraction''.&nbsp; The object of discussion or thought thus introduced is termed a ''[[hypostatic object]]'' ...into an extra subject, upping the ''arity'', also called the ''adicity'', of the main predicate in the process. 7 KB (915 words) - 18:58, 10 November 2015 • ...s affords a distinctive perspective on the subject, even though all angles of approach must ultimately converge on the same formal subject matter. ...es, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic]]&rdquo;. 7 KB (919 words) - 22:54, 10 November 2015 • ...s [itex]\{ \operatorname{false}, \operatorname{true} \}.$ The names of the logical values, or ''truth values'', are commonly abbreviated in accord ...all representation of truth functions as boolean functions. The remainder of this article assumes the usual representation, taking the equations $\ 16 KB (2,190 words) - 18:31, 7 November 2015 • ...of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim. ...' must necessarily be predicated of all ''C''. &hellip; I call this kind of figure the First. (Aristotle, ''Prior Analytics'', 1.4).</p> 58 KB (7,676 words) - 22:36, 15 November 2015 • ...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 ...approach, it is possible to see a question of articulation and a question of explanation: 24 KB (3,783 words) - 00:28, 16 November 2015 • ...adic]] [[sign relations]], along with ''semiotic'' and the plural variants of both terms. The form ''semeiotic'' is often used to distinguish Peirce's t ==Types of signs== 9 KB (1,162 words) - 21:30, 3 November 2015 • ...notation and connotation, or, in roughly equivalent terms, by the concepts of extension and comprehension. ...rvard University (1865) and the Lowell Institute (1866).&nbsp; Here is one of the starting points: 8 KB (1,038 words) - 03:26, 16 November 2015 • ...se, advising the addressee on an optimal way of &ldquo;attaining clearness of apprehension&rdquo;. ==Seven ways of looking at a pragmatic maxim== 12 KB (1,764 words) - 04:35, 17 November 2015 • ...ell-bounded universes of discourse or its horizon may extend to the limits of the human imagination. Notions of truth are notoriously difficult to disentangle from many of our most basic concepts &mdash; meaning, reality, and values in general, to 37 KB (5,460 words) - 14:50, 17 November 2015 • ...ccumulated body of provisional knowledge, that seeks to discover good ways of achieving recognized aims, ends, goals, objectives, or purposes. The three '''normative sciences''', according to traditional conceptions in philosophy, are ''aesthetics'', ''ethics'', and ''logic''. 5 KB (547 words) - 22:44, 16 November 2015 • ...l knowledge, that seeks to discover what is true about a recognized domain of phenomena. * [http://intersci.ss.uci.edu/wiki/index.php/Descriptive_science Descriptive Science @ InterSciWiki] 5 KB (535 words) - 21:56, 16 November 2015 • The concept of '''logical implication''' encompasses a specific logical [[function (mathem ...concept of logical implication are expressed in ordinary language by means of linguistic forms like the following: 16 KB (2,147 words) - 20:20, 4 November 2015 • ...o propositions, that produces a value of ''true'' just in case exactly one of its operands is true. The [[truth table]] of [itex]p ~\operatorname{XOR}~ q,$ also written $p + q\!$ or
• ...' with ''parameter'' $k\!$ in the set $\mathbb{N}\!$ of non-negative integers. ...math> left tacit, as the appropriate application is implicit in the number of operands listed. Thus $\Omega (x_1, \ldots, x_k)\!$ may be take
• ...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. The [[truth table]] of $p ~\operatorname{EQ}~ q,$ also written $p = q,\!$ <m
• ...f two propositions, that produces a value of ''false'' if and only if both of its operands are false. The [[truth table]] of $p ~\operatorname{OR}~ q,$ also written $p \lor q,\!$
• ...n other words, it produces a value of ''true'' if and only if at least one of its operands is false. The [[truth table]] of $p ~\operatorname{NAND}~ q,$ also written $p \stackrel{\cir 5 KB (684 words) - 23:00, 4 November 2015 • ...other words, it produces a value of ''false'' if and only if at least one of its operands is true. The [[truth table]] of [itex]p ~\operatorname{NNOR}~ q,$ also written $p \curlywedge q, 5 KB (678 words) - 03:54, 5 November 2015 • ...n, that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true. The [[truth table]] of [itex]\operatorname{NOT}~ p,$ also written $\lnot p,\!$ ap