Tag Archives: Ontology

Sign Relations, Triadic Relations, Relations • 1

Re: Ontolog Forum Discussion Re: Peirce List Discussion To understand how signs work in Peirce’s theory of triadic sign relations, also known as “semiotics”, we have to understand, in order of increasing generality, sign relations, triadic relations, and relations in … Continue reading

Posted in C.S. Peirce, Inquiry Driven Systems, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , , , , , , , | Leave a comment

Definition and Determination : 17

Re: Ontolog Forum Discussion • Richard McCullough RM:  We clearly have some differences in the “definition” of “definition”. I suppose it all depends on the sorts of things one wants to define, something we might call the context of application.  … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Definition and Determination : 16

Re: Ontolog Forum Discussion • Richard McCullough RM:  What is your view of definitions? A recurring question, always worth some thought, so I added my earlier comment to a long-running series on my blog concerned with Definition and Determination. Definition and … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

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