20 + recent turned up (20 or fewer displayed):
- Charles Sanders Peirce
Charles Sanders Peirce (10 Sep 1839 - 19
Apr 1914, and pronounced: "Purse") was an
American philosopher, logician,
mathematician, and developer of Semiotics, for which he
is largely appreciated today. ...
- Logic
Logic
(λόγος in Greek,
logos, "thought") is the most
fundamental of all the Sciences
and a major branch of Philosophy. ...
- Sole Sufficient Operator
A sole sufficient operator
or a sole sufficient
connective is an operator that is
sufficient by itself to generate all of the
operators in a specified class of operators. ...
- Propositional Calculus
In mathematical
logic, a propositional
calculus (sentential
calculus) is a formal system that represents the
materials and the principles of
propositional logic (sentential
logic). ...
- Peirce’s Law
Loi de
Peirce
Peirce
定律
Other Languages : (中文 : Peirce
定律)
Peirce's
law in logic is named after the philosopher and logician Charles
Sanders Peirce. It was taken as an axiom in his first
axiomatisation of propositional
calculus. ...
- Logic of Information (Jon Awbrey)
Peirce's concept of
information:
I've been meaning to get
back to Peirce's
theory of information, because I believe that
it contains a yet-to-be-tapped potential for
many current issues, though it would take
just a little bit of drilling to exploit its
resources to the fullest that we can.
In
my own imagination, I tend to organize
Peirce's ideas about information, along with
its relationship to comprehension and
extension, in what certain accidents of
personal history lead me to think of as the
light-cone picture — but it's really
just the two branches of a geometric cone, or
the pencil that is generated by a point in a
lattice or partial order, with no real
connection to physics intended, at least, not
so directly as the picture at first
suggests:
` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
` ` ` ` ` ` ` ` ` ` ` ` ` `
` ` ` ` ` ` ` `
` ` ` ` ` o.......o ` ` Properties` ` ` ` `
`
` ` ` ` ` ` ` ` ` ` ` ` ` `` ` `/` ` ` ` `
` ` ` ` ` ` ` ` `
` ` ` ` ` ` ` ` ` ` ` ` `
` ...
- Logical Graph
A logical graph is a
special type of graph-theoretic structure in any
one of several systems of graphical syntax that Charles
Sanders Peirce developed for logic.
In his papers on
qualitative
logic, entitative graphs, and existential
graphs, Peirce developed several
versions of a graphical formalism, or a graph-theoretic
formal language,
designed to be interpreted for logic.
In
the century since Peirce initiated this line
of development, a variety of formal systems
have branched out from what is abstractly the
same formal base of graph-theoretic
structures. ...
- Logic of Relatives
The logic of relatives,
short for the logic of relative
terms, is the study of relations
in their logical, philosophical, or semiotic aspects, as
distinguished from, though closely
coordinated with, their more properly formal,
mathematical, or objective aspects.
The
consideration of relative terms has its roots
in antiquity, but it entered a radically new
phase of development with the work of Charles
Sanders Peirce, beginning with his paper
"Description of a Notation for the
Logic of Relatives, Resulting from an
Amplification of the Conceptions of Boole's
Calculus of Logic" (1870).
References:
* Peirce,
C.S., "Description of a Notation for the
Logic of Relatives, Resulting from an
Amplification of the Conceptions of Boole's
Calculus of Logic", Memoirs of the
American Academy of Arts and Sciences 9,
317–378, 1870. ...
- Information Equals Comprehension Times Extension
Information,
Comprehension, Extension:
Another
angle from which to approach the incidence of
signs and inquiry
is by way of Peirce's
"theory of information" —
yes, that's just what he called it, from the
time of his lectures on the "Logic of
Science" at Harvard University (1865) and the
Lowell Institute (1866).
When it comes to
the supposed reciprocity between extensions and
intensions,
Peirce, of course, has another idea, and I
would say a better idea, in part, because it
forms the occasion for him to bring in his
new-fangled notion of "information" to
mediate the otherwise static dualism between
the other two. ...
- Zeroth-Order Logic
零阶逻辑
O
ther Languages : (中文 :
零阶逻辑)
Zeroth order logic is a
term in popular use among practitioners for
the subject matter otherwise known as boolean
functions, monadic predicate logic, propositional
calculus, or sentential calculus. ...
- Truth Table
Waarheidstabel
Wahrheitstabelle
Tabla de valores de
verdad
Table de vérité
Tabella della veritŕ
טבלת
אמת
Waarheidstabel
真理値表
Sannhetstabell
Tabela verdade
Sanningstabell
真值表
Other
Languages : (中文 :
真值表)
A
truth table is a mathematical
table used in logic —
specifically in connection with boolean algebra,
boolean
functions, and propositional
calculus — to compute the functional
values of logical expressions on any of
their functional arguments, that is, with
respect to the various possible combinations
of values that their logical variables may
take. ...
- Tacit Extension
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)
* Relation
(mathematics)
* Relation composition
* Relation
reduction
Some content
adapted from the Wikinfo
article "Tacit extension" under the GNU
Free Documentation License. ...
- Relational Reduction
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. ...
- Relational Construction
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. ...
- Relational Composition
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 multiplication. ...
- Minimal Negation Operator
In logic and mathematics, the
minimal negation operator
ν is a multigrade
operator (νk)k∈N
where each νk is
a k-ary boolean function defined in
such a way that νk(x1, …,
xk) = 1 if and
only if exactly one of the arguments
xj is 0.
In
contexts where the initial letter ν is understood, the
minimal negation operators can be indicated
by argument lists in parentheses. ...
- Prescisive Abstraction
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 4.227–393).
References:
* Peirce,
C.S., Collected Papers of Charles
Sanders Peirce, vols. 1–6, Charles
Hartshorne and Paul
Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard
University Press, Cambridge, MA, 1931–1935,
1958.
See also:
* Hypostatic
abstraction
* Hypostatic object
Some content adapted from the Wikinfo article "Prescisive abstraction" under
the GNU
Free Documentation License. ...
- Logical Implication
In mathematics and mathematical
logic, the concept of logical
implication encompasses, depending
on the context of use, a specific logical function,
a specific logical relation,
and the various symbols that are used to
denote this function or this relation. ...
- Logical NAND
Logical NAND, for
Not And, sometimes denoted
by a symbol "|" or "↑" called the
Sheffer stroke, is a logical operation that is
equivalent to the negation of the conjunction
operation, expressed in ordinary language as
"not both". ...
- Logical NNOR
\{\{disclaim\}\}
{{dablink|This
article is about NOR in the logical sense.
For the electronic NOR gates see NOR gate, for other uses of similar
terms, see NOR
(disambiguation).}}
The
logical NNOR, for
Neither Nor, also called
NOR, for Not
Or, or joint
denial, is a boolean logic operator that
produces a result that is the inverse of logical or.
That is, (not or), p NNOR
q is only true when both p
and q are false. ...
|
