...ks, for example, “lover of __”, or “giver of __ to __”.
* [[Universe of discourse]]
5 KB (599 words) - 20:20, 16 November 2015
...ath> in the '''parameter set''' <math>\Alpha\!</math> is an indexed family of operators <math>(\Omega_\alpha)_\Alpha = \{ \Omega_\alpha : \alpha \in \Alp
* [[Universe of discourse]]
5 KB (572 words) - 04:16, 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:28, 5 November 2015
...' with ''parameter'' <math>k\!</math> in the set <math>\mathbb{N}\!</math> of non-negative integers.
...math> left tacit, as the appropriate application is implicit in the number of operands listed. Thus <math>\Omega (x_1, \ldots, x_k)\!</math> may be take
5 KB (618 words) - 04:12, 7 November 2015
...f two propositions, that produces a value of ''false'' if and only if both of its operands are false.
The [[truth table]] of <math>p ~\operatorname{OR}~ q,</math> also written <math>p \lor q,\!</math>
5 KB (656 words) - 00:40, 2 November 2015
...of two propositions, that produces a value of ''true'' if and only if both of its operands are true.
The [[truth table]] of <math>p ~\operatorname{AND}~ q,</math> also written <math>p \land q~\!</mat
5 KB (658 words) - 02:00, 31 October 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 <math>p ~\operatorname{NNOR}~ q,</math> also written <math>p \curlywedge q,
5 KB (678 words) - 03:44, 5 November 2015
...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 <math>p ~\operatorname{NAND}~ q,</math> also written <math>p \stackrel{\cir
5 KB (684 words) - 22:56, 4 November 2015
...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 <math>p ~\operatorname{EQ}~ q,</math> also written <math>p = q,\!</math> <m
5 KB (664 words) - 04:18, 4 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 <math>\operatorname{NOT}~ p,</math> also written <math>\lnot p,\!</math> ap
6 KB (729 words) - 14:16, 5 November 2015
...o propositions, that produces a value of ''true'' just in case exactly one of its operands is true.
The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written <math>p + q~\!</math> o
6 KB (728 words) - 01:45, 31 October 2015
.... In particular, such a position maintains that the truth or falsity of a statement is determined by how it relates to an objective world, by wheth
Problems with the theory arise from consideration of precisely what is supposed to correspond with what. If a statement is
10 KB (1,514 words) - 17:42, 27 March 2017
[http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
...s.uci.edu/wiki/index.php/Peirce%27s_1870_Logic_Of_Relatives Peirce's Logic Of Relatives]
15 KB (1,907 words) - 14:08, 9 October 2017
[https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview Cactus Language]
[https://oeis.org/wiki/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
16 KB (2,092 words) - 14:20, 14 January 2021
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:18, 4 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]]”.
7 KB (919 words) - 22:48, 10 November 2015
...cation'', ''reification'', and ''subjectal abstraction''. 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
...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:08, 10 November 2015
| align="right" | — Marcel Proust, ''In Search of Lost Time'', [Pro, 1.48]
===Outline of the Project : Inquiry Into Inquiry===
15 KB (1,597 words) - 12:00, 15 April 2017
...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) - 15:56, 7 November 2015