Peirce’s 1870 “Logic of Relatives” • Comment 11.10

A dyadic relation $F \subseteq X \times Y$ which qualifies as a function $f : X \to Y$ may then enjoy a number of further distinctions.

For example, the function $f : X \to Y$ shown below is neither total nor tubular at its codomain $Y$ so it can enjoy none of the properties of being surjective, injective, or bijective.

$\text{Figure 40. Function}~ f : X \to Y$

An easy way to extract a surjective function from any function is to reset its codomain to its range. For example, the range of the function $f$ above is $Y^\prime = \{ 0, 2, 5, 6, 7, 8, 9 \}.$ If we form a new function $g : X \to Y^\prime$ that looks just like $f$ on the domain $X$ but is assigned the codomain $Y^\prime,$ then $g$ is surjective, and is described as a mapping onto $Y^\prime.$

$\text{Figure 41. Function}~ g : X \to Y'$

The function $h : Y' \to Y$ is injective.

$\text{Figure 42. Function}~ h : Y' \to Y$

The function $m : X \to Y$ is bijective.

$\text{Figure 43. Function}~ m : X \to Y$

Resources

Peirce’s 1870 Logic of Relatives • Part 1 • Part 2 • Part 3 • References
Logic Syllabus • Relational Concepts • Relation Theory • Relative Term

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

6 Responses to Peirce’s 1870 “Logic of Relatives” • Comment 11.10

Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Overview | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Comment 1 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 5 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 6 | Inquiry Into Inquiry

	Survey of Inquiry Dr… on Inquiry Into Inquiry • On Init…
	Inquiry Into Inquiry… on Survey of Abduction, Deduction…
	Inquiry Into Inquiry… on Survey of Pragmatic Semiotic I…
	Inquiry Into Inquiry… on Survey of Inquiry Driven Syste…
	Inquiry Into Inquiry… on Inquiry Into Inquiry • On Init…
	The Failure Of AI De… on Inquiry Into Inquiry • On Init…
	Does GPT-3 Demonstra… on Inquiry Into Inquiry • On Init…
	Inquiry Into Inquiry… on Survey of Theme One Program •…
	Inquiry Into Inquiry… on Survey of Inquiry Driven Syste…
	Inquiry Into Inquiry… on Survey of Theme One Program •…

M	T	W	T	F	S	S
			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28	29	30	31