Daily Archives: April 21, 2018

Definition and Determination : 15

Re: Ontolog Forum Discussion In some early math course I learned a fourfold scheme of Primitives (undefined terms), Definitions, Axioms, and Inference Rules.  But later excursions tended to run the axioms and definitions together, speaking for example of mathematical objects … Continue reading

Posted in C.S. Peirce, Category Theory, Comprehension, Constraint, Definition, Determination, Extension, Form, Geometry, Graph Theory, Group Theory, Information, Inquiry, Inquiry Driven Systems, Logic, Logic of Relatives, Logical Graphs, Mathematics, Ontology, Peirce, Relation Theory, Semiotics, Sign Relations, Structure, Theorem Proving, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment